0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/194509-1168102374/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.45 => wckTime=0.107 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
0.61
0.61 constraints being loaded...
0.75 nbConstraints=462 nbRelationTypes=462 nbExtensionStructures=462 nbSharedExtensionStructures=0
0.75 nbConflictsStructures=462 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2282 maxDegree=25
0.75 maxArity=2
0.75 => wckTime=0.409 cpuTime=0.32 mem=17M843
0.80
0.80 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.629 cpuTime=0.47 mem=15M573
1.04
1.04 preprocessing
1.04 nbConstraintChecks=103067 nbPropagations=1145 nbRevisions=9834 nbUselessRevisions=8297 nbSingletonTests=59
1.04 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.04 => wckTime=0.066 cpuTime=0.03 mem=15M573
1.07
1.07 search
1.07 run=0 nbConstraintChecks=50962 nbPropagations=1762 nbRevisions=17439 nbUselessRevisions=14552 nbAssignments=30
1.07 nbFailedAssignments=5 nbBacktracks=15 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=12 nbInferences=0
1.07 nbTooLargeKeys=0
1.07 => wckTime=0.098 cpuTime=0.05 mem=15M573
1.09
1.09 search
1.09 run=1 nbConstraintChecks=105195 nbPropagations=4185 nbRevisions=42888 nbUselessRevisions=35825
1.09 nbAssignments=68 nbFailedAssignments=18 nbBacktracks=30 nbVisitedNodes=103 nbRestartNogoods=1 mapSize=25
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.119 cpuTime=0.07 mem=15M573
1.11
1.11 search
1.11 run=2 nbConstraintChecks=169878 nbPropagations=7428 nbRevisions=79467 nbUselessRevisions=66372
1.11 nbAssignments=115 nbFailedAssignments=32 nbBacktracks=53 nbVisitedNodes=176 nbRestartNogoods=2 mapSize=44
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.133 cpuTime=0.08 mem=15M573
1.14
1.14 search
1.14 run=3 nbConstraintChecks=275168 nbPropagations=11994 nbRevisions=134740 nbUselessRevisions=112204
1.14 nbAssignments=183 nbFailedAssignments=55 nbBacktracks=86 nbVisitedNodes=287 nbRestartNogoods=3 mapSize=72
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.164 cpuTime=0.1 mem=15M573
1.17
1.17 search
1.17 run=4 nbConstraintChecks=416064 nbPropagations=18198 nbRevisions=213512 nbUselessRevisions=177090
1.17 nbAssignments=266 nbFailedAssignments=79 nbBacktracks=137 nbVisitedNodes=422 nbRestartNogoods=9 mapSize=112
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.192 cpuTime=0.13 mem=15M573
1.20
1.20 search
1.20 run=5 nbConstraintChecks=579422 nbPropagations=26379 nbRevisions=319917 nbUselessRevisions=264854
1.20 nbAssignments=384 nbFailedAssignments=111 nbBacktracks=213 nbVisitedNodes=600 nbRestartNogoods=11 mapSize=159
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.229 cpuTime=0.16 mem=15M573
1.26
1.26 search
1.26 run=6 nbConstraintChecks=852828 nbPropagations=38053 nbRevisions=477743 nbUselessRevisions=394963
1.26 nbAssignments=575 nbFailedAssignments=176 nbBacktracks=327 nbVisitedNodes=913 nbRestartNogoods=14 mapSize=251
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.283 cpuTime=0.22 mem=15M573
1.35
1.35 search
1.35 run=7 nbConstraintChecks=1332795 nbPropagations=55589 nbRevisions=721506 nbUselessRevisions=594884
1.35 nbAssignments=877 nbFailedAssignments=295 nbBacktracks=499 nbVisitedNodes=1427 nbRestartNogoods=17 mapSize=398
1.35 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.372 cpuTime=0.3 mem=15M573
1.47
1.47 search
1.47 run=8 nbConstraintChecks=1983745 nbPropagations=81185 nbRevisions=1088830 nbUselessRevisions=896851
1.47 nbAssignments=1299 nbFailedAssignments=451 nbBacktracks=755 nbVisitedNodes=2142 nbRestartNogoods=21
1.47 mapSize=613 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.497 cpuTime=0.42 mem=15M573
1.69
1.69 search
1.69 run=9 nbConstraintChecks=3234329 nbPropagations=119998 nbRevisions=1655214 nbUselessRevisions=1359298
1.69 nbAssignments=1993 nbFailedAssignments=731 nbBacktracks=1139 nbVisitedNodes=3303 nbRestartNogoods=26
1.69 mapSize=931 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.711 cpuTime=0.62 mem=15M573
1.75
1.75 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=15M573)
1.95
1.95 search
1.95 run=10 nbConstraintChecks=4747769 nbPropagations=177141 nbRevisions=2499587 nbUselessRevisions=2049266
1.95 nbAssignments=2946 nbFailedAssignments=1097 nbBacktracks=1716 nbVisitedNodes=4914 nbRestartNogoods=33
1.95 => wckTime=0.975 cpuTime=0.87 mem=15M573
2.30
2.30 search
2.30 run=11 nbConstraintChecks=6814231 nbPropagations=259968 nbRevisions=3737026 nbUselessRevisions=3062317
2.30 nbAssignments=4330 nbFailedAssignments=1607 nbBacktracks=2580 nbVisitedNodes=7270 nbRestartNogoods=38
2.30 => wckTime=1.321 cpuTime=1.21 mem=15M573
2.80
2.80 search
2.81 run=12 nbConstraintChecks=9930755 nbPropagations=382140 nbRevisions=5571593 nbUselessRevisions=4567153
2.81 nbAssignments=6427 nbFailedAssignments=2395 nbBacktracks=3877 nbVisitedNodes=10830 nbRestartNogoods=45
2.81 => wckTime=1.83 cpuTime=1.71 mem=15M573
3.58
3.58 search
3.58 run=13 nbConstraintChecks=14913210 nbPropagations=562827 nbRevisions=8296242 nbUselessRevisions=6798781
3.58 nbAssignments=9507 nbFailedAssignments=3519 nbBacktracks=5824 nbVisitedNodes=16040 nbRestartNogoods=52
3.58 => wckTime=2.608 cpuTime=2.48 mem=15M573
4.77
4.77 search
4.77 run=14 nbConstraintChecks=22363008 nbPropagations=833058 nbRevisions=12391878 nbUselessRevisions=10154752
4.77 nbAssignments=14196 nbFailedAssignments=5276 nbBacktracks=8748 nbVisitedNodes=24022 nbRestartNogoods=59
4.77 => wckTime=3.792 cpuTime=3.66 mem=15M573
6.64
6.64 search
6.64 run=15 nbConstraintChecks=34397539 nbPropagations=1245205 nbRevisions=18660789 nbUselessRevisions=15286458
6.64 nbAssignments=21518 nbFailedAssignments=8209 nbBacktracks=13127 nbVisitedNodes=36637 nbRestartNogoods=64
6.64 => wckTime=5.662 cpuTime=5.52 mem=15M573
9.15
9.15 search
9.15 run=16 nbConstraintChecks=49954152 nbPropagations=1850289 nbRevisions=27860641 nbUselessRevisions=22824847
9.16 nbAssignments=31927 nbFailedAssignments=12036 nbBacktracks=19695 nbVisitedNodes=54248 nbRestartNogoods=73
9.16 => wckTime=8.18 cpuTime=8.0 mem=16M548
13.06
13.06 search
13.06 run=17 nbConstraintChecks=74245193 nbPropagations=2758287 nbRevisions=41758533 nbUselessRevisions=34234558
13.06 nbAssignments=47853 nbFailedAssignments=18097 nbBacktracks=29549 nbVisitedNodes=81563 nbRestartNogoods=81
13.06 => wckTime=12.083 cpuTime=11.87 mem=16M548
18.68
18.68 search
18.68 run=18 nbConstraintChecks=109744219 nbPropagations=4100778 nbRevisions=62349319 nbUselessRevisions=51146429
18.68 nbAssignments=71572 nbFailedAssignments=27025 nbBacktracks=44327 nbVisitedNodes=121824 nbRestartNogoods=93
18.68 => wckTime=17.704 cpuTime=17.44 mem=16M548
27.23
27.23 search
27.23 run=19 nbConstraintChecks=163867800 nbPropagations=6097636 nbRevisions=92888678 nbUselessRevisions=76210164
27.23 nbAssignments=106191 nbFailedAssignments=39464 nbBacktracks=66498 nbVisitedNodes=180175 nbRestartNogoods=106
27.23 => wckTime=26.257 cpuTime=25.91 mem=16M548
40.04
40.04 search
40.04 run=20 nbConstraintChecks=244765444 nbPropagations=9081782 nbRevisions=138542920 nbUselessRevisions=113665240
40.04 nbAssignments=159261 nbFailedAssignments=59268 nbBacktracks=99754 nbVisitedNodes=270527 nbRestartNogoods=114
40.04 => wckTime=39.061 cpuTime=38.6 mem=16M548
59.95
59.95 search
59.95 run=21 nbConstraintChecks=369283227 nbPropagations=13598682 nbRevisions=207749921 nbUselessRevisions=170456085
59.95 nbAssignments=239673 nbFailedAssignments=89794 nbBacktracks=149634 nbVisitedNodes=407896 nbRestartNogoods=128
59.95 => wckTime=58.979 cpuTime=58.34 mem=16M548
89.43
89.43 search
89.43 run=22 nbConstraintChecks=556164088 nbPropagations=20408767 nbRevisions=311684513 nbUselessRevisions=255707226
89.43 nbAssignments=359285 nbFailedAssignments=134577 nbBacktracks=224452 nbVisitedNodes=612438 nbRestartNogoods=134
89.44 => wckTime=88.46 cpuTime=87.54 mem=16M548
132.95
132.95 search
132.95 run=23 nbConstraintChecks=830201666 nbPropagations=30560996 nbRevisions=466989112 nbUselessRevisions=383190794
132.95 nbAssignments=535995 nbFailedAssignments=199052 nbBacktracks=336679 nbVisitedNodes=912478 nbRestartNogoods=143
132.95 => wckTime=131.974 cpuTime=130.66 mem=16M548
199.20
199.20 search
199.20 run=24 nbConstraintChecks=1250915668 nbPropagations=45805596 nbRevisions=700340727 nbUselessRevisions=574770785
199.20 nbAssignments=804363 nbFailedAssignments=299065 nbBacktracks=505022 nbVisitedNodes=1367926 nbRestartNogoods=155
199.20 => wckTime=198.224 cpuTime=196.3 mem=16M548
296.77
296.77 search
296.77 run=25 nbConstraintChecks=1872353084 nbPropagations=68545500 nbRevisions=1049018390
296.77 nbUselessRevisions=861067658 nbAssignments=1203160 nbFailedAssignments=445341 nbBacktracks=757533
296.77 nbVisitedNodes=2044766 nbRestartNogoods=172
296.77 => wckTime=295.8 cpuTime=292.99 mem=16M548
445.94
445.94 search
445.94 run=26 nbConstraintChecks=2813403265 nbPropagations=102637002 nbRevisions=1572953607
445.94 nbUselessRevisions=1291383513 nbAssignments=1806668 nbFailedAssignments=670072 nbBacktracks=1136303
445.94 nbVisitedNodes=3070369 nbRestartNogoods=189
445.94 => wckTime=444.968 cpuTime=440.79 mem=16M548
667.34
667.34 search
667.34 run=27 nbConstraintChecks=4179500544 nbPropagations=153720188 nbRevisions=2360728627
667.34 nbUselessRevisions=1939153376 nbAssignments=2716034 nbFailedAssignments=1011276 nbBacktracks=1704455
667.34 nbVisitedNodes=4618295 nbRestartNogoods=202
667.34 => wckTime=666.368 cpuTime=659.93 mem=16M548
996.88
996.88 search
996.88 run=28 nbConstraintChecks=6260323705 nbPropagations=230247048 nbRevisions=3539753609
996.88 nbUselessRevisions=2908512345 nbAssignments=4074291 nbFailedAssignments=1517295 nbBacktracks=2556683
996.88 nbVisitedNodes=6921465 nbRestartNogoods=224
996.88 => wckTime=995.906 cpuTime=986.45 mem=16M548
1483.75
1483.75 search
1483.75 run=29 nbConstraintChecks=9307867318 nbPropagations=344072107 nbRevisions=5292543325
1483.75 nbUselessRevisions=4349843178 nbAssignments=6091349 nbFailedAssignments=2256003 nbBacktracks=3835024
1483.75 nbVisitedNodes=10329624 nbRestartNogoods=239
1483.76 => wckTime=1482.78 cpuTime=1468.87 mem=16M548
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-194509-1168102374 -o ROOT/results/node10/solver-194509-1168102374 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194509-1168102374/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.94 2.01 1.89 4/88 5496
/proc/meminfo: memFree=1476888/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=1784 CPUtime=0
/proc/5495/stat : 5495 (java) D 5493 5495 5241 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 158632541 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/5495/statm: 446 160 125 14 0 91 0
[startup+0.107197 s]
/proc/loadavg: 1.94 2.01 1.89 4/88 5496
/proc/meminfo: memFree=1476888/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=911488 CPUtime=0.07
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 2624 0 1 0 6 1 0 0 20 0 8 0 158632541 933363712 2371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5495/statm: 227872 2371 1280 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.515253 s]
/proc/loadavg: 1.94 2.01 1.89 4/88 5496
/proc/meminfo: memFree=1476888/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915328 CPUtime=0.48
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 6543 0 1 0 43 5 0 0 18 0 8 0 158632541 937295872 6282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154517622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5495/statm: 228832 6282 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33636 s]
/proc/loadavg: 1.94 2.01 1.89 3/95 5503
/proc/meminfo: memFree=1449184/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=1.28
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9620 0 1 0 121 7 0 0 24 0 8 0 158632541 937431040 9358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5495/statm: 228865 9358 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.21
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 382 0 0 0 20 1 0 0 15 0 8 0 158632551 937431040 9358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915460
[startup+2.97558 s]
/proc/loadavg: 1.94 2.01 1.89 3/95 5503
/proc/meminfo: memFree=1448928/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=2.91
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9639 0 1 0 283 8 0 0 25 0 8 0 158632541 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5495/statm: 228865 9375 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 158632547 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915460
[startup+6.17801 s]
/proc/loadavg: 1.95 2.01 1.89 3/95 5503
/proc/meminfo: memFree=1448544/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=6.08
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9639 0 1 0 600 8 0 0 25 0 8 0 158632541 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5495/statm: 228865 9375 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915460
[startup+12.6529 s]
/proc/loadavg: 1.95 2.01 1.90 3/95 5503
/proc/meminfo: memFree=1447840/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=12.5
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9639 0 1 0 1242 8 0 0 25 0 8 0 158632541 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5495/statm: 228865 9375 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9375 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) 915460
[startup+25.5236 s]
/proc/loadavg: 1.96 2.01 1.90 3/95 5503
/proc/meminfo: memFree=1446688/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=25.25
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9639 0 1 0 2517 8 0 0 25 0 8 0 158632541 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5495/statm: 228865 9375 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915460
[startup+51.1401 s]
/proc/loadavg: 1.97 2.01 1.90 3/95 5503
/proc/meminfo: memFree=1446176/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=50.62
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9639 0 1 0 5054 8 0 0 25 0 8 0 158632541 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5495/statm: 228865 9375 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915460
[startup+102.367 s]
/proc/loadavg: 1.99 2.00 1.90 3/95 5503
/proc/meminfo: memFree=1446048/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=101.39
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9641 0 1 0 10130 9 0 0 25 0 8 0 158632541 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5495/statm: 228865 9376 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158632551 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915460
[startup+162.447 s]
/proc/loadavg: 1.99 2.00 1.91 3/95 5503
/proc/meminfo: memFree=1445856/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=160.92
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9641 0 1 0 16083 9 0 0 25 0 8 0 158632541 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.72
Current children cumulated vsize (KiB) 915460
[startup+1484.1 s]
/proc/loadavg: 2.15 2.03 1.93 3/95 5701
/proc/meminfo: memFree=1424672/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=1470.25
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9642 0 1 0 147008 17 0 0 25 0 8 0 158632541 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5495/statm: 228865 9377 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.25
Current children cumulated vsize (KiB) 915460
[startup+1544.15 s]
/proc/loadavg: 2.05 2.02 1.93 3/93 5928
/proc/meminfo: memFree=1506672/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=1530.24
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9642 0 1 0 153004 20 0 0 25 0 8 0 158632541 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845177 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5495/statm: 228865 9377 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.24
Current children cumulated vsize (KiB) 915460
[startup+1604.2 s]
/proc/loadavg: 2.09 2.04 1.93 3/93 5930
/proc/meminfo: memFree=1506472/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=1590.23
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9642 0 1 0 159003 20 0 0 25 0 8 0 158632541 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835223 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5495/statm: 228865 9377 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) R 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.23
Current children cumulated vsize (KiB) 915460
[startup+1664.26 s]
/proc/loadavg: 2.07 2.04 1.94 3/93 5930
/proc/meminfo: memFree=1506480/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=1650.21
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9642 0 1 0 165001 20 0 0 25 0 8 0 158632541 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844721 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5495/statm: 228865 9377 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.21
Current children cumulated vsize (KiB) 915460
[startup+1724.31 s]
/proc/loadavg: 2.18 2.06 1.95 3/93 5930
/proc/meminfo: memFree=1506544/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=1710.2
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9642 0 1 0 171000 20 0 0 25 0 8 0 158632541 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833174 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5495/statm: 228865 9377 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.2
Current children cumulated vsize (KiB) 915460
[startup+1784.36 s]
/proc/loadavg: 2.06 2.05 1.95 3/93 5930
/proc/meminfo: memFree=1506544/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=1770.18
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9642 0 1 0 176998 20 0 0 25 0 8 0 158632541 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5495/statm: 228865 9377 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.18
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.29 s]
/proc/loadavg: 2.03 2.04 1.95 3/93 5930
/proc/meminfo: memFree=1506544/2055920 swapFree=4178332/4192956
[pid=5495] ppid=5493 vsize=915460 CPUtime=1800.08
/proc/5495/stat : 5495 (java) R 5493 5495 5241 0 -1 0 9642 0 1 0 179988 20 0 0 25 0 8 0 158632541 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5495/statm: 228865 9377 2524 14 0 215335 0
[pid=5495/tid=5497] ppid=5493 vsize=915460 CPUtime=0.03
/proc/5495/task/5497/stat : 5497 (java) S 5493 5495 5241 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 158632547 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5498] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5498/stat : 5498 (java) S 5493 5495 5241 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5499] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5499/stat : 5499 (java) S 5493 5495 5241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158632548 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5500] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5500/stat : 5500 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5501] ppid=5493 vsize=915460 CPUtime=0.25
/proc/5495/task/5501/stat : 5501 (java) S 5493 5495 5241 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5502] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5502/stat : 5502 (java) S 5493 5495 5241 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5495/tid=5503] ppid=5493 vsize=915460 CPUtime=0
/proc/5495/task/5503/stat : 5503 (java) S 5493 5495 5241 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158632551 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.35
CPU time (s): 1800.14
CPU user time (s): 1799.93
CPU system time (s): 0.212967
CPU usage (%): 99.2168
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.212967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9660
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= 37839
involuntary context switches= 65801
runsolver used 2.39364 s user time and 5.66114 s system time
The end
Begin job on node10 on Sat Jan 6 16:52:54 UTC 2007
IDJOB= 194509
IDBENCH= 3218
FILE ID= node10/194509-1168102374
PBS_JOBID= 3477042
Free space on /tmp= 66341 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-46_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194509-1168102374/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-194509-1168102374 -o ROOT/results/node10/solver-194509-1168102374 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194509-1168102374/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3569a5a03cee2903c3cfe2507ce082f1
RANDOM SEED= 260354759
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.232
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.232
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: 1477304 kB
Buffers: 50864 kB
Cached: 356648 kB
SwapCached: 2120 kB
Active: 187828 kB
Inactive: 301412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1477304 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 2044 kB
Writeback: 0 kB
Mapped: 92396 kB
Slab: 74064 kB
Committed_AS: 3730940 kB
PageTables: 2324 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= 66354 MiB
End job on node10 on Sat Jan 6 17:23:09 UTC 2007