0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/229774-1168310766/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.104 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.58
0.58 constraints being loaded...
0.73 nbConstraints=479 nbRelationTypes=479 nbExtensionStructures=479 nbSharedExtensionStructures=0
0.73 nbConflictsStructures=479 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2588 maxDegree=29
0.73 maxArity=2
0.73 => wckTime=0.405 cpuTime=0.31 mem=17M908
0.77
0.77 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.616 cpuTime=0.45 mem=15M604
1.00
1.00 preprocessing
1.00 nbConstraintChecks=98270 nbPropagations=1123 nbRevisions=8732 nbUselessRevisions=7287 nbSingletonTests=57
1.00 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.00 => wckTime=0.059 cpuTime=0.04 mem=15M604
1.03
1.03 search
1.03 run=0 nbConstraintChecks=46265 nbPropagations=1656 nbRevisions=15426 nbUselessRevisions=12838 nbAssignments=27
1.03 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.09 cpuTime=0.06 mem=15M604
1.05
1.05 search
1.05 run=1 nbConstraintChecks=95325 nbPropagations=3866 nbRevisions=37741 nbUselessRevisions=31273 nbAssignments=56
1.05 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=83 nbRestartNogoods=2 mapSize=20 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.111 cpuTime=0.07 mem=15M604
1.06
1.06 search
1.06 run=2 nbConstraintChecks=157604 nbPropagations=6860 nbRevisions=70176 nbUselessRevisions=58171
1.06 nbAssignments=101 nbFailedAssignments=27 nbBacktracks=48 nbVisitedNodes=149 nbRestartNogoods=3 mapSize=35
1.06 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.125 cpuTime=0.08 mem=15M604
1.08
1.08 search
1.08 run=3 nbConstraintChecks=244275 nbPropagations=10935 nbRevisions=117306 nbUselessRevisions=97368
1.08 nbAssignments=163 nbFailedAssignments=46 nbBacktracks=81 nbVisitedNodes=245 nbRestartNogoods=5 mapSize=60
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.143 cpuTime=0.1 mem=15M604
1.12
1.12 search
1.12 run=4 nbConstraintChecks=405441 nbPropagations=16858 nbRevisions=192355 nbUselessRevisions=159627
1.12 nbAssignments=257 nbFailedAssignments=78 nbBacktracks=134 nbVisitedNodes=404 nbRestartNogoods=8 mapSize=107
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.176 cpuTime=0.13 mem=15M604
1.17
1.17 search
1.17 run=5 nbConstraintChecks=600094 nbPropagations=25456 nbRevisions=307647 nbUselessRevisions=255463
1.17 nbAssignments=398 nbFailedAssignments=132 nbBacktracks=209 nbVisitedNodes=638 nbRestartNogoods=10 mapSize=172
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.228 cpuTime=0.17 mem=15M604
1.23
1.23 search
1.23 run=6 nbConstraintChecks=926616 nbPropagations=37833 nbRevisions=481433 nbUselessRevisions=399584
1.23 nbAssignments=602 nbFailedAssignments=212 nbBacktracks=323 nbVisitedNodes=981 nbRestartNogoods=16 mapSize=263
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.288 cpuTime=0.23 mem=15M604
1.30
1.30 search
1.30 run=7 nbConstraintChecks=1318624 nbPropagations=55084 nbRevisions=729440 nbUselessRevisions=605207
1.30 nbAssignments=861 nbFailedAssignments=291 nbBacktracks=495 nbVisitedNodes=1402 nbRestartNogoods=19 mapSize=386
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.363 cpuTime=0.31 mem=15M604
1.43
1.43 search
1.43 run=8 nbConstraintChecks=1977806 nbPropagations=80533 nbRevisions=1107720 nbUselessRevisions=918341
1.43 nbAssignments=1301 nbFailedAssignments=463 nbBacktracks=753 nbVisitedNodes=2156 nbRestartNogoods=21
1.43 mapSize=600 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.492 cpuTime=0.43 mem=15M604
1.66
1.66 search
1.66 run=9 nbConstraintChecks=3279691 nbPropagations=119780 nbRevisions=1708996 nbUselessRevisions=1414083
1.66 nbAssignments=1994 nbFailedAssignments=761 nbBacktracks=1138 nbVisitedNodes=3362 nbRestartNogoods=27
1.66 mapSize=927 nbInferences=0 nbTooLargeKeys=0
1.66 => wckTime=0.716 cpuTime=0.64 mem=15M604
1.71
1.71 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=15M604)
1.92
1.92 search
1.92 run=10 nbConstraintChecks=4907079 nbPropagations=177540 nbRevisions=2600234 nbUselessRevisions=2146256
1.92 nbAssignments=2958 nbFailedAssignments=1138 nbBacktracks=1714 nbVisitedNodes=5001 nbRestartNogoods=35
1.92 => wckTime=0.985 cpuTime=0.9 mem=15M604
2.31
2.31 search
2.31 run=11 nbConstraintChecks=7294663 nbPropagations=263327 nbRevisions=3931372 nbUselessRevisions=3242450
2.31 nbAssignments=4441 nbFailedAssignments=1682 nbBacktracks=2580 nbVisitedNodes=7408 nbRestartNogoods=44
2.31 => wckTime=1.368 cpuTime=1.28 mem=15M604
2.82
2.82 search
2.82 run=12 nbConstraintChecks=10551135 nbPropagations=387646 nbRevisions=5861060 nbUselessRevisions=4828861
2.82 nbAssignments=6514 nbFailedAssignments=2448 nbBacktracks=3877 nbVisitedNodes=10902 nbRestartNogoods=50
2.82 => wckTime=1.881 cpuTime=1.79 mem=15M604
3.84
3.84 search
3.84 run=13 nbConstraintChecks=17302738 nbPropagations=583967 nbRevisions=8964837 nbUselessRevisions=7377806
3.84 nbAssignments=10028 nbFailedAssignments=4006 nbBacktracks=5824 nbVisitedNodes=17159 nbRestartNogoods=58
3.84 => wckTime=2.897 cpuTime=2.8 mem=15M604
4.94
4.94 search
4.94 run=14 nbConstraintChecks=24125129 nbPropagations=864117 nbRevisions=13379516 nbUselessRevisions=11010328
4.94 nbAssignments=14652 nbFailedAssignments=5680 nbBacktracks=8745 nbVisitedNodes=24899 nbRestartNogoods=66
4.94 => wckTime=4.0 cpuTime=3.89 mem=15M604
6.76
6.76 search
6.76 run=15 nbConstraintChecks=35908494 nbPropagations=1277385 nbRevisions=19924025 nbUselessRevisions=16394473
6.76 nbAssignments=21645 nbFailedAssignments=8286 nbBacktracks=13123 nbVisitedNodes=36707 nbRestartNogoods=74
6.76 => wckTime=5.822 cpuTime=5.71 mem=15M604
9.14
9.14 search
9.14 run=16 nbConstraintChecks=50080034 nbPropagations=1876745 nbRevisions=29355247 nbUselessRevisions=24167981
9.14 nbAssignments=32098 nbFailedAssignments=12156 nbBacktracks=19693 nbVisitedNodes=54435 nbRestartNogoods=84
9.14 => wckTime=8.205 cpuTime=8.07 mem=16M580
13.06
13.06 search
13.06 run=17 nbConstraintChecks=74866108 nbPropagations=2771558 nbRevisions=43448804 nbUselessRevisions=35788966
13.06 nbAssignments=47785 nbFailedAssignments=17980 nbBacktracks=29545 nbVisitedNodes=81092 nbRestartNogoods=90
13.06 => wckTime=12.122 cpuTime=11.98 mem=16M580
20.02
20.02 search
20.02 run=18 nbConstraintChecks=120411117 nbPropagations=4162546 nbRevisions=65539837 nbUselessRevisions=53961212
20.02 nbAssignments=72976 nbFailedAssignments=28380 nbBacktracks=44326 nbVisitedNodes=124890 nbRestartNogoods=102
20.02 => wckTime=19.08 cpuTime=18.91 mem=16M580
28.59
28.59 search
28.59 run=19 nbConstraintChecks=172867181 nbPropagations=6207368 nbRevisions=97978982 nbUselessRevisions=80708806
28.59 nbAssignments=108457 nbFailedAssignments=41681 nbBacktracks=66494 nbVisitedNodes=185380 nbRestartNogoods=112
28.59 => wckTime=27.647 cpuTime=27.43 mem=16M580
43.05
43.05 search
43.05 run=20 nbConstraintChecks=265161515 nbPropagations=9306028 nbRevisions=147476257 nbUselessRevisions=121514010
43.05 nbAssignments=163336 nbFailedAssignments=63297 nbBacktracks=99748 nbVisitedNodes=279565 nbRestartNogoods=120
43.05 => wckTime=42.108 cpuTime=41.82 mem=16M580
62.78
62.78 search
62.78 run=21 nbConstraintChecks=390039842 nbPropagations=13884185 nbRevisions=219975978 nbUselessRevisions=181200562
62.78 nbAssignments=241654 nbFailedAssignments=91731 nbBacktracks=149626 nbVisitedNodes=411899 nbRestartNogoods=129
62.78 => wckTime=61.841 cpuTime=61.46 mem=16M580
94.99
94.99 search
94.99 run=22 nbConstraintChecks=596728442 nbPropagations=20832434 nbRevisions=330482619 nbUselessRevisions=272222659
94.99 nbAssignments=362505 nbFailedAssignments=137754 nbBacktracks=224445 nbVisitedNodes=618987 nbRestartNogoods=136
94.99 => wckTime=94.053 cpuTime=93.52 mem=16M580
140.74
140.74 search
140.74 run=23 nbConstraintChecks=886497363 nbPropagations=31154607 nbRevisions=494731721 nbUselessRevisions=407552316
140.74 nbAssignments=540079 nbFailedAssignments=203087 nbBacktracks=336676 nbVisitedNodes=919668 nbRestartNogoods=151
140.74 => wckTime=139.798 cpuTime=139.04 mem=16M580
208.65
208.65 search
208.65 run=24 nbConstraintChecks=1304700392 nbPropagations=46585483 nbRevisions=740673807 nbUselessRevisions=610491131
208.65 nbAssignments=813564 nbFailedAssignments=308219 nbBacktracks=505017 nbVisitedNodes=1387825 nbRestartNogoods=158
208.65 => wckTime=207.71 cpuTime=206.62 mem=16M580
317.31
317.31 search
317.31 run=25 nbConstraintChecks=1999429251 nbPropagations=69978325 nbRevisions=1115773614
317.31 nbUselessRevisions=920136772 nbAssignments=1224313 nbFailedAssignments=466446 nbBacktracks=757532
317.31 nbVisitedNodes=2093040 nbRestartNogoods=172
317.31 => wckTime=316.371 cpuTime=314.77 mem=16M580
469.73
469.74 search
469.74 run=26 nbConstraintChecks=2959404109 nbPropagations=104763811 nbRevisions=1670653946
469.74 nbUselessRevisions=1378031213 nbAssignments=1827191 nbFailedAssignments=690545 nbBacktracks=1136301
469.74 nbVisitedNodes=3114601 nbRestartNogoods=183
469.74 => wckTime=468.796 cpuTime=466.46 mem=16M580
711.77
711.77 search
711.77 run=27 nbConstraintChecks=4508034783 nbPropagations=157302943 nbRevisions=2512263255
711.77 nbUselessRevisions=2072411801 nbAssignments=2751935 nbFailedAssignments=1047124 nbBacktracks=1704454
711.77 nbVisitedNodes=4699367 nbRestartNogoods=196
711.77 => wckTime=710.828 cpuTime=707.64 mem=16M580
1063.10
1063.10 search
1063.10 run=28 nbConstraintChecks=6757437253 nbPropagations=235652034 nbRevisions=3763287843
1063.10 nbUselessRevisions=3103867911 nbAssignments=4101625 nbFailedAssignments=1544527 nbBacktracks=2556684
1063.10 nbVisitedNodes=6987159 nbRestartNogoods=215
1063.10 => wckTime=1062.16 cpuTime=1055.11 mem=16M580
1603.14
1603.14 search
1603.14 run=29 nbConstraintChecks=10231389743 nbPropagations=354030720 nbRevisions=5653169576
1603.14 nbUselessRevisions=4661722916 nbAssignments=6164255 nbFailedAssignments=2328807 nbBacktracks=3835026
1603.14 nbVisitedNodes=10511098 nbRestartNogoods=232
1603.14 => wckTime=1602.204 cpuTime=1594.97 mem=16M580
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-229774-1168310766 -o ROOT/results/node15/solver-229774-1168310766 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229774-1168310766/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.92 1.99 1.92 4/88 19183
/proc/meminfo: memFree=1576208/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=18540 CPUtime=0
/proc/19182/stat : 19182 (runsolver) R 19180 19182 17614 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 179471469 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19182/statm: 4635 279 244 17 0 2626 0
[startup+0.103168 s]
/proc/loadavg: 1.92 1.99 1.92 4/88 19183
/proc/meminfo: memFree=1576208/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=913228 CPUtime=0.09
/proc/19182/stat : 19182 (java) D 19180 19182 17614 0 -1 0 2920 0 1 0 7 2 0 0 17 0 8 0 179471469 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913228
[startup+0.511236 s]
/proc/loadavg: 1.92 1.99 1.92 4/88 19183
/proc/meminfo: memFree=1576208/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915328 CPUtime=0.49
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 6803 0 1 0 44 5 0 0 18 0 8 0 179471469 937295872 6542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228832 6542 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33238 s]
/proc/loadavg: 1.92 1.99 1.92 3/95 19190
/proc/meminfo: memFree=1548376/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=1.3
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9669 0 1 0 123 7 0 0 24 0 8 0 179471469 937431040 9407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9407 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.21
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 383 0 0 0 20 1 0 0 15 0 8 0 179471478 937431040 9407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97165 s]
/proc/loadavg: 1.92 1.99 1.92 3/95 19190
/proc/meminfo: memFree=1548248/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=2.93
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9686 0 1 0 286 7 0 0 25 0 8 0 179471469 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9422 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 17 0 8 0 179471474 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.25
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 399 0 0 0 23 2 0 0 15 0 8 0 179471478 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.27022 s]
/proc/loadavg: 1.93 1.99 1.92 3/95 19190
/proc/meminfo: memFree=1548120/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=6.22
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9689 0 1 0 614 8 0 0 25 0 8 0 179471469 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9424 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.25
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 400 0 0 0 23 2 0 0 16 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7493 s]
/proc/loadavg: 1.94 1.99 1.92 3/95 19190
/proc/meminfo: memFree=1548120/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=12.67
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9689 0 1 0 1259 8 0 0 25 0 8 0 179471469 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9424 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 400 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915460
[startup+25.6145 s]
/proc/loadavg: 1.95 1.99 1.92 3/95 19190
/proc/meminfo: memFree=1548184/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=25.47
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9689 0 1 0 2539 8 0 0 25 0 8 0 179471469 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9424 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 400 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.2279 s]
/proc/loadavg: 2.03 2.00 1.93 3/95 19190
/proc/meminfo: memFree=1548184/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=50.96
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9689 0 1 0 5088 8 0 0 25 0 8 0 179471469 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9424 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 400 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915460
[startup+102.446 s]
/proc/loadavg: 2.01 2.00 1.93 3/95 19190
/proc/meminfo: memFree=1548248/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=101.93
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9689 0 1 0 10185 8 0 0 25 0 8 0 179471469 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9424 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 400 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915460
[startup+162.516 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 19190
/proc/meminfo: memFree=1548184/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=161.72
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9692 0 1 0 16163 9 0 0 25 0 8 0 179471469 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817741 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.65
Current children cumulated vsize (KiB) 915460
[startup+1483.85 s]
/proc/loadavg: 2.09 2.04 1.98 3/105 19919
/proc/meminfo: memFree=1315976/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=1476.72
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9692 0 1 0 147648 24 0 0 25 0 8 0 179471469 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9426 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.72
Current children cumulated vsize (KiB) 915460
[startup+1543.95 s]
/proc/loadavg: 2.07 2.05 1.99 3/105 19919
/proc/meminfo: memFree=1315912/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=1536.79
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9692 0 1 0 153655 24 0 0 25 0 8 0 179471469 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9426 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.79
Current children cumulated vsize (KiB) 915460
[startup+1604.04 s]
/proc/loadavg: 2.02 2.04 1.99 3/105 19919
/proc/meminfo: memFree=1315912/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=1596.86
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9692 0 1 0 159661 25 0 0 25 0 8 0 179471469 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9426 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.86
Current children cumulated vsize (KiB) 915460
[startup+1664.06 s]
/proc/loadavg: 2.01 2.03 1.99 3/105 19919
/proc/meminfo: memFree=1315848/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=1656.86
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9692 0 1 0 165661 25 0 0 25 0 8 0 179471469 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9426 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.86
Current children cumulated vsize (KiB) 915460
[startup+1724.09 s]
/proc/loadavg: 2.05 2.03 2.00 3/105 19919
/proc/meminfo: memFree=1315848/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=1716.87
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9692 0 1 0 171661 26 0 0 25 0 8 0 179471469 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9426 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.87
Current children cumulated vsize (KiB) 915460
[startup+1784.12 s]
/proc/loadavg: 2.02 2.03 2.00 3/105 19919
/proc/meminfo: memFree=1250440/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=1776.7
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9692 0 1 0 177644 26 0 0 25 0 8 0 179471469 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9426 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.7
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.47 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 19919
/proc/meminfo: memFree=1250440/2055920 swapFree=4174172/4192956
[pid=19182] ppid=19180 vsize=915460 CPUtime=1800.06
/proc/19182/stat : 19182 (java) R 19180 19182 17614 0 -1 0 9692 0 1 0 179980 26 0 0 25 0 8 0 179471469 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19182/statm: 228865 9426 2524 14 0 215335 0
[pid=19182/tid=19184] ppid=19180 vsize=915460 CPUtime=0.03
/proc/19182/task/19184/stat : 19184 (java) S 19180 19182 17614 0 -1 64 414 0 0 0 3 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19185] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19185/stat : 19185 (java) S 19180 19182 17614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19186] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19186/stat : 19186 (java) S 19180 19182 17614 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179471474 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19187] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19187/stat : 19187 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19188] ppid=19180 vsize=915460 CPUtime=0.26
/proc/19182/task/19188/stat : 19188 (java) S 19180 19182 17614 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19189] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19189/stat : 19189 (java) S 19180 19182 17614 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19182/tid=19190] ppid=19180 vsize=915460 CPUtime=0
/proc/19182/task/19190/stat : 19190 (java) S 19180 19182 17614 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 179471478 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.52
CPU time (s): 1800.11
CPU user time (s): 1799.83
CPU system time (s): 0.275958
CPU usage (%): 99.59
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.275958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9710
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= 37728
involuntary context switches= 49178
runsolver used 2.54461 s user time and 6.38903 s system time
The end
Begin job on node15 on Tue Jan 9 02:46:06 UTC 2007
IDJOB= 229774
IDBENCH= 6357
FILE ID= node15/229774-1168310766
PBS_JOBID= 3502326
Free space on /tmp= 66332 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229774-1168310766/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-229774-1168310766 -o ROOT/results/node15/solver-229774-1168310766 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229774-1168310766/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d53cc8e5fffb59df4d920acfe13918eb
RANDOM SEED= 615942614
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.276
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.276
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: 1576688 kB
Buffers: 51856 kB
Cached: 332664 kB
SwapCached: 5800 kB
Active: 276676 kB
Inactive: 149896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1576688 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2080 kB
Writeback: 0 kB
Mapped: 53504 kB
Slab: 37336 kB
Committed_AS: 5486096 kB
PageTables: 2428 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= 66560 MiB
End job on node15 on Tue Jan 9 03:16:14 UTC 2007