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 (7510 MiB free)
memory of node 1: 16384 MiB (9021 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293424-1532318278/watcher-4293424-1532318278 -o /tmp/evaluation-result-4293424-1532318278/solver-4293424-1532318278 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7324 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1342292280 HOME/instance-4293424-1532318278.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
solver pid=11714, runsolver pid=11711
Current StackSize limit: 8192 KiB
[startup+0.100176 s]*
/proc/loadavg: 1.32 1.42 1.59 3/202 11767
/proc/meminfo: memFree=16924516/32770624 swapFree=67108860/67108860
[pid=11714] ppid=11711 vsize=9972712 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/11714/stat : 11714 (java) S 11711 11714 7293 0 -1 1077944320 4290 13269 0 0 1 0 5 3 20 0 6 0 49390985 10212057088 4137 33554432000 4194304 4196468 140721319951056 140721319933600 139697189506807 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
/proc/11714/statm: 2493178 4137 1932 1 0 2481616 0
[pid=11714/tid=11767] ppid=11711 vsize=9972712 memory=4279135704047321741 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11767/stat : 11767 (java) R 11711 11714 7293 0 -1 4202560 2129 13269 0 0 0 0 5 3 20 0 6 0 49390995 10212057088 4203 33554432000 4194304 4196468 140721319951056 139697161343568 139697173587324 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11768] ppid=11711 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11768/stat : 11768 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 6 0 49390995 10212057088 4203 33554432000 4194304 4196468 140721319951056 139697193749392 139697189517013 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11769] ppid=11711 vsize=9972712 memory=140719548950144 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11769/stat : 11769 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 6 0 49390995 10212057088 4203 33554432000 4194304 4196468 140721319951056 139697108568848 139697189517013 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11770] ppid=11711 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11770/stat : 11770 (java) S 11711 11714 7293 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 6 0 49390995 10212057088 4203 33554432000 4194304 4196468 140721319951056 139697107516560 139697189517013 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11771] ppid=11711 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11771/stat : 11771 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 6 0 49390995 10212057088 4203 33554432000 4194304 4196468 140721319951056 139697106463760 139697189517013 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210207 s]*
/proc/loadavg: 1.32 1.42 1.59 3/215 11780
/proc/meminfo: memFree=16902256/32770624 swapFree=67108860/67108860
[pid=11714] ppid=11711 vsize=10818904 memory=41144 CPUtime=0.26 cores=0,2,4,6
/proc/11714/stat : 11714 (java) S 11711 11714 7293 0 -1 1077944320 7476 13269 0 0 16 2 5 3 20 0 15 0 49390985 11078557696 10286 33554432000 4194304 4196468 140721319951056 140721319933600 139697189506807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
/proc/11714/statm: 2704726 10286 2955 1 0 2667149 0
[pid=11714/tid=11767] ppid=11711 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/11714/task/11767/stat : 11767 (java) R 11711 11714 7293 0 -1 4202560 4184 13269 0 0 10 1 5 3 20 0 15 0 49390995 11078557696 10418 33554432000 4194304 4196468 140721319951056 139697161320928 139697169782621 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11768] ppid=11711 vsize=10818904 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11768/stat : 11768 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390995 11078557696 10418 33554432000 4194304 4196468 140721319951056 139697193749392 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11769] ppid=11711 vsize=10818904 memory=140719549240058 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11769/stat : 11769 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390995 11078557696 10418 33554432000 4194304 4196468 140721319951056 139697108568848 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11770] ppid=11711 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11770/stat : 11770 (java) S 11711 11714 7293 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 49390995 11078557696 10418 33554432000 4194304 4196468 140721319951056 139697107516560 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11771] ppid=11711 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11771/stat : 11771 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390995 11078557696 10418 33554432000 4194304 4196468 140721319951056 139697106463760 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11772] ppid=11711 vsize=10818904 memory=140719548950144 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11772/stat : 11772 (java) S 11711 11714 7293 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 49390997 11078557696 10418 33554432000 4194304 4196468 140721319951056 139696716183664 139697189517954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11773] ppid=11711 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11773/stat : 11773 (java) S 11711 11714 7293 0 -1 1077944384 13 13269 0 0 0 0 5 3 20 0 15 0 49390997 11078557696 10418 33554432000 4194304 4196468 140721319951056 139696629867296 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11774] ppid=11711 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11774/stat : 11774 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390998 11078557696 10418 33554432000 4194304 4196468 140721319951056 139696025887856 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11775] ppid=11711 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11775/stat : 11775 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11078557696 10418 33554432000 4194304 4196468 140721319951056 139695718488144 139697189525403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11776] ppid=11711 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11714/task/11776/stat : 11776 (java) S 11711 11714 7293 0 -1 1077944384 424 13269 0 0 1 0 5 3 20 0 15 0 49391000 11078557696 10484 33554432000 4194304 4196468 140721319951056 139696715131504 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11777] ppid=11711 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11714/task/11777/stat : 11777 (java) S 11711 11714 7293 0 -1 1077944384 188 13269 0 0 1 0 5 3 20 0 15 0 49391000 11078557696 10484 33554432000 4194304 4196468 140721319951056 139696714078704 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11778] ppid=11711 vsize=10818904 memory=140719548950144 CPUtime=0.11 cores=0,2,4,6
/proc/11714/task/11778/stat : 11778 (java) S 11711 11714 7293 0 -1 1077944384 607 13269 0 0 3 0 5 3 20 0 15 0 49391000 11078557696 10484 33554432000 4194304 4196468 140721319951056 139696713026416 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11779] ppid=11711 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11779/stat : 11779 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11078557696 10484 33554432000 4194304 4196468 140721319951056 139695684930528 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11780] ppid=11711 vsize=10818904 memory=140719548950144 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11780/stat : 11780 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49391001 11078557696 10484 33554432000 4194304 4196468 140721319951056 139696711973296 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41144 KiB
[startup+0.310215 s]*
/proc/loadavg: 1.32 1.42 1.59 3/215 11780
/proc/meminfo: memFree=16889976/32770624 swapFree=67108860/67108860
[pid=11714] ppid=11711 vsize=10819352 memory=53400 CPUtime=0.39 cores=0,2,4,6
/proc/11714/stat : 11714 (java) S 11711 11714 7293 0 -1 1077944320 10411 13269 0 0 28 3 5 3 20 0 15 0 49390985 11079016448 13350 33554432000 4194304 4196468 140721319951056 140721319933600 139697189506807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
/proc/11714/statm: 2704838 13350 3074 1 0 2667149 0
[pid=11714/tid=11767] ppid=11711 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/11714/task/11767/stat : 11767 (java) R 11711 11714 7293 0 -1 4202560 6963 13269 0 0 19 2 5 3 20 0 15 0 49390995 11079016448 13350 33554432000 4194304 4196468 140721319951056 139697161318816 139697171070367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11768] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11768/stat : 11768 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390995 11079016448 13350 33554432000 4194304 4196468 140721319951056 139697193749392 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11769] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11769/stat : 11769 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390995 11079016448 13350 33554432000 4194304 4196468 140721319951056 139697108568848 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11770] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11770/stat : 11770 (java) S 11711 11714 7293 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 49390995 11079016448 13350 33554432000 4194304 4196468 140721319951056 139697107516560 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11771] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11771/stat : 11771 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390995 11079016448 13350 33554432000 4194304 4196468 140721319951056 139697106463760 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11772] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11772/stat : 11772 (java) S 11711 11714 7293 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 49390997 11079016448 13350 33554432000 4194304 4196468 140721319951056 139696716183664 139697189517954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11773] ppid=11711 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11773/stat : 11773 (java) S 11711 11714 7293 0 -1 1077944384 13 13269 0 0 0 0 5 3 20 0 15 0 49390997 11079016448 13350 33554432000 4194304 4196468 140721319951056 139696629867296 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11774] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11774/stat : 11774 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390998 11079016448 13350 33554432000 4194304 4196468 140721319951056 139696025887856 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11775] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11775/stat : 11775 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11079016448 13350 33554432000 4194304 4196468 140721319951056 139695718488144 139697189525403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11776] ppid=11711 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11714/task/11776/stat : 11776 (java) S 11711 11714 7293 0 -1 1077944384 428 13269 0 0 1 0 5 3 20 0 15 0 49391000 11079016448 13350 33554432000 4194304 4196468 140721319951056 139696715131504 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11777] ppid=11711 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11714/task/11777/stat : 11777 (java) S 11711 11714 7293 0 -1 1077944384 191 13269 0 0 1 0 5 3 20 0 15 0 49391000 11079016448 13350 33554432000 4194304 4196468 140721319951056 139696714078704 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11778] ppid=11711 vsize=10819352 memory=140719548950144 CPUtime=0.13 cores=0,2,4,6
/proc/11714/task/11778/stat : 11778 (java) S 11711 11714 7293 0 -1 1077944384 613 13269 0 0 5 0 5 3 20 0 15 0 49391000 11079016448 13350 33554432000 4194304 4196468 140721319951056 139696713026416 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11779] ppid=11711 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11779/stat : 11779 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11079016448 13350 33554432000 4194304 4196468 140721319951056 139695684930528 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11780] ppid=11711 vsize=10819352 memory=140719548950144 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11780/stat : 11780 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49391001 11079016448 13350 33554432000 4194304 4196468 140721319951056 139696711973296 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53400 KiB
[startup+0.700677 s]
/proc/loadavg: 1.32 1.42 1.59 4/215 11780
/proc/meminfo: memFree=16878316/32770624 swapFree=67108860/67108860
[pid=11714] ppid=11711 vsize=10819352 memory=86476 CPUtime=0.99 cores=0,2,4,6
/proc/11714/stat : 11714 (java) S 11711 11714 7293 0 -1 1077944320 16756 13269 0 0 86 5 5 3 20 0 15 0 49390985 11079016448 21619 33554432000 4194304 4196468 140721319951056 140721319933600 139697189506807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
/proc/11714/statm: 2704838 21619 3237 1 0 2667149 0
[pid=11714/tid=11767] ppid=11711 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11714/task/11767/stat : 11767 (java) R 11711 11714 7293 0 -1 4202560 12155 13269 0 0 55 3 5 3 20 0 15 0 49390995 11079016448 21619 33554432000 4194304 4196468 140721319951056 139697161327632 139697173587294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11768] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11768/stat : 11768 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390995 11079016448 21619 33554432000 4194304 4196468 140721319951056 139697193749392 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11769] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11769/stat : 11769 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390995 11079016448 21619 33554432000 4194304 4196468 140721319951056 139697108568848 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11770] ppid=11711 vsize=10819352 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11770/stat : 11770 (java) S 11711 11714 7293 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 49390995 11079016448 21619 33554432000 4194304 4196468 140721319951056 139697107516560 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11771] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11771/stat : 11771 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390995 11079016448 21619 33554432000 4194304 4196468 140721319951056 139697106463760 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11772] ppid=11711 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11772/stat : 11772 (java) S 11711 11714 7293 0 -1 1077944384 5 13269 0 0 0 0 5 3 20 0 15 0 49390997 11079016448 21619 33554432000 4194304 4196468 140721319951056 139696716183664 139697189517954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11773] ppid=11711 vsize=10819352 memory=140719436214992 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11773/stat : 11773 (java) S 11711 11714 7293 0 -1 1077944384 13 13269 0 0 0 0 5 3 20 0 15 0 49390997 11079016448 21619 33554432000 4194304 4196468 140721319951056 139696629867296 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11774] ppid=11711 vsize=10819352 memory=140720308486755 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11774/stat : 11774 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49390998 11079016448 21619 33554432000 4194304 4196468 140721319951056 139696025887856 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11775] ppid=11711 vsize=10819352 memory=10416 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11775/stat : 11775 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11079016448 21619 33554432000 4194304 4196468 140721319951056 139695718488144 139697189525403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11776] ppid=11711 vsize=10819352 memory=7234564758908855872 CPUtime=0.17 cores=0,2,4,6
/proc/11714/task/11776/stat : 11776 (java) S 11711 11714 7293 0 -1 1077944384 1107 13269 0 0 9 0 5 3 20 0 15 0 49391000 11079016448 21619 33554432000 4194304 4196468 140721319951056 139696715131504 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11777] ppid=11711 vsize=10819352 memory=7597685182856913236 CPUtime=0.15 cores=0,2,4,6
/proc/11714/task/11777/stat : 11777 (java) S 11711 11714 7293 0 -1 1077944384 571 13269 0 0 7 0 5 3 20 0 15 0 49391000 11079016448 21619 33554432000 4194304 4196468 140721319951056 139696714078704 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11778] ppid=11711 vsize=10819352 memory=5787219346483269989 CPUtime=0.21 cores=0,2,4,6
/proc/11714/task/11778/stat : 11778 (java) R 11711 11714 7293 0 -1 4202560 705 13269 0 0 13 0 5 3 20 0 15 0 49391000 11079016448 21619 33554432000 4194304 4196468 140721319951056 139696713026416 139697168091451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11779] ppid=11711 vsize=10819352 memory=4128 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11779/stat : 11779 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11079016448 21619 33554432000 4194304 4196468 140721319951056 139695684930528 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11780] ppid=11711 vsize=10819352 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11780/stat : 11780 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49391001 11079016448 21619 33554432000 4194304 4196468 140721319951056 139696711973296 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86476 KiB
[startup+1.50083 s]
/proc/loadavg: 1.32 1.42 1.59 3/215 11780
/proc/meminfo: memFree=16834856/32770624 swapFree=67108860/67108860
[pid=11714] ppid=11711 vsize=10834252 memory=177308 CPUtime=2.29 cores=0,2,4,6
/proc/11714/stat : 11714 (java) S 11711 11714 7293 0 -1 1077944320 23931 13269 0 0 211 10 5 3 20 0 15 0 49390985 11094274048 44327 33554432000 4194304 4196468 140721319951056 140721319933600 139697189506807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
/proc/11714/statm: 2708563 44327 3470 1 0 2670221 0
[pid=11714/tid=11767] ppid=11711 vsize=10834252 memory=12813 CPUtime=1.43 cores=0,2,4,6
/proc/11714/task/11767/stat : 11767 (java) R 11711 11714 7293 0 -1 4202560 17704 13269 0 0 129 6 5 3 20 0 15 0 49390995 11094274048 44327 33554432000 4194304 4196468 140721319951056 139697161336992 139697171070382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11768] ppid=11711 vsize=10834252 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/11714/task/11768/stat : 11768 (java) S 11711 11714 7293 0 -1 1077944384 29 13269 0 0 1 0 5 3 20 0 15 0 49390995 11094274048 44327 33554432000 4194304 4196468 140721319951056 139697193749392 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11769] ppid=11711 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11714/task/11769/stat : 11769 (java) S 11711 11714 7293 0 -1 1077944384 15 13269 0 0 1 0 5 3 20 0 15 0 49390995 11094274048 44327 33554432000 4194304 4196468 140721319951056 139697108568848 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11770] ppid=11711 vsize=10834252 memory=2114 CPUtime=0.09 cores=0,2,4,6
/proc/11714/task/11770/stat : 11770 (java) S 11711 11714 7293 0 -1 1077944384 73 13269 0 0 1 0 5 3 20 0 15 0 49390995 11094274048 44327 33554432000 4194304 4196468 140721319951056 139697107516560 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11771] ppid=11711 vsize=10834252 memory=86476 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11771/stat : 11771 (java) S 11711 11714 7293 0 -1 1077944384 193 13269 0 0 0 0 5 3 20 0 15 0 49390995 11094274048 44327 33554432000 4194304 4196468 140721319951056 139697106463760 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11772] ppid=11711 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11714/task/11772/stat : 11772 (java) S 11711 11714 7293 0 -1 1077944384 57 13269 0 0 1 0 5 3 20 0 15 0 49390997 11094274048 44327 33554432000 4194304 4196468 140721319951056 139696716183664 139697189517954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11773] ppid=11711 vsize=10834252 memory=281438872371696 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11773/stat : 11773 (java) S 11711 11714 7293 0 -1 1077944384 13 13269 0 0 0 0 5 3 20 0 15 0 49390997 11094274048 44327 33554432000 4194304 4196468 140721319951056 139696629867360 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11774] ppid=11711 vsize=10834252 memory=281438872422496 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11774/stat : 11774 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49390998 11094274048 44327 33554432000 4194304 4196468 140721319951056 139696025887872 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11775] ppid=11711 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11775/stat : 11775 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11094274048 44327 33554432000 4194304 4196468 140721319951056 139695718488144 139697189525403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11776] ppid=11711 vsize=10834252 memory=4638778398332698720 CPUtime=0.3 cores=0,2,4,6
/proc/11714/task/11776/stat : 11776 (java) S 11711 11714 7293 0 -1 1077944384 1572 13269 0 0 22 0 5 3 20 0 15 0 49391000 11094274048 44327 33554432000 4194304 4196468 140721319951056 139696715131504 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11777] ppid=11711 vsize=10834252 memory=281438872705920 CPUtime=0.27 cores=0,2,4,6
/proc/11714/task/11777/stat : 11777 (java) S 11711 11714 7293 0 -1 1077944384 794 13269 0 0 19 0 5 3 20 0 15 0 49391000 11094274048 44327 33554432000 4194304 4196468 140721319951056 139696714078704 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11778] ppid=11711 vsize=10834252 memory=-7531822216213012384 CPUtime=0.4 cores=0,2,4,6
/proc/11714/task/11778/stat : 11778 (java) S 11711 11714 7293 0 -1 1077944384 1283 13269 0 0 32 0 5 3 20 0 15 0 49391000 11094274048 44327 33554432000 4194304 4196468 140721319951056 139696713026416 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11779] ppid=11711 vsize=10834252 memory=-7531822216213012384 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11779/stat : 11779 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11094274048 44327 33554432000 4194304 4196468 140721319951056 139695684930528 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11780] ppid=11711 vsize=10834252 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11780/stat : 11780 (java) S 11711 11714 7293 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 49391001 11094274048 44327 33554432000 4194304 4196468 140721319951056 139696711973296 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/11714/task/11767/stat : 11767 (java) S 11711 11714 7293 0 -1 1077944384 88261 13269 0 0 235744 41 5 3 20 0 15 0 49390995 11176083456 160502 33554432000 4194304 4196468 140721319951056 139697161340736 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11768] ppid=11711 vsize=10914144 memory=639960 CPUtime=13.03 cores=0,2,4,6
/proc/11714/task/11768/stat : 11768 (java) R 11711 11714 7293 0 -1 4202560 16416 13269 0 0 1247 48 5 3 20 0 15 0 49390995 11176083456 160502 33554432000 4194304 4196468 140721319951056 139697193749512 139697182135015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11769] ppid=11711 vsize=10914144 memory=642008 CPUtime=13.03 cores=0,2,4,6
/proc/11714/task/11769/stat : 11769 (java) R 11711 11714 7293 0 -1 1077944384 20307 13269 0 0 1247 48 5 3 20 0 15 0 49390995 11176083456 160502 33554432000 4194304 4196468 140721319951056 139697108568864 139697189517013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11770] ppid=11711 vsize=10914144 memory=649712 CPUtime=13.04 cores=0,2,4,6
/proc/11714/task/11770/stat : 11770 (java) R 11711 11714 7293 0 -1 4202560 16345 13269 0 0 1247 49 5 3 20 0 15 0 49390995 11176083456 160502 33554432000 4194304 4196468 140721319951056 139697107516680 139697182135015 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11771] ppid=11711 vsize=10914144 memory=0 CPUtime=13.05 cores=0,2,4,6
/proc/11714/task/11771/stat : 11771 (java) S 11711 11714 7293 0 -1 1077944384 18048 13269 0 0 1250 47 5 3 20 0 15 0 49390995 11176083456 160502 33554432000 4194304 4196468 140721319951056 139697106463760 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11772] ppid=11711 vsize=10914144 memory=1728 CPUtime=8.53 cores=0,2,4,6
/proc/11714/task/11772/stat : 11772 (java) S 11711 11714 7293 0 -1 1077944384 14029 13269 0 0 799 46 5 3 20 0 15 0 49390997 11176083456 160502 33554432000 4194304 4196468 140721319951056 139696716182176 139697189517013 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11773] ppid=11711 vsize=10914144 memory=642008 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11773/stat : 11773 (java) S 11711 11714 7293 0 -1 1077944384 14 13269 0 0 0 0 5 3 20 0 15 0 49390997 11176083456 160502 33554432000 4194304 4196468 140721319951056 139696629867424 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11774] ppid=11711 vsize=10914144 memory=642008 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11774/stat : 11774 (java) S 11711 11714 7293 0 -1 1077944384 10 13269 0 0 0 0 5 3 20 0 15 0 49390998 11176083456 160502 33554432000 4194304 4196468 140721319951056 139696025887872 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11775] ppid=11711 vsize=10914144 memory=639960 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11775/stat : 11775 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11176083456 160502 33554432000 4194304 4196468 140721319951056 139695718488144 139697189525403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11776] ppid=11711 vsize=10914144 memory=164 CPUtime=4.17 cores=0,2,4,6
/proc/11714/task/11776/stat : 11776 (java) S 11711 11714 7293 0 -1 1077944384 34023 13269 0 0 404 5 5 3 20 0 15 0 49391000 11176083456 160502 33554432000 4194304 4196468 140721319951056 139696715131504 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11777] ppid=11711 vsize=10914144 memory=1580 CPUtime=4.09 cores=0,2,4,6
/proc/11714/task/11777/stat : 11777 (java) S 11711 11714 7293 0 -1 1077944384 30210 13269 0 0 396 5 5 3 20 0 15 0 49391000 11176083456 160502 33554432000 4194304 4196468 140721319951056 139696714078704 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11778] ppid=11711 vsize=10914144 memory=2240 CPUtime=1.8 cores=0,2,4,6
/proc/11714/task/11778/stat : 11778 (java) S 11711 11714 7293 0 -1 1077944384 21403 13269 0 0 168 4 5 3 20 0 15 0 49391000 11176083456 160502 33554432000 4194304 4196468 140721319951056 139696713026416 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11779] ppid=11711 vsize=10914144 memory=16304 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11779/stat : 11779 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11176083456 160502 33554432000 4194304 4196468 140721319951056 139695684930528 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11780] ppid=11711 vsize=10914144 memory=1292 CPUtime=1.47 cores=0,2,4,6
/proc/11714/task/11780/stat : 11780 (java) S 11711 11714 7293 0 -1 1077944384 1255 13269 0 0 71 68 5 3 20 0 15 0 49391001 11176083456 160502 33554432000 4194304 4196468 140721319951056 139696711973296 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
Current children cumulated CPU time: 2429.53 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 642008 KiB
[startup+2442.3 s]
/proc/loadavg: 1.12 1.30 1.37 3/215 12005
/proc/meminfo: memFree=14554664/32770624 swapFree=67108860/67108860
[pid=11714] ppid=11711 vsize=10914144 memory=644056 CPUtime=2490.59 cores=0,2,4,6
/proc/11714/stat : 11714 (java) S 11711 11714 7293 0 -1 1077944320 264239 13269 0 0 248729 322 5 3 20 0 15 0 49390985 11176083456 161014 33554432000 4194304 4196468 140721319951056 140721319933600 139697189506807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
/proc/11714/statm: 2728536 161014 3522 1 0 2690189 0
[pid=11714/tid=11767] ppid=11711 vsize=10914144 memory=642008 CPUtime=2417.3 cores=0,2,4,6
/proc/11714/task/11767/stat : 11767 (java) R 11711 11714 7293 0 -1 4202560 88852 13269 0 0 241681 41 5 3 20 0 15 0 49390995 11176083456 161014 33554432000 4194304 4196468 140721319951056 139697161340208 139696794741376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11768] ppid=11711 vsize=10914144 memory=642008 CPUtime=13.39 cores=0,2,4,6
/proc/11714/task/11768/stat : 11768 (java) S 11711 11714 7293 0 -1 1077944384 16610 13269 0 0 1282 49 5 3 20 0 15 0 49390995 11176083456 161014 33554432000 4194304 4196468 140721319951056 139697193749392 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11769] ppid=11711 vsize=10914144 memory=642008 CPUtime=13.39 cores=0,2,4,6
/proc/11714/task/11769/stat : 11769 (java) S 11711 11714 7293 0 -1 1077944384 20417 13269 0 0 1282 49 5 3 20 0 15 0 49390995 11176083456 161014 33554432000 4194304 4196468 140721319951056 139697108568848 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11770] ppid=11711 vsize=10914144 memory=642008 CPUtime=13.41 cores=0,2,4,6
/proc/11714/task/11770/stat : 11770 (java) S 11711 11714 7293 0 -1 1077944384 16476 13269 0 0 1282 51 5 3 20 0 15 0 49390995 11176083456 161014 33554432000 4194304 4196468 140721319951056 139697107516560 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11771] ppid=11711 vsize=10914144 memory=644056 CPUtime=13.41 cores=0,2,4,6
/proc/11714/task/11771/stat : 11771 (java) S 11711 11714 7293 0 -1 1077944384 18520 13269 0 0 1285 48 5 3 20 0 15 0 49390995 11176083456 161014 33554432000 4194304 4196468 140721319951056 139697106463760 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11772] ppid=11711 vsize=10914144 memory=644056 CPUtime=8.73 cores=0,2,4,6
/proc/11714/task/11772/stat : 11772 (java) S 11711 11714 7293 0 -1 1077944384 14231 13269 0 0 818 47 5 3 20 0 15 0 49390997 11176083456 161014 33554432000 4194304 4196468 140721319951056 139696716183664 139697189517954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11773] ppid=11711 vsize=10914144 memory=644056 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11773/stat : 11773 (java) S 11711 11714 7293 0 -1 1077944384 14 13269 0 0 0 0 5 3 20 0 15 0 49390997 11176083456 161014 33554432000 4194304 4196468 140721319951056 139696629867424 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11774] ppid=11711 vsize=10914144 memory=644056 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11774/stat : 11774 (java) S 11711 11714 7293 0 -1 1077944384 10 13269 0 0 0 0 5 3 20 0 15 0 49390998 11176083456 161014 33554432000 4194304 4196468 140721319951056 139696025887872 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11775] ppid=11711 vsize=10914144 memory=644056 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11775/stat : 11775 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11176083456 161014 33554432000 4194304 4196468 140721319951056 139695718488144 139697189525403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11776] ppid=11711 vsize=10914144 memory=644056 CPUtime=4.17 cores=0,2,4,6
/proc/11714/task/11776/stat : 11776 (java) S 11711 11714 7293 0 -1 1077944384 34025 13269 0 0 404 5 5 3 20 0 15 0 49391000 11176083456 161014 33554432000 4194304 4196468 140721319951056 139696715131504 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11777] ppid=11711 vsize=10914144 memory=0 CPUtime=4.09 cores=0,2,4,6
/proc/11714/task/11777/stat : 11777 (java) S 11711 11714 7293 0 -1 1077944384 30212 13269 0 0 396 5 5 3 20 0 15 0 49391000 11176083456 161014 33554432000 4194304 4196468 140721319951056 139696714078704 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11778] ppid=11711 vsize=10914144 memory=4128 CPUtime=1.8 cores=0,2,4,6
/proc/11714/task/11778/stat : 11778 (java) S 11711 11714 7293 0 -1 1077944384 21405 13269 0 0 168 4 5 3 20 0 15 0 49391000 11176083456 161014 33554432000 4194304 4196468 140721319951056 139696713026416 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11779] ppid=11711 vsize=10914144 memory=644056 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11779/stat : 11779 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11176083456 161014 33554432000 4194304 4196468 140721319951056 139695684930528 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11780] ppid=11711 vsize=10914144 memory=644056 CPUtime=1.52 cores=0,2,4,6
/proc/11714/task/11780/stat : 11780 (java) S 11711 11714 7293 0 -1 1077944384 1273 13269 0 0 74 70 5 3 20 0 15 0 49391001 11176083456 161014 33554432000 4194304 4196468 140721319951056 139696711973296 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
Current children cumulated CPU time: 2490.59 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 644056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.3 s]
/proc/loadavg: 1.35 1.33 1.38 3/215 12006
/proc/meminfo: memFree=14535488/32770624 swapFree=67108860/67108860
[pid=11714] ppid=11711 vsize=10914144 memory=646104 CPUtime=2520.07 cores=0,2,4,6
/proc/11714/stat : 11714 (java) S 11711 11714 7293 0 -1 1077944320 264883 13269 0 0 251674 325 5 3 20 0 15 0 49390985 11176083456 161526 33554432000 4194304 4196468 140721319951056 140721319933600 139697189506807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
/proc/11714/statm: 2728536 161526 3522 1 0 2690189 0
[pid=11714/tid=11767] ppid=11711 vsize=10914144 memory=1232 CPUtime=2446.01 cores=0,2,4,6
/proc/11714/task/11767/stat : 11767 (java) R 11711 11714 7293 0 -1 4202560 89162 13269 0 0 244552 41 5 3 20 0 15 0 49390995 11176083456 161526 33554432000 4194304 4196468 140721319951056 139697161340128 139696795701854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11768] ppid=11711 vsize=10914144 memory=646104 CPUtime=13.56 cores=0,2,4,6
/proc/11714/task/11768/stat : 11768 (java) S 11711 11714 7293 0 -1 1077944384 16662 13269 0 0 1298 50 5 3 20 0 15 0 49390995 11176083456 161526 33554432000 4194304 4196468 140721319951056 139697193749392 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11769] ppid=11711 vsize=10914144 memory=646104 CPUtime=13.55 cores=0,2,4,6
/proc/11714/task/11769/stat : 11769 (java) S 11711 11714 7293 0 -1 1077944384 20655 13269 0 0 1297 50 5 3 20 0 15 0 49390995 11176083456 161526 33554432000 4194304 4196468 140721319951056 139697108568848 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11770] ppid=11711 vsize=10914144 memory=646104 CPUtime=13.57 cores=0,2,4,6
/proc/11714/task/11770/stat : 11770 (java) S 11711 11714 7293 0 -1 1077944384 16482 13269 0 0 1298 51 5 3 20 0 15 0 49390995 11176083456 161526 33554432000 4194304 4196468 140721319951056 139697107516560 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11771] ppid=11711 vsize=10914144 memory=646104 CPUtime=13.58 cores=0,2,4,6
/proc/11714/task/11771/stat : 11771 (java) S 11711 11714 7293 0 -1 1077944384 18529 13269 0 0 1302 48 5 3 20 0 15 0 49390995 11176083456 161526 33554432000 4194304 4196468 140721319951056 139697106463760 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11772] ppid=11711 vsize=10914144 memory=646104 CPUtime=8.81 cores=0,2,4,6
/proc/11714/task/11772/stat : 11772 (java) S 11711 11714 7293 0 -1 1077944384 14250 13269 0 0 826 47 5 3 20 0 15 0 49390997 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696716183664 139697189517954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11773] ppid=11711 vsize=10914144 memory=646104 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11773/stat : 11773 (java) S 11711 11714 7293 0 -1 1077944384 14 13269 0 0 0 0 5 3 20 0 15 0 49390997 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696629867424 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11774] ppid=11711 vsize=10914144 memory=644056 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11774/stat : 11774 (java) S 11711 11714 7293 0 -1 1077944384 10 13269 0 0 0 0 5 3 20 0 15 0 49390998 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696025887872 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11775] ppid=11711 vsize=10914144 memory=646104 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11775/stat : 11775 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11176083456 161526 33554432000 4194304 4196468 140721319951056 139695718488144 139697189525403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11776] ppid=11711 vsize=10914144 memory=960 CPUtime=4.17 cores=0,2,4,6
/proc/11714/task/11776/stat : 11776 (java) S 11711 11714 7293 0 -1 1077944384 34027 13269 0 0 404 5 5 3 20 0 15 0 49391000 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696715131504 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11777] ppid=11711 vsize=10914144 memory=646104 CPUtime=4.09 cores=0,2,4,6
/proc/11714/task/11777/stat : 11777 (java) S 11711 11714 7293 0 -1 1077944384 30214 13269 0 0 396 5 5 3 20 0 15 0 49391000 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696714078704 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11778] ppid=11711 vsize=10914144 memory=646104 CPUtime=1.8 cores=0,2,4,6
/proc/11714/task/11778/stat : 11778 (java) S 11711 11714 7293 0 -1 1077944384 21407 13269 0 0 168 4 5 3 20 0 15 0 49391000 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696713026416 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11779] ppid=11711 vsize=10914144 memory=281438873251552 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11779/stat : 11779 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11176083456 161526 33554432000 4194304 4196468 140721319951056 139695684930528 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11780] ppid=11711 vsize=10914144 memory=1008 CPUtime=1.52 cores=0,2,4,6
/proc/11714/task/11780/stat : 11780 (java) S 11711 11714 7293 0 -1 1077944384 1277 13269 0 0 74 70 5 3 20 0 15 0 49391001 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696711973296 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 646104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.34 s]
# the end of solver process 11714 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.81 s, system=3.29705 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.3 s]
/proc/loadavg: 1.35 1.33 1.38 3/215 12006
/proc/meminfo: memFree=14535488/32770624 swapFree=67108860/67108860
[pid=11714] ppid=11711 vsize=10914144 memory=646104 CPUtime=2520.07 cores=0,2,4,6
/proc/11714/stat : 11714 (java) S 11711 11714 7293 0 -1 1077944320 264883 13269 0 0 251674 325 5 3 20 0 15 0 49390985 11176083456 161526 33554432000 4194304 4196468 140721319951056 140721319933600 139697189506807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
/proc/11714/statm: 2728536 161526 3522 1 0 2690189 0
[pid=11714/tid=11767] ppid=11711 vsize=10914144 memory=1232 CPUtime=2446.01 cores=0,2,4,6
/proc/11714/task/11767/stat : 11767 (java) R 11711 11714 7293 0 -1 4202560 89162 13269 0 0 244552 41 5 3 20 0 15 0 49390995 11176083456 161526 33554432000 4194304 4196468 140721319951056 139697161340128 139696795701854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11768] ppid=11711 vsize=10914144 memory=646104 CPUtime=13.56 cores=0,2,4,6
/proc/11714/task/11768/stat : 11768 (java) S 11711 11714 7293 0 -1 1077944384 16662 13269 0 0 1298 50 5 3 20 0 15 0 49390995 11176083456 161526 33554432000 4194304 4196468 140721319951056 139697193749392 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11769] ppid=11711 vsize=10914144 memory=646104 CPUtime=13.55 cores=0,2,4,6
/proc/11714/task/11769/stat : 11769 (java) S 11711 11714 7293 0 -1 1077944384 20655 13269 0 0 1297 50 5 3 20 0 15 0 49390995 11176083456 161526 33554432000 4194304 4196468 140721319951056 139697108568848 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11770] ppid=11711 vsize=10914144 memory=646104 CPUtime=13.57 cores=0,2,4,6
/proc/11714/task/11770/stat : 11770 (java) S 11711 11714 7293 0 -1 1077944384 16482 13269 0 0 1298 51 5 3 20 0 15 0 49390995 11176083456 161526 33554432000 4194304 4196468 140721319951056 139697107516560 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11771] ppid=11711 vsize=10914144 memory=646104 CPUtime=13.58 cores=0,2,4,6
/proc/11714/task/11771/stat : 11771 (java) S 11711 11714 7293 0 -1 1077944384 18529 13269 0 0 1302 48 5 3 20 0 15 0 49390995 11176083456 161526 33554432000 4194304 4196468 140721319951056 139697106463760 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11772] ppid=11711 vsize=10914144 memory=646104 CPUtime=8.81 cores=0,2,4,6
/proc/11714/task/11772/stat : 11772 (java) S 11711 11714 7293 0 -1 1077944384 14250 13269 0 0 826 47 5 3 20 0 15 0 49390997 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696716183664 139697189517954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11773] ppid=11711 vsize=10914144 memory=646104 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11773/stat : 11773 (java) S 11711 11714 7293 0 -1 1077944384 14 13269 0 0 0 0 5 3 20 0 15 0 49390997 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696629867424 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11774] ppid=11711 vsize=10914144 memory=644056 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11774/stat : 11774 (java) S 11711 11714 7293 0 -1 1077944384 10 13269 0 0 0 0 5 3 20 0 15 0 49390998 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696025887872 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11775] ppid=11711 vsize=10914144 memory=646104 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11775/stat : 11775 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11176083456 161526 33554432000 4194304 4196468 140721319951056 139695718488144 139697189525403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11776] ppid=11711 vsize=10914144 memory=960 CPUtime=4.17 cores=0,2,4,6
/proc/11714/task/11776/stat : 11776 (java) S 11711 11714 7293 0 -1 1077944384 34027 13269 0 0 404 5 5 3 20 0 15 0 49391000 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696715131504 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11777] ppid=11711 vsize=10914144 memory=646104 CPUtime=4.09 cores=0,2,4,6
/proc/11714/task/11777/stat : 11777 (java) S 11711 11714 7293 0 -1 1077944384 30214 13269 0 0 396 5 5 3 20 0 15 0 49391000 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696714078704 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11778] ppid=11711 vsize=10914144 memory=646104 CPUtime=1.8 cores=0,2,4,6
/proc/11714/task/11778/stat : 11778 (java) S 11711 11714 7293 0 -1 1077944384 21407 13269 0 0 168 4 5 3 20 0 15 0 49391000 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696713026416 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11779] ppid=11711 vsize=10914144 memory=281438873251552 CPUtime=0.08 cores=0,2,4,6
/proc/11714/task/11779/stat : 11779 (java) S 11711 11714 7293 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 49391000 11176083456 161526 33554432000 4194304 4196468 140721319951056 139695684930528 139697189517013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
[pid=11714/tid=11780] ppid=11711 vsize=10914144 memory=1008 CPUtime=1.52 cores=0,2,4,6
/proc/11714/task/11780/stat : 11780 (java) S 11711 11714 7293 0 -1 1077944384 1277 13269 0 0 74 70 5 3 20 0 15 0 49391001 11176083456 161526 33554432000 4194304 4196468 140721319951056 139696711973296 139697189517954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140721319959150 140721319961948 140721319961948 140721319964623 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 646104 KiB
Child status: 143
Real time (s): 2471.34
CPU time (s): 2520.11
CPU user time (s): 2516.81
CPU system time (s): 3.29705
CPU usage (%): 101.974
Max. virtual memory (cumulated for all children) (KiB): 10916852
Max. memory (cumulated for all children) (KiB): 656500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.81
system time used= 3.29705
maximum resident set size= 658540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 243279
involuntary context switches= 7833
# summary of solver processes directly reported to runsolver:
# pid: 11714
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.81
# total CPU system time (s): 3.29705
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.109 second user time and 23.6867 second system time
The end