0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.17/0.25
0.17/0.25 configuration
0.17/0.25 name=mac.xml
0.17/0.29
0.17/0.29 instance
0.17/0.29 name=HOME/instance-2095951-1247409610.xml
0.27/0.32
0.27/0.32 domains being loaded...
0.27/0.33
0.27/0.33 variables being loaded...
0.37/0.45 nbVariables=595 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4 nbTotalValues=2380
0.37/0.45 => wckTime=0.194 cpuTime=0.15 mem=9M843
0.37/0.45
0.37/0.45 predicates being loaded...
0.48/0.51
0.48/0.51 constraints being loaded...
3.34/3.40 nbConstraints=6579 nbGlobalConstraints=34 nbConflictsStructures=1 nbSharedConflictsStructures=6544
3.34/3.45 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=6544 minDegree=34
3.34/3.45 maxDegree=37 minArity=3 avgArity=3.33 maxArity=66 nbGenerators=34 nbFusions=0 symmetryWckTime=0.973
3.34/3.45 symmetryCpuTime=0.27
3.34/3.45 => wckTime=3.148 cpuTime=2.12 mem=41M314
3.44/3.54
3.44/3.54 solver IterativeSystematicSolver being built...
3.64/3.74
3.64/3.74 INFO : Forward propagation technique limited
3.74/3.85 => wckTime=3.6 cpuTime=2.38 mem=29M489
3.84/3.90
3.84/3.90 preprocessing
3.84/3.90 nbConstraintChecks=0 nbPropagations=595 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.84/3.90 detectedInconsistency=no
3.84/3.90 => wckTime=0.044 cpuTime=0.03 mem=30M463
4.14/4.28
4.14/4.28 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=31M502)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095951-1247409610/watcher-2095951-1247409610 -o /tmp/evaluation-result-2095951-1247409610/solver-2095951-1247409610 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095951-1247409610.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.98 1.98 1.94 4/81 1017
/proc/meminfo: memFree=1781992/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=18576 CPUtime=0
/proc/1017/stat : 1017 (runsolver) R 1015 1017 30726 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28026335 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 265674091815 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1017/statm: 4644 284 249 26 0 2626 0
[startup+0.0977939 s]
/proc/loadavg: 1.98 1.98 1.94 4/81 1017
/proc/meminfo: memFree=1781992/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=865984 CPUtime=0.08
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 3720 0 1 0 7 1 0 0 18 0 9 0 28026335 886767616 3188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 216496 3188 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.101797 s]
/proc/loadavg: 1.98 1.98 1.94 4/81 1017
/proc/meminfo: memFree=1781992/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=865984 CPUtime=0.08
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 3734 0 1 0 7 1 0 0 18 0 9 0 28026335 886767616 3202 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 216496 3202 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.30183 s]
/proc/loadavg: 1.98 1.98 1.94 4/81 1017
/proc/meminfo: memFree=1781992/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=866380 CPUtime=0.27
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 5915 0 1 0 24 3 0 0 18 0 9 0 28026335 887173120 5281 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 216595 5281 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866380
[startup+0.701907 s]
/proc/loadavg: 1.98 1.98 1.94 4/81 1017
/proc/meminfo: memFree=1781992/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=867780 CPUtime=0.68
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 9417 0 1 0 63 5 0 0 18 0 9 0 28026335 888606720 8771 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 216945 8771 2038 9 0 211381 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867780
[startup+1.50206 s]
/proc/loadavg: 2.07 2.00 1.94 3/90 1026
/proc/meminfo: memFree=1734432/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=867692 CPUtime=1.46
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 18356 0 1 0 134 12 0 0 18 0 9 0 28026335 888516608 17684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 216923 17684 2029 9 0 211381 0
[pid=1017/tid=1019] ppid=1015 vsize=867692 CPUtime=1.19
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 15818 0 1 0 109 10 0 0 25 0 9 0 28026336 888516608 17684 996147200 134512640 134550932 4294955968 18446744073709551615 102884066 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1020] ppid=1015 vsize=867692 CPUtime=0.04
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 1132 0 0 0 4 0 0 0 16 0 9 0 28026338 888516608 17684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=867692 CPUtime=0
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28026338 888516608 17684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1022] ppid=1015 vsize=867692 CPUtime=0
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28026338 888516608 17684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1023] ppid=1015 vsize=867692 CPUtime=0
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28026340 888516608 17684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=867692 CPUtime=0.19
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 704 0 0 0 19 0 0 0 15 0 9 0 28026340 888516608 17684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1025] ppid=1015 vsize=867692 CPUtime=0
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28026340 888516608 17684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=867692 CPUtime=0
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28026340 888516608 17684 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867692
[startup+3.10136 s]
/proc/loadavg: 2.07 2.00 1.94 3/90 1026
/proc/meminfo: memFree=1718624/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868016 CPUtime=2.54
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 22255 0 1 0 220 34 0 0 18 0 10 0 28026335 888848384 19975 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217004 19975 2034 9 0 211462 0
[pid=1017/tid=1019] ppid=1015 vsize=868016 CPUtime=2.17
/proc/1017/task/1019/stat : 1019 (java) S 1015 1017 30726 0 -1 64 17340 0 1 0 186 31 0 0 17 0 10 0 28026336 888848384 19975 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868016 CPUtime=0.11
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 3368 0 0 0 10 1 0 0 17 0 10 0 28026338 888848384 19975 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868016 CPUtime=0
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 15 0 0 0 0 0 0 0 16 0 10 0 28026338 888848384 19975 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868016 CPUtime=0
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 28026338 888848384 19975 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868016 CPUtime=0
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 0 0 0 0 0 0 0 18 0 10 0 28026340 888848384 19975 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868016 CPUtime=0.23
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 772 0 0 0 23 0 0 0 15 0 10 0 28026340 888848384 19975 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868016 CPUtime=0
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 28026340 888848384 19975 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868016 CPUtime=0
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 8 0 0 0 0 0 0 0 15 0 10 0 28026340 888848384 19975 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 868016
[startup+6.30298 s]
/proc/loadavg: 2.06 2.00 1.94 3/90 1030
/proc/meminfo: memFree=1701592/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868216 CPUtime=6.24
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 41829 1182 1 0 520 39 64 1 18 0 9 0 28026335 889053184 22547 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217054 22547 2661 9 0 211490 0
[pid=1017/tid=1019] ppid=1015 vsize=868216 CPUtime=5.54
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 28528 1182 1 0 456 33 64 1 16 0 9 0 28026336 889053184 22547 996147200 134512640 134550932 4294955968 18446744073709551615 4127259200 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868216 CPUtime=0.92
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 11391 1182 0 0 24 3 64 1 16 0 9 0 28026338 889053184 22547 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 18 1182 0 0 0 0 64 1 16 0 9 0 28026338 889053184 22547 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22547 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22547 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1046 1182 0 0 38 1 64 1 15 0 9 0 28026340 889053184 22547 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22547 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 40 1182 0 0 0 0 64 1 15 0 9 0 28026340 889053184 22547 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 868216
[startup+12.7022 s]
/proc/loadavg: 2.06 2.00 1.94 3/90 1030
/proc/meminfo: memFree=1701408/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868216 CPUtime=12.63
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 41831 1182 1 0 1159 39 64 1 18 0 9 0 28026335 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217054 22548 2661 9 0 211490 0
[pid=1017/tid=1019] ppid=1015 vsize=868216 CPUtime=11.94
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 28529 1182 1 0 1096 33 64 1 25 0 9 0 28026336 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4127256088 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868216 CPUtime=0.92
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 11391 1182 0 0 24 3 64 1 16 0 9 0 28026338 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 18 1182 0 0 0 0 64 1 16 0 9 0 28026338 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1047 1182 0 0 38 1 64 1 16 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 40 1182 0 0 0 0 64 1 15 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 868216
[startup+25.5017 s]
/proc/loadavg: 2.04 2.00 1.94 3/90 1030
/proc/meminfo: memFree=1701472/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868216 CPUtime=25.42
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 41833 1182 1 0 2438 39 64 1 18 0 9 0 28026335 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217054 22548 2661 9 0 211490 0
[pid=1017/tid=1019] ppid=1015 vsize=868216 CPUtime=24.73
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 28531 1182 1 0 2375 33 64 1 25 0 9 0 28026336 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4127259892 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868216 CPUtime=0.92
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 11391 1182 0 0 24 3 64 1 16 0 9 0 28026338 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 18 1182 0 0 0 0 64 1 16 0 9 0 28026338 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1047 1182 0 0 38 1 64 1 16 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 40 1182 0 0 0 0 64 1 15 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 868216
[startup+51.1016 s]
/proc/loadavg: 2.03 2.00 1.94 3/90 1030
/proc/meminfo: memFree=1701344/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868216 CPUtime=51.02
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 41833 1182 1 0 4997 40 64 1 18 0 9 0 28026335 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217054 22548 2661 9 0 211490 0
[pid=1017/tid=1019] ppid=1015 vsize=868216 CPUtime=50.32
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 28531 1182 1 0 4933 34 64 1 25 0 9 0 28026336 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4127094543 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868216 CPUtime=0.92
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 11391 1182 0 0 24 3 64 1 16 0 9 0 28026338 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 18 1182 0 0 0 0 64 1 16 0 9 0 28026338 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1047 1182 0 0 38 1 64 1 16 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1048 1182 0 0 38 1 64 1 16 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 40 1182 0 0 0 0 64 1 15 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.48
Current children cumulated vsize (KiB) 868216
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/90 1038
/proc/meminfo: memFree=1700640/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868216 CPUtime=1601.45
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 41835 1182 1 0 160038 42 64 1 18 0 9 0 28026335 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217054 22549 2661 9 0 211490 0
[pid=1017/tid=1019] ppid=1015 vsize=868216 CPUtime=1600.75
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 28532 1182 1 0 159974 36 64 1 25 0 9 0 28026336 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4127259203 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868216 CPUtime=0.92
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 11391 1182 0 0 24 3 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 18 1182 0 0 0 0 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1048 1182 0 0 38 1 64 1 16 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 40 1182 0 0 0 0 64 1 15 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.45
Current children cumulated vsize (KiB) 868216
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/90 1038
/proc/meminfo: memFree=1700512/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868216 CPUtime=1661.43
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 41835 1182 1 0 166035 43 64 1 18 0 9 0 28026335 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217054 22549 2661 9 0 211490 0
[pid=1017/tid=1019] ppid=1015 vsize=868216 CPUtime=1660.73
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 28532 1182 1 0 165971 37 64 1 25 0 9 0 28026336 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4127276955 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868216 CPUtime=0.92
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 11391 1182 0 0 24 3 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 18 1182 0 0 0 0 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1048 1182 0 0 38 1 64 1 16 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 40 1182 0 0 0 0 64 1 15 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.43
Current children cumulated vsize (KiB) 868216
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/90 1080
/proc/meminfo: memFree=1662504/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868216 CPUtime=1721.28
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 41835 1182 1 0 172020 43 64 1 18 0 9 0 28026335 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217054 22549 2661 9 0 211490 0
[pid=1017/tid=1019] ppid=1015 vsize=868216 CPUtime=1720.58
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 28532 1182 1 0 171956 37 64 1 25 0 9 0 28026336 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4127287900 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868216 CPUtime=0.92
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 11391 1182 0 0 24 3 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 18 1182 0 0 0 0 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1048 1182 0 0 38 1 64 1 16 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 40 1182 0 0 0 0 64 1 15 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.28
Current children cumulated vsize (KiB) 868216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/90 1080
/proc/meminfo: memFree=1662376/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868216 CPUtime=1780.97
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 41835 1182 1 0 177989 43 64 1 18 0 9 0 28026335 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217054 22549 2661 9 0 211490 0
[pid=1017/tid=1019] ppid=1015 vsize=868216 CPUtime=1780.27
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 28532 1182 1 0 177925 37 64 1 25 0 9 0 28026336 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4127263100 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868216 CPUtime=0.92
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 11391 1182 0 0 24 3 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 18 1182 0 0 0 0 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1048 1182 0 0 38 1 64 1 16 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 40 1182 0 0 0 0 64 1 15 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.97
Current children cumulated vsize (KiB) 868216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/90 1119
/proc/meminfo: memFree=1661088/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868216 CPUtime=1800.01
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 41835 1182 1 0 179892 44 64 1 18 0 9 0 28026335 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217054 22549 2661 9 0 211490 0
[pid=1017/tid=1019] ppid=1015 vsize=868216 CPUtime=1799.31
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 28532 1182 1 0 179828 38 64 1 25 0 9 0 28026336 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868216 CPUtime=0.92
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 11391 1182 0 0 24 3 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 18 1182 0 0 0 0 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1048 1182 0 0 38 1 64 1 16 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 40 1182 0 0 0 0 64 1 15 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 868216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/90 1119
/proc/meminfo: memFree=1661088/2055920 swapFree=4192812/4192956
[pid=1017] ppid=1015 vsize=868216 CPUtime=1800.01
/proc/1017/stat : 1017 (java) S 1015 1017 30726 0 -1 0 41835 1182 1 0 179892 44 64 1 18 0 9 0 28026335 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1017/statm: 217054 22549 2661 9 0 211490 0
[pid=1017/tid=1019] ppid=1015 vsize=868216 CPUtime=1799.31
/proc/1017/task/1019/stat : 1019 (java) R 1015 1017 30726 0 -1 64 28532 1182 1 0 179828 38 64 1 25 0 9 0 28026336 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1020] ppid=1015 vsize=868216 CPUtime=0.92
/proc/1017/task/1020/stat : 1020 (java) S 1015 1017 30726 0 -1 64 11391 1182 0 0 24 3 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1021] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1021/stat : 1021 (java) S 1015 1017 30726 0 -1 64 18 1182 0 0 0 0 64 1 16 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1022] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1022/stat : 1022 (java) S 1015 1017 30726 0 -1 64 10 1182 0 0 0 0 64 1 15 0 9 0 28026338 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1023] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1023/stat : 1023 (java) S 1015 1017 30726 0 -1 64 2 1182 0 0 0 0 64 1 18 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1024] ppid=1015 vsize=868216 CPUtime=1.04
/proc/1017/task/1024/stat : 1024 (java) S 1015 1017 30726 0 -1 64 1048 1182 0 0 38 1 64 1 16 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1017/tid=1025] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1025/stat : 1025 (java) S 1015 1017 30726 0 -1 64 1 1182 0 0 0 0 64 1 19 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1017/tid=1026] ppid=1015 vsize=868216 CPUtime=0.65
/proc/1017/task/1026/stat : 1026 (java) S 1015 1017 30726 0 -1 64 40 1182 0 0 0 0 64 1 15 0 9 0 28026340 889053184 22549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 868216
Child status: 143
Real time (s): 1801.54
CPU time (s): 1800.05
CPU user time (s): 1799.58
CPU system time (s): 0.469928
CPU usage (%): 99.9177
Max. virtual memory (cumulated for all children) (KiB): 873752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.469928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43049
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= 38689
involuntary context switches= 12568
runsolver used 1.92071 second user time and 4.73928 second system time
The end
Begin job on node76 at 2009-07-12 16:40:10
IDJOB=2095951
IDBENCH=55953
IDSOLVER=773
FILE ID=node76/2095951-1247409610
PBS_JOBID= 9510498
Free space on /tmp= 66428 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/ramsey4/normalized-ramsey-35-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095951-1247409610/watcher-2095951-1247409610 -o /tmp/evaluation-result-2095951-1247409610/solver-2095951-1247409610 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095951-1247409610.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= defc6c027faaafbf2eeba55753553416
RANDOM SEED=186205348
node76.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.277
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.277
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1782480 kB
Buffers: 40716 kB
Cached: 125816 kB
SwapCached: 0 kB
Active: 140804 kB
Inactive: 72712 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1782480 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2980 kB
Writeback: 0 kB
Mapped: 67452 kB
Slab: 45128 kB
Committed_AS: 998468 kB
PageTables: 1912 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= 66424 MiB
End job on node76 at 2009-07-12 17:10:14