0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=esac.xml
0.19/0.30
0.19/0.30 instance
0.19/0.30 name=HOME/instance-2095868-1247408865.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.39/0.44 nbVariables=600 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=1200
0.39/0.45 => wckTime=0.183 cpuTime=0.14 mem=8M867
0.39/0.45
0.39/0.45 constraints being loaded...
1.08/1.13 nbConstraints=516 nbGlobalConstraints=516 nbSharedBinaryRepresentations=0 minDegree=6 maxDegree=26 minArity=10
1.08/1.13 avgArity=15.89 maxArity=600 nbGenerators=56 nbFusions=0 symmetryWckTime=0.523 symmetryCpuTime=0.28
1.08/1.13 => wckTime=0.868 cpuTime=0.5 mem=32M313
1.17/1.20
1.17/1.20 solver IterativeSystematicSolver being built...
1.17/1.28
1.17/1.28 INFO : Forward propagation technique limited
1.27/1.38 => wckTime=1.123 cpuTime=0.65 mem=24M353
1.47/1.54
1.47/1.54 preprocessing
1.47/1.54 nbConstraintChecks=0 nbPropagations=1657 nbRevisions=0 nbUselessRevisions=0 nbSingletonTests=790
1.47/1.54 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
1.47/1.54 => wckTime=0.155 cpuTime=0.13 mem=25M297
1.97/2.09
1.97/2.09 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=27M200)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095868-1247408865/watcher-2095868-1247408865 -o /tmp/evaluation-result-2095868-1247408865/solver-2095868-1247408865 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095868-1247408865.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.03 2.00 2.00 4/80 30320
/proc/meminfo: memFree=1776688/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=10676 CPUtime=0
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 27950532 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 2669 474 207 9 0 1184 0
[pid=30320/tid=30321] ppid=30318 vsize=10676 CPUtime=0
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 27950533 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 13066200 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0660881 s]
/proc/loadavg: 2.03 2.00 2.00 4/80 30320
/proc/meminfo: memFree=1776688/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=864024 CPUtime=0.06
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 2835 0 1 0 4 2 0 0 18 0 9 0 27950532 884760576 2369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 216006 2369 1122 9 0 210899 0
[pid=30320/tid=30321] ppid=30318 vsize=864024 CPUtime=0.04
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 1922 0 1 0 3 1 0 0 20 0 9 0 27950533 884760576 2369 996147200 134512640 134550932 4294955968 18446744073709551615 103666305 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864024
[startup+0.102091 s]
/proc/loadavg: 2.03 2.00 2.00 4/80 30320
/proc/meminfo: memFree=1776688/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=865984 CPUtime=0.09
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 3758 0 1 0 7 2 0 0 18 0 9 0 27950532 886767616 3219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 216496 3219 1700 9 0 210981 0
[pid=30320/tid=30321] ppid=30318 vsize=865984 CPUtime=0.07
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 2841 0 1 0 6 1 0 0 18 0 9 0 27950533 886767616 3219 996147200 134512640 134550932 4294955968 18446744073709551615 103675085 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301102 s]
/proc/loadavg: 2.03 2.00 2.00 4/80 30320
/proc/meminfo: memFree=1776688/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=866380 CPUtime=0.29
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 5846 0 1 0 25 4 0 0 18 0 9 0 27950532 887173120 5212 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 216595 5212 1981 9 0 211053 0
[pid=30320/tid=30321] ppid=30318 vsize=866380 CPUtime=0.24
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 4865 0 1 0 21 3 0 0 18 0 9 0 27950533 887173120 5212 996147200 134512640 134550932 4294955968 18446744073709551615 104183678 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701129 s]
/proc/loadavg: 2.03 2.00 2.00 4/80 30320
/proc/meminfo: memFree=1776688/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=867896 CPUtime=0.66
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 8855 0 1 0 60 6 0 0 18 0 10 0 27950532 888725504 8087 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 216974 8087 2016 9 0 211432 0
[pid=30320/tid=30321] ppid=30318 vsize=867896 CPUtime=0.47
/proc/30320/task/30321/stat : 30321 (java) S 30318 30320 28915 0 -1 64 7420 0 1 0 43 4 0 0 20 0 10 0 27950533 888725504 8087 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867896
[startup+1.50218 s]
/proc/loadavg: 2.03 2.00 2.00 4/91 30333
/proc/meminfo: memFree=1745624/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=1.47
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20278 516 1 0 117 11 19 0 18 0 9 0 27950532 888946688 14013 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14013 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=1.14
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15113 516 1 0 87 8 19 0 20 0 9 0 27950533 888946688 14013 996147200 134512640 134550932 4294955968 18446744073709551615 4127039544 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14013 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14013 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14013 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14013 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.43
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 927 516 0 0 24 0 19 0 15 0 9 0 27950537 888946688 14013 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14013 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 13 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14013 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868112
[startup+3.10229 s]
/proc/loadavg: 2.03 2.00 2.00 3/89 30333
/proc/meminfo: memFree=1730592/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=3.06
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20338 516 1 0 276 11 19 0 18 0 9 0 27950532 888946688 14072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14072 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=2.65
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15125 516 1 0 238 8 19 0 25 0 9 0 27950533 888946688 14072 996147200 134512640 134550932 4294955968 18446744073709551615 4127095958 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 17 0 9 0 27950535 888946688 14072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 975 516 0 0 32 0 19 0 15 0 9 0 27950537 888946688 14072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 13 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868112
[startup+6.3015 s]
/proc/loadavg: 2.03 2.00 2.00 3/89 30333
/proc/meminfo: memFree=1730336/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=6.24
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20371 516 1 0 594 11 19 0 18 0 9 0 27950532 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14075 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=5.83
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15127 516 1 0 556 8 19 0 25 0 9 0 27950533 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4126650772 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 979 516 0 0 32 0 19 0 16 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 40 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 868112
[startup+12.7019 s]
/proc/loadavg: 2.02 2.00 2.00 3/89 30333
/proc/meminfo: memFree=1730144/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=12.61
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20371 516 1 0 1231 11 19 0 18 0 9 0 27950532 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14075 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=12.2
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15127 516 1 0 1193 8 19 0 25 0 9 0 27950533 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4127033100 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 979 516 0 0 32 0 19 0 16 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 40 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 868112
[startup+25.5028 s]
/proc/loadavg: 2.02 2.00 2.00 3/89 30333
/proc/meminfo: memFree=1730144/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=25.35
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20371 516 1 0 2505 11 19 0 18 0 9 0 27950532 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14075 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=24.93
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15127 516 1 0 2466 8 19 0 25 0 9 0 27950533 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4127036574 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 979 516 0 0 32 0 19 0 16 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) R 30318 30320 28915 0 -1 64 40 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 868112
[startup+51.1025 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 30333
/proc/meminfo: memFree=1730144/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=50.83
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20371 516 1 0 5052 12 19 0 18 0 9 0 27950532 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14075 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=50.42
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15127 516 1 0 5014 9 19 0 25 0 9 0 27950533 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4127027577 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14075 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 980 516 0 0 32 0 19 0 16 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 40 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.08
Current children cumulated vsize (KiB) 868112
[startup+1542.3 s]
/proc/loadavg: 2.32 2.13 2.03 3/89 30493
/proc/meminfo: memFree=1723616/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=1537.06
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20372 516 1 0 153671 16 19 0 18 0 9 0 27950532 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14076 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=1536.64
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15127 516 1 0 153632 13 19 0 25 0 9 0 27950533 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4127096896 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 980 516 0 0 32 0 19 0 16 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 40 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.06
Current children cumulated vsize (KiB) 868112
[startup+1602.3 s]
/proc/loadavg: 2.12 2.10 2.03 3/89 30493
/proc/meminfo: memFree=1723616/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=1597.04
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20372 516 1 0 159669 16 19 0 18 0 9 0 27950532 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14076 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=1596.62
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15127 516 1 0 159630 13 19 0 25 0 9 0 27950533 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4127106296 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 980 516 0 0 32 0 19 0 16 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 40 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.04
Current children cumulated vsize (KiB) 868112
[startup+1662.3 s]
/proc/loadavg: 2.04 2.08 2.02 3/89 30493
/proc/meminfo: memFree=1723680/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=1657.02
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20372 516 1 0 165667 16 19 0 18 0 9 0 27950532 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14076 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=1656.6
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15127 516 1 0 165628 13 19 0 25 0 9 0 27950533 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4127095971 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 980 516 0 0 32 0 19 0 16 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 40 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.02
Current children cumulated vsize (KiB) 868112
[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/89 30493
/proc/meminfo: memFree=1723680/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=1716.99
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20372 516 1 0 171664 16 19 0 18 0 9 0 27950532 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14076 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=1716.57
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15127 516 1 0 171625 13 19 0 25 0 9 0 27950533 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4127153068 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 980 516 0 0 32 0 19 0 16 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 40 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.99
Current children cumulated vsize (KiB) 868112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/89 30493
/proc/meminfo: memFree=1723488/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=1776.97
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20372 516 1 0 177662 16 19 0 18 0 9 0 27950532 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14076 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=1776.55
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15127 516 1 0 177623 13 19 0 25 0 9 0 27950533 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4127153034 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 980 516 0 0 32 0 19 0 16 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 40 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.97
Current children cumulated vsize (KiB) 868112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.4 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 30493
/proc/meminfo: memFree=1723488/2055920 swapFree=4192812/4192956
[pid=30320] ppid=30318 vsize=868112 CPUtime=1800.06
/proc/30320/stat : 30320 (java) S 30318 30320 28915 0 -1 0 20372 516 1 0 179971 16 19 0 18 0 9 0 27950532 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30320/statm: 217028 14076 2659 9 0 211464 0
[pid=30320/tid=30321] ppid=30318 vsize=868112 CPUtime=1799.65
/proc/30320/task/30321/stat : 30321 (java) R 30318 30320 28915 0 -1 64 15127 516 1 0 179933 13 19 0 25 0 9 0 27950533 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4127216832 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30320/tid=30323] ppid=30318 vsize=868112 CPUtime=0.24
/proc/30320/task/30323/stat : 30323 (java) S 30318 30320 28915 0 -1 64 3394 516 0 0 5 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30324] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30324/stat : 30324 (java) S 30318 30320 28915 0 -1 64 17 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30325] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30325/stat : 30325 (java) S 30318 30320 28915 0 -1 64 8 516 0 0 0 0 19 0 16 0 9 0 27950535 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30326] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30326/stat : 30326 (java) S 30318 30320 28915 0 -1 64 2 516 0 0 0 0 19 0 18 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30327] ppid=30318 vsize=868112 CPUtime=0.51
/proc/30320/task/30327/stat : 30327 (java) S 30318 30320 28915 0 -1 64 980 516 0 0 32 0 19 0 16 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30328] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30328/stat : 30328 (java) S 30318 30320 28915 0 -1 64 1 516 0 0 0 0 19 0 19 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30320/tid=30329] ppid=30318 vsize=868112 CPUtime=0.19
/proc/30320/task/30329/stat : 30329 (java) S 30318 30320 28915 0 -1 64 40 516 0 0 0 0 19 0 15 0 9 0 27950537 888946688 14076 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 868112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1805.45
CPU time (s): 1800.14
CPU user time (s): 1799.95
CPU system time (s): 0.185971
CPU usage (%): 99.7055
Max. virtual memory (cumulated for all children) (KiB): 868116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.185971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20918
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= 38024
involuntary context switches= 51190
runsolver used 2.36664 second user time and 5.86311 second system time
The end
Begin job on node39 at 2009-07-12 16:27:45
IDJOB=2095868
IDBENCH=55812
IDSOLVER=774
FILE ID=node39/2095868-1247408865
PBS_JOBID= 9510565
Free space on /tmp= 66428 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-fpga20-20-sat-pb-cnf-cr.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095868-1247408865/watcher-2095868-1247408865 -o /tmp/evaluation-result-2095868-1247408865/solver-2095868-1247408865 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095868-1247408865.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 61333a5f2f5d5d76c1ffdf6d67b21758
RANDOM SEED=2008486544
node39.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.236
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.236
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: 1777168 kB
Buffers: 34396 kB
Cached: 100448 kB
SwapCached: 0 kB
Active: 165284 kB
Inactive: 48912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1777168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2172 kB
Writeback: 0 kB
Mapped: 99852 kB
Slab: 49672 kB
Committed_AS: 993608 kB
PageTables: 1916 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= 66428 MiB
End job on node39 at 2009-07-12 16:57:52