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 (14030 MiB free)
memory of node 1: 16384 MiB (12948 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392217-1568322667/watcher-4392217-1568322667 -o /tmp/evaluation-result-4392217-1568322667/solver-4392217-1568322667 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568305960-30576 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1330202339 HOME/instance-4392217-1568322667.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2247, runsolver pid=2244
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.71 1.62 1.60 4/219 2304
/proc/meminfo: memFree=27623216/32770624 swapFree=66998520/67108860
[pid=2247] ppid=2244 vsize=9972712 memory=16640 CPUtime=0.09 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2244 2247 10805 0 -1 1077944320 4391 13248 0 0 1 0 5 3 20 0 6 0 408535592 10212057088 4160 33554432000 4194304 4196468 140722063558224 140722063540768 140313637007095 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
/proc/2247/statm: 2493178 4160 1933 1 0 2481616 0
[pid=2247/tid=2300] ppid=2244 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2300/stat : 2300 (java) R 2244 2247 10805 0 -1 4202560 2255 13248 0 0 0 0 5 3 20 0 6 0 408535602 10212057088 4226 33554432000 4194304 4196468 140722063558224 140313608843856 140313621087582 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2301] ppid=2244 vsize=9972712 memory=7948963741541478447 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2301/stat : 2301 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 6 0 408535602 10212057088 4226 33554432000 4194304 4196468 140722063558224 140313641249040 140313637017301 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2302] ppid=2244 vsize=9972712 memory=139888044066432 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2302/stat : 2302 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 6 0 408535602 10212057088 4226 33554432000 4194304 4196468 140722063558224 140313210202512 140313637017301 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2303] ppid=2244 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2303/stat : 2303 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 6 0 408535602 10212057088 4226 33554432000 4194304 4196468 140722063558224 140313209149968 140313637017301 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2304] ppid=2244 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2304/stat : 2304 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 6 0 408535602 10212057088 4226 33554432000 4194304 4196468 140722063558224 140313208097424 140313637017301 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16640 KiB
[startup+0.211074 s]*
/proc/loadavg: 1.71 1.62 1.60 3/228 2313
/proc/meminfo: memFree=27596956/32770624 swapFree=66998520/67108860
[pid=2247] ppid=2244 vsize=10818940 memory=42988 CPUtime=0.25 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2244 2247 10805 0 -1 1077944320 7056 13248 0 0 16 1 5 3 20 0 15 0 408535592 11078594560 10747 33554432000 4194304 4196468 140722063558224 140722063540768 140313637007095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
/proc/2247/statm: 2704735 10747 2974 1 0 2667149 0
[pid=2247/tid=2300] ppid=2244 vsize=10818940 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/2247/task/2300/stat : 2300 (java) R 2244 2247 10805 0 -1 4202560 3599 13248 0 0 10 1 5 3 20 0 15 0 408535602 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313608837936 140313621087582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2301] ppid=2244 vsize=10818940 memory=4294967660 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2301/stat : 2301 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535602 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313641249040 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2302] ppid=2244 vsize=10818940 memory=288370264195778176 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2302/stat : 2302 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535602 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313210202512 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2303] ppid=2244 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2303/stat : 2303 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535602 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313209149968 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2304] ppid=2244 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2304/stat : 2304 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535602 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313208097424 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2305] ppid=2244 vsize=10818940 memory=139888044066432 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2305/stat : 2305 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535604 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313163655664 140313637018242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2306] ppid=2244 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2306/stat : 2306 (java) S 2244 2247 10805 0 -1 1077944384 13 13248 0 0 0 0 5 3 20 0 15 0 408535604 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313091892640 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2307] ppid=2244 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2307/stat : 2307 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535604 11078594560 10823 33554432000 4194304 4196468 140722063558224 140312957674992 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2308] ppid=2244 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2308/stat : 2308 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535607 11078594560 10823 33554432000 4194304 4196468 140722063558224 140312353696464 140313637025691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2309] ppid=2244 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2247/task/2309/stat : 2309 (java) S 2244 2247 10805 0 -1 1077944384 478 13248 0 0 1 0 5 3 20 0 15 0 408535607 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313162602480 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2310] ppid=2244 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/2247/task/2310/stat : 2310 (java) S 2244 2247 10805 0 -1 1077944384 153 13248 0 0 1 0 5 3 20 0 15 0 408535607 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313161549936 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2311] ppid=2244 vsize=10818940 memory=139888044066432 CPUtime=0.11 cores=0,2,4,6
/proc/2247/task/2311/stat : 2311 (java) S 2244 2247 10805 0 -1 1077944384 627 13248 0 0 3 0 5 3 20 0 15 0 408535607 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313160497392 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2312] ppid=2244 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2312/stat : 2312 (java) S 2244 2247 10805 0 -1 1077944384 3 13248 0 0 0 0 5 3 20 0 15 0 408535607 11078594560 10823 33554432000 4194304 4196468 140722063558224 140311883934304 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2313] ppid=2244 vsize=10818940 memory=139888044066432 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2313/stat : 2313 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535608 11078594560 10823 33554432000 4194304 4196468 140722063558224 140313058335536 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 42988 KiB
[startup+0.310552 s]*
/proc/loadavg: 1.71 1.62 1.60 3/228 2313
/proc/meminfo: memFree=27586344/32770624 swapFree=66998520/67108860
[pid=2247] ppid=2244 vsize=10819220 memory=51784 CPUtime=0.4 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2244 2247 10805 0 -1 1077944320 10635 13248 0 0 29 3 5 3 20 0 15 0 408535592 11078881280 12946 33554432000 4194304 4196468 140722063558224 140722063540768 140313637007095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
/proc/2247/statm: 2704809 12946 3040 1 0 2667149 0
[pid=2247/tid=2300] ppid=2244 vsize=10820096 memory=7892391828772250251 CPUtime=0.29 cores=0,2,4,6
/proc/2247/task/2300/stat : 2300 (java) R 2244 2247 10805 0 -1 4202560 7226 13248 0 0 19 2 5 3 20 0 15 0 408535602 11079778304 13012 33554432000 4194304 4196468 140722063558224 140313608834768 140313492421605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2301] ppid=2244 vsize=10820096 memory=3691042062614867976 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2301/stat : 2301 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535602 11079778304 13012 33554432000 4194304 4196468 140722063558224 140313641249040 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2302] ppid=2244 vsize=10820096 memory=139892339033727 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2302/stat : 2302 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535602 11079778304 13078 33554432000 4194304 4196468 140722063558224 140313210202512 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2303] ppid=2244 vsize=10820096 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2303/stat : 2303 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535602 11079778304 13078 33554432000 4194304 4196468 140722063558224 140313209149968 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2304] ppid=2244 vsize=10820096 memory=2240 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2304/stat : 2304 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535602 11079778304 13078 33554432000 4194304 4196468 140722063558224 140313208097424 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2305] ppid=2244 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2305/stat : 2305 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535604 11079778304 13078 33554432000 4194304 4196468 140722063558224 140313163655664 140313637018242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2306] ppid=2244 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2306/stat : 2306 (java) S 2244 2247 10805 0 -1 1077944384 13 13248 0 0 0 0 5 3 20 0 15 0 408535604 11079778304 13078 33554432000 4194304 4196468 140722063558224 140313091892640 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2307] ppid=2244 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2307/stat : 2307 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535604 11079778304 13078 33554432000 4194304 4196468 140722063558224 140312957674992 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2308] ppid=2244 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2308/stat : 2308 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535607 11079778304 13078 33554432000 4194304 4196468 140722063558224 140312353696464 140313637025691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2309] ppid=2244 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2247/task/2309/stat : 2309 (java) S 2244 2247 10805 0 -1 1077944384 479 13248 0 0 1 0 5 3 20 0 15 0 408535607 11079778304 13078 33554432000 4194304 4196468 140722063558224 140313162602480 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2310] ppid=2244 vsize=10820096 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/2247/task/2310/stat : 2310 (java) S 2244 2247 10805 0 -1 1077944384 154 13248 0 0 2 0 5 3 20 0 15 0 408535607 11079778304 13078 33554432000 4194304 4196468 140722063558224 140313161549936 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2311] ppid=2244 vsize=10820096 memory=139888044066432 CPUtime=0.13 cores=0,2,4,6
/proc/2247/task/2311/stat : 2311 (java) S 2244 2247 10805 0 -1 1077944384 637 13248 0 0 5 0 5 3 20 0 15 0 408535607 11079778304 13078 33554432000 4194304 4196468 140722063558224 140313160497392 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2312] ppid=2244 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2312/stat : 2312 (java) S 2244 2247 10805 0 -1 1077944384 3 13248 0 0 0 0 5 3 20 0 15 0 408535607 11079778304 13078 33554432000 4194304 4196468 140722063558224 140311883934304 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2313] ppid=2244 vsize=10820096 memory=139888044066432 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2313/stat : 2313 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535608 11079778304 13078 33554432000 4194304 4196468 140722063558224 140313058335536 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819220 KiB
Current children cumulated memory: 51784 KiB
[startup+0.705994 s]
/proc/loadavg: 1.71 1.62 1.60 5/228 2313
/proc/meminfo: memFree=27573896/32770624 swapFree=66998520/67108860
[pid=2247] ppid=2244 vsize=10824340 memory=84624 CPUtime=1.15 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2244 2247 10805 0 -1 1077944320 14866 13248 0 0 102 5 5 3 20 0 15 0 408535592 11084124160 21156 33554432000 4194304 4196468 140722063558224 140722063540768 140313637007095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
/proc/2247/statm: 2706085 21156 3498 1 0 2668173 0
[pid=2247/tid=2300] ppid=2244 vsize=10824340 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2247/task/2300/stat : 2300 (java) R 2244 2247 10805 0 -1 4202560 10597 13248 0 0 56 4 5 3 20 0 15 0 408535602 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313608834288 140313637029021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2301] ppid=2244 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2301/stat : 2301 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535602 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313641249040 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2302] ppid=2244 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2302/stat : 2302 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535602 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313210202512 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2303] ppid=2244 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2303/stat : 2303 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535602 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313209149968 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2304] ppid=2244 vsize=10824340 memory=139891379798586 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2304/stat : 2304 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535602 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313208097424 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2305] ppid=2244 vsize=10824340 memory=139891379798591 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2305/stat : 2305 (java) S 2244 2247 10805 0 -1 1077944384 5 13248 0 0 0 0 5 3 20 0 15 0 408535604 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313163655664 140313637018242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2306] ppid=2244 vsize=10824340 memory=139891379798595 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2306/stat : 2306 (java) S 2244 2247 10805 0 -1 1077944384 13 13248 0 0 0 0 5 3 20 0 15 0 408535604 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313091892640 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2307] ppid=2244 vsize=10824340 memory=139891379798601 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2307/stat : 2307 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535604 11084124160 21156 33554432000 4194304 4196468 140722063558224 140312957674992 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2308] ppid=2244 vsize=10824340 memory=139891379798602 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2308/stat : 2308 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535607 11084124160 21156 33554432000 4194304 4196468 140722063558224 140312353696464 140313637025691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2309] ppid=2244 vsize=10824340 memory=780 CPUtime=0.23 cores=0,2,4,6
/proc/2247/task/2309/stat : 2309 (java) R 2244 2247 10805 0 -1 4202560 836 13248 0 0 15 0 5 3 20 0 15 0 408535607 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313162588704 140313618551248 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2310] ppid=2244 vsize=10824340 memory=7662705889289527641 CPUtime=0.2 cores=0,2,4,6
/proc/2247/task/2310/stat : 2310 (java) R 2244 2247 10805 0 -1 4202560 417 13248 0 0 12 0 5 3 20 0 15 0 408535607 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313161549936 140313637018242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2311] ppid=2244 vsize=10824340 memory=7013342044610651755 CPUtime=0.25 cores=0,2,4,6
/proc/2247/task/2311/stat : 2311 (java) R 2244 2247 10805 0 -1 4202560 779 13248 0 0 17 0 5 3 20 0 15 0 408535607 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313160497392 140313629244222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2312] ppid=2244 vsize=10824340 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2312/stat : 2312 (java) S 2244 2247 10805 0 -1 1077944384 3 13248 0 0 0 0 5 3 20 0 15 0 408535607 11084124160 21156 33554432000 4194304 4196468 140722063558224 140311883934304 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2313] ppid=2244 vsize=10824340 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2313/stat : 2313 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535608 11084124160 21156 33554432000 4194304 4196468 140722063558224 140313058335536 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 84624 KiB
[startup+1.50075 s]
/proc/loadavg: 1.65 1.61 1.60 4/228 2313
/proc/meminfo: memFree=27530224/32770624 swapFree=66998520/67108860
[pid=2247] ppid=2244 vsize=10834656 memory=173400 CPUtime=2.54 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2244 2247 10805 0 -1 1077944320 21684 13248 0 0 236 10 5 3 20 0 15 0 408535592 11094687744 43350 33554432000 4194304 4196468 140722063558224 140722063540768 140313637007095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
/proc/2247/statm: 2708664 43350 3578 1 0 2670733 0
[pid=2247/tid=2300] ppid=2244 vsize=10834656 memory=288230596050944315 CPUtime=1.44 cores=0,2,4,6
/proc/2247/task/2300/stat : 2300 (java) R 2244 2247 10805 0 -1 4202560 15479 13248 0 0 130 6 5 3 20 0 15 0 408535602 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313608807312 140313240976944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2301] ppid=2244 vsize=10834656 memory=84624 CPUtime=0.09 cores=0,2,4,6
/proc/2247/task/2301/stat : 2301 (java) S 2244 2247 10805 0 -1 1077944384 58 13248 0 0 1 0 5 3 20 0 15 0 408535602 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313641249040 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2302] ppid=2244 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2247/task/2302/stat : 2302 (java) S 2244 2247 10805 0 -1 1077944384 76 13248 0 0 1 0 5 3 20 0 15 0 408535602 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313210202512 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2303] ppid=2244 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2303/stat : 2303 (java) S 2244 2247 10805 0 -1 1077944384 20 13248 0 0 0 0 5 3 20 0 15 0 408535602 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313209149968 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2304] ppid=2244 vsize=10834656 memory=139887890438608 CPUtime=0.09 cores=0,2,4,6
/proc/2247/task/2304/stat : 2304 (java) S 2244 2247 10805 0 -1 1077944384 341 13248 0 0 1 0 5 3 20 0 15 0 408535602 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313208097424 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2305] ppid=2244 vsize=10834656 memory=55 CPUtime=0.09 cores=0,2,4,6
/proc/2247/task/2305/stat : 2305 (java) S 2244 2247 10805 0 -1 1077944384 130 13248 0 0 1 0 5 3 20 0 15 0 408535604 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313163655664 140313637018242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2306] ppid=2244 vsize=10834656 memory=-7384994778349281184 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2306/stat : 2306 (java) S 2244 2247 10805 0 -1 1077944384 14 13248 0 0 0 0 5 3 20 0 15 0 408535604 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313091892704 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2307] ppid=2244 vsize=10834656 memory=6944656592452807316 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2307/stat : 2307 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535604 11094687744 43350 33554432000 4194304 4196468 140722063558224 140312957674992 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2308] ppid=2244 vsize=10834656 memory=6944656592455360608 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2308/stat : 2308 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535607 11094687744 43350 33554432000 4194304 4196468 140722063558224 140312353696464 140313637025691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2309] ppid=2244 vsize=10834656 memory=-7384994778349281184 CPUtime=0.41 cores=0,2,4,6
/proc/2247/task/2309/stat : 2309 (java) S 2244 2247 10805 0 -1 1077944384 1338 13248 0 0 33 0 5 3 20 0 15 0 408535607 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313162602480 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2310] ppid=2244 vsize=10834656 memory=6944656592452807316 CPUtime=0.32 cores=0,2,4,6
/proc/2247/task/2310/stat : 2310 (java) S 2244 2247 10805 0 -1 1077944384 592 13248 0 0 24 0 5 3 20 0 15 0 408535607 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313161549936 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2311] ppid=2244 vsize=10834656 memory=6944656592455360608 CPUtime=0.49 cores=0,2,4,6
/proc/2247/task/2311/stat : 2311 (java) R 2244 2247 10805 0 -1 4202560 1422 13248 0 0 41 0 5 3 20 0 15 0 408535607 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313160497392 140313630103931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2312] ppid=2244 vsize=10834656 memory=6944613755445342871 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2312/stat : 2312 (java) S 2244 2247 10805 0 -1 1077944384 3 13248 0 0 0 0 5 3 20 0 15 0 408535607 11094687744 43350 33554432000 4194304 4196468 140722063558224 140311883934304 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2313] ppid=2244 vsize=10834656 memory=6944656592455360569 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2313/stat : 2313 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535608 11094687744 43350 33554432000 4194304 4196468 140722063558224 140313058335536 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/2247/task/2300/stat : 2300 (java) R 2244 2247 10805 0 -1 4202560 55826 13248 0 0 224523 32 5 3 20 0 15 0 408535602 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313608839136 140313251105095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2301] ppid=2244 vsize=10849024 memory=634348 CPUtime=6.9 cores=0,2,4,6
/proc/2247/task/2301/stat : 2301 (java) S 2244 2247 10805 0 -1 1077944384 8536 13248 0 0 647 35 5 3 20 0 15 0 408535602 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313641249040 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2302] ppid=2244 vsize=10849024 memory=634348 CPUtime=6.91 cores=0,2,4,6
/proc/2247/task/2302/stat : 2302 (java) S 2244 2247 10805 0 -1 1077944384 11177 13248 0 0 646 37 5 3 20 0 15 0 408535602 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313210202512 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2303] ppid=2244 vsize=10849024 memory=1536 CPUtime=6.89 cores=0,2,4,6
/proc/2247/task/2303/stat : 2303 (java) S 2244 2247 10805 0 -1 1077944384 8897 13248 0 0 641 40 5 3 20 0 15 0 408535602 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313209149968 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2304] ppid=2244 vsize=10849024 memory=634348 CPUtime=6.91 cores=0,2,4,6
/proc/2247/task/2304/stat : 2304 (java) S 2244 2247 10805 0 -1 1077944384 8398 13248 0 0 650 33 5 3 20 0 15 0 408535602 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313208097424 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2305] ppid=2244 vsize=10849024 memory=1428 CPUtime=6.69 cores=0,2,4,6
/proc/2247/task/2305/stat : 2305 (java) S 2244 2247 10805 0 -1 1077944384 12908 13248 0 0 631 30 5 3 20 0 15 0 408535604 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313163655664 140313637018242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2306] ppid=2244 vsize=10849024 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2306/stat : 2306 (java) S 2244 2247 10805 0 -1 1077944384 15 13248 0 0 0 0 5 3 20 0 15 0 408535604 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313091892704 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2307] ppid=2244 vsize=10849024 memory=634348 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2307/stat : 2307 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535604 11109400576 158587 33554432000 4194304 4196468 140722063558224 140312957675008 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2308] ppid=2244 vsize=10849024 memory=634348 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2308/stat : 2308 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535607 11109400576 158587 33554432000 4194304 4196468 140722063558224 140312353696464 140313637025691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2309] ppid=2244 vsize=10849024 memory=634348 CPUtime=7.63 cores=0,2,4,6
/proc/2247/task/2309/stat : 2309 (java) S 2244 2247 10805 0 -1 1077944384 36516 13248 0 0 747 8 5 3 20 0 15 0 408535607 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313162602480 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2310] ppid=2244 vsize=10849024 memory=634348 CPUtime=7.7 cores=0,2,4,6
/proc/2247/task/2310/stat : 2310 (java) S 2244 2247 10805 0 -1 1077944384 31457 13248 0 0 754 8 5 3 20 0 15 0 408535607 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313161549936 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2311] ppid=2244 vsize=10849024 memory=38244 CPUtime=4.79 cores=0,2,4,6
/proc/2247/task/2311/stat : 2311 (java) S 2244 2247 10805 0 -1 1077944384 36876 13248 0 0 464 7 5 3 20 0 15 0 408535607 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313160497392 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2312] ppid=2244 vsize=10849024 memory=634348 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2312/stat : 2312 (java) S 2244 2247 10805 0 -1 1077944384 3 13248 0 0 0 0 5 3 20 0 15 0 408535607 11109400576 158587 33554432000 4194304 4196468 140722063558224 140311883934304 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2313] ppid=2244 vsize=10849024 memory=3624 CPUtime=1.34 cores=0,2,4,6
/proc/2247/task/2313/stat : 2313 (java) S 2244 2247 10805 0 -1 1077944384 755 13248 0 0 63 63 5 3 20 0 15 0 408535608 11109400576 158587 33554432000 4194304 4196468 140722063558224 140313058335536 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
Current children cumulated CPU time: 2300.79 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 634348 KiB
[startup+2322.3 s]
/proc/loadavg: 1.45 1.35 1.41 3/228 2664
/proc/meminfo: memFree=27005248/32770624 swapFree=66998520/67108860
[pid=2247] ppid=2244 vsize=10849024 memory=634396 CPUtime=2361.29 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2244 2247 10805 0 -1 1077944320 214734 13248 0 0 235866 255 5 3 20 0 15 0 408535592 11109400576 158599 33554432000 4194304 4196468 140722063558224 140722063540768 140313637007095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
/proc/2247/statm: 2712256 158599 3625 1 0 2674317 0
[pid=2247/tid=2300] ppid=2244 vsize=10849024 memory=4108 CPUtime=2305.17 cores=0,2,4,6
/proc/2247/task/2300/stat : 2300 (java) R 2244 2247 10805 0 -1 4202560 56349 13248 0 0 230476 33 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313608843104 140313251105073 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2301] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.08 cores=0,2,4,6
/proc/2247/task/2301/stat : 2301 (java) S 2244 2247 10805 0 -1 1077944384 8800 13248 0 0 664 36 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313641249040 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2302] ppid=2244 vsize=10849024 memory=634372 CPUtime=7.1 cores=0,2,4,6
/proc/2247/task/2302/stat : 2302 (java) S 2244 2247 10805 0 -1 1077944384 11235 13248 0 0 664 38 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313210202512 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2303] ppid=2244 vsize=10849024 memory=634372 CPUtime=7.08 cores=0,2,4,6
/proc/2247/task/2303/stat : 2303 (java) S 2244 2247 10805 0 -1 1077944384 8919 13248 0 0 658 42 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313209149968 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2304] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.1 cores=0,2,4,6
/proc/2247/task/2304/stat : 2304 (java) S 2244 2247 10805 0 -1 1077944384 8455 13248 0 0 668 34 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313208097424 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2305] ppid=2244 vsize=10849024 memory=634396 CPUtime=6.88 cores=0,2,4,6
/proc/2247/task/2305/stat : 2305 (java) S 2244 2247 10805 0 -1 1077944384 13118 13248 0 0 648 32 5 3 20 0 15 0 408535604 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313163655664 140313637018242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2306] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2306/stat : 2306 (java) S 2244 2247 10805 0 -1 1077944384 15 13248 0 0 0 0 5 3 20 0 15 0 408535604 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313091892704 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2307] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2307/stat : 2307 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535604 11109400576 158599 33554432000 4194304 4196468 140722063558224 140312957675008 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2308] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2308/stat : 2308 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140312353696464 140313637025691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2309] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.63 cores=0,2,4,6
/proc/2247/task/2309/stat : 2309 (java) S 2244 2247 10805 0 -1 1077944384 36518 13248 0 0 747 8 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313162602480 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2310] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.7 cores=0,2,4,6
/proc/2247/task/2310/stat : 2310 (java) S 2244 2247 10805 0 -1 1077944384 31459 13248 0 0 754 8 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313161549936 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2311] ppid=2244 vsize=10849024 memory=38244 CPUtime=4.79 cores=0,2,4,6
/proc/2247/task/2311/stat : 2311 (java) S 2244 2247 10805 0 -1 1077944384 36878 13248 0 0 464 7 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313160497392 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2312] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2312/stat : 2312 (java) S 2244 2247 10805 0 -1 1077944384 3 13248 0 0 0 0 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140311883934304 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2313] ppid=2244 vsize=10849024 memory=634396 CPUtime=1.37 cores=0,2,4,6
/proc/2247/task/2313/stat : 2313 (java) S 2244 2247 10805 0 -1 1077944384 774 13248 0 0 64 65 5 3 20 0 15 0 408535608 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313058335536 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
Current children cumulated CPU time: 2361.29 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 634396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2360.7 s]
/proc/loadavg: 1.47 1.37 1.42 3/227 2665
/proc/meminfo: memFree=27005068/32770624 swapFree=66998520/67108860
[pid=2247] ppid=2244 vsize=10849024 memory=634396 CPUtime=2400 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2244 2247 10805 0 -1 1077944320 214954 13248 0 0 239733 259 5 3 20 0 15 0 408535592 11109400576 158599 33554432000 4194304 4196468 140722063558224 140722063540768 140313637007095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
/proc/2247/statm: 2712256 158599 3625 1 0 2674317 0
[pid=2247/tid=2300] ppid=2244 vsize=10849024 memory=634396 CPUtime=2343.29 cores=0,2,4,6
/proc/2247/task/2300/stat : 2300 (java) R 2244 2247 10805 0 -1 4202560 56539 13248 0 0 234288 33 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313608837568 140313254428048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2301] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.2 cores=0,2,4,6
/proc/2247/task/2301/stat : 2301 (java) S 2244 2247 10805 0 -1 1077944384 8801 13248 0 0 675 37 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313641249040 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2302] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.22 cores=0,2,4,6
/proc/2247/task/2302/stat : 2302 (java) S 2244 2247 10805 0 -1 1077944384 11247 13248 0 0 675 39 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313210202512 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2303] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.2 cores=0,2,4,6
/proc/2247/task/2303/stat : 2303 (java) S 2244 2247 10805 0 -1 1077944384 8922 13248 0 0 669 43 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313209149968 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2304] ppid=2244 vsize=10849024 memory=634284 CPUtime=7.21 cores=0,2,4,6
/proc/2247/task/2304/stat : 2304 (java) S 2244 2247 10805 0 -1 1077944384 8458 13248 0 0 679 34 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313208097424 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2305] ppid=2244 vsize=10849024 memory=634396 CPUtime=6.99 cores=0,2,4,6
/proc/2247/task/2305/stat : 2305 (java) S 2244 2247 10805 0 -1 1077944384 13125 13248 0 0 659 32 5 3 20 0 15 0 408535604 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313163655664 140313637018242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2306] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2306/stat : 2306 (java) S 2244 2247 10805 0 -1 1077944384 15 13248 0 0 0 0 5 3 20 0 15 0 408535604 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313091892704 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2307] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2307/stat : 2307 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535604 11109400576 158599 33554432000 4194304 4196468 140722063558224 140312957675008 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2308] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2308/stat : 2308 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140312353696464 140313637025691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2309] ppid=2244 vsize=10849024 memory=279775780788448 CPUtime=7.63 cores=0,2,4,6
/proc/2247/task/2309/stat : 2309 (java) S 2244 2247 10805 0 -1 1077944384 36518 13248 0 0 747 8 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313162602480 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2310] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.7 cores=0,2,4,6
/proc/2247/task/2310/stat : 2310 (java) S 2244 2247 10805 0 -1 1077944384 31459 13248 0 0 754 8 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313161549936 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2311] ppid=2244 vsize=10849024 memory=634396 CPUtime=4.79 cores=0,2,4,6
/proc/2247/task/2311/stat : 2311 (java) S 2244 2247 10805 0 -1 1077944384 36878 13248 0 0 464 7 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313160497392 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2312] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2312/stat : 2312 (java) S 2244 2247 10805 0 -1 1077944384 3 13248 0 0 0 0 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140311883934304 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2313] ppid=2244 vsize=10849024 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/2247/task/2313/stat : 2313 (java) S 2244 2247 10805 0 -1 1077944384 778 13248 0 0 65 66 5 3 20 0 15 0 408535608 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313058335536 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 634396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2360.73 s]
# the end of solver process 2247 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.4 s, system=2.63671 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2360.7 s]
/proc/loadavg: 1.47 1.37 1.42 3/227 2665
/proc/meminfo: memFree=27005068/32770624 swapFree=66998520/67108860
[pid=2247] ppid=2244 vsize=10849024 memory=634396 CPUtime=2400 cores=0,2,4,6
/proc/2247/stat : 2247 (java) S 2244 2247 10805 0 -1 1077944320 214954 13248 0 0 239733 259 5 3 20 0 15 0 408535592 11109400576 158599 33554432000 4194304 4196468 140722063558224 140722063540768 140313637007095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
/proc/2247/statm: 2712256 158599 3625 1 0 2674317 0
[pid=2247/tid=2300] ppid=2244 vsize=10849024 memory=634396 CPUtime=2343.29 cores=0,2,4,6
/proc/2247/task/2300/stat : 2300 (java) R 2244 2247 10805 0 -1 4202560 56539 13248 0 0 234288 33 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313608837568 140313254428048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2301] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.2 cores=0,2,4,6
/proc/2247/task/2301/stat : 2301 (java) S 2244 2247 10805 0 -1 1077944384 8801 13248 0 0 675 37 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313641249040 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2302] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.22 cores=0,2,4,6
/proc/2247/task/2302/stat : 2302 (java) S 2244 2247 10805 0 -1 1077944384 11247 13248 0 0 675 39 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313210202512 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2303] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.2 cores=0,2,4,6
/proc/2247/task/2303/stat : 2303 (java) S 2244 2247 10805 0 -1 1077944384 8922 13248 0 0 669 43 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313209149968 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2304] ppid=2244 vsize=10849024 memory=634284 CPUtime=7.21 cores=0,2,4,6
/proc/2247/task/2304/stat : 2304 (java) S 2244 2247 10805 0 -1 1077944384 8458 13248 0 0 679 34 5 3 20 0 15 0 408535602 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313208097424 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2305] ppid=2244 vsize=10849024 memory=634396 CPUtime=6.99 cores=0,2,4,6
/proc/2247/task/2305/stat : 2305 (java) S 2244 2247 10805 0 -1 1077944384 13125 13248 0 0 659 32 5 3 20 0 15 0 408535604 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313163655664 140313637018242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2306] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2306/stat : 2306 (java) S 2244 2247 10805 0 -1 1077944384 15 13248 0 0 0 0 5 3 20 0 15 0 408535604 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313091892704 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2307] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2307/stat : 2307 (java) S 2244 2247 10805 0 -1 1077944384 1 13248 0 0 0 0 5 3 20 0 15 0 408535604 11109400576 158599 33554432000 4194304 4196468 140722063558224 140312957675008 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2308] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2308/stat : 2308 (java) S 2244 2247 10805 0 -1 1077944384 2 13248 0 0 0 0 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140312353696464 140313637025691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2309] ppid=2244 vsize=10849024 memory=279775780788448 CPUtime=7.63 cores=0,2,4,6
/proc/2247/task/2309/stat : 2309 (java) S 2244 2247 10805 0 -1 1077944384 36518 13248 0 0 747 8 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313162602480 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2310] ppid=2244 vsize=10849024 memory=634396 CPUtime=7.7 cores=0,2,4,6
/proc/2247/task/2310/stat : 2310 (java) S 2244 2247 10805 0 -1 1077944384 31459 13248 0 0 754 8 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313161549936 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2311] ppid=2244 vsize=10849024 memory=634396 CPUtime=4.79 cores=0,2,4,6
/proc/2247/task/2311/stat : 2311 (java) S 2244 2247 10805 0 -1 1077944384 36878 13248 0 0 464 7 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313160497392 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2312] ppid=2244 vsize=10849024 memory=634396 CPUtime=0.08 cores=0,2,4,6
/proc/2247/task/2312/stat : 2312 (java) S 2244 2247 10805 0 -1 1077944384 3 13248 0 0 0 0 5 3 20 0 15 0 408535607 11109400576 158599 33554432000 4194304 4196468 140722063558224 140311883934304 140313637017301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
[pid=2247/tid=2313] ppid=2244 vsize=10849024 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/2247/task/2313/stat : 2313 (java) S 2244 2247 10805 0 -1 1077944384 778 13248 0 0 65 66 5 3 20 0 15 0 408535608 11109400576 158599 33554432000 4194304 4196468 140722063558224 140313058335536 140313637018242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38240256 140722063559413 140722063561925 140722063561925 140722063564751 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 634396 KiB
Child status: 143
Real time (s): 2360.73
CPU time (s): 2400.04
CPU user time (s): 2397.4
CPU system time (s): 2.63671
CPU usage (%): 101.665
Max. virtual memory (cumulated for all children) (KiB): 10852008
Max. memory (cumulated for all children) (KiB): 641436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.4
system time used= 2.63671
maximum resident set size= 641952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228957
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216113
involuntary context switches= 7796
# summary of solver processes directly reported to runsolver:
# pid: 2247
# total CPU time (s): 2400.04
# total CPU user time (s): 2397.4
# total CPU system time (s): 2.63671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9069 second user time and 21.584 second system time
The end