0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2095110-1247406601.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.48/0.52 nbVariables=1436 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2 nbTotalValues=2518
0.48/0.52 => wckTime=0.262 cpuTime=0.18 mem=11M793
0.48/0.52
0.48/0.52 predicates being loaded...
0.48/0.59
0.48/0.59 constraints being loaded...
2.06/2.13 nbConstraints=4516 nbMergedConstraints=1008 nbSingletonDomainVariables=354 nbConvertedConstraints=2191
2.06/2.13 nbConvertConstraintsChecks=2034 nbExtensionStructures=552 nbSharedExtensionStructures=2187
2.06/2.13 nbConflictsStructures=567 nbSharedConflictsStructures=4497 nbSharedBinaryRepresentations=1954
2.06/2.13 nbEvaluationManagers=15 nbSharedEvaluationManagers=2310 minDegree=2 maxDegree=25 minArity=2 avgArity=2.54
2.06/2.13 maxArity=7 nbGenerators=0 nbFusions=0 symmetryWckTime=0.285 symmetryCpuTime=0.12
2.06/2.13 => wckTime=1.865 cpuTime=1.39 mem=20M960
2.16/2.24
2.16/2.24 solver IterativeSystematicSolver being built...
2.46/2.52 => wckTime=2.256 cpuTime=1.63 mem=47M52
2.95/3.02
2.95/3.02 preprocessing
2.95/3.02 nbConstraintChecks=18784 nbValidityChecks=4634 nbPropagations=5951 nbRevisions=20931 nbUselessRevisions=18219
2.95/3.02 nbSingletonTests=1908 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
2.95/3.02 detectedInconsistency=no
2.95/3.02 => wckTime=0.494 cpuTime=0.45 mem=47M52
5.22/5.34
5.22/5.34 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=49M55)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095110-1247406601/watcher-2095110-1247406601 -o /tmp/evaluation-result-2095110-1247406601/solver-2095110-1247406601 -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-2095110-1247406601.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
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.94 4/80 31497
/proc/meminfo: memFree=1548976/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=18576 CPUtime=0
/proc/31497/stat : 31497 (runsolver) R 31495 30737 30737 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 27727553 19021824 282 996147200 4194304 4302564 548682068384 18446744073709551615 228970603105 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31497/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.0284219 s]
/proc/loadavg: 1.92 1.98 1.94 4/80 31497
/proc/meminfo: memFree=1548976/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=861288 CPUtime=0.01
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 1716 0 1 0 1 0 0 0 18 0 3 0 27727553 881958912 1413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 215322 1413 568 9 0 210237 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861288
[startup+0.10136 s]
/proc/loadavg: 1.92 1.98 1.94 4/80 31497
/proc/meminfo: memFree=1548976/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=865984 CPUtime=0.08
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 3732 0 1 0 7 1 0 0 18 0 9 0 27727553 886767616 3200 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 216496 3200 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301396 s]
/proc/loadavg: 1.92 1.98 1.94 4/80 31497
/proc/meminfo: memFree=1548976/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=866380 CPUtime=0.28
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 5862 0 1 0 25 3 0 0 18 0 9 0 27727553 887173120 5228 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 216595 5228 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701478 s]
/proc/loadavg: 1.92 1.98 1.94 4/80 31497
/proc/meminfo: memFree=1548976/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=867800 CPUtime=0.68
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 8971 0 1 0 62 6 0 0 18 0 9 0 27727553 888627200 8325 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 216950 8325 2038 9 0 211386 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867800
[startup+1.50163 s]
/proc/loadavg: 1.92 1.98 1.94 3/89 31506
/proc/meminfo: memFree=1508200/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=867800 CPUtime=1.47
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 15775 0 1 0 128 19 0 0 18 0 9 0 27727553 888627200 15125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 216950 15125 2044 9 0 211386 0
[pid=31497/tid=31499] ppid=31495 vsize=867800 CPUtime=1.2
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 14338 0 1 0 102 18 0 0 25 0 9 0 27727555 888627200 15125 996147200 134512640 134550932 4294955968 18446744073709551615 4126700840 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31500] ppid=31495 vsize=867800 CPUtime=0
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 27727556 888627200 15125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=867800 CPUtime=0
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 27727556 888627200 15125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=867800 CPUtime=0
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27727556 888627200 15125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=867800 CPUtime=0
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27727558 888627200 15125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=867800 CPUtime=0.25
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 737 0 0 0 25 0 0 0 15 0 9 0 27727558 888627200 15125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31505] ppid=31495 vsize=867800 CPUtime=0
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27727558 888627200 15125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=867800 CPUtime=0
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27727558 888627200 15125 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) 867800
[startup+3.10291 s]
/proc/loadavg: 1.92 1.98 1.94 3/89 31510
/proc/meminfo: memFree=1483688/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=3.05
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 34815 602 1 0 259 35 10 1 18 0 9 0 27727553 889040896 20913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20913 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=2.46
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 25783 602 1 0 205 30 10 1 25 0 9 0 27727555 889040896 20913 996147200 134512640 134550932 4294955968 18446744073709551615 4127385316 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7203 602 0 0 15 2 10 1 16 0 9 0 27727556 889040896 20913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.5
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 985 602 0 0 38 1 10 1 15 0 9 0 27727558 889040896 20913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20913 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 12 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20913 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) 868204
[startup+6.30154 s]
/proc/loadavg: 1.93 1.98 1.94 3/89 31510
/proc/meminfo: memFree=1475176/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=6.22
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 35130 602 1 0 575 36 10 1 18 0 9 0 27727553 889040896 20932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20932 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=5.58
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 26008 602 1 0 517 30 10 1 25 0 9 0 27727555 889040896 20932 996147200 134512640 134550932 4294955968 18446744073709551615 4127401826 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7204 602 0 0 15 2 10 1 17 0 9 0 27727556 889040896 20932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.54
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1044 602 0 0 42 1 10 1 15 0 9 0 27727558 889040896 20932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 42 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20932 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) 868204
[startup+12.7028 s]
/proc/loadavg: 1.93 1.98 1.94 3/89 31510
/proc/meminfo: memFree=1474984/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=12.56
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 35138 602 1 0 1209 36 10 1 18 0 9 0 27727553 889040896 20933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20933 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=11.91
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 26015 602 1 0 1150 30 10 1 25 0 9 0 27727555 889040896 20933 996147200 134512640 134550932 4294955968 18446744073709551615 4127358907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7204 602 0 0 15 2 10 1 16 0 9 0 27727556 889040896 20933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.54
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1045 602 0 0 42 1 10 1 15 0 9 0 27727558 889040896 20933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 42 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20933 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868204
[startup+25.5013 s]
/proc/loadavg: 1.95 1.98 1.94 3/89 31510
/proc/meminfo: memFree=1475112/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=25.24
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 35146 602 1 0 2477 36 10 1 18 0 9 0 27727553 889040896 20935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20935 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=24.59
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 26021 602 1 0 2418 30 10 1 25 0 9 0 27727555 889040896 20935 996147200 134512640 134550932 4294955968 18446744073709551615 4126381335 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7204 602 0 0 15 2 10 1 16 0 9 0 27727556 889040896 20935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.54
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1047 602 0 0 42 1 10 1 15 0 9 0 27727558 889040896 20935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 42 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868204
[startup+51.1013 s]
/proc/loadavg: 1.96 1.98 1.94 3/89 31510
/proc/meminfo: memFree=1475112/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=50.6
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 35150 602 1 0 5013 36 10 1 18 0 9 0 27727553 889040896 20936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20936 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=49.95
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 26024 602 1 0 4954 30 10 1 25 0 9 0 27727555 889040896 20936 996147200 134512640 134550932 4294955968 18446744073709551615 4127299816 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7204 602 0 0 15 2 10 1 16 0 9 0 27727556 889040896 20936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.54
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1048 602 0 0 42 1 10 1 16 0 9 0 27727558 889040896 20936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.55
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1049 602 0 0 43 1 10 1 16 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 42 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.39
Current children cumulated vsize (KiB) 868204
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/89 31557
/proc/meminfo: memFree=763360/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=1600.36
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 35169 602 1 0 159985 40 10 1 18 0 9 0 27727553 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20937 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=1599.7
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 26042 602 1 0 159925 34 10 1 25 0 9 0 27727555 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4127389070 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7204 602 0 0 15 2 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.55
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1049 602 0 0 43 1 10 1 16 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 42 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.36
Current children cumulated vsize (KiB) 868204
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 31557
/proc/meminfo: memFree=763360/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=1660.33
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 35170 602 1 0 165982 40 10 1 18 0 9 0 27727553 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20937 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=1659.68
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 26043 602 1 0 165922 35 10 1 25 0 9 0 27727555 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4127292096 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7204 602 0 0 15 2 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.55
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1049 602 0 0 43 1 10 1 16 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 42 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.33
Current children cumulated vsize (KiB) 868204
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 31557
/proc/meminfo: memFree=763360/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=1720.29
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 35170 602 1 0 171978 40 10 1 18 0 9 0 27727553 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20937 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=1719.65
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 26043 602 1 0 171919 35 10 1 25 0 9 0 27727555 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4127401820 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7204 602 0 0 15 2 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.55
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1049 602 0 0 43 1 10 1 16 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 42 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.29
Current children cumulated vsize (KiB) 868204
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 31557
/proc/meminfo: memFree=763232/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=1780.28
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 35170 602 1 0 177976 41 10 1 18 0 9 0 27727553 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20937 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=1779.62
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 26043 602 1 0 177916 35 10 1 25 0 9 0 27727555 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4125952204 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7204 602 0 0 15 2 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.55
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1049 602 0 0 43 1 10 1 16 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 42 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.28
Current children cumulated vsize (KiB) 868204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 31557
/proc/meminfo: memFree=763232/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=1800.07
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 35170 602 1 0 179955 41 10 1 18 0 9 0 27727553 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20937 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=1799.41
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 26043 602 1 0 179895 35 10 1 25 0 9 0 27727555 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4127315684 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7204 602 0 0 15 2 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.55
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1049 602 0 0 43 1 10 1 16 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 42 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/89 31557
/proc/meminfo: memFree=763232/2055924 swapFree=4192812/4192956
[pid=31497] ppid=31495 vsize=868204 CPUtime=1800.07
/proc/31497/stat : 31497 (java) S 31495 31497 30737 0 -1 0 35170 602 1 0 179955 41 10 1 18 0 9 0 27727553 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31497/statm: 217051 20937 2663 9 0 211487 0
[pid=31497/tid=31499] ppid=31495 vsize=868204 CPUtime=1799.41
/proc/31497/task/31499/stat : 31499 (java) R 31495 31497 30737 0 -1 64 26043 602 1 0 179895 35 10 1 25 0 9 0 27727555 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4127315684 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31500] ppid=31495 vsize=868204 CPUtime=0.28
/proc/31497/task/31500/stat : 31500 (java) S 31495 31497 30737 0 -1 64 7204 602 0 0 15 2 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31501] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31501/stat : 31501 (java) S 31495 31497 30737 0 -1 64 17 602 0 0 0 0 10 1 16 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31502] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31502/stat : 31502 (java) S 31495 31497 30737 0 -1 64 8 602 0 0 0 0 10 1 15 0 9 0 27727556 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31503] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31503/stat : 31503 (java) S 31495 31497 30737 0 -1 64 2 602 0 0 0 0 10 1 18 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31504] ppid=31495 vsize=868204 CPUtime=0.55
/proc/31497/task/31504/stat : 31504 (java) S 31495 31497 30737 0 -1 64 1049 602 0 0 43 1 10 1 16 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31497/tid=31505] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31505/stat : 31505 (java) S 31495 31497 30737 0 -1 64 1 602 0 0 0 0 10 1 19 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31497/tid=31506] ppid=31495 vsize=868204 CPUtime=0.11
/proc/31497/task/31506/stat : 31506 (java) S 31495 31497 30737 0 -1 64 42 602 0 0 0 0 10 1 15 0 9 0 27727558 889040896 20937 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868204
Child status: 143
Real time (s): 1802.14
CPU time (s): 1800.11
CPU user time (s): 1799.67
CPU system time (s): 0.434933
CPU usage (%): 99.8874
Max. virtual memory (cumulated for all children) (KiB): 868224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.434933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35806
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= 38574
involuntary context switches= 45769
runsolver used 2.32765 second user time and 5.9481 second system time
The end
Begin job on node6 at 2009-07-12 15:50:01
IDJOB=2095110
IDBENCH=54873
IDSOLVER=774
FILE ID=node6/2095110-1247406601
PBS_JOBID= 9510632
Free space on /tmp= 66404 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudo/primesDimacs/normalized-hanoi4.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-2095110-1247406601/watcher-2095110-1247406601 -o /tmp/evaluation-result-2095110-1247406601/solver-2095110-1247406601 -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-2095110-1247406601.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bc2b2e34672d70129799a25a0b981a8a
RANDOM SEED=1743975240
node6.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.263
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.263
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: 2055924 kB
MemFree: 1549456 kB
Buffers: 76128 kB
Cached: 250272 kB
SwapCached: 0 kB
Active: 254636 kB
Inactive: 169104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1549456 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3056 kB
Writeback: 0 kB
Mapped: 117796 kB
Slab: 67764 kB
Committed_AS: 996424 kB
PageTables: 2044 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= 66396 MiB
End job on node6 at 2009-07-12 16:20:06