runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13753 MiB free)
memory of node 1: 16384 MiB (15145 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387344-1568299995/watcher-4387344-1568299995 -o /tmp/evaluation-result-4387344-1568299995/solver-4387344-1568299995 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568285902-5057 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1473937432 HOME/instance-4387344-1568299995.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10121, runsolver pid=10118
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 1.70 1.85 1.82 3/224 10178
/proc/meminfo: memFree=29584424/32770624 swapFree=67008344/67108860
[pid=10121] ppid=10118 vsize=9972712 memory=17080 CPUtime=0.1 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10118 10121 3137 0 -1 1077944320 4540 13001 0 0 1 1 5 3 20 0 6 0 405922222 10212057088 4270 33554432000 4194304 4196468 140731136833344 140731136815888 140591311253239 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
/proc/10121/statm: 2493178 4270 1935 1 0 2481616 0
[pid=10121/tid=10174] ppid=10118 vsize=9989820 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10174/stat : 10174 (java) S 10118 10121 3137 0 -1 1077944384 2409 13001 0 0 0 0 5 3 20 0 7 0 405922231 10229575680 4402 33554432000 4194304 4196468 140731136833344 140591283096192 140591311263445 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10175] ppid=10118 vsize=9989820 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10175/stat : 10175 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 7 0 405922232 10229575680 4402 33554432000 4194304 4196468 140731136833344 140591315495952 140591311263445 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10176] ppid=10118 vsize=9989820 memory=140117347505792 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10176/stat : 10176 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 7 0 405922232 10229575680 4402 33554432000 4194304 4196468 140731136833344 140591203769488 140591311263445 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10177] ppid=10118 vsize=9989820 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10177/stat : 10177 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 7 0 405922232 10229575680 4402 33554432000 4194304 4196468 140731136833344 140591202716432 140591311263445 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10178] ppid=10118 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10178/stat : 10178 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 7 0 405922232 10296684544 4402 33554432000 4194304 4196468 140731136833344 140591201663888 140591311263445 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10179] ppid=10118 vsize=10055356 memory=140117347505792 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10179/stat : 10179 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 7 0 405922233 10296684544 4402 33554432000 4194304 4196468 140731136833344 140590770645232 140591311264386 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.21024 s]*
/proc/loadavg: 1.70 1.85 1.82 4/233 10187
/proc/meminfo: memFree=29563940/32770624 swapFree=67008344/67108860
[pid=10121] ppid=10118 vsize=10818940 memory=40388 CPUtime=0.27 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10118 10121 3137 0 -1 1077944320 6996 13001 0 0 17 2 5 3 20 0 15 0 405922222 11078594560 10097 33554432000 4194304 4196468 140731136833344 140731136815888 140591311253239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
/proc/10121/statm: 2704735 10097 2964 1 0 2667149 0
[pid=10121/tid=10174] ppid=10118 vsize=10818940 memory=8514726395714820750 CPUtime=0.19 cores=1,3,5,7
/proc/10121/task/10174/stat : 10174 (java) R 10118 10121 3137 0 -1 4202560 3501 13001 0 0 10 1 5 3 20 0 15 0 405922231 11078594560 10097 33554432000 4194304 4196468 140731136833344 140591283077384 140591295333726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10175] ppid=10118 vsize=10818940 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10175/stat : 10175 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922232 11078594560 10162 33554432000 4194304 4196468 140731136833344 140591315495952 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10176] ppid=10118 vsize=10818940 memory=140117347505792 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10176/stat : 10176 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922232 11078594560 10162 33554432000 4194304 4196468 140731136833344 140591203769488 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10177] ppid=10118 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10177/stat : 10177 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922232 11078594560 10162 33554432000 4194304 4196468 140731136833344 140591202716432 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10178] ppid=10118 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10178/stat : 10178 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922232 11078594560 10162 33554432000 4194304 4196468 140731136833344 140591201663888 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10179] ppid=10118 vsize=10818940 memory=140117347505792 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10179/stat : 10179 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922233 11078594560 10162 33554432000 4194304 4196468 140731136833344 140590770645232 140591311264386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10180] ppid=10118 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10180/stat : 10180 (java) S 10118 10121 3137 0 -1 1077944384 33 13001 0 0 0 0 5 3 20 0 15 0 405922234 11078594560 10162 33554432000 4194304 4196468 140731136833344 140590769591456 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10181] ppid=10118 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10181/stat : 10181 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922234 11078594560 10162 33554432000 4194304 4196468 140731136833344 140590654153456 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10182] ppid=10118 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10182/stat : 10182 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922237 11078594560 10162 33554432000 4194304 4196468 140731136833344 140590050174928 140591311271835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10183] ppid=10118 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10121/task/10183/stat : 10183 (java) R 10118 10121 3137 0 -1 1077944384 565 13001 0 0 1 0 5 3 20 0 15 0 405922237 11078594560 10162 33554432000 4194304 4196468 140731136833344 140590736034544 140591311264386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10184] ppid=10118 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10184/stat : 10184 (java) S 10118 10121 3137 0 -1 1077944384 63 13001 0 0 0 0 5 3 20 0 15 0 405922237 11078594560 10162 33554432000 4194304 4196468 140731136833344 140590734982000 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10185] ppid=10118 vsize=10818940 memory=140117347505792 CPUtime=0.11 cores=1,3,5,7
/proc/10121/task/10185/stat : 10185 (java) R 10118 10121 3137 0 -1 4202560 633 13001 0 0 3 0 5 3 20 0 15 0 405922237 11078594560 10162 33554432000 4194304 4196468 140731136833344 140590733928944 140591311274586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10186] ppid=10118 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10186/stat : 10186 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922237 11078594560 10162 33554432000 4194304 4196468 140731136833344 140589580413792 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10187] ppid=10118 vsize=10818940 memory=140117347505792 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10187/stat : 10187 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922237 11078594560 10162 33554432000 4194304 4196468 140731136833344 140590732876336 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 40388 KiB
[startup+0.310856 s]*
/proc/loadavg: 1.70 1.85 1.82 3/233 10187
/proc/meminfo: memFree=29553816/32770624 swapFree=67008344/67108860
[pid=10121] ppid=10118 vsize=10820244 memory=51984 CPUtime=0.4 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10118 10121 3137 0 -1 1077944320 10766 13001 0 0 29 3 5 3 20 0 15 0 405922222 11079929856 12996 33554432000 4194304 4196468 140731136833344 140731136815888 140591311253239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
/proc/10121/statm: 2705061 12996 3283 1 0 2667149 0
[pid=10121/tid=10174] ppid=10118 vsize=10820244 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/10121/task/10174/stat : 10174 (java) R 10118 10121 3137 0 -1 4202560 7238 13001 0 0 19 3 5 3 20 0 15 0 405922231 11079929856 12996 33554432000 4194304 4196468 140731136833344 140591283052496 140591311275165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10175] ppid=10118 vsize=10820244 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10175/stat : 10175 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922232 11079929856 12996 33554432000 4194304 4196468 140731136833344 140591315495952 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10176] ppid=10118 vsize=10820244 memory=140117347512785 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10176/stat : 10176 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922232 11079929856 12996 33554432000 4194304 4196468 140731136833344 140591203769488 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10177] ppid=10118 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10177/stat : 10177 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922232 11079929856 12996 33554432000 4194304 4196468 140731136833344 140591202716432 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10178] ppid=10118 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10178/stat : 10178 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922232 11079929856 12996 33554432000 4194304 4196468 140731136833344 140591201663888 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10179] ppid=10118 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10179/stat : 10179 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922233 11079929856 12996 33554432000 4194304 4196468 140731136833344 140590770645232 140591311264386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10180] ppid=10118 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10180/stat : 10180 (java) S 10118 10121 3137 0 -1 1077944384 33 13001 0 0 0 0 5 3 20 0 15 0 405922234 11079929856 12996 33554432000 4194304 4196468 140731136833344 140590769591456 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10181] ppid=10118 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10181/stat : 10181 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922234 11079929856 12996 33554432000 4194304 4196468 140731136833344 140590654153456 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10182] ppid=10118 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10182/stat : 10182 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922237 11079929856 12996 33554432000 4194304 4196468 140731136833344 140590050174928 140591311271835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10183] ppid=10118 vsize=10820244 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/10121/task/10183/stat : 10183 (java) R 10118 10121 3137 0 -1 4202560 565 13001 0 0 2 0 5 3 20 0 15 0 405922237 11079929856 12996 33554432000 4194304 4196468 140731136833344 140590736034544 140591297283235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10184] ppid=10118 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10121/task/10184/stat : 10184 (java) S 10118 10121 3137 0 -1 1077944384 65 13001 0 0 1 0 5 3 20 0 15 0 405922237 11079929856 12996 33554432000 4194304 4196468 140731136833344 140590734982000 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10185] ppid=10118 vsize=10820244 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/10121/task/10185/stat : 10185 (java) S 10118 10121 3137 0 -1 1077944384 645 13001 0 0 5 0 5 3 20 0 15 0 405922237 11079929856 12996 33554432000 4194304 4196468 140731136833344 140590733928944 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10186] ppid=10118 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10186/stat : 10186 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922237 11079929856 12996 33554432000 4194304 4196468 140731136833344 140589580413792 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10187] ppid=10118 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10187/stat : 10187 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922237 11079929856 12996 33554432000 4194304 4196468 140731136833344 140590732876336 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 51984 KiB
[startup+0.709497 s]
/proc/loadavg: 1.70 1.85 1.82 6/233 10187
/proc/meminfo: memFree=29521128/32770624 swapFree=67008344/67108860
[pid=10121] ppid=10118 vsize=10824340 memory=85312 CPUtime=1.17 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10118 10121 3137 0 -1 1077944320 15152 13001 0 0 103 6 5 3 20 0 15 0 405922222 11084124160 21328 33554432000 4194304 4196468 140731136833344 140731136815888 140591311253239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
/proc/10121/statm: 2706085 21328 3503 1 0 2668173 0
[pid=10121/tid=10174] ppid=10118 vsize=10824340 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/10121/task/10174/stat : 10174 (java) R 10118 10121 3137 0 -1 4202560 10789 13001 0 0 55 5 5 3 20 0 15 0 405922231 11084124160 21328 33554432000 4194304 4196468 140731136833344 140591283079712 140591311265174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10175] ppid=10118 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10175/stat : 10175 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922232 11084124160 21328 33554432000 4194304 4196468 140731136833344 140591315495952 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10176] ppid=10118 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10176/stat : 10176 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922232 11084124160 21328 33554432000 4194304 4196468 140731136833344 140591203769488 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10177] ppid=10118 vsize=10824340 memory=8751464017575295285 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10177/stat : 10177 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922232 11084124160 21328 33554432000 4194304 4196468 140731136833344 140591202716432 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10178] ppid=10118 vsize=10824340 memory=4638797021879231313 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10178/stat : 10178 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922232 11084124160 21328 33554432000 4194304 4196468 140731136833344 140591201663888 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10179] ppid=10118 vsize=10824340 memory=7223879631928058176 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10179/stat : 10179 (java) S 10118 10121 3137 0 -1 1077944384 5 13001 0 0 0 0 5 3 20 0 15 0 405922233 11084124160 21328 33554432000 4194304 4196468 140731136833344 140590770645232 140591311264386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10180] ppid=10118 vsize=10824340 memory=6940152923299668032 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10180/stat : 10180 (java) S 10118 10121 3137 0 -1 1077944384 33 13001 0 0 0 0 5 3 20 0 15 0 405922234 11084124160 21328 33554432000 4194304 4196468 140731136833344 140590769591456 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10181] ppid=10118 vsize=10824340 memory=3484 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10181/stat : 10181 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922234 11084124160 21328 33554432000 4194304 4196468 140731136833344 140590654153456 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10182] ppid=10118 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10182/stat : 10182 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922237 11084124160 21328 33554432000 4194304 4196468 140731136833344 140590050174928 140591311271835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10183] ppid=10118 vsize=10824340 memory=15398247107664936 CPUtime=0.21 cores=1,3,5,7
/proc/10121/task/10183/stat : 10183 (java) R 10118 10121 3137 0 -1 1077944384 822 13001 0 0 13 0 5 3 20 0 15 0 405922237 11084124160 21328 33554432000 4194304 4196468 140731136833344 140590736034544 140591311264386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10184] ppid=10118 vsize=10824340 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/10121/task/10184/stat : 10184 (java) R 10118 10121 3137 0 -1 4202560 432 13001 0 0 14 0 5 3 20 0 15 0 405922237 11084124160 21328 33554432000 4194304 4196468 140731136833344 140590734982000 140591304238281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10185] ppid=10118 vsize=10824340 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/10121/task/10185/stat : 10185 (java) R 10118 10121 3137 0 -1 4202560 853 13001 0 0 18 0 5 3 20 0 15 0 405922237 11084124160 21328 33554432000 4194304 4196468 140731136833344 140590733928944 140591311265174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10186] ppid=10118 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10186/stat : 10186 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922237 11084124160 21328 33554432000 4194304 4196468 140731136833344 140589580413792 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10187] ppid=10118 vsize=10824340 memory=7809523229951467568 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10187/stat : 10187 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922237 11084124160 21328 33554432000 4194304 4196468 140731136833344 140590732876336 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 85312 KiB
[startup+1.50084 s]
/proc/loadavg: 1.70 1.85 1.82 6/233 10187
/proc/meminfo: memFree=29462820/32770624 swapFree=67008344/67108860
[pid=10121] ppid=10118 vsize=10832608 memory=244360 CPUtime=2.95 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10118 10121 3137 0 -1 1077944320 23598 13001 0 0 275 12 5 3 20 0 15 0 405922222 11092590592 61090 33554432000 4194304 4196468 140731136833344 140731136815888 140591311253239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
/proc/10121/statm: 2708152 61090 3574 1 0 2670221 0
[pid=10121/tid=10174] ppid=10118 vsize=10832608 memory=160 CPUtime=1.43 cores=1,3,5,7
/proc/10121/task/10174/stat : 10174 (java) R 10118 10121 3137 0 -1 4202560 14970 13001 0 0 127 8 5 3 20 0 15 0 405922231 11092590592 61090 33554432000 4194304 4196468 140731136833344 140591283063232 140591311267148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10175] ppid=10118 vsize=10832608 memory=79 CPUtime=0.09 cores=1,3,5,7
/proc/10121/task/10175/stat : 10175 (java) S 10118 10121 3137 0 -1 1077944384 268 13001 0 0 1 0 5 3 20 0 15 0 405922232 11092590592 61090 33554432000 4194304 4196468 140731136833344 140591315495952 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10176] ppid=10118 vsize=10832608 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10121/task/10176/stat : 10176 (java) S 10118 10121 3137 0 -1 1077944384 46 13001 0 0 1 0 5 3 20 0 15 0 405922232 11092590592 61090 33554432000 4194304 4196468 140731136833344 140591203769488 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10177] ppid=10118 vsize=10832608 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10121/task/10177/stat : 10177 (java) S 10118 10121 3137 0 -1 1077944384 61 13001 0 0 1 0 5 3 20 0 15 0 405922232 11092590592 61090 33554432000 4194304 4196468 140731136833344 140591202716432 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10178] ppid=10118 vsize=10832608 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10121/task/10178/stat : 10178 (java) S 10118 10121 3137 0 -1 1077944384 40 13001 0 0 1 0 5 3 20 0 15 0 405922232 11092590592 61090 33554432000 4194304 4196468 140731136833344 140591201663888 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10179] ppid=10118 vsize=10832608 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10121/task/10179/stat : 10179 (java) S 10118 10121 3137 0 -1 1077944384 347 13001 0 0 1 0 5 3 20 0 15 0 405922233 11092590592 61090 33554432000 4194304 4196468 140731136833344 140590770645232 140591311264386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10180] ppid=10118 vsize=10832608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10180/stat : 10180 (java) S 10118 10121 3137 0 -1 1077944384 33 13001 0 0 0 0 5 3 20 0 15 0 405922234 11092590592 61090 33554432000 4194304 4196468 140731136833344 140590769591520 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10181] ppid=10118 vsize=10832608 memory=-7880843606118635149 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10181/stat : 10181 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922234 11092590592 61090 33554432000 4194304 4196468 140731136833344 140590654153472 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10182] ppid=10118 vsize=10832608 memory=-1624781813439352349 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10182/stat : 10182 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922237 11092590592 61090 33554432000 4194304 4196468 140731136833344 140590050174928 140591311271835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10183] ppid=10118 vsize=10832608 memory=8976414709404591081 CPUtime=0.58 cores=1,3,5,7
/proc/10121/task/10183/stat : 10183 (java) S 10118 10121 3137 0 -1 1077944384 1790 13001 0 0 50 0 5 3 20 0 15 0 405922237 11092590592 61090 33554432000 4194304 4196468 140731136833344 140590736034544 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10184] ppid=10118 vsize=10832608 memory=-4695052241013923951 CPUtime=0.6 cores=1,3,5,7
/proc/10121/task/10184/stat : 10184 (java) S 10118 10121 3137 0 -1 1077944384 1603 13001 0 0 52 0 5 3 20 0 15 0 405922237 11092590592 61090 33554432000 4194304 4196468 140731136833344 140590734982000 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10185] ppid=10118 vsize=10832608 memory=9126232286719478932 CPUtime=0.43 cores=1,3,5,7
/proc/10121/task/10185/stat : 10185 (java) S 10118 10121 3137 0 -1 1077944384 2225 13001 0 0 35 0 5 3 20 0 15 0 405922237 11092590592 61090 33554432000 4194304 4196468 140731136833344 140590733928944 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10186] ppid=10118 vsize=10832608 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10186/stat : 10186 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922237 11092590592 61090 33554432000 4194304 4196468 140731136833344 140589580413792 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10187] ppid=10118 vsize=10832608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10187/stat : 10187 (java) S 10118 10121 3137 0 -1 1077944384 1 13001 0 0 0 0 5 3 20 0 15 0 405922237 11092590592 61090 33554432000 4194304 4196468 140731136833344 140590732876336 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
################
# More data... #
################
/proc/10121/task/10174/stat : 10174 (java) R 10118 10121 3137 0 -1 4202560 76248 13001 0 0 235748 56 5 3 20 0 15 0 405922231 11109400576 321477 33554432000 4194304 4196468 140731136833344 140591283088816 140590885189412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10175] ppid=10118 vsize=10849024 memory=1285908 CPUtime=11.46 cores=1,3,5,7
/proc/10121/task/10175/stat : 10175 (java) S 10118 10121 3137 0 -1 1077944384 17453 13001 0 0 1081 57 5 3 20 0 15 0 405922232 11109400576 321477 33554432000 4194304 4196468 140731136833344 140591315495952 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10176] ppid=10118 vsize=10849024 memory=1285908 CPUtime=11.46 cores=1,3,5,7
/proc/10121/task/10176/stat : 10176 (java) S 10118 10121 3137 0 -1 1077944384 27153 13001 0 0 1081 57 5 3 20 0 15 0 405922232 11109400576 321477 33554432000 4194304 4196468 140731136833344 140591203769488 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10177] ppid=10118 vsize=10849024 memory=1285908 CPUtime=11.47 cores=1,3,5,7
/proc/10121/task/10177/stat : 10177 (java) S 10118 10121 3137 0 -1 1077944384 18481 13001 0 0 1081 58 5 3 20 0 15 0 405922232 11109400576 321477 33554432000 4194304 4196468 140731136833344 140591202716432 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10178] ppid=10118 vsize=10849024 memory=896 CPUtime=11.45 cores=1,3,5,7
/proc/10121/task/10178/stat : 10178 (java) S 10118 10121 3137 0 -1 1077944384 21493 13001 0 0 1083 54 5 3 20 0 15 0 405922232 11109400576 321477 33554432000 4194304 4196468 140731136833344 140591201663888 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10179] ppid=10118 vsize=10849024 memory=1436 CPUtime=9.91 cores=1,3,5,7
/proc/10121/task/10179/stat : 10179 (java) S 10118 10121 3137 0 -1 1077944384 18343 13001 0 0 926 57 5 3 20 0 15 0 405922233 11109400576 321477 33554432000 4194304 4196468 140731136833344 140590770645232 140591311264386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10180] ppid=10118 vsize=10849024 memory=15204 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10180/stat : 10180 (java) S 10118 10121 3137 0 -1 1077944384 37 13001 0 0 0 0 5 3 20 0 15 0 405922234 11109400576 321477 33554432000 4194304 4196468 140731136833344 140590769591520 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10181] ppid=10118 vsize=10849024 memory=984 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10181/stat : 10181 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922234 11109400576 321477 33554432000 4194304 4196468 140731136833344 140590654153472 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10182] ppid=10118 vsize=10849024 memory=1285908 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10182/stat : 10182 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922237 11109400576 321477 33554432000 4194304 4196468 140731136833344 140590050174928 140591311271835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10183] ppid=10118 vsize=10849024 memory=15204 CPUtime=5.29 cores=1,3,5,7
/proc/10121/task/10183/stat : 10183 (java) S 10118 10121 3137 0 -1 1077944384 24161 13001 0 0 516 5 5 3 20 0 15 0 405922237 11109400576 321477 33554432000 4194304 4196468 140731136833344 140590736034544 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10184] ppid=10118 vsize=10849024 memory=1285908 CPUtime=5.76 cores=1,3,5,7
/proc/10121/task/10184/stat : 10184 (java) S 10118 10121 3137 0 -1 1077944384 29355 13001 0 0 562 6 5 3 20 0 15 0 405922237 11109400576 321477 33554432000 4194304 4196468 140731136833344 140590734982000 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10185] ppid=10118 vsize=10849024 memory=1052 CPUtime=3.5 cores=1,3,5,7
/proc/10121/task/10185/stat : 10185 (java) S 10118 10121 3137 0 -1 1077944384 34501 13001 0 0 334 8 5 3 20 0 15 0 405922237 11109400576 321477 33554432000 4194304 4196468 140731136833344 140590733928944 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10186] ppid=10118 vsize=10849024 memory=140117201125721 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10186/stat : 10186 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922237 11109400576 321477 33554432000 4194304 4196468 140731136833344 140589580413792 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10187] ppid=10118 vsize=10849024 memory=7378693141259711085 CPUtime=1.36 cores=1,3,5,7
/proc/10121/task/10187/stat : 10187 (java) S 10118 10121 3137 0 -1 1077944384 1969 13001 0 0 59 69 5 3 20 0 15 0 405922237 11109400576 321477 33554432000 4194304 4196468 140731136833344 140590732876336 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
Current children cumulated CPU time: 2429.15 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 1285908 KiB
[startup+2442.3 s]
/proc/loadavg: 1.49 1.43 1.42 3/233 10586
/proc/meminfo: memFree=28562880/32770624 swapFree=67008400/67108860
[pid=10121] ppid=10118 vsize=10849024 memory=1285948 CPUtime=2490.05 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10118 10121 3137 0 -1 1077944320 272788 13001 0 0 248627 370 5 3 20 0 15 0 405922222 11109400576 321487 33554432000 4194304 4196468 140731136833344 140731136815888 140591311253239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
/proc/10121/statm: 2712256 321487 3625 1 0 2674317 0
[pid=10121/tid=10174] ppid=10118 vsize=10849024 memory=1285948 CPUtime=2417.53 cores=1,3,5,7
/proc/10121/task/10174/stat : 10174 (java) R 10118 10121 3137 0 -1 4202560 76937 13001 0 0 241688 57 5 3 20 0 15 0 405922231 11109400576 321487 33554432000 4194304 4196468 140731136833344 140591283088816 140590886328649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10175] ppid=10118 vsize=10849024 memory=1285948 CPUtime=11.75 cores=1,3,5,7
/proc/10121/task/10175/stat : 10175 (java) S 10118 10121 3137 0 -1 1077944384 17466 13001 0 0 1109 58 5 3 20 0 15 0 405922232 11109400576 321487 33554432000 4194304 4196468 140731136833344 140591315495952 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10176] ppid=10118 vsize=10849024 memory=1285948 CPUtime=11.77 cores=1,3,5,7
/proc/10121/task/10176/stat : 10176 (java) S 10118 10121 3137 0 -1 1077944384 27205 13001 0 0 1110 59 5 3 20 0 15 0 405922232 11109400576 321487 33554432000 4194304 4196468 140731136833344 140591203769488 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10177] ppid=10118 vsize=10849024 memory=1285948 CPUtime=11.77 cores=1,3,5,7
/proc/10121/task/10177/stat : 10177 (java) S 10118 10121 3137 0 -1 1077944384 18598 13001 0 0 1110 59 5 3 20 0 15 0 405922232 11109400576 321487 33554432000 4194304 4196468 140731136833344 140591202716432 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10178] ppid=10118 vsize=10849024 memory=1285948 CPUtime=11.75 cores=1,3,5,7
/proc/10121/task/10178/stat : 10178 (java) S 10118 10121 3137 0 -1 1077944384 21773 13001 0 0 1112 55 5 3 20 0 15 0 405922232 11109400576 321487 33554432000 4194304 4196468 140731136833344 140591201663888 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10179] ppid=10118 vsize=10849024 memory=1285948 CPUtime=10.16 cores=1,3,5,7
/proc/10121/task/10179/stat : 10179 (java) S 10118 10121 3137 0 -1 1077944384 18549 13001 0 0 950 58 5 3 20 0 15 0 405922233 11109400576 321487 33554432000 4194304 4196468 140731136833344 140590770645232 140591311264386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10180] ppid=10118 vsize=10849024 memory=1285948 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10180/stat : 10180 (java) S 10118 10121 3137 0 -1 1077944384 37 13001 0 0 0 0 5 3 20 0 15 0 405922234 11109400576 321487 33554432000 4194304 4196468 140731136833344 140590769591520 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10181] ppid=10118 vsize=10849024 memory=1285948 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10181/stat : 10181 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922234 11109400576 321487 33554432000 4194304 4196468 140731136833344 140590654153472 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10182] ppid=10118 vsize=10849024 memory=1285948 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10182/stat : 10182 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922237 11109400576 321487 33554432000 4194304 4196468 140731136833344 140590050174928 140591311271835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10183] ppid=10118 vsize=10849024 memory=1285948 CPUtime=5.29 cores=1,3,5,7
/proc/10121/task/10183/stat : 10183 (java) S 10118 10121 3137 0 -1 1077944384 24163 13001 0 0 516 5 5 3 20 0 15 0 405922237 11109400576 321487 33554432000 4194304 4196468 140731136833344 140590736034544 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10184] ppid=10118 vsize=10849024 memory=1285948 CPUtime=5.76 cores=1,3,5,7
/proc/10121/task/10184/stat : 10184 (java) S 10118 10121 3137 0 -1 1077944384 29357 13001 0 0 562 6 5 3 20 0 15 0 405922237 11109400576 321487 33554432000 4194304 4196468 140731136833344 140590734982000 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10185] ppid=10118 vsize=10849024 memory=1285948 CPUtime=3.5 cores=1,3,5,7
/proc/10121/task/10185/stat : 10185 (java) S 10118 10121 3137 0 -1 1077944384 34503 13001 0 0 334 8 5 3 20 0 15 0 405922237 11109400576 321487 33554432000 4194304 4196468 140731136833344 140590733928944 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10186] ppid=10118 vsize=10849024 memory=1285948 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10186/stat : 10186 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922237 11109400576 321487 33554432000 4194304 4196468 140731136833344 140589580413792 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10187] ppid=10118 vsize=10849024 memory=1285948 CPUtime=1.39 cores=1,3,5,7
/proc/10121/task/10187/stat : 10187 (java) S 10118 10121 3137 0 -1 1077944384 1986 13001 0 0 61 70 5 3 20 0 15 0 405922237 11109400576 321487 33554432000 4194304 4196468 140731136833344 140590732876336 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
Current children cumulated CPU time: 2490.05 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 1285948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.9 s]
/proc/loadavg: 1.44 1.42 1.41 3/233 10589
/proc/meminfo: memFree=28562632/32770624 swapFree=67008400/67108860
[pid=10121] ppid=10118 vsize=10849024 memory=1285956 CPUtime=2520.08 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10118 10121 3137 0 -1 1077944320 273920 13001 0 0 251625 375 5 3 20 0 15 0 405922222 11109400576 321489 33554432000 4194304 4196468 140731136833344 140731136815888 140591311253239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
/proc/10121/statm: 2712256 321489 3625 1 0 2674317 0
[pid=10121/tid=10174] ppid=10118 vsize=10849024 memory=1285956 CPUtime=2446.79 cores=1,3,5,7
/proc/10121/task/10174/stat : 10174 (java) R 10118 10121 3137 0 -1 4202560 77398 13001 0 0 244614 57 5 3 20 0 15 0 405922231 11109400576 321489 33554432000 4194304 4196468 140731136833344 140591283082144 140590886325884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10175] ppid=10118 vsize=10849024 memory=1285956 CPUtime=11.9 cores=1,3,5,7
/proc/10121/task/10175/stat : 10175 (java) S 10118 10121 3137 0 -1 1077944384 17589 13001 0 0 1123 59 5 3 20 0 15 0 405922232 11109400576 321489 33554432000 4194304 4196468 140731136833344 140591315495952 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10176] ppid=10118 vsize=10849024 memory=1285956 CPUtime=11.93 cores=1,3,5,7
/proc/10121/task/10176/stat : 10176 (java) S 10118 10121 3137 0 -1 1077944384 27297 13001 0 0 1125 60 5 3 20 0 15 0 405922232 11109400576 321489 33554432000 4194304 4196468 140731136833344 140591203769488 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10177] ppid=10118 vsize=10849024 memory=1285956 CPUtime=11.93 cores=1,3,5,7
/proc/10121/task/10177/stat : 10177 (java) S 10118 10121 3137 0 -1 1077944384 18628 13001 0 0 1125 60 5 3 20 0 15 0 405922232 11109400576 321489 33554432000 4194304 4196468 140731136833344 140591202716432 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10178] ppid=10118 vsize=10849024 memory=1285956 CPUtime=11.91 cores=1,3,5,7
/proc/10121/task/10178/stat : 10178 (java) S 10118 10121 3137 0 -1 1077944384 21979 13001 0 0 1127 56 5 3 20 0 15 0 405922232 11109400576 321489 33554432000 4194304 4196468 140731136833344 140591201663888 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10179] ppid=10118 vsize=10849024 memory=0 CPUtime=10.29 cores=1,3,5,7
/proc/10121/task/10179/stat : 10179 (java) S 10118 10121 3137 0 -1 1077944384 18748 13001 0 0 962 59 5 3 20 0 15 0 405922233 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590770645232 140591311264386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10180] ppid=10118 vsize=10849024 memory=1285956 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10180/stat : 10180 (java) S 10118 10121 3137 0 -1 1077944384 37 13001 0 0 0 0 5 3 20 0 15 0 405922234 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590769591520 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10181] ppid=10118 vsize=10849024 memory=1288832 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10181/stat : 10181 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922234 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590654153472 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10182] ppid=10118 vsize=10849024 memory=1285956 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10182/stat : 10182 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590050174928 140591311271835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10183] ppid=10118 vsize=10849024 memory=744 CPUtime=5.29 cores=1,3,5,7
/proc/10121/task/10183/stat : 10183 (java) S 10118 10121 3137 0 -1 1077944384 24165 13001 0 0 516 5 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590736034544 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10184] ppid=10118 vsize=10849024 memory=1052 CPUtime=5.76 cores=1,3,5,7
/proc/10121/task/10184/stat : 10184 (java) S 10118 10121 3137 0 -1 1077944384 29359 13001 0 0 562 6 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590734982000 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10185] ppid=10118 vsize=10849024 memory=1285956 CPUtime=3.5 cores=1,3,5,7
/proc/10121/task/10185/stat : 10185 (java) S 10118 10121 3137 0 -1 1077944384 34505 13001 0 0 334 8 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590733928944 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10186] ppid=10118 vsize=10849024 memory=3484 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10186/stat : 10186 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140589580413792 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10187] ppid=10118 vsize=10849024 memory=1285956 CPUtime=1.4 cores=1,3,5,7
/proc/10121/task/10187/stat : 10187 (java) S 10118 10121 3137 0 -1 1077944384 2001 13001 0 0 61 71 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590732876336 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 1285956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.94 s]
# the end of solver process 10121 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.33 s, system=3.79637 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.9 s]
/proc/loadavg: 1.44 1.42 1.41 3/233 10589
/proc/meminfo: memFree=28562632/32770624 swapFree=67008400/67108860
[pid=10121] ppid=10118 vsize=10849024 memory=1285956 CPUtime=2520.08 cores=1,3,5,7
/proc/10121/stat : 10121 (java) S 10118 10121 3137 0 -1 1077944320 273920 13001 0 0 251625 375 5 3 20 0 15 0 405922222 11109400576 321489 33554432000 4194304 4196468 140731136833344 140731136815888 140591311253239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
/proc/10121/statm: 2712256 321489 3625 1 0 2674317 0
[pid=10121/tid=10174] ppid=10118 vsize=10849024 memory=1285956 CPUtime=2446.79 cores=1,3,5,7
/proc/10121/task/10174/stat : 10174 (java) R 10118 10121 3137 0 -1 4202560 77398 13001 0 0 244614 57 5 3 20 0 15 0 405922231 11109400576 321489 33554432000 4194304 4196468 140731136833344 140591283082144 140590886325884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10175] ppid=10118 vsize=10849024 memory=1285956 CPUtime=11.9 cores=1,3,5,7
/proc/10121/task/10175/stat : 10175 (java) S 10118 10121 3137 0 -1 1077944384 17589 13001 0 0 1123 59 5 3 20 0 15 0 405922232 11109400576 321489 33554432000 4194304 4196468 140731136833344 140591315495952 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10176] ppid=10118 vsize=10849024 memory=1285956 CPUtime=11.93 cores=1,3,5,7
/proc/10121/task/10176/stat : 10176 (java) S 10118 10121 3137 0 -1 1077944384 27297 13001 0 0 1125 60 5 3 20 0 15 0 405922232 11109400576 321489 33554432000 4194304 4196468 140731136833344 140591203769488 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10177] ppid=10118 vsize=10849024 memory=1285956 CPUtime=11.93 cores=1,3,5,7
/proc/10121/task/10177/stat : 10177 (java) S 10118 10121 3137 0 -1 1077944384 18628 13001 0 0 1125 60 5 3 20 0 15 0 405922232 11109400576 321489 33554432000 4194304 4196468 140731136833344 140591202716432 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10178] ppid=10118 vsize=10849024 memory=1285956 CPUtime=11.91 cores=1,3,5,7
/proc/10121/task/10178/stat : 10178 (java) S 10118 10121 3137 0 -1 1077944384 21979 13001 0 0 1127 56 5 3 20 0 15 0 405922232 11109400576 321489 33554432000 4194304 4196468 140731136833344 140591201663888 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10179] ppid=10118 vsize=10849024 memory=0 CPUtime=10.29 cores=1,3,5,7
/proc/10121/task/10179/stat : 10179 (java) S 10118 10121 3137 0 -1 1077944384 18748 13001 0 0 962 59 5 3 20 0 15 0 405922233 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590770645232 140591311264386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10180] ppid=10118 vsize=10849024 memory=1285956 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10180/stat : 10180 (java) S 10118 10121 3137 0 -1 1077944384 37 13001 0 0 0 0 5 3 20 0 15 0 405922234 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590769591520 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10181] ppid=10118 vsize=10849024 memory=1288832 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10181/stat : 10181 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922234 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590654153472 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10182] ppid=10118 vsize=10849024 memory=1285956 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10182/stat : 10182 (java) S 10118 10121 3137 0 -1 1077944384 2 13001 0 0 0 0 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590050174928 140591311271835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10183] ppid=10118 vsize=10849024 memory=744 CPUtime=5.29 cores=1,3,5,7
/proc/10121/task/10183/stat : 10183 (java) S 10118 10121 3137 0 -1 1077944384 24165 13001 0 0 516 5 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590736034544 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10184] ppid=10118 vsize=10849024 memory=1052 CPUtime=5.76 cores=1,3,5,7
/proc/10121/task/10184/stat : 10184 (java) S 10118 10121 3137 0 -1 1077944384 29359 13001 0 0 562 6 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590734982000 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10185] ppid=10118 vsize=10849024 memory=1285956 CPUtime=3.5 cores=1,3,5,7
/proc/10121/task/10185/stat : 10185 (java) S 10118 10121 3137 0 -1 1077944384 34505 13001 0 0 334 8 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590733928944 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10186] ppid=10118 vsize=10849024 memory=3484 CPUtime=0.08 cores=1,3,5,7
/proc/10121/task/10186/stat : 10186 (java) S 10118 10121 3137 0 -1 1077944384 3 13001 0 0 0 0 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140589580413792 140591311263445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
[pid=10121/tid=10187] ppid=10118 vsize=10849024 memory=1285956 CPUtime=1.4 cores=1,3,5,7
/proc/10121/task/10187/stat : 10187 (java) S 10118 10121 3137 0 -1 1077944384 2001 13001 0 0 61 71 5 3 20 0 15 0 405922237 11109400576 321489 33554432000 4194304 4196468 140731136833344 140590732876336 140591311264386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18362368 140731136838389 140731136840901 140731136840901 140731136843727 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 1285956 KiB
Child status: 143
Real time (s): 2471.94
CPU time (s): 2520.13
CPU user time (s): 2516.33
CPU system time (s): 3.79637
CPU usage (%): 101.949
Max. virtual memory (cumulated for all children) (KiB): 10849960
Max. memory (cumulated for all children) (KiB): 1510092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.33
system time used= 3.79637
maximum resident set size= 1511672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 282407
involuntary context switches= 8066
# summary of solver processes directly reported to runsolver:
# pid: 10121
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.33
# total CPU system time (s): 3.79637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4409 second user time and 23.4877 second system time
The end