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 (1432 MiB free)
memory of node 1: 16384 MiB (1908 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402921-1568973393/watcher-4402921-1568973393 -o /tmp/evaluation-result-4402921-1568973393/solver-4402921-1568973393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568967599-4735 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1202144846 HOME/instance-4402921-1568973393.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=6289, runsolver pid=6286
[startup+0.101687 s]*
/proc/loadavg: 1.11 1.35 1.37 3/218 6346
/proc/meminfo: memFree=3413496/32770624 swapFree=66998952/67108860
[pid=6289] ppid=6286 vsize=9972712 memory=18864 CPUtime=0.1 cores=0,2,4,6
/proc/6289/stat : 6289 (java) S 6286 6289 4702 0 -1 1077944320 4477 13295 0 0 1 1 5 3 20 0 6 0 473604142 10212057088 4716 33554432000 4194304 4196468 140723596433296 140723596415840 139621928271607 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
/proc/6289/statm: 2493178 4716 1935 1 0 2481616 0
[pid=6289/tid=6342] ppid=6286 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/6289/task/6342/stat : 6342 (java) R 6286 6289 4702 0 -1 4202560 2287 13295 0 0 1 0 5 3 20 0 6 0 473604151 10212057088 4781 33554432000 4194304 4196468 140723596433296 139621900108368 139621920988759 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6343] ppid=6286 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6343/stat : 6343 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 6 0 473604152 10212057088 4781 33554432000 4194304 4196468 140723596433296 139621932514320 139621928281813 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6344] ppid=6286 vsize=9972712 memory=140068584928896 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6344/stat : 6344 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 6 0 473604152 10212057088 4781 33554432000 4194304 4196468 140723596433296 139621820787856 139621928281813 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6345] ppid=6286 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6345/stat : 6345 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 6 0 473604152 10212057088 4781 33554432000 4194304 4196468 140723596433296 139621819734800 139621928281813 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6346] ppid=6286 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6346/stat : 6346 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 6 0 473604152 10212057088 4781 33554432000 4194304 4196468 140723596433296 139621818682256 139621928281813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB
[startup+0.213301 s]*
/proc/loadavg: 1.11 1.35 1.37 4/227 6355
/proc/meminfo: memFree=3395828/32770624 swapFree=66998952/67108860
[pid=6289] ppid=6286 vsize=10820196 memory=39684 CPUtime=0.27 cores=0,2,4,6
/proc/6289/stat : 6289 (java) S 6286 6289 4702 0 -1 1077944320 7382 13295 0 0 18 1 5 3 20 0 15 0 473604142 11079880704 9921 33554432000 4194304 4196468 140723596433296 140723596415840 139621928271607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
/proc/6289/statm: 2705049 9921 3299 1 0 2667149 0
[pid=6289/tid=6342] ppid=6286 vsize=10820196 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/6289/task/6342/stat : 6342 (java) R 6286 6289 4702 0 -1 4202560 3888 13295 0 0 11 0 5 3 20 0 15 0 473604151 11079880704 9921 33554432000 4194304 4196468 140723596433296 139621900082640 139621912352094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6343] ppid=6286 vsize=10820196 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6343/stat : 6343 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604152 11079880704 9921 33554432000 4194304 4196468 140723596433296 139621932514320 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6344] ppid=6286 vsize=10820196 memory=140068584928896 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6344/stat : 6344 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604152 11079880704 9921 33554432000 4194304 4196468 140723596433296 139621820787856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6345] ppid=6286 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6345/stat : 6345 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604152 11079880704 9921 33554432000 4194304 4196468 140723596433296 139621819734800 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6346] ppid=6286 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6346/stat : 6346 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 473604152 11079880704 9921 33554432000 4194304 4196468 140723596433296 139621818682256 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6347] ppid=6286 vsize=10820196 memory=140068584928896 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6347/stat : 6347 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 473604153 11079880704 9921 33554432000 4194304 4196468 140723596433296 139620931016944 139621928282754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6348] ppid=6286 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6348/stat : 6348 (java) S 6286 6289 4702 0 -1 1077944384 33 13295 0 0 0 0 5 3 20 0 15 0 473604154 11079880704 9921 33554432000 4194304 4196468 140723596433296 139620929963168 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6349] ppid=6286 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6349/stat : 6349 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604154 11079880704 9921 33554432000 4194304 4196468 140723596433296 139620796850928 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6350] ppid=6286 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6350/stat : 6350 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604156 11079880704 9921 33554432000 4194304 4196468 140723596433296 139620489451472 139621928290203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6351] ppid=6286 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6289/task/6351/stat : 6351 (java) R 6286 6289 4702 0 -1 4202560 611 13295 0 0 1 0 5 3 20 0 15 0 473604156 11079880704 9921 33554432000 4194304 4196468 140723596433296 139620896406256 139621905532272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6352] ppid=6286 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6289/task/6352/stat : 6352 (java) S 6286 6289 4702 0 -1 1077944384 46 13295 0 0 1 0 5 3 20 0 15 0 473604156 11079880704 9921 33554432000 4194304 4196468 140723596433296 139620895353712 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6353] ppid=6286 vsize=10820196 memory=140068584928896 CPUtime=0.11 cores=0,2,4,6
/proc/6289/task/6353/stat : 6353 (java) S 6286 6289 4702 0 -1 1077944384 602 13295 0 0 3 0 5 3 20 0 15 0 473604156 11079880704 9921 33554432000 4194304 4196468 140723596433296 139620894300656 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6354] ppid=6286 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6354/stat : 6354 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604157 11079880704 9921 33554432000 4194304 4196468 140723596433296 139620455893856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6355] ppid=6286 vsize=10820196 memory=140068584928896 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6355/stat : 6355 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604157 11079880704 9921 33554432000 4194304 4196468 140723596433296 139620893248048 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 39684 KiB
[startup+0.310473 s]*
/proc/loadavg: 1.11 1.35 1.37 4/227 6355
/proc/meminfo: memFree=3385416/32770624 swapFree=66998952/67108860
[pid=6289] ppid=6286 vsize=10820196 memory=47984 CPUtime=0.41 cores=0,2,4,6
/proc/6289/stat : 6289 (java) S 6286 6289 4702 0 -1 1077944320 10768 13295 0 0 30 3 5 3 20 0 15 0 473604142 11079880704 11996 33554432000 4194304 4196468 140723596433296 140723596415840 139621928271607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
/proc/6289/statm: 2705049 11996 3319 1 0 2667149 0
[pid=6289/tid=6342] ppid=6286 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/6289/task/6342/stat : 6342 (java) R 6286 6289 4702 0 -1 4202560 7234 13295 0 0 19 2 5 3 20 0 15 0 473604151 11079880704 11996 33554432000 4194304 4196468 140723596433296 139621900081856 139621912352094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6343] ppid=6286 vsize=10820196 memory=7228393281815011689 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6343/stat : 6343 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604152 11079880704 11996 33554432000 4194304 4196468 140723596433296 139621932514320 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6344] ppid=6286 vsize=10820196 memory=5788339726952981056 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6344/stat : 6344 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604152 11079880704 11996 33554432000 4194304 4196468 140723596433296 139621820787856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6345] ppid=6286 vsize=10820196 memory=7019607156554614982 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6345/stat : 6345 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604152 11079880704 11996 33554432000 4194304 4196468 140723596433296 139621819734800 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6346] ppid=6286 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6346/stat : 6346 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 473604152 11079880704 11996 33554432000 4194304 4196468 140723596433296 139621818682256 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6347] ppid=6286 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6347/stat : 6347 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 473604153 11079880704 11996 33554432000 4194304 4196468 140723596433296 139620931016944 139621928282754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6348] ppid=6286 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6348/stat : 6348 (java) S 6286 6289 4702 0 -1 1077944384 33 13295 0 0 0 0 5 3 20 0 15 0 473604154 11079880704 11996 33554432000 4194304 4196468 140723596433296 139620929963168 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6349] ppid=6286 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6349/stat : 6349 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604154 11079880704 11996 33554432000 4194304 4196468 140723596433296 139620796850928 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6350] ppid=6286 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6350/stat : 6350 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604156 11079880704 11996 33554432000 4194304 4196468 140723596433296 139620489451472 139621928290203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6351] ppid=6286 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6289/task/6351/stat : 6351 (java) S 6286 6289 4702 0 -1 1077944384 611 13295 0 0 2 0 5 3 20 0 15 0 473604156 11079880704 11996 33554432000 4194304 4196468 140723596433296 139620896406256 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6352] ppid=6286 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6289/task/6352/stat : 6352 (java) S 6286 6289 4702 0 -1 1077944384 47 13295 0 0 1 0 5 3 20 0 15 0 473604156 11079880704 11996 33554432000 4194304 4196468 140723596433296 139620895353712 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6353] ppid=6286 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6289/task/6353/stat : 6353 (java) S 6286 6289 4702 0 -1 1077944384 621 13295 0 0 5 0 5 3 20 0 15 0 473604156 11079880704 11996 33554432000 4194304 4196468 140723596433296 139620894300656 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6354] ppid=6286 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6354/stat : 6354 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604157 11079880704 11996 33554432000 4194304 4196468 140723596433296 139620455893856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6355] ppid=6286 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6355/stat : 6355 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604157 11079880704 11996 33554432000 4194304 4196468 140723596433296 139620893248048 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 47984 KiB
[startup+0.700732 s]
/proc/loadavg: 1.11 1.35 1.37 3/227 6355
/proc/meminfo: memFree=3370812/32770624 swapFree=66998952/67108860
[pid=6289] ppid=6286 vsize=10824364 memory=81572 CPUtime=1.16 cores=0,2,4,6
/proc/6289/stat : 6289 (java) S 6286 6289 4702 0 -1 1077944320 15117 13295 0 0 103 5 5 3 20 0 15 0 473604142 11084148736 20342 33554432000 4194304 4196468 140723596433296 140723596415840 139621928271607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
/proc/6289/statm: 2706091 20342 3503 1 0 2668173 0
[pid=6289/tid=6342] ppid=6286 vsize=10824364 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/6289/task/6342/stat : 6342 (java) R 6286 6289 4702 0 -1 4202560 10419 13295 0 0 56 3 5 3 20 0 15 0 473604151 11084148736 20393 33554432000 4194304 4196468 140723596433296 139621900096000 139621912315237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6343] ppid=6286 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6343/stat : 6343 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604152 11084148736 20393 33554432000 4194304 4196468 140723596433296 139621932514320 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6344] ppid=6286 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6344/stat : 6344 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604152 11084148736 20393 33554432000 4194304 4196468 140723596433296 139621820787856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6345] ppid=6286 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6345/stat : 6345 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604152 11084148736 20393 33554432000 4194304 4196468 140723596433296 139621819734800 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6346] ppid=6286 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6346/stat : 6346 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 473604152 11084148736 20393 33554432000 4194304 4196468 140723596433296 139621818682256 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6347] ppid=6286 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6347/stat : 6347 (java) S 6286 6289 4702 0 -1 1077944384 5 13295 0 0 0 0 5 3 20 0 15 0 473604153 11084148736 20393 33554432000 4194304 4196468 140723596433296 139620931016944 139621928282754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6348] ppid=6286 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6348/stat : 6348 (java) S 6286 6289 4702 0 -1 1077944384 33 13295 0 0 0 0 5 3 20 0 15 0 473604154 11084148736 20393 33554432000 4194304 4196468 140723596433296 139620929963168 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6349] ppid=6286 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6349/stat : 6349 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604154 11084148736 20393 33554432000 4194304 4196468 140723596433296 139620796850928 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6350] ppid=6286 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6350/stat : 6350 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604156 11084148736 20393 33554432000 4194304 4196468 140723596433296 139620489451472 139621928290203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6351] ppid=6286 vsize=10824364 memory=140068480124816 CPUtime=0.2 cores=0,2,4,6
/proc/6289/task/6351/stat : 6351 (java) R 6286 6289 4702 0 -1 4202560 1052 13295 0 0 12 0 5 3 20 0 15 0 473604156 11084148736 20393 33554432000 4194304 4196468 140723596433296 139620896394128 139621914285916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6352] ppid=6286 vsize=10824364 memory=24964 CPUtime=0.24 cores=0,2,4,6
/proc/6289/task/6352/stat : 6352 (java) S 6286 6289 4702 0 -1 1077944384 569 13295 0 0 16 0 5 3 20 0 15 0 473604156 11084148736 20393 33554432000 4194304 4196468 140723596433296 139620895353712 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6353] ppid=6286 vsize=10824364 memory=2244 CPUtime=0.25 cores=0,2,4,6
/proc/6289/task/6353/stat : 6353 (java) S 6286 6289 4702 0 -1 1077944384 818 13295 0 0 17 0 5 3 20 0 15 0 473604156 11084148736 20393 33554432000 4194304 4196468 140723596433296 139620894300656 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6354] ppid=6286 vsize=10824364 memory=140068480122224 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6354/stat : 6354 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604157 11084148736 20393 33554432000 4194304 4196468 140723596433296 139620455893856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6355] ppid=6286 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6355/stat : 6355 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604157 11084148736 20393 33554432000 4194304 4196468 140723596433296 139620893248048 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81572 KiB
[startup+1.50075 s]
/proc/loadavg: 1.18 1.36 1.37 5/227 6355
/proc/meminfo: memFree=3316164/32770624 swapFree=66998952/67108860
[pid=6289] ppid=6286 vsize=10834680 memory=203184 CPUtime=3.17 cores=0,2,4,6
/proc/6289/stat : 6289 (java) S 6286 6289 4702 0 -1 1077944320 29686 13295 0 0 297 12 5 3 20 0 15 0 473604142 11094712320 50796 33554432000 4194304 4196468 140723596433296 140723596415840 139621928271607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
/proc/6289/statm: 2708670 50796 3585 1 0 2670733 0
[pid=6289/tid=6342] ppid=6286 vsize=10834680 memory=26 CPUtime=1.42 cores=0,2,4,6
/proc/6289/task/6342/stat : 6342 (java) R 6286 6289 4702 0 -1 4202560 15715 13295 0 0 128 6 5 3 20 0 15 0 473604151 11094712320 50796 33554432000 4194304 4196468 140723596433296 139621900101648 139621913638306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6343] ppid=6286 vsize=10834680 memory=32 CPUtime=0.09 cores=0,2,4,6
/proc/6289/task/6343/stat : 6343 (java) S 6286 6289 4702 0 -1 1077944384 331 13295 0 0 1 0 5 3 20 0 15 0 473604152 11094712320 50796 33554432000 4194304 4196468 140723596433296 139621932514320 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6344] ppid=6286 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6289/task/6344/stat : 6344 (java) S 6286 6289 4702 0 -1 1077944384 20 13295 0 0 1 0 5 3 20 0 15 0 473604152 11094712320 50796 33554432000 4194304 4196468 140723596433296 139621820787856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6345] ppid=6286 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6289/task/6345/stat : 6345 (java) S 6286 6289 4702 0 -1 1077944384 64 13295 0 0 1 0 5 3 20 0 15 0 473604152 11094712320 50796 33554432000 4194304 4196468 140723596433296 139621819734800 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6346] ppid=6286 vsize=10834680 memory=101732 CPUtime=0.09 cores=0,2,4,6
/proc/6289/task/6346/stat : 6346 (java) S 6286 6289 4702 0 -1 1077944384 55 13295 0 0 1 0 5 3 20 0 15 0 473604152 11094712320 50796 33554432000 4194304 4196468 140723596433296 139621818682256 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6347] ppid=6286 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6289/task/6347/stat : 6347 (java) S 6286 6289 4702 0 -1 1077944384 110 13295 0 0 1 0 5 3 20 0 15 0 473604153 11094712320 50796 33554432000 4194304 4196468 140723596433296 139620931016944 139621928282754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6348] ppid=6286 vsize=10834680 memory=7014751519616620389 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6348/stat : 6348 (java) S 6286 6289 4702 0 -1 1077944384 34 13295 0 0 0 0 5 3 20 0 15 0 473604154 11094712320 50796 33554432000 4194304 4196468 140723596433296 139620929963232 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6349] ppid=6286 vsize=10834680 memory=7734485324317615705 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6349/stat : 6349 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 473604154 11094712320 50796 33554432000 4194304 4196468 140723596433296 139620796850944 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6350] ppid=6286 vsize=10834680 memory=7378987904914712167 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6350/stat : 6350 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604156 11094712320 50796 33554432000 4194304 4196468 140723596433296 139620489451472 139621928290203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6351] ppid=6286 vsize=10834680 memory=5571041044932483173 CPUtime=0.65 cores=0,2,4,6
/proc/6289/task/6351/stat : 6351 (java) S 6286 6289 4702 0 -1 1077944384 5927 13295 0 0 57 0 5 3 20 0 15 0 473604156 11094712320 50796 33554432000 4194304 4196468 140723596433296 139620896406256 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6352] ppid=6286 vsize=10834680 memory=7447104857869870184 CPUtime=0.66 cores=0,2,4,6
/proc/6289/task/6352/stat : 6352 (java) S 6286 6289 4702 0 -1 1077944384 2990 13295 0 0 58 0 5 3 20 0 15 0 473604156 11094712320 50796 33554432000 4194304 4196468 140723596433296 139620895353712 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6353] ppid=6286 vsize=10834680 memory=7014751519616620389 CPUtime=0.53 cores=0,2,4,6
/proc/6289/task/6353/stat : 6353 (java) R 6286 6289 4702 0 -1 4202560 2221 13295 0 0 45 0 5 3 20 0 15 0 473604156 11094712320 50796 33554432000 4194304 4196468 140723596433296 139620894300656 139621920508734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6354] ppid=6286 vsize=10834680 memory=7014751519616620389 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6354/stat : 6354 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604157 11094712320 50796 33554432000 4194304 4196468 140723596433296 139620455893856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6355] ppid=6286 vsize=10834680 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6355/stat : 6355 (java) S 6286 6289 4702 0 -1 1077944384 1 13295 0 0 0 0 5 3 20 0 15 0 473604157 11094712320 50796 33554432000 4194304 4196468 140723596433296 139620893248048 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/6289/task/6342/stat : 6342 (java) R 6286 6289 4702 0 -1 4202560 70947 13295 0 0 235621 54 5 3 20 0 15 0 473604151 11113619456 188130 33554432000 4194304 4196468 140723596433296 139621900106976 139621506137554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6343] ppid=6286 vsize=10853144 memory=750576 CPUtime=13.13 cores=0,2,4,6
/proc/6289/task/6343/stat : 6343 (java) S 6286 6289 4702 0 -1 1077944384 15821 13295 0 0 1255 50 5 3 20 0 15 0 473604152 11113619456 188130 33554432000 4194304 4196468 140723596433296 139621932514320 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6344] ppid=6286 vsize=10853144 memory=752520 CPUtime=13.08 cores=0,2,4,6
/proc/6289/task/6344/stat : 6344 (java) S 6286 6289 4702 0 -1 1077944384 17480 13295 0 0 1245 55 5 3 20 0 15 0 473604152 11113619456 188130 33554432000 4194304 4196468 140723596433296 139621820787856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6345] ppid=6286 vsize=10853144 memory=3580 CPUtime=13.1 cores=0,2,4,6
/proc/6289/task/6345/stat : 6345 (java) S 6286 6289 4702 0 -1 1077944384 13209 13295 0 0 1247 55 5 3 20 0 15 0 473604152 11113619456 188130 33554432000 4194304 4196468 140723596433296 139621819734800 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6346] ppid=6286 vsize=10853144 memory=752520 CPUtime=13.08 cores=0,2,4,6
/proc/6289/task/6346/stat : 6346 (java) S 6286 6289 4702 0 -1 1077944384 13658 13295 0 0 1246 54 5 3 20 0 15 0 473604152 11113619456 188130 33554432000 4194304 4196468 140723596433296 139621818682256 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6347] ppid=6286 vsize=10853144 memory=752520 CPUtime=9.8 cores=0,2,4,6
/proc/6289/task/6347/stat : 6347 (java) S 6286 6289 4702 0 -1 1077944384 16267 13295 0 0 918 54 5 3 20 0 15 0 473604153 11113619456 188130 33554432000 4194304 4196468 140723596433296 139620931016944 139621928282754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6348] ppid=6286 vsize=10853144 memory=750576 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6348/stat : 6348 (java) S 6286 6289 4702 0 -1 1077944384 38 13295 0 0 0 0 5 3 20 0 15 0 473604154 11113619456 188130 33554432000 4194304 4196468 140723596433296 139620929963232 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6349] ppid=6286 vsize=10853144 memory=752520 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6349/stat : 6349 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 473604154 11113619456 188130 33554432000 4194304 4196468 140723596433296 139620796850944 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6350] ppid=6286 vsize=10853144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6350/stat : 6350 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604156 11113619456 188130 33554432000 4194304 4196468 140723596433296 139620489451472 139621928290203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6351] ppid=6286 vsize=10853144 memory=757868 CPUtime=7.43 cores=0,2,4,6
/proc/6289/task/6351/stat : 6351 (java) S 6286 6289 4702 0 -1 1077944384 50416 13295 0 0 727 8 5 3 20 0 15 0 473604156 11113619456 188130 33554432000 4194304 4196468 140723596433296 139620896406256 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6352] ppid=6286 vsize=10853144 memory=3580 CPUtime=7 cores=0,2,4,6
/proc/6289/task/6352/stat : 6352 (java) S 6286 6289 4702 0 -1 1077944384 41145 13295 0 0 685 7 5 3 20 0 15 0 473604156 11113619456 188130 33554432000 4194304 4196468 140723596433296 139620895353712 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6353] ppid=6286 vsize=10853144 memory=750576 CPUtime=6.19 cores=0,2,4,6
/proc/6289/task/6353/stat : 6353 (java) S 6286 6289 4702 0 -1 1077944384 58354 13295 0 0 601 10 5 3 20 0 15 0 473604156 11113619456 188130 33554432000 4194304 4196468 140723596433296 139620894300656 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6354] ppid=6286 vsize=10853144 memory=751712 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6354/stat : 6354 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604157 11113619456 188130 33554432000 4194304 4196468 140723596433296 139620455893856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6355] ppid=6286 vsize=10853144 memory=750576 CPUtime=1.44 cores=0,2,4,6
/proc/6289/task/6355/stat : 6355 (java) S 6286 6289 4702 0 -1 1077944384 1187 13295 0 0 72 64 5 3 20 0 15 0 473604157 11113619456 188130 33554432000 4194304 4196468 140723596433296 139620893248048 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
Current children cumulated CPU time: 2440.47 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 752520 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.44 1.78 3/228 6859
/proc/meminfo: memFree=8060164/32770624 swapFree=66998964/67108860
[pid=6289] ppid=6286 vsize=10853144 memory=754568 CPUtime=2501.56 cores=0,2,4,6
/proc/6289/stat : 6289 (java) S 6286 6289 4702 0 -1 1077944320 301729 13295 0 0 249780 368 5 3 20 0 15 0 473604142 11113619456 188642 33554432000 4194304 4196468 140723596433296 140723596415840 139621928271607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
/proc/6289/statm: 2713286 188642 3631 1 0 2675341 0
[pid=6289/tid=6342] ppid=6286 vsize=10853144 memory=754568 CPUtime=2416.15 cores=0,2,4,6
/proc/6289/task/6342/stat : 6342 (java) R 6286 6289 4702 0 -1 4202560 71460 13295 0 0 241552 55 5 3 20 0 15 0 473604151 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621900106480 139621504933176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6343] ppid=6286 vsize=10853144 memory=2428 CPUtime=13.49 cores=0,2,4,6
/proc/6289/task/6343/stat : 6343 (java) S 6286 6289 4702 0 -1 1077944384 15875 13295 0 0 1290 51 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621932514320 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6344] ppid=6286 vsize=10853144 memory=754568 CPUtime=13.44 cores=0,2,4,6
/proc/6289/task/6344/stat : 6344 (java) S 6286 6289 4702 0 -1 1077944384 17495 13295 0 0 1280 56 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621820787856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6345] ppid=6286 vsize=10853144 memory=754568 CPUtime=13.47 cores=0,2,4,6
/proc/6289/task/6345/stat : 6345 (java) S 6286 6289 4702 0 -1 1077944384 13251 13295 0 0 1282 57 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621819734800 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6346] ppid=6286 vsize=10853144 memory=754568 CPUtime=13.45 cores=0,2,4,6
/proc/6289/task/6346/stat : 6346 (java) S 6286 6289 4702 0 -1 1077944384 13810 13295 0 0 1282 55 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621818682256 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6347] ppid=6286 vsize=10853144 memory=754568 CPUtime=10.07 cores=0,2,4,6
/proc/6289/task/6347/stat : 6347 (java) S 6286 6289 4702 0 -1 1077944384 16465 13295 0 0 943 56 5 3 20 0 15 0 473604153 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620931016944 139621928282754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6348] ppid=6286 vsize=10853144 memory=754568 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6348/stat : 6348 (java) S 6286 6289 4702 0 -1 1077944384 38 13295 0 0 0 0 5 3 20 0 15 0 473604154 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620929963232 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6349] ppid=6286 vsize=10853144 memory=754568 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6349/stat : 6349 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 473604154 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620796850944 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6350] ppid=6286 vsize=10853144 memory=754568 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6350/stat : 6350 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620489451472 139621928290203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6351] ppid=6286 vsize=10853144 memory=754568 CPUtime=7.43 cores=0,2,4,6
/proc/6289/task/6351/stat : 6351 (java) S 6286 6289 4702 0 -1 1077944384 50417 13295 0 0 727 8 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620896406256 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6352] ppid=6286 vsize=10853144 memory=754568 CPUtime=7 cores=0,2,4,6
/proc/6289/task/6352/stat : 6352 (java) S 6286 6289 4702 0 -1 1077944384 41145 13295 0 0 685 7 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620895353712 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6353] ppid=6286 vsize=10853144 memory=754568 CPUtime=6.19 cores=0,2,4,6
/proc/6289/task/6353/stat : 6353 (java) S 6286 6289 4702 0 -1 1077944384 58354 13295 0 0 601 10 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620894300656 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6354] ppid=6286 vsize=10853144 memory=754568 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6354/stat : 6354 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604157 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620455893856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6355] ppid=6286 vsize=10853144 memory=754568 CPUtime=1.48 cores=0,2,4,6
/proc/6289/task/6355/stat : 6355 (java) S 6286 6289 4702 0 -1 1077944384 1201 13295 0 0 74 66 5 3 20 0 15 0 473604157 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620893248048 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
Current children cumulated CPU time: 2501.56 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 754568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2460.5 s]
/proc/loadavg: 1.35 1.45 1.77 3/227 6859
/proc/meminfo: memFree=8060296/32770624 swapFree=66998964/67108860
[pid=6289] ppid=6286 vsize=10853144 memory=754568 CPUtime=2520.09 cores=0,2,4,6
/proc/6289/stat : 6289 (java) S 6286 6289 4702 0 -1 1077944320 302344 13295 0 0 251631 370 5 3 20 0 15 0 473604142 11113619456 188642 33554432000 4194304 4196468 140723596433296 140723596415840 139621928271607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
/proc/6289/statm: 2713286 188642 3631 1 0 2675341 0
[pid=6289/tid=6342] ppid=6286 vsize=10853144 memory=754568 CPUtime=2434.15 cores=0,2,4,6
/proc/6289/task/6342/stat : 6342 (java) R 6286 6289 4702 0 -1 4202560 71684 13295 0 0 243351 56 5 3 20 0 15 0 473604151 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621900106864 139621498574116 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6343] ppid=6286 vsize=10853144 memory=754568 CPUtime=13.6 cores=0,2,4,6
/proc/6289/task/6343/stat : 6343 (java) S 6286 6289 4702 0 -1 1077944384 16164 13295 0 0 1300 52 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621932514320 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6344] ppid=6286 vsize=10853144 memory=754568 CPUtime=13.55 cores=0,2,4,6
/proc/6289/task/6344/stat : 6344 (java) S 6286 6289 4702 0 -1 1077944384 17524 13295 0 0 1291 56 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621820787856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6345] ppid=6286 vsize=10853144 memory=1660 CPUtime=13.58 cores=0,2,4,6
/proc/6289/task/6345/stat : 6345 (java) S 6286 6289 4702 0 -1 1077944384 13280 13295 0 0 1293 57 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621819734800 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6346] ppid=6286 vsize=10853144 memory=3612 CPUtime=13.57 cores=0,2,4,6
/proc/6289/task/6346/stat : 6346 (java) S 6286 6289 4702 0 -1 1077944384 13836 13295 0 0 1293 56 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621818682256 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6347] ppid=6286 vsize=10853144 memory=754568 CPUtime=10.15 cores=0,2,4,6
/proc/6289/task/6347/stat : 6347 (java) S 6286 6289 4702 0 -1 1077944384 16481 13295 0 0 951 56 5 3 20 0 15 0 473604153 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620931016944 139621928282754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6348] ppid=6286 vsize=10853144 memory=754568 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6348/stat : 6348 (java) S 6286 6289 4702 0 -1 1077944384 38 13295 0 0 0 0 5 3 20 0 15 0 473604154 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620929963232 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6349] ppid=6286 vsize=10853144 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6349/stat : 6349 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 473604154 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620796850944 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6350] ppid=6286 vsize=10853144 memory=752520 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6350/stat : 6350 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620489451472 139621928290203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6351] ppid=6286 vsize=10853144 memory=52496 CPUtime=7.43 cores=0,2,4,6
/proc/6289/task/6351/stat : 6351 (java) S 6286 6289 4702 0 -1 1077944384 50417 13295 0 0 727 8 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620896406256 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6352] ppid=6286 vsize=10853144 memory=280136960604224 CPUtime=7 cores=0,2,4,6
/proc/6289/task/6352/stat : 6352 (java) S 6286 6289 4702 0 -1 1077944384 41145 13295 0 0 685 7 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620895353712 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6353] ppid=6286 vsize=10853144 memory=754568 CPUtime=6.19 cores=0,2,4,6
/proc/6289/task/6353/stat : 6353 (java) S 6286 6289 4702 0 -1 1077944384 58354 13295 0 0 601 10 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620894300656 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6354] ppid=6286 vsize=10853144 memory=754568 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6354/stat : 6354 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604157 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620455893856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6355] ppid=6286 vsize=10853144 memory=754568 CPUtime=1.49 cores=0,2,4,6
/proc/6289/task/6355/stat : 6355 (java) S 6286 6289 4702 0 -1 1077944384 1203 13295 0 0 74 67 5 3 20 0 15 0 473604157 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620893248048 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 754568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2460.53 s]
# the end of solver process 6289 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.39 s, system=3.75281 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2460.5 s]
/proc/loadavg: 1.35 1.45 1.77 3/227 6859
/proc/meminfo: memFree=8060296/32770624 swapFree=66998964/67108860
[pid=6289] ppid=6286 vsize=10853144 memory=754568 CPUtime=2520.09 cores=0,2,4,6
/proc/6289/stat : 6289 (java) S 6286 6289 4702 0 -1 1077944320 302344 13295 0 0 251631 370 5 3 20 0 15 0 473604142 11113619456 188642 33554432000 4194304 4196468 140723596433296 140723596415840 139621928271607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
/proc/6289/statm: 2713286 188642 3631 1 0 2675341 0
[pid=6289/tid=6342] ppid=6286 vsize=10853144 memory=754568 CPUtime=2434.15 cores=0,2,4,6
/proc/6289/task/6342/stat : 6342 (java) R 6286 6289 4702 0 -1 4202560 71684 13295 0 0 243351 56 5 3 20 0 15 0 473604151 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621900106864 139621498574116 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6343] ppid=6286 vsize=10853144 memory=754568 CPUtime=13.6 cores=0,2,4,6
/proc/6289/task/6343/stat : 6343 (java) S 6286 6289 4702 0 -1 1077944384 16164 13295 0 0 1300 52 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621932514320 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6344] ppid=6286 vsize=10853144 memory=754568 CPUtime=13.55 cores=0,2,4,6
/proc/6289/task/6344/stat : 6344 (java) S 6286 6289 4702 0 -1 1077944384 17524 13295 0 0 1291 56 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621820787856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6345] ppid=6286 vsize=10853144 memory=1660 CPUtime=13.58 cores=0,2,4,6
/proc/6289/task/6345/stat : 6345 (java) S 6286 6289 4702 0 -1 1077944384 13280 13295 0 0 1293 57 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621819734800 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6346] ppid=6286 vsize=10853144 memory=3612 CPUtime=13.57 cores=0,2,4,6
/proc/6289/task/6346/stat : 6346 (java) S 6286 6289 4702 0 -1 1077944384 13836 13295 0 0 1293 56 5 3 20 0 15 0 473604152 11113619456 188642 33554432000 4194304 4196468 140723596433296 139621818682256 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6347] ppid=6286 vsize=10853144 memory=754568 CPUtime=10.15 cores=0,2,4,6
/proc/6289/task/6347/stat : 6347 (java) S 6286 6289 4702 0 -1 1077944384 16481 13295 0 0 951 56 5 3 20 0 15 0 473604153 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620931016944 139621928282754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6348] ppid=6286 vsize=10853144 memory=754568 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6348/stat : 6348 (java) S 6286 6289 4702 0 -1 1077944384 38 13295 0 0 0 0 5 3 20 0 15 0 473604154 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620929963232 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6349] ppid=6286 vsize=10853144 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6349/stat : 6349 (java) S 6286 6289 4702 0 -1 1077944384 2 13295 0 0 0 0 5 3 20 0 15 0 473604154 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620796850944 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6350] ppid=6286 vsize=10853144 memory=752520 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6350/stat : 6350 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620489451472 139621928290203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6351] ppid=6286 vsize=10853144 memory=52496 CPUtime=7.43 cores=0,2,4,6
/proc/6289/task/6351/stat : 6351 (java) S 6286 6289 4702 0 -1 1077944384 50417 13295 0 0 727 8 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620896406256 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6352] ppid=6286 vsize=10853144 memory=280136960604224 CPUtime=7 cores=0,2,4,6
/proc/6289/task/6352/stat : 6352 (java) S 6286 6289 4702 0 -1 1077944384 41145 13295 0 0 685 7 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620895353712 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6353] ppid=6286 vsize=10853144 memory=754568 CPUtime=6.19 cores=0,2,4,6
/proc/6289/task/6353/stat : 6353 (java) S 6286 6289 4702 0 -1 1077944384 58354 13295 0 0 601 10 5 3 20 0 15 0 473604156 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620894300656 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6354] ppid=6286 vsize=10853144 memory=754568 CPUtime=0.08 cores=0,2,4,6
/proc/6289/task/6354/stat : 6354 (java) S 6286 6289 4702 0 -1 1077944384 3 13295 0 0 0 0 5 3 20 0 15 0 473604157 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620455893856 139621928281813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
[pid=6289/tid=6355] ppid=6286 vsize=10853144 memory=754568 CPUtime=1.49 cores=0,2,4,6
/proc/6289/task/6355/stat : 6355 (java) S 6286 6289 4702 0 -1 1077944384 1203 13295 0 0 74 67 5 3 20 0 15 0 473604157 11113619456 188642 33554432000 4194304 4196468 140723596433296 139620893248048 139621928282754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27684864 140723596442351 140723596444869 140723596444869 140723596447695 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10853144 KiB
Current children cumulated memory: 754568 KiB
Child status: 143
Real time (s): 2460.53
CPU time (s): 2520.14
CPU user time (s): 2516.39
CPU system time (s): 3.75281
CPU usage (%): 102.423
Max. virtual memory (cumulated for all children) (KiB): 10854016
Max. memory (cumulated for all children) (KiB): 1199872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.75281
maximum resident set size= 1201920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276958
involuntary context switches= 8083
# summary of solver processes directly reported to runsolver:
# pid: 6289
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.39
# total CPU system time (s): 3.75281
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.291 second user time and 22.7902 second system time
The end