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 (7556 MiB free)
memory of node 1: 16384 MiB (15013 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302791-1532898919/watcher-4302791-1532898919 -o /tmp/evaluation-result-4302791-1532898919/solver-4302791-1532898919 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1847277242 -superng HOME/instance-4302791-1532898919.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=22384, runsolver pid=22381
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.57 1.70 1.76 3/206 22441
/proc/meminfo: memFree=23103344/32770624 swapFree=67108404/67108860
[pid=22384] ppid=22381 vsize=10005480 memory=17084 CPUtime=0.08 cores=1,3,5,7
/proc/22384/stat : 22384 (java) S 22381 22384 12222 0 -1 1077944320 4446 13290 0 0 1 0 5 2 20 0 6 0 107455041 10245611520 4271 33554432000 4194304 4196468 140732612885664 140732612868208 139693226544887 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
/proc/22384/statm: 2501370 4271 1935 1 0 2489808 0
[pid=22384/tid=22437] ppid=22381 vsize=10005480 memory=4279135703980473742 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22437/stat : 22437 (java) R 22381 22384 12222 0 -1 4202560 2268 13290 0 0 0 0 5 2 20 0 6 0 107455050 10245611520 4337 33554432000 4194304 4196468 140732612885664 139693198381648 139693211856889 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22438] ppid=22381 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22438/stat : 22438 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 6 0 107455051 10245611520 4337 33554432000 4194304 4196468 140732612885664 139693230787728 139693226555093 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22439] ppid=22381 vsize=10005480 memory=139924079154816 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22439/stat : 22439 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 6 0 107455051 10245611520 4337 33554432000 4194304 4196468 140732612885664 139693085506576 139693226555093 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22440] ppid=22381 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22440/stat : 22440 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 6 0 107455051 10245611520 4337 33554432000 4194304 4196468 140732612885664 139693084453776 139693226555093 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22441] ppid=22381 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22441/stat : 22441 (java) S 22381 22384 12222 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 6 0 107455051 10245611520 4337 33554432000 4194304 4196468 140732612885664 139693083400976 139693226555093 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17084 KiB
[startup+0.209834 s]*
/proc/loadavg: 1.57 1.70 1.76 3/215 22450
/proc/meminfo: memFree=23081396/32770624 swapFree=67108404/67108860
[pid=22384] ppid=22381 vsize=10985364 memory=46772 CPUtime=0.25 cores=1,3,5,7
/proc/22384/stat : 22384 (java) S 22381 22384 12222 0 -1 1077944320 8370 13290 0 0 16 2 5 2 20 0 15 0 107455041 11249012736 11693 33554432000 4194304 4196468 140732612885664 140732612868208 139693226544887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
/proc/22384/statm: 2746341 11693 2967 1 0 2708764 0
[pid=22384/tid=22437] ppid=22381 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/22384/task/22437/stat : 22437 (java) R 22381 22384 12222 0 -1 4202560 5272 13290 0 0 10 1 5 2 20 0 15 0 107455050 11249012736 12023 33554432000 4194304 4196468 140732612885664 139693198369696 139693219224605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22438] ppid=22381 vsize=10985364 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22438/stat : 22438 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11249012736 12023 33554432000 4194304 4196468 140732612885664 139693230787728 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22439] ppid=22381 vsize=10985364 memory=139924079176445 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22439/stat : 22439 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11249012736 12023 33554432000 4194304 4196468 140732612885664 139693085506576 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22440] ppid=22381 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22440/stat : 22440 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11249012736 12023 33554432000 4194304 4196468 140732612885664 139693084453776 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22441] ppid=22381 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22441/stat : 22441 (java) S 22381 22384 12222 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 107455051 11249012736 12023 33554432000 4194304 4196468 140732612885664 139693083400976 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22442] ppid=22381 vsize=10985364 memory=139924079154816 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22442/stat : 22442 (java) S 22381 22384 12222 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 107455052 11249012736 11845 33554432000 4194304 4196468 140732612885664 139692652448112 139693226556034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22443] ppid=22381 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22443/stat : 22443 (java) S 22381 22384 12222 0 -1 1077944384 13 13290 0 0 0 0 5 2 20 0 15 0 107455053 11249012736 11675 33554432000 4194304 4196468 140732612885664 139692012987424 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22444] ppid=22381 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22444/stat : 22444 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455053 11249012736 11675 33554432000 4194304 4196468 140732612885664 139691865138032 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22445] ppid=22381 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22445/stat : 22445 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455055 11247345664 11675 33554432000 4194304 4196468 140732612885664 139691557738320 139693226563483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22446] ppid=22381 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22384/task/22446/stat : 22446 (java) S 22381 22384 12222 0 -1 1077944384 423 13290 0 0 1 0 5 2 20 0 15 0 107455055 11247345664 11435 33554432000 4194304 4196468 140732612885664 139692651395952 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22447] ppid=22381 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22384/task/22447/stat : 22447 (java) S 22381 22384 12222 0 -1 1077944384 189 13290 0 0 1 0 5 2 20 0 15 0 107455055 11247345664 11435 33554432000 4194304 4196468 140732612885664 139692650343152 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22448] ppid=22381 vsize=10982744 memory=139924079154816 CPUtime=0.1 cores=1,3,5,7
/proc/22384/task/22448/stat : 22448 (java) S 22381 22384 12222 0 -1 1077944384 600 13290 0 0 3 0 5 2 20 0 15 0 107455055 11246329856 11427 33554432000 4194304 4196468 140732612885664 139692649290352 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22449] ppid=22381 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22449/stat : 22449 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455056 11246329856 11427 33554432000 4194304 4196468 140732612885664 139691126942432 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22450] ppid=22381 vsize=10982744 memory=139924079154816 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22450/stat : 22450 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455056 11246329856 11427 33554432000 4194304 4196468 140732612885664 139692648237744 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 46772 KiB
[startup+0.310331 s]*
/proc/loadavg: 1.57 1.70 1.76 3/215 22450
/proc/meminfo: memFree=23067140/32770624 swapFree=67108404/67108860
[pid=22384] ppid=22381 vsize=10983192 memory=56168 CPUtime=0.38 cores=1,3,5,7
/proc/22384/stat : 22384 (java) S 22381 22384 12222 0 -1 1077944320 10621 13290 0 0 28 3 5 2 20 0 15 0 107455041 11246788608 14042 33554432000 4194304 4196468 140732612885664 140732612868208 139693226544887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
/proc/22384/statm: 2745798 14042 3086 1 0 2708109 0
[pid=22384/tid=22437] ppid=22381 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/22384/task/22437/stat : 22437 (java) R 22381 22384 12222 0 -1 4202560 7177 13290 0 0 19 2 5 2 20 0 15 0 107455050 11246788608 14042 33554432000 4194304 4196468 140732612885664 139693198356896 139693206820771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22438] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22438/stat : 22438 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11246788608 14042 33554432000 4194304 4196468 140732612885664 139693230787728 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22439] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22439/stat : 22439 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11246788608 14042 33554432000 4194304 4196468 140732612885664 139693085506576 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22440] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22440/stat : 22440 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11246788608 14042 33554432000 4194304 4196468 140732612885664 139693084453776 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22441] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22441/stat : 22441 (java) S 22381 22384 12222 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 107455051 11246788608 14042 33554432000 4194304 4196468 140732612885664 139693083400976 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22442] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22442/stat : 22442 (java) S 22381 22384 12222 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 107455052 11246788608 14042 33554432000 4194304 4196468 140732612885664 139692652448112 139693226556034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22443] ppid=22381 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22443/stat : 22443 (java) S 22381 22384 12222 0 -1 1077944384 13 13290 0 0 0 0 5 2 20 0 15 0 107455053 11246788608 14042 33554432000 4194304 4196468 140732612885664 139692012987424 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22444] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22444/stat : 22444 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455053 11246788608 14042 33554432000 4194304 4196468 140732612885664 139691865138032 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22445] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22445/stat : 22445 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455055 11246788608 14042 33554432000 4194304 4196468 140732612885664 139691557738320 139693226563483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22446] ppid=22381 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22384/task/22446/stat : 22446 (java) S 22381 22384 12222 0 -1 1077944384 426 13290 0 0 1 0 5 2 20 0 15 0 107455055 11246788608 14042 33554432000 4194304 4196468 140732612885664 139692651395952 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22447] ppid=22381 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22384/task/22447/stat : 22447 (java) S 22381 22384 12222 0 -1 1077944384 191 13290 0 0 1 0 5 2 20 0 15 0 107455055 11246788608 14042 33554432000 4194304 4196468 140732612885664 139692650343152 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22448] ppid=22381 vsize=10983192 memory=139924079154816 CPUtime=0.12 cores=1,3,5,7
/proc/22384/task/22448/stat : 22448 (java) S 22381 22384 12222 0 -1 1077944384 608 13290 0 0 5 0 5 2 20 0 15 0 107455055 11246788608 14042 33554432000 4194304 4196468 140732612885664 139692649290352 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22449] ppid=22381 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22449/stat : 22449 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455056 11246788608 14042 33554432000 4194304 4196468 140732612885664 139691126942432 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22450] ppid=22381 vsize=10983192 memory=139924079154816 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22450/stat : 22450 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455056 11246788608 14042 33554432000 4194304 4196468 140732612885664 139692648237744 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56168 KiB
[startup+0.700764 s]
/proc/loadavg: 1.57 1.70 1.76 3/215 22450
/proc/meminfo: memFree=23058704/32770624 swapFree=67108404/67108860
[pid=22384] ppid=22381 vsize=10983192 memory=88548 CPUtime=0.98 cores=1,3,5,7
/proc/22384/stat : 22384 (java) S 22381 22384 12222 0 -1 1077944320 16759 13290 0 0 86 5 5 2 20 0 15 0 107455041 11246788608 22137 33554432000 4194304 4196468 140732612885664 140732612868208 139693226544887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
/proc/22384/statm: 2745798 22137 3238 1 0 2708109 0
[pid=22384/tid=22437] ppid=22381 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/22384/task/22437/stat : 22437 (java) R 22381 22384 12222 0 -1 4202560 12230 13290 0 0 55 4 5 2 20 0 15 0 107455050 11246788608 22137 33554432000 4194304 4196468 140732612885664 139693198365712 139693226558736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22438] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22438/stat : 22438 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11246788608 22137 33554432000 4194304 4196468 140732612885664 139693230787728 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22439] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22439/stat : 22439 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11246788608 22137 33554432000 4194304 4196468 140732612885664 139693085506576 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22440] ppid=22381 vsize=10983192 memory=489 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22440/stat : 22440 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11246788608 22137 33554432000 4194304 4196468 140732612885664 139693084453776 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22441] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22441/stat : 22441 (java) S 22381 22384 12222 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 107455051 11246788608 22137 33554432000 4194304 4196468 140732612885664 139693083400976 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22442] ppid=22381 vsize=10983192 memory=7301570131460772950 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22442/stat : 22442 (java) S 22381 22384 12222 0 -1 1077944384 5 13290 0 0 0 0 5 2 20 0 15 0 107455052 11246788608 22137 33554432000 4194304 4196468 140732612885664 139692652448112 139693226556034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22443] ppid=22381 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22443/stat : 22443 (java) S 22381 22384 12222 0 -1 1077944384 13 13290 0 0 0 0 5 2 20 0 15 0 107455053 11246788608 22137 33554432000 4194304 4196468 140732612885664 139692012987424 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22444] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22444/stat : 22444 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455053 11246788608 22137 33554432000 4194304 4196468 140732612885664 139691865138032 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22445] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22445/stat : 22445 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455055 11246788608 22137 33554432000 4194304 4196468 140732612885664 139691557738320 139693226563483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22446] ppid=22381 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/22384/task/22446/stat : 22446 (java) S 22381 22384 12222 0 -1 1077944384 1041 13290 0 0 9 0 5 2 20 0 15 0 107455055 11246788608 22137 33554432000 4194304 4196468 140732612885664 139692651395952 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22447] ppid=22381 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/22384/task/22447/stat : 22447 (java) S 22381 22384 12222 0 -1 1077944384 588 13290 0 0 7 0 5 2 20 0 15 0 107455055 11246788608 22137 33554432000 4194304 4196468 140732612885664 139692650343152 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22448] ppid=22381 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/22384/task/22448/stat : 22448 (java) S 22381 22384 12222 0 -1 1077944384 676 13290 0 0 13 0 5 2 20 0 15 0 107455055 11246788608 22137 33554432000 4194304 4196468 140732612885664 139692649290352 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22449] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22449/stat : 22449 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455056 11246788608 22137 33554432000 4194304 4196468 140732612885664 139691126942432 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22450] ppid=22381 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22450/stat : 22450 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455056 11246788608 22137 33554432000 4194304 4196468 140732612885664 139692648237744 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88548 KiB
[startup+1.50077 s]
/proc/loadavg: 1.57 1.70 1.76 4/215 22450
/proc/meminfo: memFree=23024160/32770624 swapFree=67108404/67108860
[pid=22384] ppid=22381 vsize=10996044 memory=203964 CPUtime=3.03 cores=1,3,5,7
/proc/22384/stat : 22384 (java) S 22381 22384 12222 0 -1 1077944320 25183 13290 0 0 286 10 5 2 20 0 15 0 107455041 11259949056 50991 33554432000 4194304 4196468 140732612885664 140732612868208 139693226544887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
/proc/22384/statm: 2749011 50991 3449 1 0 2710669 0
[pid=22384/tid=22437] ppid=22381 vsize=10996044 memory=4951091520830867572 CPUtime=1.45 cores=1,3,5,7
/proc/22384/task/22437/stat : 22437 (java) R 22381 22384 12222 0 -1 4202560 16455 13290 0 0 131 7 5 2 20 0 15 0 107455050 11259949056 50991 33554432000 4194304 4196468 140732612885664 139693198368912 139693210625374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22438] ppid=22381 vsize=10996044 memory=4134606225630022328 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22438/stat : 22438 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11259949056 50991 33554432000 4194304 4196468 140732612885664 139693230787728 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22439] ppid=22381 vsize=10996044 memory=-5153075247759266159 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22439/stat : 22439 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11259949056 50991 33554432000 4194304 4196468 140732612885664 139693085506576 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22440] ppid=22381 vsize=10996044 memory=-7451708883265886360 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22440/stat : 22440 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455051 11259949056 50991 33554432000 4194304 4196468 140732612885664 139693084453776 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22441] ppid=22381 vsize=10996044 memory=120796 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22441/stat : 22441 (java) S 22381 22384 12222 0 -1 1077944384 2 13290 0 0 0 0 5 2 20 0 15 0 107455051 11259949056 50991 33554432000 4194304 4196468 140732612885664 139693083400976 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22442] ppid=22381 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22442/stat : 22442 (java) S 22381 22384 12222 0 -1 1077944384 13 13290 0 0 0 0 5 2 20 0 15 0 107455052 11259949056 50991 33554432000 4194304 4196468 140732612885664 139692652448112 139693226556034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22443] ppid=22381 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22443/stat : 22443 (java) S 22381 22384 12222 0 -1 1077944384 13 13290 0 0 0 0 5 2 20 0 15 0 107455053 11259949056 50991 33554432000 4194304 4196468 140732612885664 139692012987424 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22444] ppid=22381 vsize=10996044 memory=279847855259936 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22444/stat : 22444 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455053 11259949056 50991 33554432000 4194304 4196468 140732612885664 139691865138032 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22445] ppid=22381 vsize=10996044 memory=279847855674880 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22445/stat : 22445 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455055 11259949056 50991 33554432000 4194304 4196468 140732612885664 139691557738320 139693226563483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22446] ppid=22381 vsize=10996044 memory=139923927639680 CPUtime=0.59 cores=1,3,5,7
/proc/22384/task/22446/stat : 22446 (java) S 22381 22384 12222 0 -1 1077944384 2946 13290 0 0 52 0 5 2 20 0 15 0 107455055 11259949056 50991 33554432000 4194304 4196468 140732612885664 139692651395952 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22447] ppid=22381 vsize=10996044 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/22384/task/22447/stat : 22447 (java) S 22381 22384 12222 0 -1 1077944384 1896 13290 0 0 57 0 5 2 20 0 15 0 107455055 11259949056 50991 33554432000 4194304 4196468 140732612885664 139692650343152 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22448] ppid=22381 vsize=10996044 memory=1200 CPUtime=0.52 cores=1,3,5,7
/proc/22384/task/22448/stat : 22448 (java) S 22381 22384 12222 0 -1 1077944384 1654 13290 0 0 44 1 5 2 20 0 15 0 107455055 11259949056 50991 33554432000 4194304 4196468 140732612885664 139692649290352 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22449] ppid=22381 vsize=10996044 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22449/stat : 22449 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455056 11259949056 50991 33554432000 4194304 4196468 140732612885664 139691126942432 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22450] ppid=22381 vsize=10996044 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22450/stat : 22450 (java) S 22381 22384 12222 0 -1 1077944384 1 13290 0 0 0 0 5 2 20 0 15 0 107455056 11259949056 50991 33554432000 4194304 4196468 140732612885664 139692648237744 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/22384/task/22439/stat : 22439 (java) S 22381 22384 12222 0 -1 1077944384 3011 13290 0 0 121 37 5 2 20 0 15 0 107455051 11280941056 736908 33554432000 4194304 4196468 140732612885664 139693085506576 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22440] ppid=22381 vsize=11016544 memory=2947632 CPUtime=1.65 cores=1,3,5,7
/proc/22384/task/22440/stat : 22440 (java) S 22381 22384 12222 0 -1 1077944384 2458 13290 0 0 121 37 5 2 20 0 15 0 107455051 11280941056 736908 33554432000 4194304 4196468 140732612885664 139693084453776 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22441] ppid=22381 vsize=11016544 memory=2947632 CPUtime=1.65 cores=1,3,5,7
/proc/22384/task/22441/stat : 22441 (java) S 22381 22384 12222 0 -1 1077944384 1191 13290 0 0 121 37 5 2 20 0 15 0 107455051 11280941056 736908 33554432000 4194304 4196468 140732612885664 139693083400976 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22442] ppid=22381 vsize=11016544 memory=2947632 CPUtime=0.2 cores=1,3,5,7
/proc/22384/task/22442/stat : 22442 (java) S 22381 22384 12222 0 -1 1077944384 5321 13290 0 0 12 1 5 2 20 0 15 0 107455052 11280941056 736908 33554432000 4194304 4196468 140732612885664 139692652448112 139693226556034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22443] ppid=22381 vsize=11016544 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22443/stat : 22443 (java) S 22381 22384 12222 0 -1 1077944384 19 13290 0 0 0 0 5 2 20 0 15 0 107455053 11280941056 736908 33554432000 4194304 4196468 140732612885664 139692012987552 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22444] ppid=22381 vsize=11016544 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22444/stat : 22444 (java) S 22381 22384 12222 0 -1 1077944384 18 13290 0 0 0 0 5 2 20 0 15 0 107455053 11280941056 736908 33554432000 4194304 4196468 140732612885664 139691865138048 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22445] ppid=22381 vsize=11016544 memory=30656 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22445/stat : 22445 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455055 11280941056 736908 33554432000 4194304 4196468 140732612885664 139691557738320 139693226563483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22446] ppid=22381 vsize=11016544 memory=2947632 CPUtime=12.02 cores=1,3,5,7
/proc/22384/task/22446/stat : 22446 (java) S 22381 22384 12222 0 -1 1077944384 20421 13290 0 0 1189 6 5 2 20 0 15 0 107455055 11280941056 736908 33554432000 4194304 4196468 140732612885664 139692651395952 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22447] ppid=22381 vsize=11016544 memory=2947632 CPUtime=12.05 cores=1,3,5,7
/proc/22384/task/22447/stat : 22447 (java) S 22381 22384 12222 0 -1 1077944384 22839 13290 0 0 1195 3 5 2 20 0 15 0 107455055 11280941056 736908 33554432000 4194304 4196468 140732612885664 139692650343152 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22448] ppid=22381 vsize=11016544 memory=2947632 CPUtime=3.42 cores=1,3,5,7
/proc/22384/task/22448/stat : 22448 (java) S 22381 22384 12222 0 -1 1077944384 22040 13290 0 0 329 6 5 2 20 0 15 0 107455055 11280941056 736908 33554432000 4194304 4196468 140732612885664 139692649290352 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22449] ppid=22381 vsize=11016544 memory=2947632 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22449/stat : 22449 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455056 11280941056 736908 33554432000 4194304 4196468 140732612885664 139691126942432 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22450] ppid=22381 vsize=11016544 memory=2947632 CPUtime=0.15 cores=1,3,5,7
/proc/22384/task/22450/stat : 22450 (java) S 22381 22384 12222 0 -1 1077944384 236 13290 0 0 3 5 5 2 20 0 15 0 107455056 11280941056 736908 33554432000 4194304 4196468 140732612885664 139692648237744 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
Current children cumulated CPU time: 194.43 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2947632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+218.701 s]
/proc/loadavg: 1.94 1.91 1.84 3/215 22584
/proc/meminfo: memFree=17582484/32770624 swapFree=67108404/67108860
[pid=22384] ppid=22381 vsize=11016544 memory=3027720 CPUtime=252.07 cores=1,3,5,7
/proc/22384/stat : 22384 (java) S 22381 22384 12222 0 -1 1077944320 176399 13290 0 0 24982 218 5 2 20 0 15 0 107455041 11280941056 756930 33554432000 4194304 4196468 140732612885664 140732612868208 139693226544887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
/proc/22384/statm: 2754136 756930 3535 1 0 2715789 0
[pid=22384/tid=22437] ppid=22381 vsize=11016544 memory=3027720 CPUtime=216.64 cores=1,3,5,7
/proc/22384/task/22437/stat : 22437 (java) R 22381 22384 12222 0 -1 4202560 80691 13290 0 0 21620 37 5 2 20 0 15 0 107455050 11280941056 756930 33554432000 4194304 4196468 140732612885664 139693198374440 139692758927579 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22438] ppid=22381 vsize=11016544 memory=3027720 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22438/stat : 22438 (java) S 22381 22384 12222 0 -1 1077944384 2235 13290 0 0 147 37 5 2 20 0 15 0 107455051 11280941056 756930 33554432000 4194304 4196468 140732612885664 139693230787728 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22439] ppid=22381 vsize=11016544 memory=3027720 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22439/stat : 22439 (java) S 22381 22384 12222 0 -1 1077944384 4576 13290 0 0 145 39 5 2 20 0 15 0 107455051 11280941056 756930 33554432000 4194304 4196468 140732612885664 139693085506576 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22440] ppid=22381 vsize=11016544 memory=3027720 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22440/stat : 22440 (java) S 22381 22384 12222 0 -1 1077944384 3579 13290 0 0 145 39 5 2 20 0 15 0 107455051 11280941056 756930 33554432000 4194304 4196468 140732612885664 139693084453776 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22441] ppid=22381 vsize=11016544 memory=3027720 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22441/stat : 22441 (java) S 22381 22384 12222 0 -1 1077944384 1417 13290 0 0 145 39 5 2 20 0 15 0 107455051 11280941056 756930 33554432000 4194304 4196468 140732612885664 139693083400976 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22442] ppid=22381 vsize=11016544 memory=3027720 CPUtime=0.21 cores=1,3,5,7
/proc/22384/task/22442/stat : 22442 (java) S 22381 22384 12222 0 -1 1077944384 5641 13290 0 0 13 1 5 2 20 0 15 0 107455052 11280941056 756930 33554432000 4194304 4196468 140732612885664 139692652448112 139693226556034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22443] ppid=22381 vsize=11016544 memory=3027720 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22443/stat : 22443 (java) S 22381 22384 12222 0 -1 1077944384 19 13290 0 0 0 0 5 2 20 0 15 0 107455053 11280941056 756930 33554432000 4194304 4196468 140732612885664 139692012987552 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22444] ppid=22381 vsize=11016544 memory=279847855948984 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22444/stat : 22444 (java) S 22381 22384 12222 0 -1 1077944384 18 13290 0 0 0 0 5 2 20 0 15 0 107455053 11280941056 756930 33554432000 4194304 4196468 140732612885664 139691865138048 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22445] ppid=22381 vsize=11016544 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22445/stat : 22445 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455055 11280941056 756930 33554432000 4194304 4196468 140732612885664 139691557738320 139693226563483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22446] ppid=22381 vsize=11016544 memory=4012 CPUtime=12.24 cores=1,3,5,7
/proc/22384/task/22446/stat : 22446 (java) S 22381 22384 12222 0 -1 1077944384 24832 13290 0 0 1211 6 5 2 20 0 15 0 107455055 11280941056 756930 33554432000 4194304 4196468 140732612885664 139692651395952 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22447] ppid=22381 vsize=11016544 memory=3027716 CPUtime=12.21 cores=1,3,5,7
/proc/22384/task/22447/stat : 22447 (java) S 22381 22384 12222 0 -1 1077944384 25235 13290 0 0 1210 4 5 2 20 0 15 0 107455055 11280941056 756930 33554432000 4194304 4196468 140732612885664 139692650343152 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22448] ppid=22381 vsize=11016544 memory=3027716 CPUtime=3.48 cores=1,3,5,7
/proc/22384/task/22448/stat : 22448 (java) S 22381 22384 12222 0 -1 1077944384 25682 13290 0 0 334 7 5 2 20 0 15 0 107455055 11280941056 756930 33554432000 4194304 4196468 140732612885664 139692649290352 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22449] ppid=22381 vsize=11016544 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22449/stat : 22449 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 15 0 107455056 11280941056 756930 33554432000 4194304 4196468 140732612885664 139691126942432 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22450] ppid=22381 vsize=11016544 memory=3027720 CPUtime=0.17 cores=1,3,5,7
/proc/22384/task/22450/stat : 22450 (java) S 22381 22384 12222 0 -1 1077944384 275 13290 0 0 4 6 5 2 20 0 15 0 107455056 11280941056 756930 33554432000 4194304 4196468 140732612885664 139692648237744 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3027720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+219.068 s]
# the end of solver process 22384 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.224 s, system=2.23535 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+218.805 s]
/proc/loadavg: 1.94 1.91 1.84 3/215 22584
/proc/meminfo: memFree=17582484/32770624 swapFree=67108404/67108860
[pid=22384] ppid=22381 vsize=11278696 memory=3031904 CPUtime=252.18 cores=1,3,5,7
/proc/22384/stat : 22384 (java) S 22381 22384 12222 0 -1 1077944320 176557 13290 0 0 24993 218 5 2 20 0 17 0 107455041 11549384704 757976 33554432000 4194304 4196468 140732612885664 140732612868208 139693226544887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
/proc/22384/statm: 2819674 757976 3536 1 0 2781327 0
[pid=22384/tid=22437] ppid=22381 vsize=11278696 memory=1300 CPUtime=216.74 cores=1,3,5,7
/proc/22384/task/22437/stat : 22437 (java) R 22381 22384 12222 0 -1 4202560 80691 13290 0 0 21630 37 5 2 20 0 17 0 107455050 11549384704 757976 33554432000 4194304 4196468 140732612885664 139693198374440 139692769899986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22438] ppid=22381 vsize=11278696 memory=1840 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22438/stat : 22438 (java) S 22381 22384 12222 0 -1 1077944384 2235 13290 0 0 147 37 5 2 20 0 17 0 107455051 11549384704 757976 33554432000 4194304 4196468 140732612885664 139693230787728 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22439] ppid=22381 vsize=11278696 memory=6791534058613427641 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22439/stat : 22439 (java) S 22381 22384 12222 0 -1 1077944384 4576 13290 0 0 145 39 5 2 20 0 17 0 107455051 11549384704 757976 33554432000 4194304 4196468 140732612885664 139693085506576 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22440] ppid=22381 vsize=11278696 memory=11008 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22440/stat : 22440 (java) S 22381 22384 12222 0 -1 1077944384 3579 13290 0 0 145 39 5 2 20 0 17 0 107455051 11549384704 757976 33554432000 4194304 4196468 140732612885664 139693084453776 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22441] ppid=22381 vsize=11278696 memory=1008 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22441/stat : 22441 (java) S 22381 22384 12222 0 -1 1077944384 1417 13290 0 0 145 39 5 2 20 0 17 0 107455051 11549384704 757976 33554432000 4194304 4196468 140732612885664 139693083400976 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22442] ppid=22381 vsize=11278696 memory=1952 CPUtime=0.21 cores=1,3,5,7
/proc/22384/task/22442/stat : 22442 (java) S 22381 22384 12222 0 -1 1077944384 5641 13290 0 0 13 1 5 2 20 0 17 0 107455052 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692652448112 139693226556034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22443] ppid=22381 vsize=11278696 memory=8572 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22443/stat : 22443 (java) S 22381 22384 12222 0 -1 1077944384 19 13290 0 0 0 0 5 2 20 0 17 0 107455053 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692012987552 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22444] ppid=22381 vsize=11278696 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22444/stat : 22444 (java) S 22381 22384 12222 0 -1 1077944384 18 13290 0 0 0 0 5 2 20 0 17 0 107455053 11549384704 757976 33554432000 4194304 4196468 140732612885664 139691865138048 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22445] ppid=22381 vsize=11278696 memory=5372 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22445/stat : 22445 (java) S 22381 22384 12222 0 -1 1077944384 99 13290 0 0 0 0 5 2 20 0 17 0 107455055 11549384704 757976 33554432000 4194304 4196468 140732612885664 139691557738320 139693226563483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22446] ppid=22381 vsize=11278696 memory=1440 CPUtime=12.24 cores=1,3,5,7
/proc/22384/task/22446/stat : 22446 (java) S 22381 22384 12222 0 -1 1077944384 24832 13290 0 0 1211 6 5 2 20 0 17 0 107455055 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692651395952 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22447] ppid=22381 vsize=11278696 memory=4612 CPUtime=12.21 cores=1,3,5,7
/proc/22384/task/22447/stat : 22447 (java) S 22381 22384 12222 0 -1 1077944384 25235 13290 0 0 1210 4 5 2 20 0 17 0 107455055 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692650343152 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22448] ppid=22381 vsize=11278696 memory=1200 CPUtime=3.48 cores=1,3,5,7
/proc/22384/task/22448/stat : 22448 (java) S 22381 22384 12222 0 -1 1077944384 25682 13290 0 0 334 7 5 2 20 0 17 0 107455055 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692649290352 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22449] ppid=22381 vsize=11278696 memory=3027720 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22449/stat : 22449 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 17 0 107455056 11549384704 757976 33554432000 4194304 4196468 140732612885664 139691126942432 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22450] ppid=22381 vsize=11278696 memory=1300 CPUtime=0.17 cores=1,3,5,7
/proc/22384/task/22450/stat : 22450 (java) S 22381 22384 12222 0 -1 1077944384 275 13290 0 0 4 6 5 2 20 0 17 0 107455056 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692648237744 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
Current children cumulated CPU time: 252.18 s
Current children cumulated vsize: 11278696 KiB
Current children cumulated memory: 3031904 KiB
[startup+219.001 s]*
/proc/loadavg: 1.94 1.91 1.84 3/217 22586
/proc/meminfo: memFree=17578388/32770624 swapFree=67108404/67108860
[pid=22384] ppid=22381 vsize=11278696 memory=3031904 CPUtime=252.39 cores=1,3,5,7
/proc/22384/stat : 22384 (java) S 22381 22384 12222 0 -1 1077944320 176557 13290 0 0 25014 218 5 2 20 0 17 0 107455041 11549384704 757976 33554432000 4194304 4196468 140732612885664 140732612868208 139693226544887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
/proc/22384/statm: 2819674 757976 3536 1 0 2781327 0
[pid=22384/tid=22437] ppid=22381 vsize=11278696 memory=916 CPUtime=216.95 cores=1,3,5,7
/proc/22384/task/22437/stat : 22437 (java) R 22381 22384 12222 0 -1 4202560 80691 13290 0 0 21651 37 5 2 20 0 17 0 107455050 11549384704 757976 33554432000 4194304 4196468 140732612885664 139693198374440 139692760842559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22438] ppid=22381 vsize=11278696 memory=4126316290023845779 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22438/stat : 22438 (java) S 22381 22384 12222 0 -1 1077944384 2235 13290 0 0 147 37 5 2 20 0 17 0 107455051 11549384704 757976 33554432000 4194304 4196468 140732612885664 139693230787728 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22439] ppid=22381 vsize=11278696 memory=4126316290023845779 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22439/stat : 22439 (java) S 22381 22384 12222 0 -1 1077944384 4576 13290 0 0 145 39 5 2 20 0 17 0 107455051 11549384704 757976 33554432000 4194304 4196468 140732612885664 139693085506576 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22440] ppid=22381 vsize=11278696 memory=840 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22440/stat : 22440 (java) S 22381 22384 12222 0 -1 1077944384 3579 13290 0 0 145 39 5 2 20 0 17 0 107455051 11549384704 757976 33554432000 4194304 4196468 140732612885664 139693084453776 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22441] ppid=22381 vsize=11278696 memory=1696 CPUtime=1.91 cores=1,3,5,7
/proc/22384/task/22441/stat : 22441 (java) S 22381 22384 12222 0 -1 1077944384 1417 13290 0 0 145 39 5 2 20 0 17 0 107455051 11549384704 757976 33554432000 4194304 4196468 140732612885664 139693083400976 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22442] ppid=22381 vsize=11278696 memory=3852 CPUtime=0.21 cores=1,3,5,7
/proc/22384/task/22442/stat : 22442 (java) S 22381 22384 12222 0 -1 1077944384 5641 13290 0 0 13 1 5 2 20 0 17 0 107455052 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692652448112 139693226556034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22443] ppid=22381 vsize=11278696 memory=2592 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22443/stat : 22443 (java) S 22381 22384 12222 0 -1 1077944384 19 13290 0 0 0 0 5 2 20 0 17 0 107455053 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692012987552 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22444] ppid=22381 vsize=11278696 memory=2720 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22444/stat : 22444 (java) S 22381 22384 12222 0 -1 1077944384 18 13290 0 0 0 0 5 2 20 0 17 0 107455053 11549384704 757976 33554432000 4194304 4196468 140732612885664 139691865138048 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22445] ppid=22381 vsize=11278696 memory=4100 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22445/stat : 22445 (java) S 22381 22384 12222 0 -1 1077944384 99 13290 0 0 0 0 5 2 20 0 17 0 107455055 11549384704 757976 33554432000 4194304 4196468 140732612885664 139691557738320 139693226563483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22446] ppid=22381 vsize=11278696 memory=1408 CPUtime=12.24 cores=1,3,5,7
/proc/22384/task/22446/stat : 22446 (java) S 22381 22384 12222 0 -1 1077944384 24832 13290 0 0 1211 6 5 2 20 0 17 0 107455055 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692651395952 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22447] ppid=22381 vsize=11278696 memory=3064 CPUtime=12.21 cores=1,3,5,7
/proc/22384/task/22447/stat : 22447 (java) S 22381 22384 12222 0 -1 1077944384 25235 13290 0 0 1210 4 5 2 20 0 17 0 107455055 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692650343152 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22448] ppid=22381 vsize=11278696 memory=3027720 CPUtime=3.48 cores=1,3,5,7
/proc/22384/task/22448/stat : 22448 (java) S 22381 22384 12222 0 -1 1077944384 25682 13290 0 0 334 7 5 2 20 0 17 0 107455055 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692649290352 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22449] ppid=22381 vsize=11278696 memory=1404 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22449/stat : 22449 (java) S 22381 22384 12222 0 -1 1077944384 3 13290 0 0 0 0 5 2 20 0 17 0 107455056 11549384704 757976 33554432000 4194304 4196468 140732612885664 139691126942432 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22450] ppid=22381 vsize=11278696 memory=3148 CPUtime=0.18 cores=1,3,5,7
/proc/22384/task/22450/stat : 22450 (java) S 22381 22384 12222 0 -1 1077944384 275 13290 0 0 4 7 5 2 20 0 17 0 107455056 11549384704 757976 33554432000 4194304 4196468 140732612885664 139692648237744 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22585] ppid=22381 vsize=11278696 memory=3285688 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22585/stat : 22585 (java) S 22381 22384 12222 0 -1 1077944384 20 13290 0 0 0 0 5 2 20 0 17 0 107476912 11549384704 757976 33554432000 4194304 4196468 140732612885664 139690925613296 139693226555093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
[pid=22384/tid=22586] ppid=22381 vsize=11278696 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/22384/task/22586/stat : 22586 (java) S 22381 22384 12222 0 -1 1077944384 41 13290 0 0 0 0 5 2 20 0 17 0 107476912 11549384704 757976 33554432000 4194304 4196468 140732612885664 139690724287584 139693226556034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140732612893288 140732612896097 140732612896097 140732612898767 0
Current children cumulated CPU time: 252.39 s
Current children cumulated vsize: 11278696 KiB
Current children cumulated memory: 3031904 KiB
Child status: 143
Real time (s): 219.068
CPU time (s): 252.46
CPU user time (s): 250.224
CPU system time (s): 2.23535
CPU usage (%): 115.242
Max. virtual memory (cumulated for all children) (KiB): 11278696
Max. memory (cumulated for all children) (KiB): 3031904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.224
system time used= 2.23535
maximum resident set size= 3031924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190161
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18341
involuntary context switches= 318
# summary of solver processes directly reported to runsolver:
# pid: 22384
# total CPU time (s): 252.46
# total CPU user time (s): 250.224
# total CPU system time (s): 2.23535
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33702 second user time and 2.09682 second system time
The end