0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=mac.xml
0.44
0.44 instance
0.45 name=/tmp/evaluation/194909-1168069575/unknown.xml
0.48
0.48 domains being loaded...
0.48
0.48 variables being loaded...
0.52 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.52 => wckTime=0.111 cpuTime=0.1 mem=6M951
0.52
0.52 relations being loaded...
0.68
0.68 constraints being loaded...
0.83 nbConstraints=465 nbRelationTypes=465 nbExtensionStructures=465 nbSharedExtensionStructures=0
0.83 nbConflictsStructures=465 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2360 maxDegree=28
0.83 maxArity=2
0.83 => wckTime=0.422 cpuTime=0.32 mem=17M695
0.88
0.88 solver IterativeSystematicSolver being built...
1.05 => wckTime=0.636 cpuTime=0.45 mem=15M364
1.06
1.06 preprocessing
1.06 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.06 detectedInconsistency=no
1.06 => wckTime=0.0090 cpuTime=0.0 mem=15M364
1.11
1.11 search
1.11 run=0 nbConstraintChecks=44943 nbPropagations=593 nbRevisions=6428 nbUselessRevisions=5324 nbAssignments=27
1.11 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.11 nbTooLargeKeys=0
1.11 => wckTime=0.061 cpuTime=0.04 mem=15M364
1.15
1.15 search
1.15 run=1 nbConstraintChecks=103854 nbPropagations=1900 nbRevisions=22079 nbUselessRevisions=18154
1.15 nbAssignments=63 nbFailedAssignments=15 nbBacktracks=25 nbVisitedNodes=94 nbRestartNogoods=3 mapSize=19
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.095 cpuTime=0.07 mem=15M364
1.17
1.17 search
1.17 run=2 nbConstraintChecks=159863 nbPropagations=3960 nbRevisions=47439 nbUselessRevisions=39168
1.17 nbAssignments=106 nbFailedAssignments=26 nbBacktracks=47 nbVisitedNodes=158 nbRestartNogoods=5 mapSize=37
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.114 cpuTime=0.08 mem=15M364
1.19
1.19 search
1.19 run=3 nbConstraintChecks=243812 nbPropagations=7172 nbRevisions=88486 nbUselessRevisions=73244
1.19 nbAssignments=166 nbFailedAssignments=42 nbBacktracks=81 nbVisitedNodes=255 nbRestartNogoods=6 mapSize=68
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.14 cpuTime=0.1 mem=15M364
1.22
1.22 search
1.22 run=4 nbConstraintChecks=381496 nbPropagations=12106 nbRevisions=153611 nbUselessRevisions=127007
1.22 nbAssignments=248 nbFailedAssignments=63 nbBacktracks=134 nbVisitedNodes=388 nbRestartNogoods=8 mapSize=109
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.17 cpuTime=0.13 mem=15M364
1.27
1.27 search
1.27 run=5 nbConstraintChecks=583497 nbPropagations=19382 nbRevisions=252303 nbUselessRevisions=208023
1.27 nbAssignments=373 nbFailedAssignments=104 nbBacktracks=209 nbVisitedNodes=593 nbRestartNogoods=10 mapSize=163
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.213 cpuTime=0.17 mem=15M364
1.34
1.34 search
1.34 run=6 nbConstraintChecks=987183 nbPropagations=30998 nbRevisions=418913 nbUselessRevisions=343903
1.34 nbAssignments=588 nbFailedAssignments=195 nbBacktracks=323 nbVisitedNodes=966 nbRestartNogoods=16 mapSize=266
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.287 cpuTime=0.24 mem=15M364
1.43
1.43 search
1.43 run=7 nbConstraintChecks=1496465 nbPropagations=48431 nbRevisions=672999 nbUselessRevisions=551520
1.43 nbAssignments=867 nbFailedAssignments=294 nbBacktracks=493 nbVisitedNodes=1451 nbRestartNogoods=19 mapSize=414
1.43 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.379 cpuTime=0.33 mem=15M364
1.58
1.58 search
1.58 run=8 nbConstraintChecks=2329564 nbPropagations=75046 nbRevisions=1069137 nbUselessRevisions=874151
1.58 nbAssignments=1318 nbFailedAssignments=479 nbBacktracks=749 nbVisitedNodes=2226 nbRestartNogoods=24
1.58 mapSize=623 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.529 cpuTime=0.47 mem=15M364
1.79
1.79 search
1.79 run=9 nbConstraintChecks=3447140 nbPropagations=114628 nbRevisions=1665723 nbUselessRevisions=1360339
1.79 nbAssignments=1958 nbFailedAssignments=723 nbBacktracks=1135 nbVisitedNodes=3341 nbRestartNogoods=28
1.79 mapSize=952 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.733 cpuTime=0.66 mem=15M364
1.83
1.83 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=15M364)
2.08
2.08 search
2.08 run=10 nbConstraintChecks=5247619 nbPropagations=174483 nbRevisions=2583234 nbUselessRevisions=2109211
2.08 nbAssignments=2953 nbFailedAssignments=1132 nbBacktracks=1712 nbVisitedNodes=5083 nbRestartNogoods=36
2.08 => wckTime=1.028 cpuTime=0.94 mem=15M364
2.45
2.45 search
2.45 run=11 nbConstraintChecks=7424762 nbPropagations=261812 nbRevisions=3928540 nbUselessRevisions=3211400
2.45 nbAssignments=4398 nbFailedAssignments=1703 nbBacktracks=2576 nbVisitedNodes=7578 nbRestartNogoods=46
2.45 => wckTime=1.402 cpuTime=1.3 mem=15M364
2.94
2.94 search
2.94 run=12 nbConstraintChecks=10420667 nbPropagations=386767 nbRevisions=5839223 nbUselessRevisions=4778523
2.95 nbAssignments=6388 nbFailedAssignments=2386 nbBacktracks=3873 nbVisitedNodes=10937 nbRestartNogoods=53
2.95 => wckTime=1.893 cpuTime=1.79 mem=15M364
3.70
3.70 search
3.70 run=13 nbConstraintChecks=15067206 nbPropagations=567230 nbRevisions=8601385 nbUselessRevisions=7042380
3.70 nbAssignments=9448 nbFailedAssignments=3488 nbBacktracks=5819 nbVisitedNodes=16067 nbRestartNogoods=60
3.70 => wckTime=2.647 cpuTime=2.54 mem=15M364
4.85
4.85 search
4.85 run=14 nbConstraintChecks=22136301 nbPropagations=834446 nbRevisions=12678060 nbUselessRevisions=10383986
4.85 nbAssignments=14130 nbFailedAssignments=5240 nbBacktracks=8738 nbVisitedNodes=24023 nbRestartNogoods=67
4.85 => wckTime=3.799 cpuTime=3.68 mem=15M364
6.79
6.79 search
6.79 run=15 nbConstraintChecks=34845584 nbPropagations=1243168 nbRevisions=18938128 nbUselessRevisions=15502396
6.79 nbAssignments=21218 nbFailedAssignments=7939 nbBacktracks=13116 nbVisitedNodes=36089 nbRestartNogoods=77
6.79 => wckTime=5.739 cpuTime=5.6 mem=15M364
9.46
9.46 search
9.46 run=16 nbConstraintChecks=51106275 nbPropagations=1854985 nbRevisions=28335798 nbUselessRevisions=23207082
9.46 nbAssignments=31858 nbFailedAssignments=11999 nbBacktracks=19686 nbVisitedNodes=54342 nbRestartNogoods=87
9.46 => wckTime=8.403 cpuTime=8.24 mem=15M364
13.30
13.30 search
13.30 run=17 nbConstraintChecks=75415757 nbPropagations=2753485 nbRevisions=42167591 nbUselessRevisions=34549156
13.30 nbAssignments=47242 nbFailedAssignments=17521 nbBacktracks=29538 nbVisitedNodes=80277 nbRestartNogoods=94
13.30 => wckTime=12.249 cpuTime=12.05 mem=15M364
19.63
19.63 search
19.63 run=18 nbConstraintChecks=115697400 nbPropagations=4118377 nbRevisions=63307123 nbUselessRevisions=51904897
19.63 nbAssignments=70873 nbFailedAssignments=26362 nbBacktracks=44317 nbVisitedNodes=120634 nbRestartNogoods=100
19.63 => wckTime=18.583 cpuTime=18.32 mem=15M364
28.72
28.72 search
28.72 run=19 nbConstraintChecks=172753030 nbPropagations=6164732 nbRevisions=94904178 nbUselessRevisions=77844451
28.72 nbAssignments=105913 nbFailedAssignments=39222 nbBacktracks=66487 nbVisitedNodes=180295 nbRestartNogoods=115
28.72 => wckTime=27.664 cpuTime=27.32 mem=15M364
42.32
42.32 search
42.32 run=20 nbConstraintChecks=258508278 nbPropagations=9219892 nbRevisions=142149293 nbUselessRevisions=116616242
42.32 nbAssignments=158936 nbFailedAssignments=58986 nbBacktracks=99740 nbVisitedNodes=270591 nbRestartNogoods=124
42.32 => wckTime=41.272 cpuTime=40.8 mem=15M364
62.69
62.69 search
62.69 run=21 nbConstraintChecks=386721242 nbPropagations=13786361 nbRevisions=212875043 nbUselessRevisions=174676276
62.69 nbAssignments=237091 nbFailedAssignments=87251 nbBacktracks=149620 nbVisitedNodes=403318 nbRestartNogoods=132
62.69 => wckTime=61.634 cpuTime=60.98 mem=15M364
93.22
93.22 search
93.22 run=22 nbConstraintChecks=580638044 nbPropagations=20619157 nbRevisions=318987442 nbUselessRevisions=261816236
93.22 nbAssignments=355914 nbFailedAssignments=131241 nbBacktracks=224443 nbVisitedNodes=605550 nbRestartNogoods=140
93.22 => wckTime=92.171 cpuTime=91.24 mem=15M364
137.41
137.41 search
137.41 run=23 nbConstraintChecks=849344181 nbPropagations=30775358 nbRevisions=476799071 nbUselessRevisions=391556569
137.41 nbAssignments=532857 nbFailedAssignments=195944 nbBacktracks=336674 nbVisitedNodes=905214 nbRestartNogoods=153
137.41 => wckTime=136.36 cpuTime=135.02 mem=15M364
206.40
206.41 search
206.41 run=24 nbConstraintChecks=1294978495 nbPropagations=46008851 nbRevisions=713443532 nbUselessRevisions=585891797
206.41 nbAssignments=799820 nbFailedAssignments=294553 nbBacktracks=505020 nbVisitedNodes=1358538 nbRestartNogoods=169
206.41 => wckTime=205.353 cpuTime=203.38 mem=15M364
316.92
316.92 search
316.92 run=25 nbConstraintChecks=2000706461 nbPropagations=69367189 nbRevisions=1077599655
316.92 nbUselessRevisions=884844053 nbAssignments=1209500 nbFailedAssignments=451712 nbBacktracks=757533
316.92 nbVisitedNodes=2061210 nbRestartNogoods=182
316.92 => wckTime=315.864 cpuTime=312.88 mem=15M364
473.28
473.28 search
473.28 run=26 nbConstraintChecks=2984165232 nbPropagations=104391535 nbRevisions=1622203332
473.28 nbUselessRevisions=1332068453 nbAssignments=1809307 nbFailedAssignments=672740 nbBacktracks=1136301
473.28 nbVisitedNodes=3081508 nbRestartNogoods=194
473.28 => wckTime=472.226 cpuTime=467.82 mem=15M364
713.20
713.20 search
713.20 run=27 nbConstraintChecks=4538172825 nbPropagations=156950216 nbRevisions=2441410109
713.20 nbUselessRevisions=2004281598 nbAssignments=2720397 nbFailedAssignments=1015668 nbBacktracks=1704452
713.20 nbVisitedNodes=4634218 nbRestartNogoods=211
713.20 => wckTime=712.145 cpuTime=705.55 mem=15M364
1058.83
1058.83 search
1058.83 run=28 nbConstraintChecks=6679136260 nbPropagations=235347959 nbRevisions=3664214574
1058.83 nbUselessRevisions=3009384919 nbAssignments=4069522 nbFailedAssignments=1512557 nbBacktracks=2556680
1058.83 nbVisitedNodes=6930273 nbRestartNogoods=229
1058.83 => wckTime=1057.782 cpuTime=1047.81 mem=15M364
1571.06
1571.06 search
1571.06 run=29 nbConstraintChecks=10092931353 nbPropagations=353002726 nbRevisions=5501609940
1571.06 nbUselessRevisions=4518966488 nbAssignments=6110785 nbFailedAssignments=2275467 nbBacktracks=3835021
1571.06 nbVisitedNodes=10411162 nbRestartNogoods=247
1571.06 => wckTime=1570.007 cpuTime=1557.17 mem=15M364
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-194909-1168069575 -o ROOT/results/node6/solver-194909-1168069575 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194909-1168069575/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.97 1.99 1.93 2/93 5198
/proc/meminfo: memFree=1310128/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=18540 CPUtime=0
/proc/5197/stat : 5197 (runsolver) R 5195 5197 4391 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155353114 18984960 279 18446744073709551615 4194304 4267372 548682068864 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5197/statm: 4635 279 244 17 0 2626 0
[startup+0.102867 s]
/proc/loadavg: 1.97 1.99 1.93 2/93 5198
/proc/meminfo: memFree=1310128/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=47976 CPUtime=0
/proc/5197/stat : 5197 (java) D 5195 5197 4391 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 155353114 49127424 972 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/5197/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.510915 s]
/proc/loadavg: 1.97 1.99 1.93 2/93 5198
/proc/meminfo: memFree=1310128/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915328 CPUtime=0.4
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 6080 0 1 0 37 3 0 0 18 0 8 0 155353114 937295872 5819 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5197/statm: 228832 5819 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33801 s]
/proc/loadavg: 1.97 1.99 1.93 4/100 5205
/proc/meminfo: memFree=1282424/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=1.22
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9608 0 1 0 116 6 0 0 23 0 8 0 155353114 937431040 9346 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073822424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5197/statm: 228865 9346 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9346 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9346 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9346 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9346 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.21
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 377 0 0 0 21 0 0 0 15 0 8 0 155353131 937431040 9346 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9346 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9346 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915460
[startup+2.98221 s]
/proc/loadavg: 1.97 1.99 1.93 3/100 5205
/proc/meminfo: memFree=1282296/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=2.85
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9626 0 1 0 279 6 0 0 25 0 8 0 155353114 937431040 9362 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5197/statm: 228865 9362 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 17 0 8 0 155353127 937431040 9362 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9362 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9362 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9362 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.25
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 394 0 0 0 25 0 0 0 15 0 8 0 155353131 937431040 9362 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9362 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) R 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9362 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915460
[startup+6.26159 s]
/proc/loadavg: 1.97 1.99 1.93 3/100 5205
/proc/meminfo: memFree=1282296/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=6.1
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9628 0 1 0 604 6 0 0 25 0 8 0 155353114 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073811290 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5197/statm: 228865 9363 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.25
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 395 0 0 0 25 0 0 0 15 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.7513 s]
/proc/loadavg: 1.97 1.99 1.93 3/100 5205
/proc/meminfo: memFree=1282424/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=12.53
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9628 0 1 0 1247 6 0 0 25 0 8 0 155353114 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073820537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5197/statm: 228865 9363 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.25
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 395 0 0 0 25 0 0 0 15 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915460
[startup+25.5999 s]
/proc/loadavg: 1.98 1.99 1.93 3/100 5205
/proc/meminfo: memFree=1282552/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=25.26
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9628 0 1 0 2520 6 0 0 25 0 8 0 155353114 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073821773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5197/statm: 228865 9363 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.25
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 395 0 0 0 25 0 0 0 16 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915460
[startup+51.2099 s]
/proc/loadavg: 1.98 1.99 1.93 3/100 5205
/proc/meminfo: memFree=1282552/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=50.63
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9629 0 1 0 5057 6 0 0 25 0 8 0 155353114 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073829979 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5197/statm: 228865 9363 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.25
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 395 0 0 0 25 0 0 0 16 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 915460
[startup+102.42 s]
/proc/loadavg: 1.99 1.99 1.93 3/100 5205
/proc/meminfo: memFree=1282616/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=101.38
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9629 0 1 0 10131 7 0 0 25 0 8 0 155353114 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073822457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5197/statm: 228865 9363 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.25
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 395 0 0 0 25 0 0 0 16 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9363 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 915460
[startup+162.479 s]
/proc/loadavg: 1.99 1.99 1.93 3/100 5205
/proc/meminfo: memFree=1282552/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=160.89
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9631 0 1 0 16082 7 0 0 25 0 8 0 155353114 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073831831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.26
Current children cumulated vsize (KiB) 915460
[startup+1483.83 s]
/proc/loadavg: 1.54 1.85 1.89 2/88 6670
/proc/meminfo: memFree=1305824/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=1471.16
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9631 0 1 0 147084 32 0 0 25 0 8 0 155353114 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5197/statm: 228865 9365 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.26
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 397 0 0 0 26 0 0 0 16 0 8 0 155353131 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.16
Current children cumulated vsize (KiB) 915460
[startup+1543.9 s]
/proc/loadavg: 1.57 1.79 1.87 3/100 6973
/proc/meminfo: memFree=1253560/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=1531.06
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9631 0 1 0 153071 35 0 0 25 0 8 0 155353114 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073822321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5197/statm: 228865 9365 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.26
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 397 0 0 0 26 0 0 0 16 0 8 0 155353131 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9365 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.06
Current children cumulated vsize (KiB) 915460
[startup+1603.96 s]
/proc/loadavg: 1.83 1.82 1.87 2/88 7037
/proc/meminfo: memFree=1212312/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=1591.05
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9632 0 1 0 159060 45 0 0 25 0 8 0 155353114 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5197/statm: 228865 9366 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.26
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 397 0 0 0 26 0 0 0 16 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.05
Current children cumulated vsize (KiB) 915460
[startup+1664 s]
/proc/loadavg: 1.41 1.70 1.83 2/88 7185
/proc/meminfo: memFree=1259424/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=1651.04
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9632 0 1 0 165057 47 0 0 25 0 8 0 155353114 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073855280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5197/statm: 228865 9366 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.26
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 397 0 0 0 26 0 0 0 16 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.04
Current children cumulated vsize (KiB) 915460
[startup+1724.05 s]
/proc/loadavg: 1.43 1.63 1.79 3/100 7287
/proc/meminfo: memFree=1185280/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=1710.83
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9632 0 1 0 171036 47 0 0 25 0 8 0 155353114 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073838343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5197/statm: 228865 9366 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.26
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 397 0 0 0 26 0 0 0 16 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.83
Current children cumulated vsize (KiB) 915460
[startup+1784.1 s]
/proc/loadavg: 1.85 1.72 1.81 3/100 7433
/proc/meminfo: memFree=1211768/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=1770.69
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9632 0 1 0 177020 49 0 0 25 0 8 0 155353114 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073810512 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5197/statm: 228865 9366 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.26
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 397 0 0 0 26 0 0 0 16 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.69
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.5 s]
/proc/loadavg: 2.04 1.77 1.83 3/100 7433
/proc/meminfo: memFree=1211832/2055924 swapFree=4165672/4192956
[pid=5197] ppid=5195 vsize=915460 CPUtime=1800.06
/proc/5197/stat : 5197 (java) R 5195 5197 4391 0 -1 0 9632 0 1 0 179957 49 0 0 25 0 8 0 155353114 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073830004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5197/statm: 228865 9366 2513 14 0 215335 0
[pid=5197/tid=5199] ppid=5195 vsize=915460 CPUtime=0.03
/proc/5197/task/5199/stat : 5199 (java) S 5195 5197 4391 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 4391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5201] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 4391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155353127 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5202] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5203] ppid=5195 vsize=915460 CPUtime=0.26
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 4391 0 -1 64 397 0 0 0 26 0 0 0 16 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 4391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5197/tid=5205] ppid=5195 vsize=915460 CPUtime=0
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 4391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155353131 937431040 9366 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1813.53
CPU time (s): 1800.09
CPU user time (s): 1799.58
CPU system time (s): 0.502923
CPU usage (%): 99.2588
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.502923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9650
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= 37808
involuntary context switches= 73241
runsolver used 2.57961 s user time and 5.40218 s system time
The end
Begin job on node6 on Sat Jan 6 07:46:15 UTC 2007
IDJOB= 194909
IDBENCH= 3239
FILE ID= node6/194909-1168069575
PBS_JOBID= 3475424
Free space on /tmp= 66528 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 mac.xml 1 XSax /tmp/evaluation/194909-1168069575/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-194909-1168069575 -o ROOT/results/node6/solver-194909-1168069575 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194909-1168069575/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8562e9e8a5ace187915608298ca5a4f7
RANDOM SEED= 814896744
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.240
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.240
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: 2055924 kB
MemFree: 1310608 kB
Buffers: 81916 kB
Cached: 502092 kB
SwapCached: 3036 kB
Active: 363796 kB
Inactive: 285732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1310608 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 2160 kB
Writeback: 0 kB
Mapped: 84576 kB
Slab: 80284 kB
Committed_AS: 4900444 kB
PageTables: 2468 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= 66529 MiB
End job on node6 on Sat Jan 6 08:16:31 UTC 2007