0.42
0.42 Abscon 109 (November, 2006)
0.42
0.42 configuration
0.42 name=esac.xml
0.47
0.47 instance
0.47 name=/tmp/evaluation/203313-1168159361/unknown.xml
0.51
0.51 domains being loaded...
0.51
0.51 variables being loaded...
0.55 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.55 => wckTime=0.125 cpuTime=0.09 mem=6M951
0.55
0.55 relations being loaded...
1.73
1.73 constraints being loaded...
2.51 nbConstraints=90 nbRelationTypes=93 nbMergedConstraints=3 nbExtensionStructures=90
2.51 nbSharedExtensionStructures=0 nbConflictsStructures=90 nbSharedConflictsStructures=0
2.51 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.51 => wckTime=2.087 cpuTime=1.65 mem=56M6
2.67
2.67 solver IterativeSystematicSolver being built...
2.85 => wckTime=2.428 cpuTime=1.8 mem=64M573
3.00
3.01 preprocessing
3.01 nbConstraintChecks=51048 nbValidityChecks=84959 nbPropagations=299 nbRevisions=3084 nbUselessRevisions=2684
3.01 nbSingletonTests=41 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
3.01 => wckTime=0.15 cpuTime=0.12 mem=64M573
3.07
3.07 search
3.07 run=0 nbConstraintChecks=27539 nbValidityChecks=48433 nbPropagations=531 nbRevisions=5584
3.07 nbUselessRevisions=4681 nbAssignments=27 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=39
3.07 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
3.07 => wckTime=0.216 cpuTime=0.18 mem=65M598
3.17
3.17 search
3.17 run=1 nbConstraintChecks=77221 nbValidityChecks=149238 nbPropagations=1623 nbRevisions=18325
3.17 nbUselessRevisions=15134 nbAssignments=81 nbFailedAssignments=36 nbBacktracks=29 nbVisitedNodes=133
3.17 nbRestartNogoods=3 mapSize=22 nbInferences=0 nbTooLargeKeys=0
3.17 => wckTime=0.315 cpuTime=0.27 mem=65M598
3.36
3.36 search
3.36 run=2 nbConstraintChecks=179624 nbValidityChecks=348775 nbPropagations=3578 nbRevisions=43006
3.36 nbUselessRevisions=35138 nbAssignments=151 nbFailedAssignments=76 nbBacktracks=51 nbVisitedNodes=258
3.36 nbRestartNogoods=5 mapSize=40 nbInferences=0 nbTooLargeKeys=0
3.36 => wckTime=0.503 cpuTime=0.45 mem=65M598
3.60
3.60 search
3.60 run=3 nbConstraintChecks=320744 nbValidityChecks=642820 nbPropagations=6878 nbRevisions=83166
3.60 nbUselessRevisions=67451 nbAssignments=277 nbFailedAssignments=134 nbBacktracks=85 nbVisitedNodes=436
3.60 nbRestartNogoods=11 mapSize=67 nbInferences=0 nbTooLargeKeys=0
3.60 => wckTime=0.751 cpuTime=0.69 mem=65M598
3.81
3.81 search
3.81 run=4 nbConstraintChecks=431901 nbValidityChecks=878623 nbPropagations=11546 nbRevisions=138188
3.81 nbUselessRevisions=111264 nbAssignments=384 nbFailedAssignments=182 nbBacktracks=137 nbVisitedNodes=619
3.81 nbRestartNogoods=17 mapSize=108 nbInferences=0 nbTooLargeKeys=0
3.81 => wckTime=0.955 cpuTime=0.89 mem=65M598
4.19
4.19 search
4.19 run=5 nbConstraintChecks=663163 nbValidityChecks=1333087 nbPropagations=18965 nbRevisions=229260
4.19 nbUselessRevisions=183712 nbAssignments=603 nbFailedAssignments=315 nbBacktracks=214 nbVisitedNodes=1035
4.19 nbRestartNogoods=21 mapSize=181 nbInferences=0 nbTooLargeKeys=0
4.19 => wckTime=1.336 cpuTime=1.26 mem=65M598
4.80
4.80 search
4.80 run=6 nbConstraintChecks=1032046 nbValidityChecks=2054934 nbPropagations=30169 nbRevisions=364803
4.80 nbUselessRevisions=291103 nbAssignments=863 nbFailedAssignments=456 nbBacktracks=327 nbVisitedNodes=1513
4.80 nbRestartNogoods=26 mapSize=281 nbInferences=0 nbTooLargeKeys=0
4.80 => wckTime=1.95 cpuTime=1.87 mem=65M598
5.70
5.70 search
5.70 run=7 nbConstraintChecks=1568050 nbValidityChecks=3149624 nbPropagations=47368 nbRevisions=569469
5.70 nbUselessRevisions=452492 nbAssignments=1335 nbFailedAssignments=752 nbBacktracks=498 nbVisitedNodes=2391
5.70 nbRestartNogoods=32 mapSize=432 nbInferences=0 nbTooLargeKeys=0
5.70 => wckTime=2.849 cpuTime=2.75 mem=65M598
7.47
7.47 search
7.47 run=8 nbConstraintChecks=2633675 nbValidityChecks=5240995 nbPropagations=74503 nbRevisions=902173
7.47 nbUselessRevisions=714935 nbAssignments=2073 nbFailedAssignments=1226 nbBacktracks=755 nbVisitedNodes=3801
7.47 nbRestartNogoods=35 mapSize=672 nbInferences=0 nbTooLargeKeys=0
7.47 => wckTime=4.614 cpuTime=4.48 mem=65M598
9.24
9.24 search
9.24 run=9 nbConstraintChecks=3716607 nbValidityChecks=7510935 nbPropagations=115335 nbRevisions=1394463
9.24 nbUselessRevisions=1102479 nbAssignments=3160 nbFailedAssignments=1922 nbBacktracks=1139 nbVisitedNodes=5827
9.24 nbRestartNogoods=38 mapSize=1018 nbInferences=0 nbTooLargeKeys=0
9.24 => wckTime=6.384 cpuTime=6.22 mem=65M598
9.33
9.33 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=65M598)
12.41
12.41 search
12.41 run=10 nbConstraintChecks=5733468 nbValidityChecks=11614364 nbPropagations=174317 nbRevisions=2130677
12.41 nbUselessRevisions=1689159 nbAssignments=4798 nbFailedAssignments=2977 nbBacktracks=1716 nbVisitedNodes=8915
12.41 nbRestartNogoods=47
12.41 => wckTime=9.558 cpuTime=9.37 mem=65M598
15.89
15.89 search
15.89 run=11 nbConstraintChecks=7804978 nbValidityChecks=15859962 nbPropagations=256584 nbRevisions=3125730
15.89 nbUselessRevisions=2476283 nbAssignments=6685 nbFailedAssignments=3993 nbBacktracks=2580 nbVisitedNodes=12288
15.89 nbRestartNogoods=55
15.89 => wckTime=13.04 cpuTime=12.81 mem=65M598
24.32
24.32 search
24.32 run=12 nbConstraintChecks=13058344 nbValidityChecks=26114475 nbPropagations=383525 nbRevisions=4687473
24.32 nbUselessRevisions=3711425 nbAssignments=10291 nbFailedAssignments=6292 nbBacktracks=3879 nbVisitedNodes=19112
24.32 nbRestartNogoods=63
24.32 => wckTime=21.467 cpuTime=21.15 mem=65M598
31.19
31.19 search
31.19 run=13 nbConstraintChecks=17140218 nbValidityChecks=34457486 nbPropagations=556561 nbRevisions=6762518
31.19 nbUselessRevisions=5344976 nbAssignments=14026 nbFailedAssignments=8071 nbBacktracks=5827 nbVisitedNodes=25588
31.19 nbRestartNogoods=73
31.19 => wckTime=28.332 cpuTime=27.92 mem=65M598
49.46
49.46 search
49.46 run=14 nbConstraintChecks=28148534 nbValidityChecks=56454241 nbPropagations=818559 nbRevisions=9969155
49.46 nbUselessRevisions=7887473 nbAssignments=21668 nbFailedAssignments=12777 nbBacktracks=8746 nbVisitedNodes=39669
49.46 nbRestartNogoods=78
49.46 => wckTime=46.603 cpuTime=45.95 mem=65M598
66.15
66.15 search
66.15 run=15 nbConstraintChecks=38587788 nbValidityChecks=77313250 nbPropagations=1187023 nbRevisions=14386082
66.15 nbUselessRevisions=11387519 nbAssignments=30946 nbFailedAssignments=17640 nbBacktracks=13124
66.15 nbVisitedNodes=56093 nbRestartNogoods=91
66.15 => wckTime=63.299 cpuTime=62.43 mem=65M598
96.56
96.56 search
96.56 run=16 nbConstraintChecks=56790656 nbValidityChecks=113718279 nbPropagations=1731857 nbRevisions=20879922
96.56 nbUselessRevisions=16526793 nbAssignments=44674 nbFailedAssignments=24749 nbBacktracks=19694
96.56 nbVisitedNodes=80555 nbRestartNogoods=109
96.56 => wckTime=93.711 cpuTime=92.33 mem=65M598
130.84
130.84 search
130.84 run=17 nbConstraintChecks=77323789 nbValidityChecks=155748380 nbPropagations=2504752 nbRevisions=29917155
130.84 nbUselessRevisions=23639561 nbAssignments=63641 nbFailedAssignments=33855 nbBacktracks=29549
130.84 nbVisitedNodes=113383 nbRestartNogoods=119
130.84 => wckTime=127.989 cpuTime=126.18 mem=65M598
213.47
213.47 search
213.47 run=18 nbConstraintChecks=129183797 nbValidityChecks=256782542 nbPropagations=3729923 nbRevisions=44825343
213.47 nbUselessRevisions=35437262 nbAssignments=101926 nbFailedAssignments=57357 nbBacktracks=44328
213.47 nbVisitedNodes=184637 nbRestartNogoods=133
213.47 => wckTime=210.619 cpuTime=207.74 mem=65M598
365.98
365.98 search
365.98 run=19 nbConstraintChecks=227181284 nbValidityChecks=448991633 nbPropagations=5778655 nbRevisions=70514687
365.98 nbUselessRevisions=55708637 nbAssignments=159360 nbFailedAssignments=92613 nbBacktracks=66496
365.98 nbVisitedNodes=292420 nbRestartNogoods=150
365.98 => wckTime=363.124 cpuTime=360.02 mem=65M598
476.30
476.30 search
476.30 run=20 nbConstraintChecks=296570390 nbValidityChecks=592121330 nbPropagations=8618517 nbRevisions=105007714
476.30 nbUselessRevisions=82820809 nbAssignments=224067 nbFailedAssignments=124043 nbBacktracks=99748
476.30 nbVisitedNodes=405146 nbRestartNogoods=160
476.30 => wckTime=473.444 cpuTime=470.19 mem=65M598
774.69
774.69 search
774.69 run=21 nbConstraintChecks=488099695 nbValidityChecks=971380528 nbPropagations=13051161 nbRevisions=159601031
774.69 nbUselessRevisions=126027727 nbAssignments=362381 nbFailedAssignments=212472 nbBacktracks=149627
774.69 nbVisitedNodes=662980 nbRestartNogoods=176
774.69 => wckTime=771.838 cpuTime=768.26 mem=65M598
1050.28
1050.28 search
1050.28 run=22 nbConstraintChecks=661027734 nbValidityChecks=1318287023 nbPropagations=19311278 nbRevisions=234885853
1050.28 nbUselessRevisions=185372042 nbAssignments=510346 nbFailedAssignments=285610 nbBacktracks=224446
1050.28 nbVisitedNodes=922085 nbRestartNogoods=190
1050.28 => wckTime=1047.429 cpuTime=1043.56 mem=65M598
1681.19
1681.19 search
1681.19 run=23 nbConstraintChecks=1063542980 nbValidityChecks=2108574584 nbPropagations=29289451 nbRevisions=357167667
1681.19 nbUselessRevisions=281841681 nbAssignments=792427 nbFailedAssignments=455454 nbBacktracks=336675
1681.19 nbVisitedNodes=1445598 nbRestartNogoods=205
1681.19 => wckTime=1678.341 cpuTime=1673.67 mem=65M598
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-203313-1168159361 -o ROOT/results/node11/solver-203313-1168159361 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203313-1168159361/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: 2.02 2.03 2.00 4/98 27802
/proc/meminfo: memFree=1217064/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=18540 CPUtime=0
/proc/27801/stat : 27801 (runsolver) R 27799 27801 27734 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164331106 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27801/statm: 4635 279 244 17 0 2626 0
[startup+0.103013 s]
/proc/loadavg: 2.02 2.03 2.00 4/98 27802
/proc/meminfo: memFree=1217064/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=907808 CPUtime=0.06
/proc/27801/stat : 27801 (java) D 27799 27801 27734 0 -1 0 2505 0 1 0 5 1 0 0 17 0 4 0 164331106 929595392 2252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.511092 s]
/proc/loadavg: 2.02 2.03 2.00 4/98 27802
/proc/meminfo: memFree=1217064/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915328 CPUtime=0.37
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 5798 0 19 0 33 4 0 0 18 0 8 0 164331106 937295872 5555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155177361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228832 5555 2098 14 0 215302 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 915328
[startup+1.33426 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 27809
/proc/meminfo: memFree=1155568/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915328 CPUtime=1.19
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 19080 0 20 0 107 12 0 0 23 0 8 0 164331106 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153473361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228832 18836 2149 14 0 215302 0
[pid=27801/tid=27803] ppid=27799 vsize=915328 CPUtime=0.05
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 2681 0 0 0 4 1 0 0 16 0 8 0 164331111 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915328 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915328 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915328 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915328 CPUtime=0.09
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 308 0 0 0 9 0 0 0 16 0 8 0 164331121 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915328 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915328 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915328
[startup+2.98259 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 27809
/proc/meminfo: memFree=1126192/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=2.81
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32288 0 20 0 261 20 0 0 25 0 8 0 164331106 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32041 2530 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 17 0 8 0 164331111 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.2
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 370 0 0 0 19 1 0 0 16 0 8 0 164331121 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915440
[startup+6.27324 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 27809
/proc/meminfo: memFree=1093168/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=6.07
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32314 0 20 0 586 21 0 0 25 0 8 0 164331106 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32064 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 17 0 8 0 164331111 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.25
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 164331121 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915440
[startup+12.7655 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 27809
/proc/meminfo: memFree=1093232/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=12.5
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32326 0 20 0 1229 21 0 0 25 0 8 0 164331106 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32072 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.26
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 164331121 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915440
[startup+25.6348 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 27809
/proc/meminfo: memFree=1093360/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=25.23
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32328 0 20 0 2502 21 0 0 25 0 8 0 164331106 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32074 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915440
[startup+51.3272 s]
/proc/loadavg: 2.00 2.02 2.00 3/105 27809
/proc/meminfo: memFree=1093360/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=50.58
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32328 0 20 0 5037 21 0 0 25 0 8 0 164331106 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32074 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915440
[startup+102.605 s]
/proc/loadavg: 2.00 2.02 2.00 3/105 27809
/proc/meminfo: memFree=1064112/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=101.09
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 10087 22 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 915440
[startup+162.65 s]
/proc/loadavg: 2.00 2.01 2.00 3/105 27809
/proc/meminfo: memFree=1064048/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=160.35
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 16013 22 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1418.95
Current children cumulated vsize (KiB) 915440
[startup+1483.43 s]
/proc/loadavg: 2.01 2.02 1.99 3/94 28647
/proc/meminfo: memFree=1553672/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1478.91
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 147833 58 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.91
Current children cumulated vsize (KiB) 915440
[startup+1543.46 s]
/proc/loadavg: 2.00 2.01 1.99 3/94 28647
/proc/meminfo: memFree=1553288/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1538.87
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 153829 58 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.87
Current children cumulated vsize (KiB) 915440
[startup+1603.49 s]
/proc/loadavg: 2.00 2.01 1.99 3/94 28647
/proc/meminfo: memFree=1552776/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1598.83
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 159825 58 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.83
Current children cumulated vsize (KiB) 915440
[startup+1663.52 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 28647
/proc/meminfo: memFree=1550984/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1658.79
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 165821 58 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813657 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.79
Current children cumulated vsize (KiB) 915440
[startup+1723.54 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 28647
/proc/meminfo: memFree=1550984/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1718.75
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 171816 59 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.75
Current children cumulated vsize (KiB) 915440
[startup+1783.56 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 28647
/proc/meminfo: memFree=1550856/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1778.69
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 177810 59 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.69
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.88 s]
/proc/loadavg: 2.05 2.01 2.00 3/94 28647
/proc/meminfo: memFree=1550856/2055920 swapFree=4192812/4192956
[pid=27801] ppid=27799 vsize=915440 CPUtime=1800.01
/proc/27801/stat : 27801 (java) R 27799 27801 27734 0 -1 0 32330 0 20 0 179942 59 0 0 25 0 8 0 164331106 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073882548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27801/statm: 228860 32075 2531 14 0 215330 0
[pid=27801/tid=27803] ppid=27799 vsize=915440 CPUtime=0.46
/proc/27801/task/27803/stat : 27803 (java) S 27799 27801 27734 0 -1 64 15323 0 0 0 39 7 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27804] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27804/stat : 27804 (java) S 27799 27801 27734 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27805] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27805/stat : 27805 (java) S 27799 27801 27734 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164331111 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27806] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27806/stat : 27806 (java) S 27799 27801 27734 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27807] ppid=27799 vsize=915440 CPUtime=0.27
/proc/27801/task/27807/stat : 27807 (java) S 27799 27801 27734 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27808] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27808/stat : 27808 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27801/tid=27809] ppid=27799 vsize=915440 CPUtime=0
/proc/27801/task/27809/stat : 27809 (java) S 27799 27801 27734 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164331121 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.95
CPU time (s): 1800.08
CPU user time (s): 1799.46
CPU system time (s): 0.614906
CPU usage (%): 99.7302
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.614906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32348
page faults= 20
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37741
involuntary context switches= 51773
runsolver used 2.44763 s user time and 6.27804 s system time
The end
Begin job on node11 on Sun Jan 7 08:42:41 UTC 2007
IDJOB= 203313
IDBENCH= 3956
FILE ID= node11/203313-1168159361
PBS_JOBID= 3478279
Free space on /tmp= 66327 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203313-1168159361/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-203313-1168159361 -o ROOT/results/node11/solver-203313-1168159361 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203313-1168159361/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dbd711457459488701c928355f301608
RANDOM SEED= 608285050
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.261
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 : 5931.00
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.261
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: 1217480 kB
Buffers: 37400 kB
Cached: 111452 kB
SwapCached: 0 kB
Active: 695672 kB
Inactive: 85780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1217480 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7656 kB
Writeback: 0 kB
Mapped: 661508 kB
Slab: 40480 kB
Committed_AS: 5481180 kB
PageTables: 3540 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= 66331 MiB
End job on node11 on Sun Jan 7 09:12:46 UTC 2007