0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/203595-1168161917/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=59 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.45 => wckTime=0.116 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
0.65
0.65 constraints being loaded...
0.83 nbConstraints=539 nbRelationTypes=539 nbExtensionStructures=539 nbSharedExtensionStructures=0
0.83 nbConflictsStructures=539 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=791 maxDegree=24
0.83 maxArity=2
0.83 => wckTime=0.489 cpuTime=0.37 mem=21M596
0.88
0.88 solver IterativeSystematicSolver being built...
1.06 => wckTime=0.719 cpuTime=0.51 mem=16M10
1.13
1.13 preprocessing
1.13 nbConstraintChecks=150067 nbPropagations=1306 nbRevisions=11587 nbUselessRevisions=9951 nbSingletonTests=65
1.13 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.13 => wckTime=0.066 cpuTime=0.05 mem=16M10
1.16
1.16 search
1.16 run=0 nbConstraintChecks=54081 nbPropagations=1816 nbRevisions=18185 nbUselessRevisions=15427 nbAssignments=27
1.16 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.16 nbTooLargeKeys=0
1.16 => wckTime=0.098 cpuTime=0.07 mem=16M10
1.18
1.18 search
1.18 run=1 nbConstraintChecks=124779 nbPropagations=4387 nbRevisions=46223 nbUselessRevisions=39205
1.18 nbAssignments=63 nbFailedAssignments=17 nbBacktracks=25 nbVisitedNodes=92 nbRestartNogoods=1 mapSize=21
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.121 cpuTime=0.08 mem=16M10
1.20
1.20 search
1.20 run=2 nbConstraintChecks=226185 nbPropagations=8088 nbRevisions=90418 nbUselessRevisions=76203
1.20 nbAssignments=110 nbFailedAssignments=29 nbBacktracks=47 nbVisitedNodes=166 nbRestartNogoods=3 mapSize=39
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.14 cpuTime=0.1 mem=16M10
1.24
1.24 search
1.24 run=3 nbConstraintChecks=386209 nbPropagations=13456 nbRevisions=159446 nbUselessRevisions=133545
1.24 nbAssignments=191 nbFailedAssignments=63 nbBacktracks=80 nbVisitedNodes=302 nbRestartNogoods=7 mapSize=70
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.176 cpuTime=0.13 mem=16M10
1.27
1.27 search
1.27 run=4 nbConstraintChecks=580147 nbPropagations=20872 nbRevisions=257960 nbUselessRevisions=215058
1.27 nbAssignments=282 nbFailedAssignments=94 nbBacktracks=130 nbVisitedNodes=448 nbRestartNogoods=11 mapSize=109
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.209 cpuTime=0.16 mem=16M10
1.32
1.32 search
1.32 run=5 nbConstraintChecks=827373 nbPropagations=30915 nbRevisions=396145 nbUselessRevisions=329100
1.32 nbAssignments=417 nbFailedAssignments=141 nbBacktracks=210 nbVisitedNodes=669 nbRestartNogoods=14 mapSize=171
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.256 cpuTime=0.21 mem=16M10
1.38
1.38 search
1.38 run=6 nbConstraintChecks=1218627 nbPropagations=45158 nbRevisions=598794 nbUselessRevisions=495799
1.38 nbAssignments=611 nbFailedAssignments=209 nbBacktracks=324 nbVisitedNodes=991 nbRestartNogoods=15 mapSize=264
1.38 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.32 cpuTime=0.27 mem=16M10
1.48
1.48 search
1.48 run=7 nbConstraintChecks=1869515 nbPropagations=66053 nbRevisions=904187 nbUselessRevisions=746777
1.48 nbAssignments=910 nbFailedAssignments=325 nbBacktracks=494 nbVisitedNodes=1502 nbRestartNogoods=20 mapSize=404
1.48 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.423 cpuTime=0.37 mem=16M10
1.62
1.62 search
1.62 run=8 nbConstraintChecks=2646015 nbPropagations=95653 nbRevisions=1342439 nbUselessRevisions=1106936
1.62 nbAssignments=1342 nbFailedAssignments=490 nbBacktracks=751 nbVisitedNodes=2227 nbRestartNogoods=23
1.62 mapSize=605 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.557 cpuTime=0.5 mem=16M10
1.83
1.83 search
1.83 run=9 nbConstraintChecks=3936677 nbPropagations=138649 nbRevisions=1992581 nbUselessRevisions=1640175
1.83 nbAssignments=1971 nbFailedAssignments=722 nbBacktracks=1136 nbVisitedNodes=3296 nbRestartNogoods=29
1.83 mapSize=916 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.769 cpuTime=0.69 mem=16M985
1.89
1.89 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=16M985)
2.13
2.13 search
2.13 run=10 nbConstraintChecks=5961810 nbPropagations=202841 nbRevisions=2971753 nbUselessRevisions=2442909
2.13 nbAssignments=2910 nbFailedAssignments=1073 nbBacktracks=1714 nbVisitedNodes=4894 nbRestartNogoods=31
2.13 => wckTime=1.069 cpuTime=0.98 mem=16M985
2.56
2.56 search
2.56 run=11 nbConstraintChecks=9118061 nbPropagations=298546 nbRevisions=4435919 nbUselessRevisions=3637887
2.56 nbAssignments=4320 nbFailedAssignments=1607 nbBacktracks=2581 nbVisitedNodes=7268 nbRestartNogoods=34
2.56 => wckTime=1.504 cpuTime=1.4 mem=16M985
3.14
3.14 search
3.14 run=12 nbConstraintChecks=13071600 nbPropagations=438929 nbRevisions=6592415 nbUselessRevisions=5399320
3.14 nbAssignments=6411 nbFailedAssignments=2386 nbBacktracks=3883 nbVisitedNodes=10821 nbRestartNogoods=39
3.14 => wckTime=2.077 cpuTime=1.97 mem=16M985
4.09
4.09 search
4.09 run=13 nbConstraintChecks=20242599 nbPropagations=650708 nbRevisions=9864579 nbUselessRevisions=8068360
4.09 nbAssignments=9565 nbFailedAssignments=3579 nbBacktracks=5831 nbVisitedNodes=16192 nbRestartNogoods=46
4.09 => wckTime=3.033 cpuTime=2.93 mem=16M985
5.33
5.33 search
5.33 run=14 nbConstraintChecks=28929922 nbPropagations=959232 nbRevisions=14624469 nbUselessRevisions=11956208
5.33 nbAssignments=14073 nbFailedAssignments=5155 nbBacktracks=8752 nbVisitedNodes=23763 nbRestartNogoods=53
5.33 => wckTime=4.268 cpuTime=4.16 mem=16M985
7.56
7.56 search
7.56 run=15 nbConstraintChecks=45347463 nbPropagations=1434914 nbRevisions=22094567 nbUselessRevisions=18064895
7.56 nbAssignments=21580 nbFailedAssignments=8273 nbBacktracks=13130 nbVisitedNodes=36900 nbRestartNogoods=65
7.56 => wckTime=6.498 cpuTime=6.38 mem=16M985
10.85
10.85 search
10.85 run=16 nbConstraintChecks=69312429 nbPropagations=2163152 nbRevisions=33683823 nbUselessRevisions=27568413
10.85 nbAssignments=32965 nbFailedAssignments=13078 nbBacktracks=19699 nbVisitedNodes=56894 nbRestartNogoods=79
10.85 => wckTime=9.794 cpuTime=9.66 mem=16M985
15.38
15.38 search
15.38 run=17 nbConstraintChecks=102472139 nbPropagations=3242363 nbRevisions=50768786 nbUselessRevisions=41561275
15.38 nbAssignments=49199 nbFailedAssignments=19449 nbBacktracks=29553 nbVisitedNodes=84660 nbRestartNogoods=91
15.38 => wckTime=14.318 cpuTime=14.17 mem=16M985
23.01
23.01 search
23.01 run=18 nbConstraintChecks=160074088 nbPropagations=4895633 nbRevisions=76977340 nbUselessRevisions=62992569
23.01 nbAssignments=74363 nbFailedAssignments=29825 nbBacktracks=44332 nbVisitedNodes=128397 nbRestartNogoods=98
23.01 => wckTime=21.948 cpuTime=21.78 mem=16M985
33.81
33.81 search
33.81 run=19 nbConstraintChecks=237389686 nbPropagations=7378118 nbRevisions=116456916 nbUselessRevisions=95327366
33.81 nbAssignments=111555 nbFailedAssignments=44839 nbBacktracks=66503 nbVisitedNodes=192710 nbRestartNogoods=111
33.81 => wckTime=32.755 cpuTime=32.52 mem=16M985
49.10
49.10 search
49.10 run=20 nbConstraintChecks=352113280 nbPropagations=11026054 nbRevisions=174111149 nbUselessRevisions=142416569
49.10 nbAssignments=164667 nbFailedAssignments=64687 nbBacktracks=99755 nbVisitedNodes=282708 nbRestartNogoods=120
49.10 => wckTime=48.043 cpuTime=47.75 mem=16M985
71.05
71.05 search
71.05 run=21 nbConstraintChecks=511922276 nbPropagations=16430355 nbRevisions=259343451 nbUselessRevisions=212138993
71.05 nbAssignments=246180 nbFailedAssignments=96309 nbBacktracks=149634 nbVisitedNodes=422272 nbRestartNogoods=137
71.05 => wckTime=69.993 cpuTime=69.69 mem=16M985
105.38
105.38 search
105.38 run=22 nbConstraintChecks=772882743 nbPropagations=24506117 nbRevisions=386722290 nbUselessRevisions=316258779
105.38 nbAssignments=367257 nbFailedAssignments=142557 nbBacktracks=224452 nbVisitedNodes=628988 nbRestartNogoods=147
105.38 => wckTime=104.319 cpuTime=103.96 mem=16M985
157.79
157.79 search
157.79 run=23 nbConstraintChecks=1173153657 nbPropagations=36668444 nbRevisions=578593975 nbUselessRevisions=473061495
157.79 nbAssignments=551243 nbFailedAssignments=214303 nbBacktracks=336680 nbVisitedNodes=944483 nbRestartNogoods=158
157.79 => wckTime=156.729 cpuTime=156.32 mem=16M985
236.56
236.56 search
236.56 run=24 nbConstraintChecks=1748063426 nbPropagations=55130748 nbRevisions=870658917 nbUselessRevisions=712185878
236.56 nbAssignments=835103 nbFailedAssignments=329809 nbBacktracks=505024 nbVisitedNodes=1437251 nbRestartNogoods=164
236.56 => wckTime=235.504 cpuTime=235.01 mem=16M985
355.79
355.79 search
355.79 run=25 nbConstraintChecks=2663355272 nbPropagations=82873907 nbRevisions=1310343680
355.79 nbUselessRevisions=1071874737 nbAssignments=1250793 nbFailedAssignments=492975 nbBacktracks=757537
355.79 nbVisitedNodes=2151632 nbRestartNogoods=181
355.79 => wckTime=354.73 cpuTime=354.1 mem=16M985
533.63
533.63 search
533.63 run=26 nbConstraintChecks=4017998596 nbPropagations=124423980 nbRevisions=1968359737
533.63 nbUselessRevisions=1609964827 nbAssignments=1868166 nbFailedAssignments=731568 nbBacktracks=1136305
533.63 nbVisitedNodes=3208878 nbRestartNogoods=197
533.63 => wckTime=532.572 cpuTime=531.75 mem=16M985
791.88
791.88 search
791.88 run=27 nbConstraintChecks=5946234169 nbPropagations=186370018 nbRevisions=2945690353
791.88 nbUselessRevisions=2408992045 nbAssignments=2791194 nbFailedAssignments=1086414 nbBacktracks=1704456
791.88 nbVisitedNodes=4788361 nbRestartNogoods=220
791.88 => wckTime=790.818 cpuTime=789.71 mem=16M985
1184.43
1184.43 search
1184.43 run=28 nbConstraintChecks=8864242322 nbPropagations=279240450 nbRevisions=4414687399
1184.43 nbUselessRevisions=3611603399 nbAssignments=4180098 nbFailedAssignments=1623080 nbBacktracks=2556684
1184.43 nbVisitedNodes=7178598 nbRestartNogoods=232
1184.43 => wckTime=1183.366 cpuTime=1181.73 mem=16M985
1763.85
1763.85 search
1763.85 run=29 nbConstraintChecks=13090129491 nbPropagations=418256350 nbRevisions=6618740119
1763.85 nbUselessRevisions=5418685145 nbAssignments=6279639 nbFailedAssignments=2444269 nbBacktracks=3835025
1763.85 nbVisitedNodes=10795345 nbRestartNogoods=249
1763.85 => wckTime=1762.791 cpuTime=1760.55 mem=16M985
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-203595-1168161917 -o ROOT/results/node22/solver-203595-1168161917 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203595-1168161917/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.93 1.99 1.93 4/87 1447
/proc/meminfo: memFree=996672/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=172 CPUtime=0
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 164586145 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4678436 0 0 4096 0 0 0 0 17 0 0 0
/proc/1446/statm: 43 24 18 14 0 3 0
[startup+0.108369 s]
/proc/loadavg: 1.93 1.99 1.93 4/87 1447
/proc/meminfo: memFree=996672/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=913068 CPUtime=0.08
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 2861 0 1 0 7 1 0 0 24 0 8 0 164586145 934981632 2607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228267 2607 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.51943 s]
/proc/loadavg: 1.93 1.99 1.93 4/87 1447
/proc/meminfo: memFree=996672/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915328 CPUtime=0.48
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 6632 0 1 0 44 4 0 0 25 0 8 0 164586145 937295872 6371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073551981 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228832 6372 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34656 s]
/proc/loadavg: 1.93 1.99 1.93 3/94 1454
/proc/meminfo: memFree=964168/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=1.31
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10870 0 1 0 123 8 0 0 25 0 8 0 164586145 937533440 10608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10608 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.25
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 388 0 0 0 24 1 0 0 15 0 8 0 164586154 937533440 10608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915560
[startup+2.98381 s]
/proc/loadavg: 1.93 1.99 1.93 3/94 1454
/proc/meminfo: memFree=963912/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=2.94
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10890 0 1 0 286 8 0 0 25 0 8 0 164586145 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10627 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 17 0 8 0 164586149 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.29
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 407 0 0 0 28 1 0 0 16 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915560
[startup+6.18631 s]
/proc/loadavg: 1.93 1.99 1.93 3/94 1454
/proc/meminfo: memFree=963912/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=6.13
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10891 0 1 0 605 8 0 0 25 0 8 0 164586145 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855488 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10627 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.29
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 407 0 0 0 28 1 0 0 16 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915560
[startup+12.6673 s]
/proc/loadavg: 1.94 1.99 1.93 3/94 1454
/proc/meminfo: memFree=963912/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=12.58
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10891 0 1 0 1250 8 0 0 25 0 8 0 164586145 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846741 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10627 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.29
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 407 0 0 0 28 1 0 0 16 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915560
[startup+25.5353 s]
/proc/loadavg: 1.95 1.99 1.93 4/94 1454
/proc/meminfo: memFree=963912/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=25.41
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10891 0 1 0 2532 9 0 0 25 0 8 0 164586145 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10627 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.29
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 407 0 0 0 28 1 0 0 16 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915560
[startup+51.1632 s]
/proc/loadavg: 1.89 1.97 1.93 3/93 1492
/proc/meminfo: memFree=1034384/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=50.92
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10891 0 1 0 5082 10 0 0 25 0 8 0 164586145 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10627 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.29
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 407 0 0 0 28 1 0 0 16 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10627 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915560
[startup+102.384 s]
/proc/loadavg: 1.95 1.97 1.93 3/93 1492
/proc/meminfo: memFree=1034448/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=102.09
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10894 0 1 0 10199 10 0 0 25 0 8 0 164586145 937533440 10629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10629 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.29
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 409 0 0 0 28 1 0 0 17 0 8 0 164586154 937533440 10629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 915560
[startup+162.447 s]
/proc/loadavg: 1.98 1.97 1.93 3/93 1492
/proc/meminfo: memFree=1034448/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=162.1
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10894 0 1 0 16200 10 0 0 25 0 8 0 164586145 937533440 10629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073881097 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 915560
[startup+1483.97 s]
/proc/loadavg: 2.08 2.03 1.96 3/93 1492
/proc/meminfo: memFree=1034384/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=1482.08
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10896 0 1 0 148196 12 0 0 25 0 8 0 164586145 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10630 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.3
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 410 0 0 0 29 1 0 0 16 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 915560
[startup+1544.03 s]
/proc/loadavg: 2.03 2.02 1.96 3/93 1492
/proc/meminfo: memFree=1034384/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=1542.09
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10896 0 1 0 154197 12 0 0 25 0 8 0 164586145 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10630 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.3
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 410 0 0 0 29 1 0 0 16 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 915560
[startup+1604.09 s]
/proc/loadavg: 2.01 2.02 1.96 3/93 1492
/proc/meminfo: memFree=1034384/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=1602.08
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10896 0 1 0 160196 12 0 0 25 0 8 0 164586145 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856494 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10630 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.3
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 410 0 0 0 29 1 0 0 16 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 915560
[startup+1664.16 s]
/proc/loadavg: 2.00 2.01 1.96 3/93 1492
/proc/meminfo: memFree=1034320/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=1662.09
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10896 0 1 0 166196 13 0 0 25 0 8 0 164586145 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073899755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10630 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.3
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 410 0 0 0 29 1 0 0 16 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 915560
[startup+1724.24 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 1492
/proc/meminfo: memFree=1034384/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=1722.1
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10896 0 1 0 172197 13 0 0 25 0 8 0 164586145 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10630 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.3
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 410 0 0 0 29 1 0 0 16 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 915560
[startup+1784.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 1492
/proc/meminfo: memFree=1034320/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=1782.13
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10896 0 1 0 178200 13 0 0 25 0 8 0 164586145 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10630 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.3
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 410 0 0 0 29 1 0 0 16 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 915560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/93 1492
/proc/meminfo: memFree=1034320/2055920 swapFree=4157532/4192956
[pid=1446] ppid=1444 vsize=915560 CPUtime=1800.08
/proc/1446/stat : 1446 (java) R 1444 1446 920 0 -1 0 10896 0 1 0 179995 13 0 0 25 0 8 0 164586145 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858489 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1446/statm: 228890 10630 2524 14 0 215360 0
[pid=1446/tid=1448] ppid=1444 vsize=915560 CPUtime=0.04
/proc/1446/task/1448/stat : 1448 (java) S 1444 1446 920 0 -1 64 521 0 0 0 4 0 0 0 16 0 8 0 164586149 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1449] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1449/stat : 1449 (java) S 1444 1446 920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1450] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1450/stat : 1450 (java) S 1444 1446 920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164586150 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1451] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1451/stat : 1451 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1452] ppid=1444 vsize=915560 CPUtime=0.3
/proc/1446/task/1452/stat : 1452 (java) S 1444 1446 920 0 -1 64 410 0 0 0 29 1 0 0 16 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1453] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1453/stat : 1453 (java) S 1444 1446 920 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1446/tid=1454] ppid=1444 vsize=915560 CPUtime=0
/proc/1446/task/1454/stat : 1454 (java) S 1444 1446 920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164586154 937533440 10630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.34
CPU time (s): 1800.13
CPU user time (s): 1799.99
CPU system time (s): 0.139978
CPU usage (%): 99.877
Max. virtual memory (cumulated for all children) (KiB): 915560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10913
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37738
involuntary context switches= 50749
runsolver used 2.04469 s user time and 5.95509 s system time
The end
Begin job on node22 on Sun Jan 7 09:25:17 UTC 2007
IDJOB= 203595
IDBENCH= 3971
FILE ID= node22/203595-1168161917
PBS_JOBID= 3478539
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb59-26/frb59-26-5-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203595-1168161917/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-203595-1168161917 -o ROOT/results/node22/solver-203595-1168161917 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203595-1168161917/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c86ff152c45d9ccdb8b2ca1f1929975c
RANDOM SEED= 672351534
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 997152 kB
Buffers: 56592 kB
Cached: 818896 kB
SwapCached: 13680 kB
Active: 305712 kB
Inactive: 677296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 997152 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 2288 kB
Writeback: 0 kB
Mapped: 123584 kB
Slab: 60464 kB
Committed_AS: 2965608 kB
PageTables: 2404 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66552 MiB
End job on node22 on Sun Jan 7 09:55:20 UTC 2007