0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=esac.xml
0.19/0.29
0.19/0.29 instance
0.19/0.29 name=HOME/instance-2097338-1247412085.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.48/0.58 nbVariables=2116 nbDomainTypes=1 minDomainSize=46 maxDomainSize=46 nbTotalValues=97336
0.48/0.58 => wckTime=0.322 cpuTime=0.2 mem=15M695
0.48/0.58
0.48/0.58 predicates being loaded...
0.58/0.65
0.58/0.65 constraints being loaded...
21.18/21.46
21.18/21.46 INFO : Stopping converting binary constraints (cpu=20.06, mem = 79M676)
52.78/53.39 nbConstraints=48365 nbGlobalConstraints=710 nbConvertedConstraints=37749 nbConvertConstraintsChecks=38439256
52.78/53.39 nbExtensionStructures=18162 nbSharedExtensionStructures=37744 nbConflictsStructures=18828
52.78/53.39 nbSharedConflictsStructures=47646 nbSharedBinaryRepresentations=1670627 nbEvaluationManagers=4
52.78/53.39 nbSharedEvaluationManagers=9902 minDegree=46 maxDegree=48 minArity=2 avgArity=2.04 maxArity=46
52.78/53.39 nbGenerators=664 nbFusions=664 symmetryWckTime=31.48 symmetryCpuTime=10.41 nbCliques=46
52.78/53.39 => wckTime=53.129 cpuTime=30.75 mem=92M679
53.37/53.96
53.37/53.96 solver IterativeSystematicSolver being built...
53.66/54.22
53.66/54.22 INFO : Forward propagation technique limited
53.77/54.38 => wckTime=54.12 cpuTime=31.1 mem=95M216
54.27/54.89
54.37/54.90 preprocessing
54.37/54.90 nbConstraintChecks=73780 nbPropagations=2780 nbRevisions=1966 nbUselessRevisions=0 nbRemovedValues=17984
54.37/54.90 nbRemovedTuples=2070 detectedInconsistency=no
54.37/54.90 => wckTime=0.505 cpuTime=0.48 mem=95M216
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097338-1247412085/watcher-2097338-1247412085 -o /tmp/evaluation-result-2097338-1247412085/solver-2097338-1247412085 -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-2097338-1247412085.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.01 2.00 4/81 31015
/proc/meminfo: memFree=1730976/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=10676 CPUtime=0
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28275028 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 2669 474 207 9 0 1184 0
[pid=31015/tid=31016] ppid=31013 vsize=10676 CPUtime=0
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28275029 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 10121176 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.105498 s]
/proc/loadavg: 2.03 2.01 2.00 4/81 31015
/proc/meminfo: memFree=1730976/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=865984 CPUtime=0.09
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 3758 0 1 0 7 2 0 0 18 0 9 0 28275028 886767616 3221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 216496 3221 1702 9 0 210981 0
[pid=31015/tid=31016] ppid=31013 vsize=865984 CPUtime=0.07
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 2831 0 1 0 6 1 0 0 20 0 9 0 28275029 886767616 3221 996147200 134512640 134550932 4294955968 18446744073709551615 104144152 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.202503 s]
/proc/loadavg: 2.03 2.01 2.00 4/81 31015
/proc/meminfo: memFree=1730976/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=866144 CPUtime=0.19
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 4720 0 1 0 16 3 0 0 18 0 9 0 28275028 886931456 4137 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 216536 4137 1885 9 0 211014 0
[pid=31015/tid=31016] ppid=31013 vsize=866144 CPUtime=0.16
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 3790 0 1 0 14 2 0 0 18 0 9 0 28275029 886931456 4137 996147200 134512640 134550932 4294955968 18446744073709551615 102508466 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866144
[startup+0.301514 s]
/proc/loadavg: 2.03 2.01 2.00 4/81 31015
/proc/meminfo: memFree=1730976/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=866380 CPUtime=0.29
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 5874 0 1 0 25 4 0 0 18 0 9 0 28275028 887173120 5240 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 216595 5240 1981 9 0 211053 0
[pid=31015/tid=31016] ppid=31013 vsize=866380 CPUtime=0.23
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 4892 0 1 0 20 3 0 0 18 0 9 0 28275029 887173120 5240 996147200 134512640 134550932 4294955968 18446744073709551615 103775978 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701561 s]
/proc/loadavg: 2.03 2.01 2.00 4/81 31015
/proc/meminfo: memFree=1730976/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=867612 CPUtime=0.69
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 9628 0 1 0 63 6 0 0 18 0 9 0 28275028 888434688 8982 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 216903 8982 2037 9 0 211339 0
[pid=31015/tid=31016] ppid=31013 vsize=867612 CPUtime=0.51
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 8299 0 1 0 46 5 0 0 20 0 9 0 28275029 888434688 8982 996147200 134512640 134550932 4294955968 18446744073709551615 102724625 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867612
[startup+1.50165 s]
/proc/loadavg: 2.03 2.01 2.00 3/90 31024
/proc/meminfo: memFree=1682520/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=867524 CPUtime=1.47
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 19380 0 1 0 137 10 0 0 18 0 9 0 28275028 888344576 18708 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 216881 18708 2029 9 0 211339 0
[pid=31015/tid=31016] ppid=31013 vsize=867524 CPUtime=1.18
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 15760 0 1 0 109 9 0 0 25 0 9 0 28275029 888344576 18708 996147200 134512640 134550932 4294955968 18446744073709551615 4126878239 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31018] ppid=31013 vsize=867524 CPUtime=0.09
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 2274 0 0 0 9 0 0 0 16 0 9 0 28275031 888344576 18708 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28275031 888344576 18708 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 28275031 888344576 18708 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28275033 888344576 18708 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=867524 CPUtime=0.18
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 644 0 0 0 18 0 0 0 16 0 9 0 28275033 888344576 18708 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28275033 888344576 18708 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28275033 888344576 18708 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) 867524
[startup+3.10183 s]
/proc/loadavg: 2.03 2.01 2.00 5/90 31024
/proc/meminfo: memFree=1655448/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=867524 CPUtime=3.06
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 22933 0 1 0 292 14 0 0 18 0 9 0 28275028 888344576 22258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 216881 22258 2032 9 0 211339 0
[pid=31015/tid=31016] ppid=31013 vsize=867524 CPUtime=2.6
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 15823 0 1 0 249 11 0 0 25 0 9 0 28275029 888344576 22258 996147200 134512640 134550932 4294955968 18446744073709551615 4126944542 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31018] ppid=31013 vsize=867524 CPUtime=0.23
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 5749 0 0 0 21 2 0 0 17 0 9 0 28275031 888344576 22258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28275031 888344576 22258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 28275031 888344576 22258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28275033 888344576 22258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=867524 CPUtime=0.2
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 659 0 0 0 20 0 0 0 16 0 9 0 28275033 888344576 22258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28275033 888344576 22258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28275033 888344576 22258 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867524
[startup+6.3022 s]
/proc/loadavg: 2.11 2.03 2.01 3/90 31024
/proc/meminfo: memFree=1641688/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=867524 CPUtime=6.23
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 24863 0 1 0 581 42 0 0 18 0 9 0 28275028 888344576 24184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 216881 24184 2032 9 0 211339 0
[pid=31015/tid=31016] ppid=31013 vsize=867524 CPUtime=5.56
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 15829 0 1 0 519 37 0 0 25 0 9 0 28275029 888344576 24184 996147200 134512640 134550932 4294955968 18446744073709551615 4126938246 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31018] ppid=31013 vsize=867524 CPUtime=0.37
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 7620 0 0 0 34 3 0 0 16 0 9 0 28275031 888344576 24184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28275031 888344576 24184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 28275031 888344576 24184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28275033 888344576 24184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=867524 CPUtime=0.27
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 712 0 0 0 27 0 0 0 16 0 9 0 28275033 888344576 24184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28275033 888344576 24184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28275033 888344576 24184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867524
[startup+12.7029 s]
/proc/loadavg: 2.10 2.03 2.00 3/90 31024
/proc/meminfo: memFree=1630808/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=867524 CPUtime=12.57
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 27555 0 1 0 1162 95 0 0 18 0 9 0 28275028 888344576 26874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 216881 26874 2032 9 0 211339 0
[pid=31015/tid=31016] ppid=31013 vsize=867524 CPUtime=11.7
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 15831 0 1 0 1082 88 0 0 25 0 9 0 28275029 888344576 26874 996147200 134512640 134550932 4294955968 18446744073709551615 4126938616 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31018] ppid=31013 vsize=867524 CPUtime=0.56
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 10309 0 0 0 52 4 0 0 16 0 9 0 28275031 888344576 26874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28275031 888344576 26874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 28275031 888344576 26874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28275033 888344576 26874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=867524 CPUtime=0.27
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 713 0 0 0 27 0 0 0 16 0 9 0 28275033 888344576 26874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28275033 888344576 26874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=867524 CPUtime=0
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28275033 888344576 26874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867524
[startup+25.5024 s]
/proc/loadavg: 2.08 2.03 2.00 3/92 31026
/proc/meminfo: memFree=1587848/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=867848 CPUtime=22.16
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 35045 0 1 0 2044 172 0 0 18 0 10 0 28275028 888676352 33983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 216962 33983 2037 9 0 211420 0
[pid=31026] ppid=31015 vsize=15996 CPUtime=3.07
/proc/31026/stat : 31026 (saucy) R 31015 31015 30060 0 -1 4194304 3000 0 0 0 305 2 0 0 25 0 1 0 28277266 16379904 2911 996147200 134512640 134531332 4294956000 18446744073709551615 134526795 0 4 0 0 0 0 0 17 1 0 0
/proc/31026/statm: 3999 2911 104 4 0 3675 0
[pid=31015/tid=31016] ppid=31013 vsize=867848 CPUtime=20.83
/proc/31015/task/31016/stat : 31016 (java) S 31013 31015 30060 0 -1 64 16048 0 1 0 1920 163 0 0 15 0 10 0 28275029 888676352 33983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31015/tid=31018] ppid=31013 vsize=867848 CPUtime=1.01
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 17456 0 0 0 94 7 0 0 16 0 10 0 28275031 888676352 33983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=867848 CPUtime=0
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 28275031 888676352 33983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=867848 CPUtime=0
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 28275031 888676352 33983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=867848 CPUtime=0
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 0 0 0 0 0 0 0 18 0 10 0 28275033 888676352 33983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=867848 CPUtime=0.3
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 767 0 0 0 30 0 0 0 16 0 10 0 28275033 888676352 33983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=867848 CPUtime=0
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 28275033 888676352 33983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=867848 CPUtime=0
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 28275033 888676352 33983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31025] ppid=31013 vsize=867848 CPUtime=0
/proc/31015/task/31025/stat : 31025 (java) S 31013 31015 30060 0 -1 64 66 0 0 0 0 0 0 0 24 0 10 0 28277266 888676352 33983 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 883844
[startup+51.1023 s]
/proc/loadavg: 2.12 2.04 2.01 3/90 31028
/proc/meminfo: memFree=1602056/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=868172 CPUtime=50.59
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 38184 3593 1 0 2832 175 2048 4 18 0 9 0 28275028 889008128 34003 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 20 3593 0 0 0 0 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 3593 0 0 0 0 2048 4 18 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=868260 CPUtime=21.04
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 1125 3593 0 0 51 1 2048 4 17 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 3593 0 0 0 0 2048 4 19 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.36
Current children cumulated vsize (KiB) 868260
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 31028
/proc/meminfo: memFree=1594888/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=868260 CPUtime=1527.8
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 66976 3593 1 0 150545 183 2048 4 18 0 9 0 28275028 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 217065 36222 2664 9 0 211501 0
[pid=31015/tid=31016] ppid=31013 vsize=868260 CPUtime=1525.66
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 33146 3593 1 0 150345 169 2048 4 25 0 9 0 28275029 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4126923592 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31018] ppid=31013 vsize=868260 CPUtime=22.1
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 31843 3593 0 0 148 10 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 20 3593 0 0 0 0 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 3593 0 0 0 0 2048 4 18 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=868260 CPUtime=21.04
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 1125 3593 0 0 51 1 2048 4 17 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 3593 0 0 0 0 2048 4 19 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.8
Current children cumulated vsize (KiB) 868260
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/90 31028
/proc/meminfo: memFree=1594888/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=868260 CPUtime=1587.24
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 66976 3593 1 0 156489 183 2048 4 18 0 9 0 28275028 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 217065 36222 2664 9 0 211501 0
[pid=31015/tid=31016] ppid=31013 vsize=868260 CPUtime=1585.1
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 33146 3593 1 0 156289 169 2048 4 25 0 9 0 28275029 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4127546473 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31018] ppid=31013 vsize=868260 CPUtime=22.1
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 31843 3593 0 0 148 10 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 20 3593 0 0 0 0 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 3593 0 0 0 0 2048 4 18 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=868260 CPUtime=21.04
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 1125 3593 0 0 51 1 2048 4 17 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 3593 0 0 0 0 2048 4 19 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.24
Current children cumulated vsize (KiB) 868260
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/90 31028
/proc/meminfo: memFree=1594888/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=868260 CPUtime=1646.67
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 66976 3593 1 0 162432 183 2048 4 18 0 9 0 28275028 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 217065 36222 2664 9 0 211501 0
[pid=31015/tid=31016] ppid=31013 vsize=868260 CPUtime=1644.53
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 33146 3593 1 0 162232 169 2048 4 25 0 9 0 28275029 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4127165892 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31018] ppid=31013 vsize=868260 CPUtime=22.1
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 31843 3593 0 0 148 10 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 20 3593 0 0 0 0 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 3593 0 0 0 0 2048 4 18 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=868260 CPUtime=21.04
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 1125 3593 0 0 51 1 2048 4 17 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 3593 0 0 0 0 2048 4 19 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.67
Current children cumulated vsize (KiB) 868260
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 2/80 31030
/proc/meminfo: memFree=1684312/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=868260 CPUtime=1706.12
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 66976 3593 1 0 168377 183 2048 4 18 0 9 0 28275028 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 217065 36222 2664 9 0 211501 0
[pid=31015/tid=31016] ppid=31013 vsize=868260 CPUtime=1703.98
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 33146 3593 1 0 168177 169 2048 4 25 0 9 0 28275029 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31015/tid=31018] ppid=31013 vsize=868260 CPUtime=22.1
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 31843 3593 0 0 148 10 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 20 3593 0 0 0 0 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 3593 0 0 0 0 2048 4 18 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=868260 CPUtime=21.04
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 1125 3593 0 0 51 1 2048 4 16 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 3593 0 0 0 0 2048 4 19 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.12
Current children cumulated vsize (KiB) 868260
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/90 31149
/proc/meminfo: memFree=1612224/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=868260 CPUtime=1766.07
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 66976 3593 1 0 174370 185 2048 4 18 0 9 0 28275028 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 217065 36222 2664 9 0 211501 0
[pid=31015/tid=31016] ppid=31013 vsize=868260 CPUtime=1763.94
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 33146 3593 1 0 174171 171 2048 4 25 0 9 0 28275029 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4127312285 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31015/tid=31018] ppid=31013 vsize=868260 CPUtime=22.1
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 31843 3593 0 0 148 10 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 20 3593 0 0 0 0 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 3593 0 0 0 0 2048 4 18 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=868260 CPUtime=21.04
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 1125 3593 0 0 51 1 2048 4 16 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 3593 0 0 0 0 2048 4 19 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.07
Current children cumulated vsize (KiB) 868260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/90 31149
/proc/meminfo: memFree=1612288/2055920 swapFree=4192812/4192956
[pid=31015] ppid=31013 vsize=868260 CPUtime=1800.06
/proc/31015/stat : 31015 (java) S 31013 31015 30060 0 -1 0 66976 3593 1 0 177769 185 2048 4 18 0 9 0 28275028 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31015/statm: 217065 36222 2664 9 0 211501 0
[pid=31015/tid=31016] ppid=31013 vsize=868260 CPUtime=1797.93
/proc/31015/task/31016/stat : 31016 (java) R 31013 31015 30060 0 -1 64 33146 3593 1 0 177570 171 2048 4 25 0 9 0 28275029 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4127544870 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31015/tid=31018] ppid=31013 vsize=868260 CPUtime=22.1
/proc/31015/task/31018/stat : 31018 (java) S 31013 31015 30060 0 -1 64 31843 3593 0 0 148 10 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31019] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31019/stat : 31019 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31020] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31020/stat : 31020 (java) S 31013 31015 30060 0 -1 64 20 3593 0 0 0 0 2048 4 16 0 9 0 28275031 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31021] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31021/stat : 31021 (java) S 31013 31015 30060 0 -1 64 2 3593 0 0 0 0 2048 4 18 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31022] ppid=31013 vsize=868260 CPUtime=21.04
/proc/31015/task/31022/stat : 31022 (java) S 31013 31015 30060 0 -1 64 1125 3593 0 0 51 1 2048 4 16 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31023] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31023/stat : 31023 (java) S 31013 31015 30060 0 -1 64 0 3593 0 0 0 0 2048 4 19 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31015/tid=31024] ppid=31013 vsize=868260 CPUtime=20.52
/proc/31015/task/31024/stat : 31024 (java) S 31013 31015 30060 0 -1 64 21 3593 0 0 0 0 2048 4 15 0 9 0 28275033 889098240 36222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 868260
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): 1816.37
CPU time (s): 1800.15
CPU user time (s): 1798.23
CPU system time (s): 1.92571
CPU usage (%): 99.1071
Max. virtual memory (cumulated for all children) (KiB): 885692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.23
system time used= 1.92571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70598
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= 39333
involuntary context switches= 91773
runsolver used 2.06369 second user time and 6.20906 second system time
The end
Begin job on node32 at 2009-07-12 17:21:25
IDJOB=2097338
IDBENCH=57149
IDSOLVER=774
FILE ID=node32/2097338-1247412085
PBS_JOBID= 9510579
Free space on /tmp= 66364 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-46.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-2097338-1247412085/watcher-2097338-1247412085 -o /tmp/evaluation-result-2097338-1247412085/solver-2097338-1247412085 -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-2097338-1247412085.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bf3260c27f381e64bb908b737ec83dbb
RANDOM SEED=133456538
node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1731456 kB
Buffers: 38004 kB
Cached: 123292 kB
SwapCached: 0 kB
Active: 203652 kB
Inactive: 64476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1731456 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7952 kB
Writeback: 0 kB
Mapped: 127312 kB
Slab: 41152 kB
Committed_AS: 1025092 kB
PageTables: 2092 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66360 MiB
End job on node32 at 2009-07-12 17:51:44