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/194908-1168107689/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 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.72 nbConstraints=465 nbRelationTypes=465 nbExtensionStructures=465 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=465 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2360 maxDegree=28
0.72 maxArity=2
0.72 => wckTime=0.403 cpuTime=0.32 mem=17M695
0.77
0.77 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.614 cpuTime=0.45 mem=15M578
1.00
1.00 preprocessing
1.00 nbConstraintChecks=118481 nbPropagations=1294 nbRevisions=10630 nbUselessRevisions=8922 nbSingletonTests=63
1.00 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.00 => wckTime=0.061 cpuTime=0.04 mem=15M578
1.03
1.03 search
1.03 run=0 nbConstraintChecks=58841 nbPropagations=2000 nbRevisions=19855 nbUselessRevisions=16482 nbAssignments=29
1.03 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.093 cpuTime=0.06 mem=15M578
1.05
1.05 search
1.05 run=1 nbConstraintChecks=131441 nbPropagations=4837 nbRevisions=51012 nbUselessRevisions=42233
1.05 nbAssignments=69 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=110 nbRestartNogoods=2 mapSize=23
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.116 cpuTime=0.08 mem=15M578
1.07
1.07 search
1.07 run=2 nbConstraintChecks=252803 nbPropagations=9051 nbRevisions=98141 nbUselessRevisions=81259
1.07 nbAssignments=139 nbFailedAssignments=38 nbBacktracks=48 nbVisitedNodes=188 nbRestartNogoods=6 mapSize=43
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.138 cpuTime=0.1 mem=15M578
1.10
1.10 search
1.10 run=3 nbConstraintChecks=373793 nbPropagations=14599 nbRevisions=164159 nbUselessRevisions=135544
1.10 nbAssignments=204 nbFailedAssignments=58 nbBacktracks=81 nbVisitedNodes=292 nbRestartNogoods=8 mapSize=68
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.162 cpuTime=0.12 mem=15M578
1.13
1.13 search
1.13 run=4 nbConstraintChecks=494931 nbPropagations=21665 nbRevisions=251505 nbUselessRevisions=207269
1.13 nbAssignments=295 nbFailedAssignments=85 nbBacktracks=133 nbVisitedNodes=435 nbRestartNogoods=14 mapSize=104
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.193 cpuTime=0.15 mem=15M578
1.17
1.17 search
1.17 run=5 nbConstraintChecks=719758 nbPropagations=31429 nbRevisions=377980 nbUselessRevisions=310973
1.17 nbAssignments=428 nbFailedAssignments=133 nbBacktracks=210 nbVisitedNodes=660 nbRestartNogoods=18 mapSize=170
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.239 cpuTime=0.19 mem=15M578
1.23
1.23 search
1.23 run=6 nbConstraintChecks=1048541 nbPropagations=45068 nbRevisions=562347 nbUselessRevisions=461884
1.23 nbAssignments=616 nbFailedAssignments=202 nbBacktracks=323 nbVisitedNodes=977 nbRestartNogoods=21 mapSize=267
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.297 cpuTime=0.25 mem=15M578
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1497193 nbPropagations=64168 nbRevisions=829994 nbUselessRevisions=681714
1.31 nbAssignments=901 nbFailedAssignments=305 nbBacktracks=494 nbVisitedNodes=1459 nbRestartNogoods=24 mapSize=411
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.379 cpuTime=0.33 mem=15M578
1.45
1.45 search
1.45 run=8 nbConstraintChecks=2226520 nbPropagations=91795 nbRevisions=1228423 nbUselessRevisions=1008063
1.45 nbAssignments=1343 nbFailedAssignments=481 nbBacktracks=752 nbVisitedNodes=2214 nbRestartNogoods=29
1.45 mapSize=620 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.51 cpuTime=0.46 mem=15M578
1.63
1.63 search
1.63 run=9 nbConstraintChecks=3182362 nbPropagations=130800 nbRevisions=1802697 nbUselessRevisions=1478220
1.63 nbAssignments=1944 nbFailedAssignments=687 nbBacktracks=1136 nbVisitedNodes=3223 nbRestartNogoods=33
1.63 mapSize=918 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.693 cpuTime=0.62 mem=15M578
1.68
1.68 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=15M578)
1.87
1.87 search
1.87 run=10 nbConstraintChecks=4646896 nbPropagations=187280 nbRevisions=2636271 nbUselessRevisions=2159349
1.87 nbAssignments=2853 nbFailedAssignments=1010 nbBacktracks=1712 nbVisitedNodes=4740 nbRestartNogoods=39
1.87 => wckTime=0.936 cpuTime=0.85 mem=15M578
2.21
2.21 search
2.21 run=11 nbConstraintChecks=6799166 nbPropagations=269688 nbRevisions=3866587 nbUselessRevisions=3166229
2.21 nbAssignments=4237 nbFailedAssignments=1517 nbBacktracks=2578 nbVisitedNodes=7067 nbRestartNogoods=45
2.21 => wckTime=1.27 cpuTime=1.18 mem=15M578
2.75
2.75 search
2.75 run=12 nbConstraintChecks=10250289 nbPropagations=393942 nbRevisions=5749806 nbUselessRevisions=4711214
2.75 nbAssignments=6360 nbFailedAssignments=2332 nbBacktracks=3875 nbVisitedNodes=10761 nbRestartNogoods=50
2.75 => wckTime=1.813 cpuTime=1.71 mem=15M578
3.53
3.53 search
3.53 run=13 nbConstraintChecks=15384798 nbPropagations=578369 nbRevisions=8550538 nbUselessRevisions=7007020
3.53 nbAssignments=9429 nbFailedAssignments=3427 nbBacktracks=5821 nbVisitedNodes=15912 nbRestartNogoods=60
3.53 => wckTime=2.593 cpuTime=2.49 mem=15M578
4.76
4.76 search
4.76 run=14 nbConstraintChecks=23314380 nbPropagations=859672 nbRevisions=12831742 nbUselessRevisions=10517284
4.76 nbAssignments=14245 nbFailedAssignments=5312 nbBacktracks=8740 nbVisitedNodes=24255 nbRestartNogoods=67
4.76 => wckTime=3.823 cpuTime=3.71 mem=15M578
6.57
6.57 search
6.57 run=15 nbConstraintChecks=35325246 nbPropagations=1279484 nbRevisions=19261049 nbUselessRevisions=15781222
6.57 nbAssignments=21366 nbFailedAssignments=8042 nbBacktracks=13119 nbVisitedNodes=36537 nbRestartNogoods=76
6.57 => wckTime=5.632 cpuTime=5.5 mem=15M578
9.14
9.14 search
9.14 run=16 nbConstraintChecks=51883410 nbPropagations=1900887 nbRevisions=28827123 nbUselessRevisions=23631511
9.14 nbAssignments=31847 nbFailedAssignments=11944 nbBacktracks=19687 nbVisitedNodes=54457 nbRestartNogoods=85
9.14 => wckTime=8.202 cpuTime=8.04 mem=16M553
12.94
12.94 search
12.94 run=17 nbConstraintChecks=76206928 nbPropagations=2816135 nbRevisions=42968170 nbUselessRevisions=35249148
12.94 nbAssignments=47565 nbFailedAssignments=17796 nbBacktracks=29544 nbVisitedNodes=81131 nbRestartNogoods=94
12.94 => wckTime=12.007 cpuTime=11.81 mem=16M553
19.10
19.10 search
19.10 run=18 nbConstraintChecks=116686141 nbPropagations=4200392 nbRevisions=64520951 nbUselessRevisions=52978958
19.10 nbAssignments=71373 nbFailedAssignments=26816 nbBacktracks=44322 nbVisitedNodes=121981 nbRestartNogoods=98
19.10 => wckTime=18.16 cpuTime=17.92 mem=16M553
27.36
27.36 search
27.36 run=19 nbConstraintChecks=169524672 nbPropagations=6235870 nbRevisions=96056013 nbUselessRevisions=78911888
27.36 nbAssignments=106117 nbFailedAssignments=39361 nbBacktracks=66492 nbVisitedNodes=180659 nbRestartNogoods=114
27.36 => wckTime=26.423 cpuTime=26.1 mem=16M553
40.82
40.82 search
40.82 run=20 nbConstraintChecks=257381972 nbPropagations=9304545 nbRevisions=143639530 nbUselessRevisions=118020029
40.82 nbAssignments=159924 nbFailedAssignments=59907 nbBacktracks=99746 nbVisitedNodes=272804 nbRestartNogoods=127
40.82 => wckTime=39.881 cpuTime=39.44 mem=16M553
59.98
59.98 search
59.98 run=21 nbConstraintChecks=379973498 nbPropagations=13871698 nbRevisions=214283550 nbUselessRevisions=176097847
59.98 nbAssignments=238489 nbFailedAssignments=88581 nbBacktracks=149627 nbVisitedNodes=405938 nbRestartNogoods=137
59.98 => wckTime=59.047 cpuTime=58.43 mem=16M553
89.35
89.35 search
89.35 run=22 nbConstraintChecks=568830636 nbPropagations=20722482 nbRevisions=320478315 nbUselessRevisions=263463168
89.35 nbAssignments=357782 nbFailedAssignments=133044 nbBacktracks=224446 nbVisitedNodes=609034 nbRestartNogoods=151
89.35 => wckTime=88.41 cpuTime=87.55 mem=16M553
134.22
134.22 search
134.22 run=23 nbConstraintChecks=865540905 nbPropagations=31003147 nbRevisions=480133531 nbUselessRevisions=394679451
134.22 nbAssignments=537770 nbFailedAssignments=200794 nbBacktracks=336675 nbVisitedNodes=916057 nbRestartNogoods=168
134.22 => wckTime=133.282 cpuTime=132.01 mem=16M553
200.53
200.53 search
200.53 run=24 nbConstraintChecks=1299497211 nbPropagations=46412697 nbRevisions=718971241 nbUselessRevisions=590883632
200.53 nbAssignments=802266 nbFailedAssignments=296938 nbBacktracks=505016 nbVisitedNodes=1364849 nbRestartNogoods=178
200.53 => wckTime=199.591 cpuTime=197.73 mem=16M553
304.84
304.84 search
304.84 run=25 nbConstraintChecks=1980668623 nbPropagations=69817937 nbRevisions=1083798461
304.84 nbUselessRevisions=890829270 nbAssignments=1212656 nbFailedAssignments=454803 nbBacktracks=757528
304.84 nbVisitedNodes=2068465 nbRestartNogoods=190
304.84 => wckTime=303.906 cpuTime=301.13 mem=16M553
452.59
452.59 search
452.59 run=26 nbConstraintChecks=2961996089 nbPropagations=104519796 nbRevisions=1624710184
452.59 nbUselessRevisions=1335256047 nbAssignments=1811052 nbFailedAssignments=674422 nbBacktracks=1136295
452.59 nbVisitedNodes=3082533 nbRestartNogoods=202
452.59 => wckTime=451.652 cpuTime=447.56 mem=16M553
673.80
673.80 search
673.80 run=27 nbConstraintChecks=4421741300 nbPropagations=156692365 nbRevisions=2439197076
673.80 nbUselessRevisions=2005277519 nbAssignments=2712110 nbFailedAssignments=1007321 nbBacktracks=1704446
673.80 nbVisitedNodes=4619355 nbRestartNogoods=214
673.80 => wckTime=672.865 cpuTime=667.22 mem=16M553
986.31
986.31 search
986.31 run=28 nbConstraintChecks=6682847509 nbPropagations=234724001 nbRevisions=3657297584
986.31 nbUselessRevisions=3006290424 nbAssignments=4067478 nbFailedAssignments=1510453 nbBacktracks=2556673
986.31 nbVisitedNodes=6922064 nbRestartNogoods=231
986.31 => wckTime=985.37 cpuTime=979.49 mem=16M553
1448.58
1448.58 search
1448.58 run=29 nbConstraintChecks=9923316756 nbPropagations=351578013 nbRevisions=5479196088
1448.58 nbUselessRevisions=4504707817 nbAssignments=6085342 nbFailedAssignments=2249967 nbBacktracks=3835013
1448.58 nbVisitedNodes=10350293 nbRestartNogoods=242
1448.58 => wckTime=1447.641 cpuTime=1441.4 mem=16M553
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-194908-1168107689 -o ROOT/results/node16/solver-194908-1168107689 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194908-1168107689/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.98 1.99 2/88 32579
/proc/meminfo: memFree=1551104/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=18540 CPUtime=0
/proc/32578/stat : 32578 (runsolver) R 32576 32578 32148 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 159163778 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32578/statm: 4635 279 244 17 0 2626 0
[startup+0.103061 s]
/proc/loadavg: 1.92 1.98 1.99 2/88 32579
/proc/meminfo: memFree=1551104/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=913236 CPUtime=0.08
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 2920 0 1 0 7 1 0 0 19 0 8 0 159163778 935153664 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32578/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.510987 s]
/proc/loadavg: 1.92 1.98 1.99 2/88 32579
/proc/meminfo: memFree=1551104/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915328 CPUtime=0.48
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 6771 0 1 0 44 4 0 0 18 0 8 0 159163778 937295872 6510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073569846 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32578/statm: 228832 6510 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33484 s]
/proc/loadavg: 1.92 1.98 1.99 3/95 32586
/proc/meminfo: memFree=1523464/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=1.3
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9628 0 1 0 124 6 0 0 24 0 8 0 159163778 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926795 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32578/statm: 228865 9366 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.22
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 380 0 0 0 21 1 0 0 15 0 8 0 159163786 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9366 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.98554 s]
/proc/loadavg: 1.92 1.98 1.99 3/95 32586
/proc/meminfo: memFree=1523400/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=2.93
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9647 0 1 0 287 6 0 0 25 0 8 0 159163778 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32578/statm: 228865 9384 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 159163782 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9384 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.26394 s]
/proc/loadavg: 1.93 1.98 1.99 3/95 32586
/proc/meminfo: memFree=1523272/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=6.18
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9648 0 1 0 612 6 0 0 25 0 8 0 159163778 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32578/statm: 228865 9384 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7518 s]
/proc/loadavg: 1.93 1.98 1.99 3/95 32586
/proc/meminfo: memFree=1523272/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=12.61
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9648 0 1 0 1255 6 0 0 25 0 8 0 159163778 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32578/statm: 228865 9384 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.5974 s]
/proc/loadavg: 1.95 1.98 1.99 3/95 32586
/proc/meminfo: memFree=1523336/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=25.35
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9648 0 1 0 2528 7 0 0 25 0 8 0 159163778 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32578/statm: 228865 9384 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.2068 s]
/proc/loadavg: 1.96 1.98 1.99 3/95 32586
/proc/meminfo: memFree=1523400/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=50.73
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9650 0 1 0 5066 7 0 0 25 0 8 0 159163778 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32578/statm: 228865 9385 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915460
[startup+102.419 s]
/proc/loadavg: 1.98 1.98 1.99 3/95 32586
/proc/meminfo: memFree=1523400/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=101.48
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9650 0 1 0 10141 7 0 0 25 0 8 0 159163778 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32578/statm: 228865 9385 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915460
[startup+162.481 s]
/proc/loadavg: 1.99 1.98 1.99 3/95 32586
/proc/meminfo: memFree=1523400/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=161.02
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9651 0 1 0 16094 8 0 0 25 0 8 0 159163778 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.03
Current children cumulated vsize (KiB) 915460
[startup+1483.24 s]
/proc/loadavg: 2.00 2.00 2.00 4/102 32663
/proc/meminfo: memFree=1401432/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=1477.03
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9651 0 1 0 147689 14 0 0 25 0 8 0 159163778 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829653 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32578/statm: 228865 9386 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.03
Current children cumulated vsize (KiB) 915460
[startup+1543.25 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 32663
/proc/meminfo: memFree=1401496/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=1536.99
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9651 0 1 0 153685 14 0 0 25 0 8 0 159163778 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809097 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32578/statm: 228865 9386 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.99
Current children cumulated vsize (KiB) 915460
[startup+1603.29 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 32663
/proc/meminfo: memFree=1401432/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=1596.98
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9651 0 1 0 159684 14 0 0 25 0 8 0 159163778 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812051 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32578/statm: 228865 9386 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.98
Current children cumulated vsize (KiB) 915460
[startup+1663.37 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 32663
/proc/meminfo: memFree=1401432/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=1657.02
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9651 0 1 0 165688 14 0 0 25 0 8 0 159163778 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32578/statm: 228865 9386 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.02
Current children cumulated vsize (KiB) 915460
[startup+1723.44 s]
/proc/loadavg: 2.03 2.01 2.00 3/102 32663
/proc/meminfo: memFree=1375768/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=1717.04
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9651 0 1 0 171689 15 0 0 25 0 8 0 159163778 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817177 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32578/statm: 228865 9386 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.04
Current children cumulated vsize (KiB) 915460
[startup+1783.51 s]
/proc/loadavg: 2.01 2.01 2.00 3/102 32663
/proc/meminfo: memFree=1375832/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=1777.07
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9651 0 1 0 177692 15 0 0 25 0 8 0 159163778 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32578/statm: 228865 9386 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.07
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/102 32663
/proc/meminfo: memFree=1375768/2055920 swapFree=4191880/4192956
[pid=32578] ppid=32576 vsize=915460 CPUtime=1800.03
/proc/32578/stat : 32578 (java) R 32576 32578 32148 0 -1 0 9651 0 1 0 179988 15 0 0 25 0 8 0 159163778 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32578/statm: 228865 9386 2524 14 0 215335 0
[pid=32578/tid=32580] ppid=32576 vsize=915460 CPUtime=0.03
/proc/32578/task/32580/stat : 32580 (java) S 32576 32578 32148 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 159163782 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32581] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32581/stat : 32581 (java) S 32576 32578 32148 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32582] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32582/stat : 32582 (java) S 32576 32578 32148 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159163783 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32583] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32583/stat : 32583 (java) S 32576 32578 32148 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32584] ppid=32576 vsize=915460 CPUtime=0.25
/proc/32578/task/32584/stat : 32584 (java) S 32576 32578 32148 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32578/tid=32585] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32585/stat : 32585 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32578/tid=32586] ppid=32576 vsize=915460 CPUtime=0
/proc/32578/task/32586/stat : 32586 (java) S 32576 32578 32148 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159163786 937431040 9386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.56
CPU time (s): 1800.1
CPU user time (s): 1799.94
CPU system time (s): 0.160975
CPU usage (%): 99.6424
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9669
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= 37730
involuntary context switches= 56436
runsolver used 2.70459 s user time and 6.70798 s system time
The end
Begin job on node16 on Sat Jan 6 18:21:29 UTC 2007
IDJOB= 194908
IDBENCH= 3239
FILE ID= node16/194908-1168107689
PBS_JOBID= 3477073
Free space on /tmp= 66500 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-22_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194908-1168107689/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-194908-1168107689 -o ROOT/results/node16/solver-194908-1168107689 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194908-1168107689/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8562e9e8a5ace187915608298ca5a4f7
RANDOM SEED= 68301190
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.220
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.220
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: 1551584 kB
Buffers: 51988 kB
Cached: 305152 kB
SwapCached: 268 kB
Active: 160392 kB
Inactive: 251576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1551584 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2080 kB
Writeback: 0 kB
Mapped: 74824 kB
Slab: 77036 kB
Committed_AS: 4043592 kB
PageTables: 2388 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= 66498 MiB
End job on node16 on Sat Jan 6 18:51:36 UTC 2007