0.07/0.10
0.07/0.10 Abscon 112 (May, 2008)
0.18/0.27
0.18/0.27 configuration
0.18/0.27 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-2094302-1247403330.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.48/0.50 nbVariables=700 nbDomainTypes=30 minDomainSize=1 maxDomainSize=45 nbTotalValues=17005
0.48/0.50 => wckTime=0.228 cpuTime=0.16 mem=9M844
0.48/0.50
0.48/0.50 predicates being loaded...
0.48/0.56
0.48/0.56 constraints being loaded...
12.64/12.88 nbConstraints=45573 nbGlobalConstraints=301 nbSingletonDomainVariables=19 nbConflictsStructures=22
12.64/12.88 nbSharedConflictsStructures=5285 nbUnbuiltConflictsStructures=407 nbSharedBinaryRepresentations=0
12.64/12.88 nbEvaluationManagers=429 nbSharedEvaluationManagers=44843 minDegree=175 maxDegree=350 minArity=4 avgArity=4.09
12.64/12.88 maxArity=20 nbGenerators=1 nbFusions=0 symmetryWckTime=2.418 symmetryCpuTime=0.77
12.64/12.88 => wckTime=12.61 cpuTime=9.44 mem=241M197
13.44/13.67
13.44/13.68 solver IterativeSystematicSolver being built...
16.11/16.35
16.11/16.35 INFO : Forward propagation technique limited
16.22/16.43 => wckTime=16.159 cpuTime=11.0 mem=393M469
61.08/61.79
61.08/61.79 INFO : Stopping ESAC
61.08/61.79
61.08/61.79 preprocessing
61.08/61.79 nbConstraintChecks=41470315 nbValidityChecks=105251237 nbPropagations=12754 nbRevisions=4888799
61.08/61.79 nbUselessRevisions=4885905 nbSingletonTests=517 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0
61.08/61.79 nbRemovedValues=0 detectedInconsistency=no
61.08/61.79 => wckTime=45.357 cpuTime=44.88 mem=400M548
142.89/144.32
142.89/144.32 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=404M626)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094302-1247403330/watcher-2094302-1247403330 -o /tmp/evaluation-result-2094302-1247403330/solver-2094302-1247403330 -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-2094302-1247403330.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: 1.91 1.95 1.77 4/80 28356
/proc/meminfo: memFree=1692136/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=18576 CPUtime=0
/proc/28356/stat : 28356 (runsolver) R 28354 28356 28067 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 27396929 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28356/statm: 4644 284 249 26 0 2626 0
[startup+0.091961 s]
/proc/loadavg: 1.91 1.95 1.77 4/80 28356
/proc/meminfo: memFree=1692136/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=865956 CPUtime=0.07
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 3176 0 1 0 5 2 0 0 18 0 9 0 27396929 886738944 2661 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 216489 2661 1268 9 0 210981 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865956
[startup+0.101964 s]
/proc/loadavg: 1.91 1.95 1.77 4/80 28356
/proc/meminfo: memFree=1692136/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=865984 CPUtime=0.08
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 3670 0 1 0 6 2 0 0 18 0 9 0 27396929 886767616 3153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 216496 3153 1684 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.302004 s]
/proc/loadavg: 1.91 1.95 1.77 4/80 28356
/proc/meminfo: memFree=1692136/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=866268 CPUtime=0.28
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 5697 0 1 0 25 3 0 0 18 0 9 0 27396929 887058432 5104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 216567 5104 1923 9 0 211045 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866268
[startup+0.701079 s]
/proc/loadavg: 1.91 1.95 1.77 4/80 28356
/proc/meminfo: memFree=1692136/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=867780 CPUtime=0.68
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 8740 0 1 0 63 5 0 0 18 0 9 0 27396929 888606720 8094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 216945 8094 2038 9 0 211381 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867780
[startup+1.50224 s]
/proc/loadavg: 1.91 1.95 1.77 3/89 28365
/proc/meminfo: memFree=1650784/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=867692 CPUtime=1.47
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 18536 0 1 0 136 11 0 0 18 0 9 0 27396929 888516608 17864 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 216923 17864 2028 9 0 211381 0
[pid=28356/tid=28358] ppid=28354 vsize=867692 CPUtime=1.21
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 15799 0 1 0 112 9 0 0 25 0 9 0 27396931 888516608 17864 996147200 134512640 134550932 4294955968 18446744073709551615 104749878 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28359] ppid=28354 vsize=867692 CPUtime=0.06
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 1361 0 0 0 6 0 0 0 16 0 9 0 27396933 888516608 17864 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27396933 888516608 17864 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27396933 888516608 17864 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27396935 888516608 17864 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=867692 CPUtime=0.18
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 675 0 0 0 18 0 0 0 16 0 9 0 27396935 888516608 17864 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27396935 888516608 17864 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27396935 888516608 17864 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) 867692
[startup+3.10154 s]
/proc/loadavg: 1.91 1.95 1.77 5/89 28365
/proc/meminfo: memFree=1620000/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=867692 CPUtime=3.05
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 22787 0 1 0 292 13 0 0 18 0 9 0 27396929 888516608 22113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 216923 22113 2028 9 0 211381 0
[pid=28356/tid=28358] ppid=28354 vsize=867692 CPUtime=2.57
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 15801 0 1 0 248 9 0 0 25 0 9 0 27396931 888516608 22113 996147200 134512640 134550932 4294955968 18446744073709551615 103206781 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28359] ppid=28354 vsize=867692 CPUtime=0.26
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 5610 0 0 0 24 2 0 0 16 0 9 0 27396933 888516608 22113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27396933 888516608 22113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27396933 888516608 22113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27396935 888516608 22113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=867692 CPUtime=0.18
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 675 0 0 0 18 0 0 0 17 0 9 0 27396935 888516608 22113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27396935 888516608 22113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27396935 888516608 22113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867692
[startup+6.30216 s]
/proc/loadavg: 2.00 1.97 1.78 3/89 28365
/proc/meminfo: memFree=1588128/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=867692 CPUtime=6.22
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 33736 0 1 0 543 79 0 0 18 0 9 0 27396929 888516608 33058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 216923 33058 2029 9 0 211381 0
[pid=28356/tid=28358] ppid=28354 vsize=867692 CPUtime=5.32
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 15829 0 1 0 462 70 0 0 25 0 9 0 27396931 888516608 33058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28359] ppid=28354 vsize=867692 CPUtime=0.6
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 16465 0 0 0 53 7 0 0 17 0 9 0 27396933 888516608 33058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27396933 888516608 33058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27396933 888516608 33058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27396935 888516608 33058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=867692 CPUtime=0.26
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 741 0 0 0 26 0 0 0 15 0 9 0 27396935 888516608 33058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27396935 888516608 33058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=867692 CPUtime=0
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27396935 888516608 33058 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867692
[startup+12.7024 s]
/proc/loadavg: 2.00 1.97 1.78 4/91 28367
/proc/meminfo: memFree=1412944/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=868340 CPUtime=12.54
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 71554 3905 1 0 911 216 123 4 18 0 10 0 27396929 889180160 68679 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 217085 68679 2046 9 0 211543 0
[pid=28356/tid=28358] ppid=28354 vsize=868340 CPUtime=10.74
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 17709 3905 1 0 757 190 123 4 17 0 10 0 27396931 889180160 68679 996147200 134512640 134550932 4294955968 18446744073709551615 4127233068 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28359] ppid=28354 vsize=868340 CPUtime=2.71
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 52062 3905 0 0 122 22 123 4 16 0 10 0 27396933 889180160 68679 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=868340 CPUtime=1.27
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 16 3905 0 0 0 0 123 4 16 0 10 0 27396933 889180160 68679 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=868340 CPUtime=1.27
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 5 3905 0 0 0 0 123 4 16 0 10 0 27396933 889180160 68679 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=868340 CPUtime=1.27
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 3905 0 0 0 0 123 4 18 0 10 0 27396935 889180160 68679 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=868340 CPUtime=1.57
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 941 3905 0 0 30 0 123 4 16 0 10 0 27396935 889180160 68679 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=868340 CPUtime=1.27
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 3905 0 0 0 0 123 4 19 0 10 0 27396935 889180160 68679 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=868340 CPUtime=1.27
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 8 3905 0 0 0 0 123 4 15 0 10 0 27396935 889180160 68679 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 868340
[startup+25.5028 s]
/proc/loadavg: 2.07 1.99 1.79 3/89 28369
/proc/meminfo: memFree=1259024/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=868428 CPUtime=25.23
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 174811 4031 1 0 2149 245 123 6 18 0 9 0 27396929 889270272 110568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 217107 110568 2662 9 0 211543 0
[pid=28356/tid=28358] ppid=28354 vsize=868428 CPUtime=21.44
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 28917 4031 1 0 1822 193 123 6 25 0 9 0 27396931 889270272 110568 996147200 134512640 134550932 4294955968 18446744073709551615 4127379623 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28359] ppid=28354 vsize=868428 CPUtime=4.64
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 143935 4031 0 0 288 47 123 6 16 0 9 0 27396933 889270272 110568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 21 4031 0 0 0 0 123 6 15 0 9 0 27396933 889270272 110568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 23 4031 0 0 0 0 123 6 16 0 9 0 27396933 889270272 110568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 4031 0 0 0 0 123 6 18 0 9 0 27396935 889270272 110568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=868428 CPUtime=1.67
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 1094 4031 0 0 38 0 123 6 15 0 9 0 27396935 889270272 110568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 4031 0 0 0 0 123 6 19 0 9 0 27396935 889270272 110568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 8 4031 0 0 0 0 123 6 15 0 9 0 27396935 889270272 110568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868428
[startup+51.1027 s]
/proc/loadavg: 2.04 1.99 1.79 3/89 28369
/proc/meminfo: memFree=1258960/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=868428 CPUtime=50.58
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 174823 4031 1 0 4684 245 123 6 18 0 9 0 27396929 889270272 110574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 217107 110574 2662 9 0 211543 0
[pid=28356/tid=28358] ppid=28354 vsize=868428 CPUtime=46.78
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 28924 4031 1 0 4356 193 123 6 25 0 9 0 27396931 889270272 110574 996147200 134512640 134550932 4294955968 18446744073709551615 4127387595 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28359] ppid=28354 vsize=868428 CPUtime=4.64
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 143935 4031 0 0 288 47 123 6 16 0 9 0 27396933 889270272 110574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 21 4031 0 0 0 0 123 6 15 0 9 0 27396933 889270272 110574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 23 4031 0 0 0 0 123 6 16 0 9 0 27396933 889270272 110574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 4031 0 0 0 0 123 6 18 0 9 0 27396935 889270272 110574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=868428 CPUtime=1.68
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 1099 4031 0 0 39 0 123 6 16 0 9 0 27396935 889270272 110574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 4031 0 0 0 0 123 6 19 0 9 0 27396935 889270272 110574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 23 4031 0 0 0 0 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 4031 0 0 0 0 123 6 18 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=868428 CPUtime=1.75
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 1147 4031 0 0 46 0 123 6 16 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 4031 0 0 0 0 123 6 19 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 8 4031 0 0 0 0 123 6 15 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.92
Current children cumulated vsize (KiB) 868428
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/89 28455
/proc/meminfo: memFree=1278664/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=868428 CPUtime=1528.89
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 174887 4031 1 0 152512 248 123 6 18 0 9 0 27396929 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 217107 110610 2662 9 0 211543 0
[pid=28356/tid=28358] ppid=28354 vsize=868428 CPUtime=1525.02
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 28940 4031 1 0 152177 196 123 6 25 0 9 0 27396931 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4125952213 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28356/tid=28359] ppid=28354 vsize=868428 CPUtime=4.64
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 143935 4031 0 0 288 47 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 21 4031 0 0 0 0 123 6 15 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 23 4031 0 0 0 0 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 4031 0 0 0 0 123 6 18 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=868428 CPUtime=1.75
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 1147 4031 0 0 46 0 123 6 16 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 4031 0 0 0 0 123 6 19 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 8 4031 0 0 0 0 123 6 15 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.89
Current children cumulated vsize (KiB) 868428
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 28455
/proc/meminfo: memFree=1278600/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=868428 CPUtime=1588.86
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 174887 4031 1 0 158509 248 123 6 18 0 9 0 27396929 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 217107 110610 2662 9 0 211543 0
[pid=28356/tid=28358] ppid=28354 vsize=868428 CPUtime=1584.99
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 28940 4031 1 0 158174 196 123 6 25 0 9 0 27396931 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4126951016 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28356/tid=28359] ppid=28354 vsize=868428 CPUtime=4.64
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 143935 4031 0 0 288 47 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 21 4031 0 0 0 0 123 6 15 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 23 4031 0 0 0 0 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 4031 0 0 0 0 123 6 18 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=868428 CPUtime=1.75
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 1147 4031 0 0 46 0 123 6 16 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 4031 0 0 0 0 123 6 19 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 8 4031 0 0 0 0 123 6 15 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.86
Current children cumulated vsize (KiB) 868428
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 28455
/proc/meminfo: memFree=1278600/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=868428 CPUtime=1648.84
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 174887 4031 1 0 164507 248 123 6 18 0 9 0 27396929 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 217107 110610 2662 9 0 211543 0
[pid=28356/tid=28358] ppid=28354 vsize=868428 CPUtime=1644.97
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 28940 4031 1 0 164172 196 123 6 25 0 9 0 27396931 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4127387595 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28356/tid=28359] ppid=28354 vsize=868428 CPUtime=4.64
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 143935 4031 0 0 288 47 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 21 4031 0 0 0 0 123 6 15 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 23 4031 0 0 0 0 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 4031 0 0 0 0 123 6 18 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=868428 CPUtime=1.75
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 1147 4031 0 0 46 0 123 6 16 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 4031 0 0 0 0 123 6 19 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 8 4031 0 0 0 0 123 6 15 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.84
Current children cumulated vsize (KiB) 868428
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 28455
/proc/meminfo: memFree=1278664/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=868428 CPUtime=1708.81
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 174887 4031 1 0 170504 248 123 6 18 0 9 0 27396929 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 217107 110610 2662 9 0 211543 0
[pid=28356/tid=28358] ppid=28354 vsize=868428 CPUtime=1704.93
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 28940 4031 1 0 170168 196 123 6 25 0 9 0 27396931 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4127395072 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28356/tid=28359] ppid=28354 vsize=868428 CPUtime=4.64
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 143935 4031 0 0 288 47 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 21 4031 0 0 0 0 123 6 15 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 23 4031 0 0 0 0 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 4031 0 0 0 0 123 6 18 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=868428 CPUtime=1.75
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 1147 4031 0 0 46 0 123 6 16 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 4031 0 0 0 0 123 6 19 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 8 4031 0 0 0 0 123 6 15 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.81
Current children cumulated vsize (KiB) 868428
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28455
/proc/meminfo: memFree=1278600/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=868428 CPUtime=1768.78
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 174887 4031 1 0 176501 248 123 6 18 0 9 0 27396929 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 217107 110610 2662 9 0 211543 0
[pid=28356/tid=28358] ppid=28354 vsize=868428 CPUtime=1764.91
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 28940 4031 1 0 176166 196 123 6 25 0 9 0 27396931 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4126950964 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28356/tid=28359] ppid=28354 vsize=868428 CPUtime=4.64
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 143935 4031 0 0 288 47 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 21 4031 0 0 0 0 123 6 15 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 23 4031 0 0 0 0 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 4031 0 0 0 0 123 6 18 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=868428 CPUtime=1.75
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 1147 4031 0 0 46 0 123 6 16 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 4031 0 0 0 0 123 6 19 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 8 4031 0 0 0 0 123 6 15 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.78
Current children cumulated vsize (KiB) 868428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28455
/proc/meminfo: memFree=1278600/2055920 swapFree=4192812/4192956
[pid=28356] ppid=28354 vsize=868428 CPUtime=1800.08
/proc/28356/stat : 28356 (java) S 28354 28356 28067 0 -1 0 174887 4031 1 0 179630 249 123 6 18 0 9 0 27396929 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28356/statm: 217107 110610 2662 9 0 211543 0
[pid=28356/tid=28358] ppid=28354 vsize=868428 CPUtime=1796.21
/proc/28356/task/28358/stat : 28358 (java) R 28354 28356 28067 0 -1 64 28940 4031 1 0 179295 197 123 6 25 0 9 0 27396931 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4127381772 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28356/tid=28359] ppid=28354 vsize=868428 CPUtime=4.64
/proc/28356/task/28359/stat : 28359 (java) S 28354 28356 28067 0 -1 64 143935 4031 0 0 288 47 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28360] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28360/stat : 28360 (java) S 28354 28356 28067 0 -1 64 21 4031 0 0 0 0 123 6 15 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28361] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28361/stat : 28361 (java) S 28354 28356 28067 0 -1 64 23 4031 0 0 0 0 123 6 16 0 9 0 27396933 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28362] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28362/stat : 28362 (java) S 28354 28356 28067 0 -1 64 2 4031 0 0 0 0 123 6 18 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28363] ppid=28354 vsize=868428 CPUtime=1.75
/proc/28356/task/28363/stat : 28363 (java) S 28354 28356 28067 0 -1 64 1147 4031 0 0 46 0 123 6 16 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28364] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28364/stat : 28364 (java) S 28354 28356 28067 0 -1 64 0 4031 0 0 0 0 123 6 19 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28356/tid=28365] ppid=28354 vsize=868428 CPUtime=1.29
/proc/28356/task/28365/stat : 28365 (java) S 28354 28356 28067 0 -1 64 8 4031 0 0 0 0 123 6 15 0 9 0 27396935 889270272 110610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 868428
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): 1813.68
CPU time (s): 1800.17
CPU user time (s): 1797.55
CPU system time (s): 2.6166
CPU usage (%): 99.2548
Max. virtual memory (cumulated for all children) (KiB): 892904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.55
system time used= 2.6166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178947
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= 39061
involuntary context switches= 61961
runsolver used 2.48862 second user time and 5.76712 second system time
The end
Begin job on node42 at 2009-07-12 14:55:30
IDJOB=2094302
IDBENCH=54121
IDSOLVER=774
FILE ID=node42/2094302-1247403330
PBS_JOBID= 9510559
Free space on /tmp= 66300 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-6.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-2094302-1247403330/watcher-2094302-1247403330 -o /tmp/evaluation-result-2094302-1247403330/solver-2094302-1247403330 -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-2094302-1247403330.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4557782171b25598d03a057775c7d656
RANDOM SEED=1021288132
node42.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.283
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.283
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: 1692616 kB
Buffers: 39100 kB
Cached: 167552 kB
SwapCached: 0 kB
Active: 200260 kB
Inactive: 109824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1692616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8376 kB
Writeback: 0 kB
Mapped: 123872 kB
Slab: 38304 kB
Committed_AS: 1006308 kB
PageTables: 1964 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= 66300 MiB
End job on node42 at 2009-07-12 15:25:46