0.03/0.08
0.03/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2094936-1247405758.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.48/0.57 nbVariables=4626 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=9252
0.48/0.57 => wckTime=0.328 cpuTime=0.22 mem=20M620
0.48/0.57
0.48/0.57 predicates being loaded...
0.59/0.65
0.59/0.65 constraints being loaded...
18.08/18.26 nbConstraints=30784 nbGlobalConstraints=37 nbMergedConstraints=174 nbConflictsStructures=5
18.08/18.26 nbSharedConflictsStructures=30664 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0
18.08/18.26 nbEvaluationManagers=10 nbSharedEvaluationManagers=30737 minDegree=10 maxDegree=37 minArity=3 avgArity=3.9
18.08/18.26 maxArity=1542 nbGenerators=37 nbFusions=0 symmetryWckTime=11.734 symmetryCpuTime=6.56
18.08/18.26 => wckTime=18.016 cpuTime=11.94 mem=101M492
18.57/18.76
18.57/18.76 solver IterativeSystematicSolver being built...
19.28/19.46
19.28/19.46 INFO : Forward propagation technique limited
19.57/19.74 => wckTime=19.496 cpuTime=12.64 mem=98M365
45.33/45.76
45.33/45.76 preprocessing
45.33/45.76 nbConstraintChecks=41306 nbValidityChecks=118466 nbPropagations=10670 nbRevisions=130912
45.33/45.76 nbUselessRevisions=130834 nbSingletonTests=5327 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0
45.33/45.76 nbRemovedValues=0 detectedInconsistency=no
45.33/45.76 => wckTime=26.007 cpuTime=25.73 mem=101M367
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094936-1247405758/watcher-2094936-1247405758 -o /tmp/evaluation-result-2094936-1247405758/solver-2094936-1247405758 -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-2094936-1247405758.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.03 1.98 4/80 31157
/proc/meminfo: memFree=1756408/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=1616 CPUtime=0
/proc/31157/stat : 31157 (java) D 31155 31157 30585 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 27642680 1654784 145 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/31157/statm: 404 145 119 9 0 46 0
[startup+0.04725 s]
/proc/loadavg: 2.03 2.03 1.98 4/80 31157
/proc/meminfo: memFree=1756408/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=861936 CPUtime=0.03
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 2395 0 1 0 2 1 0 0 18 0 5 0 27642680 882622464 1973 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 215484 1973 905 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.101237 s]
/proc/loadavg: 2.03 2.03 1.98 4/80 31157
/proc/meminfo: memFree=1756408/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=865980 CPUtime=0.09
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 3748 0 1 0 7 2 0 0 18 0 9 0 27642680 886763520 3214 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 216495 3214 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301176 s]
/proc/loadavg: 2.03 2.03 1.98 4/80 31157
/proc/meminfo: memFree=1756408/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=866380 CPUtime=0.28
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 5991 0 1 0 24 4 0 0 18 0 9 0 27642680 887173120 5357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 216595 5357 1984 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701061 s]
/proc/loadavg: 2.03 2.03 1.98 4/80 31157
/proc/meminfo: memFree=1756408/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=867612 CPUtime=0.68
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 10957 0 1 0 61 7 0 0 18 0 9 0 27642680 888434688 10311 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 216903 10312 2038 9 0 211339 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867612
[startup+1.50183 s]
/proc/loadavg: 2.03 2.03 1.98 3/89 31166
/proc/meminfo: memFree=1705392/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=867524 CPUtime=1.48
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 18876 0 1 0 137 11 0 0 18 0 9 0 27642680 888344576 18204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 216881 18204 2027 9 0 211339 0
[pid=31157/tid=31159] ppid=31155 vsize=867524 CPUtime=1.23
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 15784 0 1 0 114 9 0 0 25 0 9 0 27642681 888344576 18204 996147200 134512640 134550932 4294955968 18446744073709551615 4126405541 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31160] ppid=31155 vsize=867524 CPUtime=0.07
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 1744 0 0 0 7 0 0 0 16 0 9 0 27642682 888344576 18204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31161] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27642683 888344576 18204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31162] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 27642683 888344576 18204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31163] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 27642685 888344576 18204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=867524 CPUtime=0.16
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 645 0 0 0 16 0 0 0 16 0 9 0 27642685 888344576 18204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31165] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 27642685 888344576 18204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27642685 888344576 18204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867524
[startup+3.10237 s]
/proc/loadavg: 2.03 2.03 1.98 3/89 31166
/proc/meminfo: memFree=1677168/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=867524 CPUtime=3.09
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 24438 0 1 0 279 30 0 0 18 0 9 0 27642680 888344576 23764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 216881 23764 2028 9 0 211339 0
[pid=31157/tid=31159] ppid=31155 vsize=867524 CPUtime=2.54
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 15809 0 1 0 229 25 0 0 25 0 9 0 27642681 888344576 23764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31160] ppid=31155 vsize=867528 CPUtime=0.31
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 7240 0 0 0 28 3 0 0 18 0 9 0 27642682 888348672 23764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31161] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27642683 888344576 23764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31162] ppid=31155 vsize=867528 CPUtime=0
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 27642683 888348672 23764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31163] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 27642685 888344576 23764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=867528 CPUtime=0.2
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 686 0 0 0 20 0 0 0 16 0 9 0 27642685 888348672 23764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31165] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 27642685 888344576 23764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=867528 CPUtime=0
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27642685 888348672 23764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867524
[startup+6.30245 s]
/proc/loadavg: 2.03 2.03 1.98 4/89 31166
/proc/meminfo: memFree=1655032/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=867524 CPUtime=6.28
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 34067 0 1 0 497 131 0 0 18 0 9 0 27642680 888344576 33390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 216882 33390 2028 9 0 211340 0
[pid=31157/tid=31159] ppid=31155 vsize=867524 CPUtime=5.35
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 15813 0 1 0 412 123 0 0 25 0 9 0 27642681 888344576 33390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31160] ppid=31155 vsize=867524 CPUtime=0.7
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 16851 0 0 0 63 7 0 0 17 0 9 0 27642682 888344576 33390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31161] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27642683 888344576 33390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31162] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 27642683 888344576 33390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31163] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 27642685 888344576 33390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=867524 CPUtime=0.22
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 700 0 0 0 22 0 0 0 15 0 9 0 27642685 888344576 33390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31165] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 27642685 888344576 33390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=867524 CPUtime=0
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27642685 888344576 33390 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867524
[startup+12.7026 s]
/proc/loadavg: 2.10 2.04 1.99 5/91 31170
/proc/meminfo: memFree=1608608/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=868172 CPUtime=12.62
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 61477 4920 1 0 642 141 475 4 18 0 10 0 27642680 889008128 37845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 217043 37845 2045 9 0 211501 0
[pid=31170] ppid=31157 vsize=44 CPUtime=0
/proc/31170/stat : 31170 (rm) R 31157 31157 30585 0 -1 4194304 23 0 0 0 0 0 0 0 19 0 1 0 27643869 45056 2 996147200 0 0 548682069478 18446744073709551615 4294960144 0 4 0 0 0 0 0 17 1 0 0
/proc/31170/statm: 11 2 0 0 0 1 0
[pid=31157/tid=31159] ppid=31155 vsize=868172 CPUtime=11.48
/proc/31157/task/31159/stat : 31159 (java) S 31155 31157 30585 0 -1 64 36000 4920 1 0 540 129 475 4 16 0 10 0 27642681 889008128 37845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31160] ppid=31155 vsize=868172 CPUtime=5.61
/proc/31157/task/31160/stat : 31160 (java) R 31155 31157 30585 0 -1 64 23646 4920 0 0 74 8 475 4 16 0 10 0 27642682 889008128 37845 996147200 134512640 134550932 4294955968 18446744073709551615 103826318 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31161] ppid=31155 vsize=868172 CPUtime=4.79
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 16 4920 0 0 0 0 475 4 16 0 10 0 27642683 889008128 37845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31162] ppid=31155 vsize=868172 CPUtime=4.79
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 6 4920 0 0 0 0 475 4 16 0 10 0 27642683 889008128 37845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31163] ppid=31155 vsize=868172 CPUtime=4.79
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 4920 0 0 0 0 475 4 23 0 10 0 27642685 889008128 37845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=868172 CPUtime=5.06
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 997 4920 0 0 27 0 475 4 15 0 10 0 27642685 889008128 37845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31165] ppid=31155 vsize=868172 CPUtime=4.79
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 4920 0 0 0 0 475 4 24 0 10 0 27642685 889008128 37845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=868172 CPUtime=4.79
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 13 4920 0 0 0 0 475 4 15 0 10 0 27642685 889008128 37845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31169] ppid=31155 vsize=868172 CPUtime=4.79
/proc/31157/task/31169/stat : 31169 (java) S 31155 31157 30585 0 -1 64 41 4920 0 0 0 0 475 4 17 0 10 0 27643869 889008128 37845 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 868216
[startup+25.5019 s]
/proc/loadavg: 2.08 2.04 1.99 3/89 31170
/proc/meminfo: memFree=1598696/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=868172 CPUtime=25.31
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 83900 5044 1 0 1904 146 475 6 18 0 9 0 27642680 889008128 41788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 217043 41788 2640 9 0 211501 0
[pid=31157/tid=31159] ppid=31155 vsize=868172 CPUtime=23.3
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 39542 5044 1 0 1719 130 475 6 25 0 9 0 27642681 889008128 41788 996147200 134512640 134550932 4294955968 18446744073709551615 4127533242 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31160] ppid=31155 vsize=868172 CPUtime=6.38
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 42370 5044 0 0 145 12 475 6 16 0 9 0 27642682 889008128 41788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31161] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 24 5044 0 0 0 0 475 6 15 0 9 0 27642683 889008128 41788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31162] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 30 5044 0 0 0 0 475 6 16 0 9 0 27642683 889008128 41788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31163] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 5044 0 0 0 0 475 6 23 0 9 0 27642685 889008128 41788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=868172 CPUtime=5.2
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 1118 5044 0 0 38 1 475 6 16 0 9 0 27642685 889008128 41788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31165] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 5044 0 0 0 0 475 6 24 0 9 0 27642685 889008128 41788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 14 5044 0 0 0 0 475 6 15 0 9 0 27642685 889008128 41788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 868172
[startup+51.1016 s]
/proc/loadavg: 2.05 2.04 1.99 3/89 31170
/proc/meminfo: memFree=1598760/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=868172 CPUtime=50.68
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 83925 5044 1 0 4440 147 475 6 18 0 9 0 27642680 889008128 41808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 217043 41808 2640 9 0 211501 0
[pid=31157/tid=31159] ppid=31155 vsize=868172 CPUtime=48.64
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 39551 5044 1 0 4253 130 475 6 25 0 9 0 27642681 889008128 41808 996147200 134512640 134550932 4294955968 18446744073709551615 4127089370 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31160] ppid=31155 vsize=868172 CPUtime=6.38
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 42370 5044 0 0 145 12 475 6 17 0 9 0 27642682 889008128 41808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31161] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 24 5044 0 0 0 0 475 6 15 0 9 0 27642683 889008128 41808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31162] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 30 5044 0 0 0 0 475 6 16 0 9 0 27642683 889008128 41808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31163] ppid=31155 vsize=868172 CPUtime=4.81
################
# More data... #
################
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 30 5044 0 0 0 0 475 6 16 0 9 0 27642683 889008128 41821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31163] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 5044 0 0 0 0 475 6 23 0 9 0 27642685 889008128 41821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=868172 CPUtime=5.26
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 1156 5044 0 0 44 1 475 6 16 0 9 0 27642685 889008128 41821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31165] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 5044 0 0 0 0 475 6 24 0 9 0 27642685 889008128 41821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 14 5044 0 0 0 0 475 6 15 0 9 0 27642685 889008128 41821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.75
Current children cumulated vsize (KiB) 868172
[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/89 31219
/proc/meminfo: memFree=1475352/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=868172 CPUtime=1534.74
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 83956 5044 1 0 152843 150 475 6 18 0 9 0 27642680 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 217043 41822 2640 9 0 211501 0
[pid=31157/tid=31159] ppid=31155 vsize=868172 CPUtime=1532.68
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 39559 5044 1 0 152653 134 475 6 25 0 9 0 27642681 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4127091237 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31160] ppid=31155 vsize=868172 CPUtime=6.38
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 42370 5044 0 0 145 12 475 6 16 0 9 0 27642682 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31161] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 24 5044 0 0 0 0 475 6 15 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31162] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 30 5044 0 0 0 0 475 6 16 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31163] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 5044 0 0 0 0 475 6 23 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=868172 CPUtime=5.26
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 1157 5044 0 0 44 1 475 6 16 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31165] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 5044 0 0 0 0 475 6 24 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 14 5044 0 0 0 0 475 6 15 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.74
Current children cumulated vsize (KiB) 868172
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/89 31219
/proc/meminfo: memFree=1475224/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=868172 CPUtime=1594.74
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 83956 5044 1 0 158843 150 475 6 18 0 9 0 27642680 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 217043 41822 2640 9 0 211501 0
[pid=31157/tid=31159] ppid=31155 vsize=868172 CPUtime=1592.67
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 39559 5044 1 0 158652 134 475 6 25 0 9 0 27642681 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4127090775 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31160] ppid=31155 vsize=868172 CPUtime=6.38
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 42370 5044 0 0 145 12 475 6 16 0 9 0 27642682 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31161] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 24 5044 0 0 0 0 475 6 15 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31162] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 30 5044 0 0 0 0 475 6 16 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31163] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 5044 0 0 0 0 475 6 23 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=868172 CPUtime=5.26
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 1157 5044 0 0 44 1 475 6 16 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31165] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 5044 0 0 0 0 475 6 24 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 14 5044 0 0 0 0 475 6 15 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.74
Current children cumulated vsize (KiB) 868172
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 31219
/proc/meminfo: memFree=1475224/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=868172 CPUtime=1654.74
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 83956 5044 1 0 164843 150 475 6 18 0 9 0 27642680 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 217043 41822 2640 9 0 211501 0
[pid=31157/tid=31159] ppid=31155 vsize=868172 CPUtime=1652.68
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 39559 5044 1 0 164653 134 475 6 25 0 9 0 27642681 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4127093376 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31160] ppid=31155 vsize=868172 CPUtime=6.38
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 42370 5044 0 0 145 12 475 6 16 0 9 0 27642682 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31161] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 24 5044 0 0 0 0 475 6 15 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31162] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 30 5044 0 0 0 0 475 6 16 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31163] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 5044 0 0 0 0 475 6 23 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=868172 CPUtime=5.26
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 1157 5044 0 0 44 1 475 6 16 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31165] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 5044 0 0 0 0 475 6 24 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 14 5044 0 0 0 0 475 6 15 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.74
Current children cumulated vsize (KiB) 868172
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 5/89 31219
/proc/meminfo: memFree=1475224/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=868172 CPUtime=1714.74
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 83956 5044 1 0 170843 150 475 6 18 0 9 0 27642680 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 217043 41822 2640 9 0 211501 0
[pid=31157/tid=31159] ppid=31155 vsize=868172 CPUtime=1712.67
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 39559 5044 1 0 170652 134 475 6 25 0 9 0 27642681 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4127091127 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31160] ppid=31155 vsize=868172 CPUtime=6.38
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 42370 5044 0 0 145 12 475 6 16 0 9 0 27642682 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31161] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 24 5044 0 0 0 0 475 6 15 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31162] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 30 5044 0 0 0 0 475 6 16 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31163] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 5044 0 0 0 0 475 6 23 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=868172 CPUtime=5.26
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 1157 5044 0 0 44 1 475 6 16 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31165] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 5044 0 0 0 0 475 6 24 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 14 5044 0 0 0 0 475 6 15 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.74
Current children cumulated vsize (KiB) 868172
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 31219
/proc/meminfo: memFree=1475224/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=868172 CPUtime=1774.74
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 83956 5044 1 0 176843 150 475 6 18 0 9 0 27642680 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 217043 41822 2640 9 0 211501 0
[pid=31157/tid=31159] ppid=31155 vsize=868172 CPUtime=1772.67
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 39559 5044 1 0 176652 134 475 6 25 0 9 0 27642681 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4127089402 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31160] ppid=31155 vsize=868172 CPUtime=6.38
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 42370 5044 0 0 145 12 475 6 16 0 9 0 27642682 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31161] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 24 5044 0 0 0 0 475 6 15 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31162] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 30 5044 0 0 0 0 475 6 16 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31163] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 5044 0 0 0 0 475 6 23 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=868172 CPUtime=5.26
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 1157 5044 0 0 44 1 475 6 16 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31165] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 5044 0 0 0 0 475 6 24 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31166/stat : 31166 (java) S 31155 31157 30585 0 -1 64 14 5044 0 0 0 0 475 6 15 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.74
Current children cumulated vsize (KiB) 868172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 31219
/proc/meminfo: memFree=1475224/2055920 swapFree=4192812/4192956
[pid=31157] ppid=31155 vsize=868172 CPUtime=1800.04
/proc/31157/stat : 31157 (java) S 31155 31157 30585 0 -1 0 83956 5044 1 0 179373 150 475 6 18 0 9 0 27642680 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31157/statm: 217043 41822 2640 9 0 211501 0
[pid=31157/tid=31159] ppid=31155 vsize=868172 CPUtime=1797.98
/proc/31157/task/31159/stat : 31159 (java) R 31155 31157 30585 0 -1 64 39559 5044 1 0 179183 134 475 6 25 0 9 0 27642681 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4127082855 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31160] ppid=31155 vsize=868172 CPUtime=6.38
/proc/31157/task/31160/stat : 31160 (java) S 31155 31157 30585 0 -1 64 42370 5044 0 0 145 12 475 6 16 0 9 0 27642682 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31161] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31161/stat : 31161 (java) S 31155 31157 30585 0 -1 64 24 5044 0 0 0 0 475 6 15 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31162] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31162/stat : 31162 (java) S 31155 31157 30585 0 -1 64 30 5044 0 0 0 0 475 6 16 0 9 0 27642683 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31157/tid=31163] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31163/stat : 31163 (java) S 31155 31157 30585 0 -1 64 2 5044 0 0 0 0 475 6 23 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31164] ppid=31155 vsize=868172 CPUtime=5.26
/proc/31157/task/31164/stat : 31164 (java) S 31155 31157 30585 0 -1 64 1157 5044 0 0 44 1 475 6 16 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31165] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31165/stat : 31165 (java) S 31155 31157 30585 0 -1 64 0 5044 0 0 0 0 475 6 24 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31157/tid=31166] ppid=31155 vsize=868172 CPUtime=4.81
/proc/31157/task/31166/stat : 31166 (java) R 31155 31157 30585 0 -1 64 14 5044 0 0 0 0 475 6 15 0 9 0 27642685 889008128 41822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 868172
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): 1807.69
CPU time (s): 1800.14
CPU user time (s): 1798.55
CPU system time (s): 1.59576
CPU usage (%): 99.5826
Max. virtual memory (cumulated for all children) (KiB): 891748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.59576
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89032
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= 40158
involuntary context switches= 42673
runsolver used 2.32565 second user time and 5.9081 second system time
The end
Begin job on node16 at 2009-07-12 15:35:58
IDJOB=2094936
IDBENCH=54673
IDSOLVER=774
FILE ID=node16/2094936-1247405758
PBS_JOBID= 9510611
Free space on /tmp= 66456 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudo/ppp/normalized-ppp-1-9-16-19.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-2094936-1247405758/watcher-2094936-1247405758 -o /tmp/evaluation-result-2094936-1247405758/solver-2094936-1247405758 -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-2094936-1247405758.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 08e198d63dcbb86350d4244b7817639a
RANDOM SEED=665618793
node16.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.231
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.231
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: 1756888 kB
Buffers: 35352 kB
Cached: 133832 kB
SwapCached: 0 kB
Active: 165628 kB
Inactive: 76456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1756888 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6752 kB
Writeback: 0 kB
Mapped: 93336 kB
Slab: 42040 kB
Committed_AS: 993900 kB
PageTables: 1976 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= 66444 MiB
End job on node16 at 2009-07-12 16:06:08