0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/194718-1168105552/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.54
0.54 constraints being loaded...
0.67 nbConstraints=469 nbRelationTypes=469 nbExtensionStructures=469 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=469 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2495 maxDegree=28
0.67 maxArity=2
0.67 => wckTime=0.374 cpuTime=0.3 mem=17M695
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.571 cpuTime=0.42 mem=15M584
0.93
0.93 preprocessing
0.93 nbConstraintChecks=111719 nbPropagations=1202 nbRevisions=9680 nbUselessRevisions=8059 nbSingletonTests=61
0.93 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.062 cpuTime=0.03 mem=15M584
0.96
0.96 search
0.96 run=0 nbConstraintChecks=43340 nbPropagations=1701 nbRevisions=15678 nbUselessRevisions=13016 nbAssignments=28
0.96 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.089 cpuTime=0.05 mem=15M584
0.98
0.98 search
0.98 run=1 nbConstraintChecks=106212 nbPropagations=4159 nbRevisions=41259 nbUselessRevisions=34194
0.98 nbAssignments=66 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=95 nbRestartNogoods=3 mapSize=16
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.11 cpuTime=0.06 mem=15M584
0.99
0.99 search
0.99 run=2 nbConstraintChecks=166201 nbPropagations=7336 nbRevisions=75996 nbUselessRevisions=62928
0.99 nbAssignments=106 nbFailedAssignments=28 nbBacktracks=48 nbVisitedNodes=154 nbRestartNogoods=5 mapSize=30
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.122 cpuTime=0.07 mem=15M584
1.01
1.01 search
1.01 run=3 nbConstraintChecks=255114 nbPropagations=11665 nbRevisions=126345 nbUselessRevisions=104610
1.01 nbAssignments=172 nbFailedAssignments=49 nbBacktracks=82 nbVisitedNodes=255 nbRestartNogoods=6 mapSize=54
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.141 cpuTime=0.09 mem=15M584
1.03
1.03 search
1.03 run=4 nbConstraintChecks=382269 nbPropagations=17585 nbRevisions=198781 nbUselessRevisions=164665
1.03 nbAssignments=258 nbFailedAssignments=74 nbBacktracks=135 nbVisitedNodes=391 nbRestartNogoods=9 mapSize=94
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.165 cpuTime=0.12 mem=15M584
1.07
1.07 search
1.07 run=5 nbConstraintChecks=587484 nbPropagations=26084 nbRevisions=307512 nbUselessRevisions=254123
1.07 nbAssignments=394 nbFailedAssignments=123 nbBacktracks=211 nbVisitedNodes=622 nbRestartNogoods=12 mapSize=160
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.206 cpuTime=0.16 mem=15M584
1.13
1.13 search
1.13 run=6 nbConstraintChecks=942675 nbPropagations=38748 nbRevisions=480148 nbUselessRevisions=395859
1.13 nbAssignments=601 nbFailedAssignments=206 nbBacktracks=324 nbVisitedNodes=983 nbRestartNogoods=16 mapSize=264
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.264 cpuTime=0.22 mem=15M584
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1467007 nbPropagations=57803 nbRevisions=745591 nbUselessRevisions=613939
1.22 nbAssignments=914 nbFailedAssignments=317 nbBacktracks=496 nbVisitedNodes=1479 nbRestartNogoods=22 mapSize=405
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.35 cpuTime=0.3 mem=15M584
1.34
1.34 search
1.34 run=8 nbConstraintChecks=2230738 nbPropagations=85807 nbRevisions=1149417 nbUselessRevisions=946267
1.34 nbAssignments=1342 nbFailedAssignments=479 nbBacktracks=753 nbVisitedNodes=2223 nbRestartNogoods=25
1.34 mapSize=621 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.475 cpuTime=0.42 mem=15M584
1.52
1.52 search
1.52 run=9 nbConstraintChecks=3259088 nbPropagations=126152 nbRevisions=1746037 nbUselessRevisions=1436976
1.52 nbAssignments=1980 nbFailedAssignments=723 nbBacktracks=1137 nbVisitedNodes=3310 nbRestartNogoods=32
1.52 mapSize=929 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.651 cpuTime=0.58 mem=15M584
1.58
1.58 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M584)
1.81
1.81 search
1.81 run=10 nbConstraintChecks=5349907 nbPropagations=188202 nbRevisions=2690371 nbUselessRevisions=2210801
1.81 nbAssignments=3030 nbFailedAssignments=1185 nbBacktracks=1713 nbVisitedNodes=5150 nbRestartNogoods=39
1.81 => wckTime=0.945 cpuTime=0.86 mem=15M584
2.11
2.11 search
2.11 run=11 nbConstraintChecks=7279469 nbPropagations=275454 nbRevisions=4003130 nbUselessRevisions=3284467
2.11 nbAssignments=4390 nbFailedAssignments=1668 nbBacktracks=2579 nbVisitedNodes=7439 nbRestartNogoods=42
2.11 => wckTime=1.243 cpuTime=1.15 mem=15M584
2.60
2.60 search
2.60 run=12 nbConstraintChecks=10693651 nbPropagations=403943 nbRevisions=5957502 nbUselessRevisions=4886661
2.60 nbAssignments=6495 nbFailedAssignments=2467 nbBacktracks=3877 nbVisitedNodes=10995 nbRestartNogoods=47
2.60 => wckTime=1.73 cpuTime=1.64 mem=15M584
3.37
3.37 search
3.37 run=13 nbConstraintChecks=16255529 nbPropagations=595906 nbRevisions=8888793 nbUselessRevisions=7285633
3.37 nbAssignments=9686 nbFailedAssignments=3704 nbBacktracks=5823 nbVisitedNodes=16448 nbRestartNogoods=56
3.37 => wckTime=2.5 cpuTime=2.4 mem=15M584
4.46
4.46 search
4.46 run=14 nbConstraintChecks=23960344 nbPropagations=879103 nbRevisions=13246518 nbUselessRevisions=10856861
4.46 nbAssignments=14515 nbFailedAssignments=5604 nbBacktracks=8742 nbVisitedNodes=24689 nbRestartNogoods=60
4.46 => wckTime=3.592 cpuTime=3.49 mem=15M584
6.08
6.08 search
6.08 run=15 nbConstraintChecks=35421116 nbPropagations=1298261 nbRevisions=19700951 nbUselessRevisions=16144109
6.08 nbAssignments=21532 nbFailedAssignments=8215 nbBacktracks=13121 nbVisitedNodes=36534 nbRestartNogoods=71
6.08 => wckTime=5.212 cpuTime=5.11 mem=16M559
8.43
8.43 search
8.43 run=16 nbConstraintChecks=51154562 nbPropagations=1916286 nbRevisions=29214802 nbUselessRevisions=23949165
8.43 nbAssignments=32054 nbFailedAssignments=12155 nbBacktracks=19693 nbVisitedNodes=54437 nbRestartNogoods=81
8.43 => wckTime=7.561 cpuTime=7.42 mem=16M559
12.05
12.05 search
12.05 run=17 nbConstraintChecks=76823301 nbPropagations=2833955 nbRevisions=43374709 nbUselessRevisions=35556492
12.05 nbAssignments=47667 nbFailedAssignments=17906 nbBacktracks=29546 nbVisitedNodes=80913 nbRestartNogoods=87
12.05 => wckTime=11.184 cpuTime=11.02 mem=16M559
17.20
17.20 search
17.20 run=18 nbConstraintChecks=112927424 nbPropagations=4183506 nbRevisions=64108246 nbUselessRevisions=52546632
17.20 nbAssignments=70489 nbFailedAssignments=25939 nbBacktracks=44326 nbVisitedNodes=119157 nbRestartNogoods=106
17.20 => wckTime=16.335 cpuTime=16.15 mem=16M559
26.10
26.10 search
26.10 run=19 nbConstraintChecks=177569644 nbPropagations=6260294 nbRevisions=96357759 nbUselessRevisions=78974150
26.10 nbAssignments=106649 nbFailedAssignments=39921 nbBacktracks=66498 nbVisitedNodes=181298 nbRestartNogoods=117
26.10 => wckTime=25.235 cpuTime=25.01 mem=16M559
37.61
37.61 search
37.61 run=20 nbConstraintChecks=257372201 nbPropagations=9300716 nbRevisions=143419071 nbUselessRevisions=117552618
37.61 nbAssignments=157783 nbFailedAssignments=57789 nbBacktracks=99751 nbVisitedNodes=266758 nbRestartNogoods=126
37.61 => wckTime=36.741 cpuTime=36.45 mem=16M559
55.06
55.06 search
55.06 run=21 nbConstraintChecks=378227758 nbPropagations=13833716 nbRevisions=213097667 nbUselessRevisions=174667835
55.06 nbAssignments=235543 nbFailedAssignments=85661 nbBacktracks=149630 nbVisitedNodes=398199 nbRestartNogoods=134
55.06 => wckTime=54.188 cpuTime=53.86 mem=16M559
83.67
83.67 search
83.67 run=22 nbConstraintChecks=581755007 nbPropagations=20747139 nbRevisions=319823802 nbUselessRevisions=262120964
83.67 nbAssignments=357366 nbFailedAssignments=132653 nbBacktracks=224449 nbVisitedNodes=606740 nbRestartNogoods=151
83.67 => wckTime=82.804 cpuTime=82.46 mem=16M559
126.13
126.13 search
126.13 run=23 nbConstraintChecks=877860166 nbPropagations=31200213 nbRevisions=482729512 nbUselessRevisions=395934480
126.13 nbAssignments=541118 nbFailedAssignments=204169 nbBacktracks=336678 nbVisitedNodes=921565 nbRestartNogoods=166
126.13 => wckTime=125.264 cpuTime=124.87 mem=16M559
186.49
186.49 search
186.49 run=24 nbConstraintChecks=1295953538 nbPropagations=46717328 nbRevisions=723850333 nbUselessRevisions=593945891
186.49 nbAssignments=807373 nbFailedAssignments=302072 nbBacktracks=505019 nbVisitedNodes=1371369 nbRestartNogoods=185
186.49 => wckTime=185.618 cpuTime=185.16 mem=16M559
277.31
277.31 search
277.31 run=25 nbConstraintChecks=1923468913 nbPropagations=69861382 nbRevisions=1082620251
277.31 nbUselessRevisions=888651244 nbAssignments=1208787 nbFailedAssignments=450965 nbBacktracks=757530
277.31 nbVisitedNodes=2052051 nbRestartNogoods=200
277.31 => wckTime=276.438 cpuTime=275.87 mem=16M559
419.71
419.71 search
419.71 run=26 nbConstraintChecks=2937733988 nbPropagations=104770399 nbRevisions=1623505581
419.71 nbUselessRevisions=1332432213 nbAssignments=1809489 nbFailedAssignments=672890 nbBacktracks=1136298
419.71 nbVisitedNodes=3073454 nbRestartNogoods=216
419.71 => wckTime=418.842 cpuTime=418.09 mem=16M559
636.38
636.38 search
636.38 run=27 nbConstraintChecks=4437898046 nbPropagations=157671865 nbRevisions=2448980291
636.38 nbUselessRevisions=2010971260 nbAssignments=2735470 nbFailedAssignments=1030713 nbBacktracks=1704449
636.38 nbVisitedNodes=4661746 nbRestartNogoods=232
636.38 => wckTime=635.509 cpuTime=634.55 mem=16M559
964.73
964.73 search
964.73 run=28 nbConstraintChecks=6784475989 nbPropagations=237525586 nbRevisions=3694187770
964.73 nbUselessRevisions=3033232682 nbAssignments=4106744 nbFailedAssignments=1549753 nbBacktracks=2556675
964.73 nbVisitedNodes=7002030 nbRestartNogoods=250
964.73 => wckTime=963.864 cpuTime=962.46 mem=16M559
1424.11
1424.11 search
1424.11 run=29 nbConstraintChecks=9936082792 nbPropagations=355862035 nbRevisions=5542315803
1424.11 nbUselessRevisions=4553107434 nbAssignments=6123694 nbFailedAssignments=2288353 nbBacktracks=3835015
1424.11 nbVisitedNodes=10415828 nbRestartNogoods=274
1424.11 => wckTime=1423.243 cpuTime=1421.32 mem=16M559
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-194718-1168105552 -o ROOT/results/node12/solver-194718-1168105552 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194718-1168105552/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.99 1.92 4/94 31796
/proc/meminfo: memFree=1692368/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=1784 CPUtime=0
/proc/31795/stat : 31795 (java) D 31793 31795 31294 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 158950333 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/31795/statm: 446 160 125 14 0 91 0
[startup+0.107308 s]
/proc/loadavg: 1.92 1.99 1.92 4/94 31796
/proc/meminfo: memFree=1692368/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=914988 CPUtime=0.08
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 3057 0 1 0 7 1 0 0 23 0 8 0 158950333 936947712 2803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228747 2805 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515379 s]
/proc/loadavg: 1.92 1.99 1.92 4/94 31796
/proc/meminfo: memFree=1692368/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915328 CPUtime=0.49
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 7243 0 1 0 44 5 0 0 25 0 8 0 158950333 937295872 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228832 6982 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33853 s]
/proc/loadavg: 1.92 1.99 1.92 3/101 31803
/proc/meminfo: memFree=1664664/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1.3
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9643 0 1 0 122 8 0 0 25 0 8 0 158950333 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9381 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.2
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 384 0 0 0 19 1 0 0 15 0 8 0 158950340 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98482 s]
/proc/loadavg: 1.92 1.99 1.92 3/101 31803
/proc/meminfo: memFree=1664472/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=2.94
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9659 0 1 0 286 8 0 0 25 0 8 0 158950333 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833121 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9395 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 17 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 399 0 0 0 22 1 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.27442 s]
/proc/loadavg: 1.93 1.99 1.92 3/101 31803
/proc/meminfo: memFree=1664472/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=6.21
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9659 0 1 0 613 8 0 0 25 0 8 0 158950333 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833174 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9395 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 399 0 0 0 22 1 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
[startup+12.7626 s]
/proc/loadavg: 1.93 1.99 1.92 3/101 31803
/proc/meminfo: memFree=1664472/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=12.64
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9659 0 1 0 1256 8 0 0 25 0 8 0 158950333 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9395 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915460
[startup+25.6109 s]
/proc/loadavg: 1.95 1.99 1.92 3/101 31803
/proc/meminfo: memFree=1664472/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=25.43
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9659 0 1 0 2535 8 0 0 25 0 8 0 158950333 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9395 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915460
[startup+51.2185 s]
/proc/loadavg: 1.74 1.94 1.90 2/88 31817
/proc/meminfo: memFree=1677184/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=50.96
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9661 0 1 0 5087 9 0 0 25 0 8 0 158950333 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9396 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915460
[startup+102.492 s]
/proc/loadavg: 1.94 1.96 1.91 3/94 31869
/proc/meminfo: memFree=1641744/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=102.16
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9661 0 1 0 10206 10 0 0 25 0 8 0 158950333 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9396 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 915460
[startup+162.505 s]
/proc/loadavg: 2.04 1.98 1.92 3/94 31869
/proc/meminfo: memFree=1632912/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=162.11
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 16201 10 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.07
Current children cumulated vsize (KiB) 915460
[startup+1482.95 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 32067
/proc/meminfo: memFree=1602832/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1481.02
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 148080 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.02
Current children cumulated vsize (KiB) 915460
[startup+1542.97 s]
/proc/loadavg: 2.25 2.06 1.97 3/94 32067
/proc/meminfo: memFree=1601744/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1540.96
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 154074 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826278 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.96
Current children cumulated vsize (KiB) 915460
[startup+1602.99 s]
/proc/loadavg: 2.14 2.06 1.98 3/94 32067
/proc/meminfo: memFree=1601680/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1600.92
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 160070 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.92
Current children cumulated vsize (KiB) 915460
[startup+1663.01 s]
/proc/loadavg: 2.12 2.07 1.98 3/94 32067
/proc/meminfo: memFree=1601680/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1660.87
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 166065 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.87
Current children cumulated vsize (KiB) 915460
[startup+1723.02 s]
/proc/loadavg: 2.04 2.05 1.98 3/94 32067
/proc/meminfo: memFree=1601616/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1720.8
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 172058 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.8
Current children cumulated vsize (KiB) 915460
[startup+1783.03 s]
/proc/loadavg: 2.01 2.04 1.98 3/94 32067
/proc/meminfo: memFree=1601488/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1780.76
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 178054 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.76
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.38 s]
/proc/loadavg: 2.01 2.04 1.98 3/94 32067
/proc/meminfo: memFree=1601424/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1800.1
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 179988 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.42
CPU time (s): 1800.14
CPU user time (s): 1799.9
CPU system time (s): 0.234964
CPU usage (%): 99.8736
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.234964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9681
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= 37672
involuntary context switches= 86203
runsolver used 1.87571 s user time and 6.14607 s system time
The end
Begin job on node12 on Sat Jan 6 17:45:53 UTC 2007
IDJOB= 194718
IDBENCH= 3229
FILE ID= node12/194718-1168105552
PBS_JOBID= 3477057
Free space on /tmp= 66317 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194718-1168105552/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-194718-1168105552 -o ROOT/results/node12/solver-194718-1168105552 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194718-1168105552/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 355ab8f832e3d36154095e0c19f77125
RANDOM SEED= 824818562
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.265
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.265
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: 1692784 kB
Buffers: 41972 kB
Cached: 201772 kB
SwapCached: 4660 kB
Active: 119404 kB
Inactive: 170412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1692784 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 63364 kB
Slab: 58100 kB
Committed_AS: 4153432 kB
PageTables: 2184 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= 66304 MiB
End job on node12 on Sat Jan 6 18:15:55 UTC 2007