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 (191 MiB free)
memory of node 1: 16384 MiB (5769 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295195-1532537633/watcher-4295195-1532537633 -o /tmp/evaluation-result-4295195-1532537633/solver-4295195-1532537633 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532535188-26470 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1355945737 -superng HOME/instance-4295195-1532537633.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26763, runsolver pid=26760
[startup+0.100123 s]*
/proc/loadavg: 1.61 1.45 1.37 3/206 26820
/proc/meminfo: memFree=6096876/32770624 swapFree=67108860/67108860
[pid=26763] ppid=26760 vsize=9972712 memory=18860 CPUtime=0.1 cores=1,3,5,7
/proc/26763/stat : 26763 (java) S 26760 26763 26438 0 -1 1077944320 4380 13170 0 0 1 1 5 3 20 0 6 0 71326437 10212057088 4715 33554432000 4194304 4196468 140724170070528 140724170053072 139934487846647 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
/proc/26763/statm: 2493178 4715 1934 1 0 2481616 0
[pid=26763/tid=26816] ppid=26760 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26816/stat : 26816 (java) R 26760 26763 26438 0 -1 4202560 2186 13170 0 0 0 0 5 3 20 0 6 0 71326446 10212057088 4715 33554432000 4194304 4196468 140724170070528 139934459683408 139934487868573 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26817] ppid=26760 vsize=9972712 memory=5793855733905742265 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26817/stat : 26817 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 6 0 71326447 10212057088 4715 33554432000 4194304 4196468 140724170070528 139934492089104 139934487856853 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26818] ppid=26760 vsize=9972712 memory=140482895849088 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26818/stat : 26818 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 6 0 71326447 10212057088 4715 33554432000 4194304 4196468 140724170070528 139934406908816 139934487856853 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26819] ppid=26760 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26819/stat : 26819 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 6 0 71326447 10212057088 4715 33554432000 4194304 4196468 140724170070528 139934405856272 139934487856853 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26820] ppid=26760 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26820/stat : 26820 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 6 0 71326447 10212057088 4715 33554432000 4194304 4196468 140724170070528 139934404803728 139934487856853 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB
[startup+0.209938 s]*
/proc/loadavg: 1.61 1.45 1.37 3/215 26829
/proc/meminfo: memFree=6075512/32770624 swapFree=67108860/67108860
[pid=26763] ppid=26760 vsize=10818904 memory=45400 CPUtime=0.26 cores=1,3,5,7
/proc/26763/stat : 26763 (java) S 26760 26763 26438 0 -1 1077944320 9248 13170 0 0 16 2 5 3 20 0 15 0 71326437 11078557696 11350 33554432000 4194304 4196468 140724170070528 140724170053072 139934487846647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
/proc/26763/statm: 2704726 11350 2935 1 0 2667149 0
[pid=26763/tid=26816] ppid=26760 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/26763/task/26816/stat : 26816 (java) R 26760 26763 26438 0 -1 4202560 5911 13170 0 0 10 1 5 3 20 0 15 0 71326446 11078557696 11350 33554432000 4194304 4196468 140724170070528 139934459671456 139934471927134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26817] ppid=26760 vsize=10818904 memory=4211974209100639626 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26817/stat : 26817 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11078557696 11350 33554432000 4194304 4196468 140724170070528 139934492089104 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26818] ppid=26760 vsize=10818904 memory=140482895849088 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26818/stat : 26818 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11078557696 11350 33554432000 4194304 4196468 140724170070528 139934406908816 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26819] ppid=26760 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26819/stat : 26819 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11078557696 11350 33554432000 4194304 4196468 140724170070528 139934405856272 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26820] ppid=26760 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26820/stat : 26820 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11078557696 11350 33554432000 4194304 4196468 140724170070528 139934404803728 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26821] ppid=26760 vsize=10818904 memory=140482895849088 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26821/stat : 26821 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326448 11078557696 11350 33554432000 4194304 4196468 140724170070528 139934014314480 139934487857794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26822] ppid=26760 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26822/stat : 26822 (java) S 26760 26763 26438 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 71326448 11078557696 11350 33554432000 4194304 4196468 140724170070528 139933389939616 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26823] ppid=26760 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26823/stat : 26823 (java) S 26760 26763 26438 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 71326449 11078557696 11350 33554432000 4194304 4196468 140724170070528 139933255721968 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26824] ppid=26760 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26824/stat : 26824 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326451 11078557696 11350 33554432000 4194304 4196468 140724170070528 139933015431376 139934487865243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26825] ppid=26760 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26763/task/26825/stat : 26825 (java) S 26760 26763 26438 0 -1 1077944384 518 13170 0 0 1 0 5 3 20 0 15 0 71326451 11078557696 11350 33554432000 4194304 4196468 140724170070528 139934013262320 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26826] ppid=26760 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26826/stat : 26826 (java) S 26760 26763 26438 0 -1 1077944384 55 13170 0 0 0 0 5 3 20 0 15 0 71326451 11078557696 11350 33554432000 4194304 4196468 140724170070528 139934012209776 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26827] ppid=26760 vsize=10818904 memory=140482895849088 CPUtime=0.11 cores=1,3,5,7
/proc/26763/task/26827/stat : 26827 (java) R 26760 26763 26438 0 -1 4202560 547 13170 0 0 3 0 5 3 20 0 15 0 71326451 11078557696 11350 33554432000 4194304 4196468 140724170070528 139934011157232 139934487867994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26828] ppid=26760 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26828/stat : 26828 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326452 11078557696 11350 33554432000 4194304 4196468 140724170070528 139932981873760 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26829] ppid=26760 vsize=10818904 memory=140482895849088 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26829/stat : 26829 (java) S 26760 26763 26438 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 71326452 11078557696 11350 33554432000 4194304 4196468 140724170070528 139934010104112 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45400 KiB
[startup+0.31049 s]*
/proc/loadavg: 1.61 1.45 1.37 3/215 26829
/proc/meminfo: memFree=6061844/32770624 swapFree=67108860/67108860
[pid=26763] ppid=26760 vsize=10819352 memory=53276 CPUtime=0.4 cores=1,3,5,7
/proc/26763/stat : 26763 (java) S 26760 26763 26438 0 -1 1077944320 10453 13170 0 0 29 3 5 3 20 0 15 0 71326437 11079016448 13319 33554432000 4194304 4196468 140724170070528 140724170053072 139934487846647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
/proc/26763/statm: 2704838 13319 3054 1 0 2667149 0
[pid=26763/tid=26816] ppid=26760 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26763/task/26816/stat : 26816 (java) R 26760 26763 26438 0 -1 4202560 7102 13170 0 0 19 2 5 3 20 0 15 0 71326446 11079016448 13319 33554432000 4194304 4196468 140724170070528 139934459658656 139934471033485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26817] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26817/stat : 26817 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11079016448 13319 33554432000 4194304 4196468 140724170070528 139934492089104 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26818] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26818/stat : 26818 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11079016448 13319 33554432000 4194304 4196468 140724170070528 139934406908816 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26819] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26819/stat : 26819 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11079016448 13319 33554432000 4194304 4196468 140724170070528 139934405856272 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26820] ppid=26760 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26820/stat : 26820 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11079016448 13319 33554432000 4194304 4196468 140724170070528 139934404803728 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26821] ppid=26760 vsize=10819352 memory=140482895849087 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26821/stat : 26821 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326448 11079016448 13319 33554432000 4194304 4196468 140724170070528 139934014314480 139934487857794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26822] ppid=26760 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26822/stat : 26822 (java) S 26760 26763 26438 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 71326448 11079016448 13319 33554432000 4194304 4196468 140724170070528 139933389939616 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26823] ppid=26760 vsize=10819352 memory=140482895849088 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26823/stat : 26823 (java) S 26760 26763 26438 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 71326449 11079016448 13319 33554432000 4194304 4196468 140724170070528 139933255721968 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26824] ppid=26760 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26824/stat : 26824 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326451 11079016448 13319 33554432000 4194304 4196468 140724170070528 139933015431376 139934487865243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26825] ppid=26760 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26763/task/26825/stat : 26825 (java) S 26760 26763 26438 0 -1 1077944384 518 13170 0 0 2 0 5 3 20 0 15 0 71326451 11079016448 13319 33554432000 4194304 4196468 140724170070528 139934013262320 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26826] ppid=26760 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/26763/task/26826/stat : 26826 (java) S 26760 26763 26438 0 -1 1077944384 56 13170 0 0 1 0 5 3 20 0 15 0 71326451 11079016448 13319 33554432000 4194304 4196468 140724170070528 139934012209776 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26827] ppid=26760 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26763/task/26827/stat : 26827 (java) S 26760 26763 26438 0 -1 1077944384 559 13170 0 0 5 0 5 3 20 0 15 0 71326451 11079016448 13319 33554432000 4194304 4196468 140724170070528 139934011157232 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26828] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26828/stat : 26828 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326452 11079016448 13319 33554432000 4194304 4196468 140724170070528 139932981873760 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26829] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26829/stat : 26829 (java) S 26760 26763 26438 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 71326452 11079016448 13319 33554432000 4194304 4196468 140724170070528 139934010104112 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53276 KiB
[startup+0.700814 s]
/proc/loadavg: 1.61 1.45 1.37 3/215 26829
/proc/meminfo: memFree=6052316/32770624 swapFree=67108860/67108860
[pid=26763] ppid=26760 vsize=10819352 memory=86584 CPUtime=1 cores=1,3,5,7
/proc/26763/stat : 26763 (java) S 26760 26763 26438 0 -1 1077944320 16741 13170 0 0 88 4 5 3 20 0 15 0 71326437 11079016448 21646 33554432000 4194304 4196468 140724170070528 140724170053072 139934487846647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
/proc/26763/statm: 2704838 21646 3246 1 0 2667149 0
[pid=26763/tid=26816] ppid=26760 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/26763/task/26816/stat : 26816 (java) R 26760 26763 26438 0 -1 4202560 12318 13170 0 0 56 3 5 3 20 0 15 0 71326446 11079016448 21646 33554432000 4194304 4196468 140724170070528 139934459667472 139934469410207 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26817] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26817/stat : 26817 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11079016448 21646 33554432000 4194304 4196468 140724170070528 139934492089104 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26818] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26818/stat : 26818 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11079016448 21646 33554432000 4194304 4196468 140724170070528 139934406908816 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26819] ppid=26760 vsize=10819352 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26819/stat : 26819 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11079016448 21646 33554432000 4194304 4196468 140724170070528 139934405856272 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26820] ppid=26760 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26820/stat : 26820 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11079016448 21646 33554432000 4194304 4196468 140724170070528 139934404803728 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26821] ppid=26760 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26821/stat : 26821 (java) S 26760 26763 26438 0 -1 1077944384 6 13170 0 0 0 0 5 3 20 0 15 0 71326448 11079016448 21646 33554432000 4194304 4196468 140724170070528 139934014314480 139934487857794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26822] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26822/stat : 26822 (java) S 26760 26763 26438 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 71326448 11079016448 21646 33554432000 4194304 4196468 140724170070528 139933389939616 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26823] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26823/stat : 26823 (java) S 26760 26763 26438 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 71326449 11079016448 21646 33554432000 4194304 4196468 140724170070528 139933255721968 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26824] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26824/stat : 26824 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326451 11079016448 21646 33554432000 4194304 4196468 140724170070528 139933015431376 139934487865243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26825] ppid=26760 vsize=10819352 memory=6655300316396806240 CPUtime=0.16 cores=1,3,5,7
/proc/26763/task/26825/stat : 26825 (java) S 26760 26763 26438 0 -1 1077944384 928 13170 0 0 8 0 5 3 20 0 15 0 71326451 11079016448 21646 33554432000 4194304 4196468 140724170070528 139934013262320 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26826] ppid=26760 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/26763/task/26826/stat : 26826 (java) S 26760 26763 26438 0 -1 1077944384 627 13170 0 0 9 0 5 3 20 0 15 0 71326451 11079016448 21646 33554432000 4194304 4196468 140724170070528 139934012209776 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26827] ppid=26760 vsize=10819352 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/26763/task/26827/stat : 26827 (java) S 26760 26763 26438 0 -1 1077944384 646 13170 0 0 13 0 5 3 20 0 15 0 71326451 11079016448 21646 33554432000 4194304 4196468 140724170070528 139934011157232 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26828] ppid=26760 vsize=10819352 memory=280965486215408 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26828/stat : 26828 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326452 11079016448 21646 33554432000 4194304 4196468 140724170070528 139932981873760 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26829] ppid=26760 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26829/stat : 26829 (java) S 26760 26763 26438 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 71326452 11079016448 21646 33554432000 4194304 4196468 140724170070528 139934010104112 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86584 KiB
[startup+1.50142 s]
/proc/loadavg: 1.61 1.45 1.37 3/215 26829
/proc/meminfo: memFree=6006232/32770624 swapFree=67108860/67108860
[pid=26763] ppid=26760 vsize=10830156 memory=211240 CPUtime=3.1 cores=1,3,5,7
/proc/26763/stat : 26763 (java) S 26760 26763 26438 0 -1 1077944320 22805 13170 0 0 295 7 5 3 20 0 15 0 71326437 11090079744 52810 33554432000 4194304 4196468 140724170070528 140724170053072 139934487846647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
/proc/26763/statm: 2707539 52810 3453 1 0 2669197 0
[pid=26763/tid=26816] ppid=26760 vsize=10830156 memory=239 CPUtime=1.46 cores=1,3,5,7
/proc/26763/task/26816/stat : 26816 (java) R 26760 26763 26438 0 -1 4202560 15379 13170 0 0 133 5 5 3 20 0 15 0 71326446 11090079744 52810 33554432000 4194304 4196468 140724170070528 139934459667040 139934474032498 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26817] ppid=26760 vsize=10830156 memory=119 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26817/stat : 26817 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11090079744 52810 33554432000 4194304 4196468 140724170070528 139934492089104 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26818] ppid=26760 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26818/stat : 26818 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11090079744 52810 33554432000 4194304 4196468 140724170070528 139934406908816 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26819] ppid=26760 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26819/stat : 26819 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11090079744 52810 33554432000 4194304 4196468 140724170070528 139934405856272 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26820] ppid=26760 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26820/stat : 26820 (java) S 26760 26763 26438 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 71326447 11090079744 52810 33554432000 4194304 4196468 140724170070528 139934404803728 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26821] ppid=26760 vsize=10830156 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26821/stat : 26821 (java) S 26760 26763 26438 0 -1 1077944384 7 13170 0 0 0 0 5 3 20 0 15 0 71326448 11090079744 52810 33554432000 4194304 4196468 140724170070528 139934014314480 139934487857794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26822] ppid=26760 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26822/stat : 26822 (java) S 26760 26763 26438 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 71326448 11090079744 52810 33554432000 4194304 4196468 140724170070528 139933389939616 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26823] ppid=26760 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26823/stat : 26823 (java) S 26760 26763 26438 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 71326449 11090079744 52810 33554432000 4194304 4196468 140724170070528 139933255721968 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26824] ppid=26760 vsize=10830156 memory=280965486251552 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26824/stat : 26824 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326451 11090079744 52810 33554432000 4194304 4196468 140724170070528 139933015431376 139934487865243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26825] ppid=26760 vsize=10830156 memory=2209 CPUtime=0.66 cores=1,3,5,7
/proc/26763/task/26825/stat : 26825 (java) S 26760 26763 26438 0 -1 1077944384 2239 13170 0 0 58 0 5 3 20 0 15 0 71326451 11090079744 52810 33554432000 4194304 4196468 140724170070528 139934013262320 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26826] ppid=26760 vsize=10830156 memory=20132 CPUtime=0.66 cores=1,3,5,7
/proc/26763/task/26826/stat : 26826 (java) S 26760 26763 26438 0 -1 1077944384 1491 13170 0 0 58 0 5 3 20 0 15 0 71326451 11090079744 52810 33554432000 4194304 4196468 140724170070528 139934012209776 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26827] ppid=26760 vsize=10830156 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/26763/task/26827/stat : 26827 (java) S 26760 26763 26438 0 -1 1077944384 1473 13170 0 0 43 0 5 3 20 0 15 0 71326451 11090079744 52810 33554432000 4194304 4196468 140724170070528 139934011157232 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26828] ppid=26760 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26828/stat : 26828 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326452 11090079744 52810 33554432000 4194304 4196468 140724170070528 139932981873760 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26829] ppid=26760 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26829/stat : 26829 (java) S 26760 26763 26438 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 71326452 11090079744 52810 33554432000 4194304 4196468 140724170070528 139934010104112 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/26763/task/26816/stat : 26816 (java) R 26760 26763 26438 0 -1 4202560 259633 13170 0 0 236636 57 5 3 20 0 15 0 71326446 11111071744 952006 33554432000 4194304 4196468 140724170070528 139934459682192 139934093739590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26817] ppid=26760 vsize=10850656 memory=3816204 CPUtime=13.68 cores=1,3,5,7
/proc/26763/task/26817/stat : 26817 (java) S 26760 26763 26438 0 -1 1077944384 35133 13170 0 0 1280 80 5 3 20 0 15 0 71326447 11111071744 952006 33554432000 4194304 4196468 140724170070528 139934492089104 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26818] ppid=26760 vsize=10850656 memory=3808024 CPUtime=13.66 cores=1,3,5,7
/proc/26763/task/26818/stat : 26818 (java) S 26760 26763 26438 0 -1 1077944384 35924 13170 0 0 1280 78 5 3 20 0 15 0 71326447 11111071744 952006 33554432000 4194304 4196468 140724170070528 139934406908816 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26819] ppid=26760 vsize=10850656 memory=3814668 CPUtime=13.67 cores=1,3,5,7
/proc/26763/task/26819/stat : 26819 (java) S 26760 26763 26438 0 -1 1077944384 35699 13170 0 0 1278 81 5 3 20 0 15 0 71326447 11111071744 952006 33554432000 4194304 4196468 140724170070528 139934405856272 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26820] ppid=26760 vsize=10850656 memory=3808024 CPUtime=13.64 cores=1,3,5,7
/proc/26763/task/26820/stat : 26820 (java) S 26760 26763 26438 0 -1 1077944384 33113 13170 0 0 1278 78 5 3 20 0 15 0 71326447 11111071744 952006 33554432000 4194304 4196468 140724170070528 139934404803728 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26821] ppid=26760 vsize=10850656 memory=3816204 CPUtime=0.81 cores=1,3,5,7
/proc/26763/task/26821/stat : 26821 (java) S 26760 26763 26438 0 -1 1077944384 32926 13170 0 0 65 8 5 3 20 0 15 0 71326448 11111071744 952006 33554432000 4194304 4196468 140724170070528 139934014314480 139934487857794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26822] ppid=26760 vsize=10850656 memory=3816204 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26822/stat : 26822 (java) S 26760 26763 26438 0 -1 1077944384 21 13170 0 0 0 0 5 3 20 0 15 0 71326448 11111071744 952006 33554432000 4194304 4196468 140724170070528 139933389939744 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26823] ppid=26760 vsize=10850656 memory=4124 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26823/stat : 26823 (java) S 26760 26763 26438 0 -1 1077944384 18 13170 0 0 0 0 5 3 20 0 15 0 71326449 11111071744 952006 33554432000 4194304 4196468 140724170070528 139933255721984 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26824] ppid=26760 vsize=10850656 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26824/stat : 26824 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326451 11111071744 952006 33554432000 4194304 4196468 140724170070528 139933015431376 139934487865243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26825] ppid=26760 vsize=10850656 memory=16436 CPUtime=12.34 cores=1,3,5,7
/proc/26763/task/26825/stat : 26825 (java) S 26760 26763 26438 0 -1 1077944384 100006 13170 0 0 1218 8 5 3 20 0 15 0 71326451 11111071744 952006 33554432000 4194304 4196468 140724170070528 139934013262320 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26826] ppid=26760 vsize=10850656 memory=3816204 CPUtime=12.43 cores=1,3,5,7
/proc/26763/task/26826/stat : 26826 (java) S 26760 26763 26438 0 -1 1077944384 95630 13170 0 0 1225 10 5 3 20 0 15 0 71326451 11111071744 952006 33554432000 4194304 4196468 140724170070528 139934012209776 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26827] ppid=26760 vsize=10850656 memory=3816204 CPUtime=3.79 cores=1,3,5,7
/proc/26763/task/26827/stat : 26827 (java) S 26760 26763 26438 0 -1 1077944384 78036 13170 0 0 363 8 5 3 20 0 15 0 71326451 11111071744 952006 33554432000 4194304 4196468 140724170070528 139934011157232 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26828] ppid=26760 vsize=10850656 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26828/stat : 26828 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326452 11111071744 952006 33554432000 4194304 4196468 140724170070528 139932981873760 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26829] ppid=26760 vsize=10850656 memory=288230621803970871 CPUtime=1.54 cores=1,3,5,7
/proc/26763/task/26829/stat : 26829 (java) S 26760 26763 26438 0 -1 1077944384 2895 13170 0 0 67 79 5 3 20 0 15 0 71326452 11111071744 952006 33554432000 4194304 4196468 140724170070528 139934010104112 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
Current children cumulated CPU time: 2451.96 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3808024 KiB
[startup+2442.3 s]
/proc/loadavg: 1.93 1.81 1.78 3/215 27436
/proc/meminfo: memFree=5317864/32770624 swapFree=67108860/67108860
[pid=26763] ppid=26760 vsize=10850656 memory=3758300 CPUtime=2512.4 cores=1,3,5,7
/proc/26763/stat : 26763 (java) S 26760 26763 26438 0 -1 1077944320 722222 13170 0 0 250756 476 5 3 20 0 15 0 71326437 11111071744 939575 33554432000 4194304 4196468 140724170070528 140724170053072 139934487846647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
/proc/26763/statm: 2712664 939575 3536 1 0 2674317 0
[pid=26763/tid=26816] ppid=26760 vsize=10850656 memory=3758300 CPUtime=2426.88 cores=1,3,5,7
/proc/26763/task/26816/stat : 26816 (java) R 26760 26763 26438 0 -1 4202560 263176 13170 0 0 242622 58 5 3 20 0 15 0 71326446 11111071744 939575 33554432000 4194304 4196468 140724170070528 139934459682080 139934090872960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26817] ppid=26760 vsize=10850656 memory=3778308 CPUtime=13.79 cores=1,3,5,7
/proc/26763/task/26817/stat : 26817 (java) S 26760 26763 26438 0 -1 1077944384 35468 13170 0 0 1291 80 5 3 20 0 15 0 71326447 11111071744 939575 33554432000 4194304 4196468 140724170070528 139934492089104 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26818] ppid=26760 vsize=10850656 memory=3767532 CPUtime=13.77 cores=1,3,5,7
/proc/26763/task/26818/stat : 26818 (java) S 26760 26763 26438 0 -1 1077944384 36780 13170 0 0 1291 78 5 3 20 0 15 0 71326447 11111071744 939575 33554432000 4194304 4196468 140724170070528 139934406908816 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26819] ppid=26760 vsize=10850656 memory=3808024 CPUtime=13.78 cores=1,3,5,7
/proc/26763/task/26819/stat : 26819 (java) S 26760 26763 26438 0 -1 1077944384 36470 13170 0 0 1289 81 5 3 20 0 15 0 71326447 11111071744 939575 33554432000 4194304 4196468 140724170070528 139934405856272 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26820] ppid=26760 vsize=10850656 memory=3763428 CPUtime=13.74 cores=1,3,5,7
/proc/26763/task/26820/stat : 26820 (java) S 26760 26763 26438 0 -1 1077944384 33669 13170 0 0 1288 78 5 3 20 0 15 0 71326447 11111071744 939575 33554432000 4194304 4196468 140724170070528 139934404803728 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26821] ppid=26760 vsize=10850656 memory=3767532 CPUtime=0.83 cores=1,3,5,7
/proc/26763/task/26821/stat : 26821 (java) S 26760 26763 26438 0 -1 1077944384 33234 13170 0 0 66 9 5 3 20 0 15 0 71326448 11111071744 939575 33554432000 4194304 4196468 140724170070528 139934014314480 139934487857794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26822] ppid=26760 vsize=10850656 memory=3762916 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26822/stat : 26822 (java) S 26760 26763 26438 0 -1 1077944384 21 13170 0 0 0 0 5 3 20 0 15 0 71326448 11111071744 939575 33554432000 4194304 4196468 140724170070528 139933389939744 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26823] ppid=26760 vsize=10850656 memory=3758300 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26823/stat : 26823 (java) S 26760 26763 26438 0 -1 1077944384 18 13170 0 0 0 0 5 3 20 0 15 0 71326449 11111071744 939575 33554432000 4194304 4196468 140724170070528 139933255721984 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26824] ppid=26760 vsize=10850656 memory=3758300 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26824/stat : 26824 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326451 11111071744 939575 33554432000 4194304 4196468 140724170070528 139933015431376 139934487865243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26825] ppid=26760 vsize=10850656 memory=3758300 CPUtime=12.36 cores=1,3,5,7
/proc/26763/task/26825/stat : 26825 (java) S 26760 26763 26438 0 -1 1077944384 101538 13170 0 0 1220 8 5 3 20 0 15 0 71326451 11111071744 939575 33554432000 4194304 4196468 140724170070528 139934013262320 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26826] ppid=26760 vsize=10850656 memory=1796 CPUtime=12.47 cores=1,3,5,7
/proc/26763/task/26826/stat : 26826 (java) S 26760 26763 26438 0 -1 1077944384 96375 13170 0 0 1229 10 5 3 20 0 15 0 71326451 11111071744 939575 33554432000 4194304 4196468 140724170070528 139934012209776 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26827] ppid=26760 vsize=10850656 memory=3762916 CPUtime=3.81 cores=1,3,5,7
/proc/26763/task/26827/stat : 26827 (java) S 26760 26763 26438 0 -1 1077944384 80342 13170 0 0 364 9 5 3 20 0 15 0 71326451 11111071744 939575 33554432000 4194304 4196468 140724170070528 139934011157232 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26828] ppid=26760 vsize=10850656 memory=3758300 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26828/stat : 26828 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326452 11111071744 939575 33554432000 4194304 4196468 140724170070528 139932981873760 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26829] ppid=26760 vsize=10850656 memory=3762916 CPUtime=1.58 cores=1,3,5,7
/proc/26763/task/26829/stat : 26829 (java) S 26760 26763 26438 0 -1 1077944384 2938 13170 0 0 69 81 5 3 20 0 15 0 71326452 11111071744 939575 33554432000 4194304 4196468 140724170070528 139934010104112 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
Current children cumulated CPU time: 2512.4 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3758300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2449.9 s]
/proc/loadavg: 1.94 1.82 1.79 3/215 27436
/proc/meminfo: memFree=5322020/32770624 swapFree=67108860/67108860
[pid=26763] ppid=26760 vsize=10850656 memory=3751116 CPUtime=2520.08 cores=1,3,5,7
/proc/26763/stat : 26763 (java) S 26760 26763 26438 0 -1 1077944320 725573 13170 0 0 251523 477 5 3 20 0 15 0 71326437 11111071744 937779 33554432000 4194304 4196468 140724170070528 140724170053072 139934487846647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
/proc/26763/statm: 2712664 937779 3536 1 0 2674317 0
[pid=26763/tid=26816] ppid=26760 vsize=10850656 memory=3754196 CPUtime=2434.46 cores=1,3,5,7
/proc/26763/task/26816/stat : 26816 (java) R 26760 26763 26438 0 -1 4202560 263547 13170 0 0 243380 58 5 3 20 0 15 0 71326446 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934459682192 139934094704546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26817] ppid=26760 vsize=10850656 memory=3767532 CPUtime=13.82 cores=1,3,5,7
/proc/26763/task/26817/stat : 26817 (java) S 26760 26763 26438 0 -1 1077944384 36304 13170 0 0 1294 80 5 3 20 0 15 0 71326447 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934492089104 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26818] ppid=26760 vsize=10850656 memory=3808024 CPUtime=13.79 cores=1,3,5,7
/proc/26763/task/26818/stat : 26818 (java) S 26760 26763 26438 0 -1 1077944384 36951 13170 0 0 1293 78 5 3 20 0 15 0 71326447 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934406908816 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26819] ppid=26760 vsize=10850656 memory=3767532 CPUtime=13.8 cores=1,3,5,7
/proc/26763/task/26819/stat : 26819 (java) S 26760 26763 26438 0 -1 1077944384 36702 13170 0 0 1291 81 5 3 20 0 15 0 71326447 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934405856272 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26820] ppid=26760 vsize=10850656 memory=3758300 CPUtime=13.76 cores=1,3,5,7
/proc/26763/task/26820/stat : 26820 (java) S 26760 26763 26438 0 -1 1077944384 34176 13170 0 0 1290 78 5 3 20 0 15 0 71326447 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934404803728 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26821] ppid=26760 vsize=10850656 memory=3754196 CPUtime=0.83 cores=1,3,5,7
/proc/26763/task/26821/stat : 26821 (java) S 26760 26763 26438 0 -1 1077944384 33474 13170 0 0 66 9 5 3 20 0 15 0 71326448 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934014314480 139934487857794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26822] ppid=26760 vsize=10850656 memory=3754196 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26822/stat : 26822 (java) S 26760 26763 26438 0 -1 1077944384 21 13170 0 0 0 0 5 3 20 0 15 0 71326448 11111071744 937779 33554432000 4194304 4196468 140724170070528 139933389939744 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26823] ppid=26760 vsize=10850656 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26823/stat : 26823 (java) S 26760 26763 26438 0 -1 1077944384 18 13170 0 0 0 0 5 3 20 0 15 0 71326449 11111071744 937779 33554432000 4194304 4196468 140724170070528 139933255721984 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26824] ppid=26760 vsize=10850656 memory=3751116 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26824/stat : 26824 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326451 11111071744 937779 33554432000 4194304 4196468 140724170070528 139933015431376 139934487865243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26825] ppid=26760 vsize=10850656 memory=3754196 CPUtime=12.37 cores=1,3,5,7
/proc/26763/task/26825/stat : 26825 (java) S 26760 26763 26438 0 -1 1077944384 102118 13170 0 0 1221 8 5 3 20 0 15 0 71326451 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934013262320 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26826] ppid=26760 vsize=10850656 memory=5864649248857482852 CPUtime=12.47 cores=1,3,5,7
/proc/26763/task/26826/stat : 26826 (java) S 26760 26763 26438 0 -1 1077944384 96375 13170 0 0 1229 10 5 3 20 0 15 0 71326451 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934012209776 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26827] ppid=26760 vsize=10850656 memory=3754196 CPUtime=3.81 cores=1,3,5,7
/proc/26763/task/26827/stat : 26827 (java) S 26760 26763 26438 0 -1 1077944384 80754 13170 0 0 364 9 5 3 20 0 15 0 71326451 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934011157232 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26828] ppid=26760 vsize=10850656 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26828/stat : 26828 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326452 11111071744 937779 33554432000 4194304 4196468 140724170070528 139932981873760 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26829] ppid=26760 vsize=10850656 memory=6791534058613427641 CPUtime=1.58 cores=1,3,5,7
/proc/26763/task/26829/stat : 26829 (java) S 26760 26763 26438 0 -1 1077944384 2940 13170 0 0 69 81 5 3 20 0 15 0 71326452 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934010104112 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3751116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2449.94 s]
# the end of solver process 26763 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.31 s, system=4.82925 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2449.9 s]
/proc/loadavg: 1.94 1.82 1.79 3/215 27436
/proc/meminfo: memFree=5322020/32770624 swapFree=67108860/67108860
[pid=26763] ppid=26760 vsize=10850656 memory=3751116 CPUtime=2520.08 cores=1,3,5,7
/proc/26763/stat : 26763 (java) S 26760 26763 26438 0 -1 1077944320 725573 13170 0 0 251523 477 5 3 20 0 15 0 71326437 11111071744 937779 33554432000 4194304 4196468 140724170070528 140724170053072 139934487846647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
/proc/26763/statm: 2712664 937779 3536 1 0 2674317 0
[pid=26763/tid=26816] ppid=26760 vsize=10850656 memory=3754196 CPUtime=2434.46 cores=1,3,5,7
/proc/26763/task/26816/stat : 26816 (java) R 26760 26763 26438 0 -1 4202560 263547 13170 0 0 243380 58 5 3 20 0 15 0 71326446 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934459682192 139934094704546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26817] ppid=26760 vsize=10850656 memory=3767532 CPUtime=13.82 cores=1,3,5,7
/proc/26763/task/26817/stat : 26817 (java) S 26760 26763 26438 0 -1 1077944384 36304 13170 0 0 1294 80 5 3 20 0 15 0 71326447 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934492089104 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26818] ppid=26760 vsize=10850656 memory=3808024 CPUtime=13.79 cores=1,3,5,7
/proc/26763/task/26818/stat : 26818 (java) S 26760 26763 26438 0 -1 1077944384 36951 13170 0 0 1293 78 5 3 20 0 15 0 71326447 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934406908816 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26819] ppid=26760 vsize=10850656 memory=3767532 CPUtime=13.8 cores=1,3,5,7
/proc/26763/task/26819/stat : 26819 (java) S 26760 26763 26438 0 -1 1077944384 36702 13170 0 0 1291 81 5 3 20 0 15 0 71326447 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934405856272 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26820] ppid=26760 vsize=10850656 memory=3758300 CPUtime=13.76 cores=1,3,5,7
/proc/26763/task/26820/stat : 26820 (java) S 26760 26763 26438 0 -1 1077944384 34176 13170 0 0 1290 78 5 3 20 0 15 0 71326447 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934404803728 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26821] ppid=26760 vsize=10850656 memory=3754196 CPUtime=0.83 cores=1,3,5,7
/proc/26763/task/26821/stat : 26821 (java) S 26760 26763 26438 0 -1 1077944384 33474 13170 0 0 66 9 5 3 20 0 15 0 71326448 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934014314480 139934487857794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26822] ppid=26760 vsize=10850656 memory=3754196 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26822/stat : 26822 (java) S 26760 26763 26438 0 -1 1077944384 21 13170 0 0 0 0 5 3 20 0 15 0 71326448 11111071744 937779 33554432000 4194304 4196468 140724170070528 139933389939744 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26823] ppid=26760 vsize=10850656 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26823/stat : 26823 (java) S 26760 26763 26438 0 -1 1077944384 18 13170 0 0 0 0 5 3 20 0 15 0 71326449 11111071744 937779 33554432000 4194304 4196468 140724170070528 139933255721984 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26824] ppid=26760 vsize=10850656 memory=3751116 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26824/stat : 26824 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326451 11111071744 937779 33554432000 4194304 4196468 140724170070528 139933015431376 139934487865243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26825] ppid=26760 vsize=10850656 memory=3754196 CPUtime=12.37 cores=1,3,5,7
/proc/26763/task/26825/stat : 26825 (java) S 26760 26763 26438 0 -1 1077944384 102118 13170 0 0 1221 8 5 3 20 0 15 0 71326451 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934013262320 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26826] ppid=26760 vsize=10850656 memory=5864649248857482852 CPUtime=12.47 cores=1,3,5,7
/proc/26763/task/26826/stat : 26826 (java) S 26760 26763 26438 0 -1 1077944384 96375 13170 0 0 1229 10 5 3 20 0 15 0 71326451 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934012209776 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26827] ppid=26760 vsize=10850656 memory=3754196 CPUtime=3.81 cores=1,3,5,7
/proc/26763/task/26827/stat : 26827 (java) S 26760 26763 26438 0 -1 1077944384 80754 13170 0 0 364 9 5 3 20 0 15 0 71326451 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934011157232 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26828] ppid=26760 vsize=10850656 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/26763/task/26828/stat : 26828 (java) S 26760 26763 26438 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 71326452 11111071744 937779 33554432000 4194304 4196468 140724170070528 139932981873760 139934487856853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
[pid=26763/tid=26829] ppid=26760 vsize=10850656 memory=6791534058613427641 CPUtime=1.58 cores=1,3,5,7
/proc/26763/task/26829/stat : 26829 (java) S 26760 26763 26438 0 -1 1077944384 2940 13170 0 0 69 81 5 3 20 0 15 0 71326452 11111071744 937779 33554432000 4194304 4196468 140724170070528 139934010104112 139934487857794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 26644480 140724170074283 140724170077532 140724170077532 140724170080207 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3751116 KiB
Child status: 143
Real time (s): 2449.94
CPU time (s): 2520.14
CPU user time (s): 2515.31
CPU system time (s): 4.82925
CPU usage (%): 102.865
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 3831968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.31
system time used= 4.82925
maximum resident set size= 3831968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 740436
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74129
involuntary context switches= 2475
# summary of solver processes directly reported to runsolver:
# pid: 26763
# total CPU time (s): 2520.14
# total CPU user time (s): 2515.31
# total CPU system time (s): 4.82925
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4326 second user time and 20.6193 second system time
The end