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 (2400 MiB free)
memory of node 1: 16384 MiB (595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402631-1568973762/watcher-4402631-1568973762 -o /var/tmp/evaluation-result-4402631-1568973762/solver-4402631-1568973762 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568967597-29898 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2047248357 HOME/instance-4402631-1568973762.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Starting watchdog thread
solver pid=455, runsolver pid=452
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 1.73 1.65 1.53 3/222 514
/proc/meminfo: memFree=3060504/32770624 swapFree=66997148/67108860
[pid=455] ppid=452 vsize=9972712 memory=16020 CPUtime=0.08 cores=0,2,4,6
/proc/455/stat : 455 (java) S 452 455 29867 0 -1 1077944320 4265 13380 0 0 1 0 5 2 20 0 6 0 473314693 10212057088 4005 33554432000 4194304 4196468 140721574924000 140721574906544 139937804914423 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
/proc/455/statm: 2493178 4005 1895 1 0 2481616 0
[pid=455/tid=510] ppid=452 vsize=9972712 memory=7022364594140610616 CPUtime=0.08 cores=0,2,4,6
/proc/455/task/510/stat : 510 (java) R 452 455 29867 0 -1 4202560 2284 13380 0 0 1 0 5 2 20 0 6 0 473314702 10212057088 4269 33554432000 4194304 4196468 140721574924000 139937776751184 139937788994910 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=511] ppid=452 vsize=9972712 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/511/stat : 511 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 6 0 473314703 10212057088 4269 33554432000 4194304 4196468 140721574924000 139937809156368 139937804924629 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=512] ppid=452 vsize=9972712 memory=139743185998106 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/512/stat : 512 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 6 0 473314703 10212057088 4269 33554432000 4194304 4196468 140721574924000 139937697429904 139937804924629 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=513] ppid=452 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/513/stat : 513 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 6 0 473314703 10212057088 4269 33554432000 4194304 4196468 140721574924000 139937696377360 139937804924629 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=514] ppid=452 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/514/stat : 514 (java) S 452 455 29867 0 -1 1077944384 2 13380 0 0 0 0 5 2 20 0 6 0 473314703 10212057088 4269 33554432000 4194304 4196468 140721574924000 139937695324816 139937804924629 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16020 KiB
[startup+0.210257 s]*
/proc/loadavg: 1.73 1.65 1.53 4/231 523
/proc/meminfo: memFree=3043180/32770624 swapFree=66997148/67108860
[pid=455] ppid=452 vsize=10819716 memory=39316 CPUtime=0.25 cores=0,2,4,6
/proc/455/stat : 455 (java) S 452 455 29867 0 -1 1077944320 7192 13380 0 0 17 1 5 2 20 0 15 0 473314693 11079389184 9829 33554432000 4194304 4196468 140721574924000 140721574906544 139937804914423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
/proc/455/statm: 2704929 9829 3149 1 0 2667149 0
[pid=455/tid=510] ppid=452 vsize=10820196 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/455/task/510/stat : 510 (java) R 452 455 29867 0 -1 4202560 4004 13380 0 0 10 1 5 2 20 0 15 0 473314702 11079880704 9994 33554432000 4194304 4196468 140721574924000 139937776725456 139937804936349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=511] ppid=452 vsize=10820196 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/511/stat : 511 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314703 11079880704 9994 33554432000 4194304 4196468 140721574924000 139937809156368 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=512] ppid=452 vsize=10820196 memory=139743185998106 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/512/stat : 512 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314703 11079880704 9994 33554432000 4194304 4196468 140721574924000 139937697429904 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=513] ppid=452 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/513/stat : 513 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314703 11079880704 9994 33554432000 4194304 4196468 140721574924000 139937696377360 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=514] ppid=452 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/514/stat : 514 (java) S 452 455 29867 0 -1 1077944384 2 13380 0 0 0 0 5 2 20 0 15 0 473314703 11079880704 9994 33554432000 4194304 4196468 140721574924000 139937695324816 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=515] ppid=452 vsize=10820196 memory=139743182440064 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/515/stat : 515 (java) S 452 455 29867 0 -1 1077944384 2 13380 0 0 0 0 5 2 20 0 15 0 473314704 11079880704 9994 33554432000 4194304 4196468 140721574924000 139936808126960 139937804925570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=516] ppid=452 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/516/stat : 516 (java) S 452 455 29867 0 -1 1077944384 33 13380 0 0 0 0 5 2 20 0 15 0 473314705 11079880704 9994 33554432000 4194304 4196468 140721574924000 139936807073184 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=517] ppid=452 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/517/stat : 517 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314705 11079880704 9994 33554432000 4194304 4196468 140721574924000 139936678274544 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=518] ppid=452 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/518/stat : 518 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11079880704 9994 33554432000 4194304 4196468 140721574924000 139936370875088 139937804933019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=519] ppid=452 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/455/task/519/stat : 519 (java) S 452 455 29867 0 -1 1077944384 593 13380 0 0 1 0 5 2 20 0 15 0 473314708 11079880704 9994 33554432000 4194304 4196468 140721574924000 139936773515248 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=520] ppid=452 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/520/stat : 520 (java) R 452 455 29867 0 -1 4202560 60 13380 0 0 0 0 5 2 20 0 15 0 473314708 11079880704 9994 33554432000 4194304 4196468 140721574924000 139936772462704 139937784085680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=521] ppid=452 vsize=10820196 memory=139743182440064 CPUtime=0.1 cores=0,2,4,6
/proc/455/task/521/stat : 521 (java) S 452 455 29867 0 -1 1077944384 603 13380 0 0 3 0 5 2 20 0 15 0 473314708 11079880704 9994 33554432000 4194304 4196468 140721574924000 139936771410160 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=522] ppid=452 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/522/stat : 522 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11079880704 9994 33554432000 4194304 4196468 140721574924000 139936337316448 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=523] ppid=452 vsize=10820196 memory=139743182440064 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/523/stat : 523 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314708 11079880704 9994 33554432000 4194304 4196468 140721574924000 139936770358064 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 39316 KiB
[startup+0.310681 s]*
/proc/loadavg: 1.73 1.65 1.53 4/231 523
/proc/meminfo: memFree=3029472/32770624 swapFree=66997148/67108860
[pid=455] ppid=452 vsize=10820196 memory=48688 CPUtime=0.39 cores=0,2,4,6
/proc/455/stat : 455 (java) S 452 455 29867 0 -1 1077944320 10493 13380 0 0 29 3 5 2 20 0 15 0 473314693 11079880704 12172 33554432000 4194304 4196468 140721574924000 140721574906544 139937804914423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
/proc/455/statm: 2705049 12172 3342 1 0 2667149 0
[pid=455/tid=510] ppid=452 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/455/task/510/stat : 510 (java) R 452 455 29867 0 -1 4202560 6979 13380 0 0 19 2 5 2 20 0 15 0 473314702 11079880704 12237 33554432000 4194304 4196468 140721574924000 139937776730688 139937788994910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=511] ppid=452 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/511/stat : 511 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314703 11079880704 12237 33554432000 4194304 4196468 140721574924000 139937809156368 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=512] ppid=452 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/512/stat : 512 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314703 11079880704 12237 33554432000 4194304 4196468 140721574924000 139937697429904 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=513] ppid=452 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/513/stat : 513 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314703 11079880704 12237 33554432000 4194304 4196468 140721574924000 139937696377360 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=514] ppid=452 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/514/stat : 514 (java) S 452 455 29867 0 -1 1077944384 2 13380 0 0 0 0 5 2 20 0 15 0 473314703 11079880704 12237 33554432000 4194304 4196468 140721574924000 139937695324816 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=515] ppid=452 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/515/stat : 515 (java) S 452 455 29867 0 -1 1077944384 2 13380 0 0 0 0 5 2 20 0 15 0 473314704 11079880704 12237 33554432000 4194304 4196468 140721574924000 139936808126960 139937804925570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=516] ppid=452 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/516/stat : 516 (java) S 452 455 29867 0 -1 1077944384 33 13380 0 0 0 0 5 2 20 0 15 0 473314705 11079880704 12237 33554432000 4194304 4196468 140721574924000 139936807073184 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=517] ppid=452 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/517/stat : 517 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314705 11079880704 12237 33554432000 4194304 4196468 140721574924000 139936678274544 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=518] ppid=452 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/518/stat : 518 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11079880704 12237 33554432000 4194304 4196468 140721574924000 139936370875088 139937804933019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=519] ppid=452 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/455/task/519/stat : 519 (java) S 452 455 29867 0 -1 1077944384 594 13380 0 0 2 0 5 2 20 0 15 0 473314708 11079880704 12237 33554432000 4194304 4196468 140721574924000 139936773515248 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=520] ppid=452 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/455/task/520/stat : 520 (java) S 452 455 29867 0 -1 1077944384 69 13380 0 0 1 0 5 2 20 0 15 0 473314708 11079880704 12237 33554432000 4194304 4196468 140721574924000 139936772462704 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=521] ppid=452 vsize=10820196 memory=139743182440064 CPUtime=0.12 cores=0,2,4,6
/proc/455/task/521/stat : 521 (java) S 452 455 29867 0 -1 1077944384 611 13380 0 0 5 0 5 2 20 0 15 0 473314708 11079880704 12237 33554432000 4194304 4196468 140721574924000 139936771410160 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=522] ppid=452 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/522/stat : 522 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11079880704 12237 33554432000 4194304 4196468 140721574924000 139936337316448 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=523] ppid=452 vsize=10820196 memory=139743182440064 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/523/stat : 523 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314708 11079880704 12237 33554432000 4194304 4196468 140721574924000 139936770358064 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48688 KiB
[startup+0.701578 s]
/proc/loadavg: 1.73 1.65 1.53 3/231 523
/proc/meminfo: memFree=3014560/32770624 swapFree=66997148/67108860
[pid=455] ppid=452 vsize=10824364 memory=81520 CPUtime=1.16 cores=0,2,4,6
/proc/455/stat : 455 (java) S 452 455 29867 0 -1 1077944320 15091 13380 0 0 103 6 5 2 20 0 15 0 473314693 11084148736 20380 33554432000 4194304 4196468 140721574924000 140721574906544 139937804914423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
/proc/455/statm: 2706091 20380 3512 1 0 2668173 0
[pid=455/tid=510] ppid=452 vsize=10824364 memory=7014187371348386112 CPUtime=0.66 cores=0,2,4,6
/proc/455/task/510/stat : 510 (java) R 452 455 29867 0 -1 4202560 10398 13380 0 0 55 4 5 2 20 0 15 0 473314702 11084148736 20380 33554432000 4194304 4196468 140721574924000 139937776734376 139937787342947 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=511] ppid=452 vsize=10824364 memory=7302980795414241344 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/511/stat : 511 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314703 11084148736 20380 33554432000 4194304 4196468 140721574924000 139937809156368 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=512] ppid=452 vsize=10824364 memory=2400 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/512/stat : 512 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314703 11084148736 20380 33554432000 4194304 4196468 140721574924000 139937697429904 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=513] ppid=452 vsize=10824364 memory=65188 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/513/stat : 513 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314703 11084148736 20380 33554432000 4194304 4196468 140721574924000 139937696377360 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=514] ppid=452 vsize=10824364 memory=7378374360112259664 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/514/stat : 514 (java) S 452 455 29867 0 -1 1077944384 2 13380 0 0 0 0 5 2 20 0 15 0 473314703 11084148736 20380 33554432000 4194304 4196468 140721574924000 139937695324816 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=515] ppid=452 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/515/stat : 515 (java) S 452 455 29867 0 -1 1077944384 5 13380 0 0 0 0 5 2 20 0 15 0 473314704 11084148736 20380 33554432000 4194304 4196468 140721574924000 139936808126960 139937804925570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=516] ppid=452 vsize=10824364 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/516/stat : 516 (java) S 452 455 29867 0 -1 1077944384 33 13380 0 0 0 0 5 2 20 0 15 0 473314705 11084148736 20380 33554432000 4194304 4196468 140721574924000 139936807073184 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=517] ppid=452 vsize=10824364 memory=9120181347858145840 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/517/stat : 517 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314705 11084148736 20380 33554432000 4194304 4196468 140721574924000 139936678274544 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=518] ppid=452 vsize=10824364 memory=5931311284860502112 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/518/stat : 518 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11084148736 20380 33554432000 4194304 4196468 140721574924000 139936370875088 139937804933019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=519] ppid=452 vsize=10824364 memory=3053511329498284128 CPUtime=0.21 cores=0,2,4,6
/proc/455/task/519/stat : 519 (java) R 452 455 29867 0 -1 4202560 1018 13380 0 0 14 0 5 2 20 0 15 0 473314708 11084148736 20380 33554432000 4194304 4196468 140721574924000 139936773504512 139937784158217 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=520] ppid=452 vsize=10824364 memory=3058660273996966496 CPUtime=0.22 cores=0,2,4,6
/proc/455/task/520/stat : 520 (java) S 452 455 29867 0 -1 1077944384 601 13380 0 0 15 0 5 2 20 0 15 0 473314708 11084148736 20380 33554432000 4194304 4196468 140721574924000 139936772462704 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=521] ppid=452 vsize=10824364 memory=3470692292451393600 CPUtime=0.23 cores=0,2,4,6
/proc/455/task/521/stat : 521 (java) S 452 455 29867 0 -1 1077944384 816 13380 0 0 16 0 5 2 20 0 15 0 473314708 11084148736 20380 33554432000 4194304 4196468 140721574924000 139936771410160 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=522] ppid=452 vsize=10824364 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/522/stat : 522 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11084148736 20380 33554432000 4194304 4196468 140721574924000 139936337316448 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=523] ppid=452 vsize=10824364 memory=6935649255759570772 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/523/stat : 523 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314708 11084148736 20380 33554432000 4194304 4196468 140721574924000 139936770358064 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81520 KiB
[startup+1.50159 s]
/proc/loadavg: 1.73 1.65 1.53 3/231 523
/proc/meminfo: memFree=2929696/32770624 swapFree=66997148/67108860
[pid=455] ppid=452 vsize=10824364 memory=423900 CPUtime=3.02 cores=0,2,4,6
/proc/455/stat : 455 (java) S 452 455 29867 0 -1 1077944320 17937 13380 0 0 255 40 5 2 20 0 15 0 473314693 11084148736 105975 33554432000 4194304 4196468 140721574924000 140721574906544 139937804914423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
/proc/455/statm: 2706091 105975 3548 1 0 2668173 0
[pid=455/tid=510] ppid=452 vsize=10824364 memory=7 CPUtime=1.27 cores=0,2,4,6
/proc/455/task/510/stat : 510 (java) S 452 455 29867 0 -1 1077944384 11036 13380 0 0 113 7 5 2 20 0 15 0 473314702 11084148736 105975 33554432000 4194304 4196468 140721574924000 139937776750592 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=511] ppid=452 vsize=10824364 memory=2400 CPUtime=0.24 cores=0,2,4,6
/proc/455/task/511/stat : 511 (java) R 452 455 29867 0 -1 4202560 214 13380 0 0 10 7 5 2 20 0 15 0 473314703 11084148736 105975 33554432000 4194304 4196468 140721574924000 139937809156256 139937789942306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=512] ppid=452 vsize=10824364 memory=65188 CPUtime=0.24 cores=0,2,4,6
/proc/455/task/512/stat : 512 (java) R 452 455 29867 0 -1 4202560 170 13380 0 0 10 7 5 2 20 0 15 0 473314703 11084148736 105975 33554432000 4194304 4196468 140721574924000 139937697430104 139937789942306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=513] ppid=452 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/455/task/513/stat : 513 (java) R 452 455 29867 0 -1 4202560 155 13380 0 0 10 7 5 2 20 0 15 0 473314703 11084148736 105975 33554432000 4194304 4196468 140721574924000 139937696377360 139937789942270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=514] ppid=452 vsize=10824364 memory=2016 CPUtime=0.25 cores=0,2,4,6
/proc/455/task/514/stat : 514 (java) R 452 455 29867 0 -1 4202560 254 13380 0 0 11 7 5 2 20 0 15 0 473314703 11084148736 105975 33554432000 4194304 4196468 140721574924000 139937695325016 139937789942306 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=515] ppid=452 vsize=10824364 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/515/stat : 515 (java) S 452 455 29867 0 -1 1077944384 85 13380 0 0 0 0 5 2 20 0 15 0 473314704 11084148736 105975 33554432000 4194304 4196468 140721574924000 139936808125472 139937804924629 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=516] ppid=452 vsize=10824364 memory=2428 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/516/stat : 516 (java) S 452 455 29867 0 -1 1077944384 34 13380 0 0 0 0 5 2 20 0 15 0 473314705 11084148736 105975 33554432000 4194304 4196468 140721574924000 139936807073248 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=517] ppid=452 vsize=10824364 memory=152212 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/517/stat : 517 (java) S 452 455 29867 0 -1 1077944384 2 13380 0 0 0 0 5 2 20 0 15 0 473314705 11084148736 105975 33554432000 4194304 4196468 140721574924000 139936678274560 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=518] ppid=452 vsize=10824364 memory=1424 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/518/stat : 518 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11084148736 105975 33554432000 4194304 4196468 140721574924000 139936370875088 139937804933019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=519] ppid=452 vsize=10824364 memory=1540 CPUtime=0.42 cores=0,2,4,6
/proc/455/task/519/stat : 519 (java) S 452 455 29867 0 -1 1077944384 1579 13380 0 0 35 0 5 2 20 0 15 0 473314708 11084148736 105975 33554432000 4194304 4196468 140721574924000 139936773515248 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=520] ppid=452 vsize=10824364 memory=772 CPUtime=0.43 cores=0,2,4,6
/proc/455/task/520/stat : 520 (java) S 452 455 29867 0 -1 1077944384 1188 13380 0 0 36 0 5 2 20 0 15 0 473314708 11084148736 105975 33554432000 4194304 4196468 140721574924000 139936772462704 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=521] ppid=452 vsize=10824364 memory=10596 CPUtime=0.32 cores=0,2,4,6
/proc/455/task/521/stat : 521 (java) S 452 455 29867 0 -1 1077944384 1006 13380 0 0 25 0 5 2 20 0 15 0 473314708 11084148736 105975 33554432000 4194304 4196468 140721574924000 139936771410160 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=522] ppid=452 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/522/stat : 522 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11084148736 105975 33554432000 4194304 4196468 140721574924000 139936337316448 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=523] ppid=452 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/523/stat : 523 (java) S 452 455 29867 0 -1 1077944384 1 13380 0 0 0 0 5 2 20 0 15 0 473314708 11084148736 105975 33554432000 4194304 4196468 140721574924000 139936770358064 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
Current children cumulated CPU time: 3.02 s
################
# More data... #
################
/proc/455/statm: 2710211 2089838 3624 1 0 2672269 0
[pid=455/tid=510] ppid=452 vsize=10840844 memory=1556 CPUtime=217.6 cores=0,2,4,6
/proc/455/task/510/stat : 510 (java) S 452 455 29867 0 -1 1077944384 642282 13380 0 0 21703 50 5 2 20 0 15 0 473314702 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937776747664 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=511] ppid=452 vsize=10840844 memory=6947385649911455296 CPUtime=557.02 cores=0,2,4,6
/proc/455/task/511/stat : 511 (java) R 452 455 29867 0 -1 4202560 3894948 13380 0 0 55071 624 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937809156568 139937784940631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=512] ppid=452 vsize=10840844 memory=111636 CPUtime=556.63 cores=0,2,4,6
/proc/455/task/512/stat : 512 (java) R 452 455 29867 0 -1 4202560 4158496 13380 0 0 54987 669 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937697430104 139937789612198 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=513] ppid=452 vsize=10840844 memory=804 CPUtime=557.2 cores=0,2,4,6
/proc/455/task/513/stat : 513 (java) R 452 455 29867 0 -1 4202560 4186077 13380 0 0 55035 678 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937696377248 139937789612148 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=514] ppid=452 vsize=10840844 memory=1804 CPUtime=556.86 cores=0,2,4,6
/proc/455/task/514/stat : 514 (java) R 452 455 29867 0 -1 4202560 3522241 13380 0 0 55082 597 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937695325016 139937789612198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=515] ppid=452 vsize=10840844 memory=916 CPUtime=66.68 cores=0,2,4,6
/proc/455/task/515/stat : 515 (java) S 452 455 29867 0 -1 1077944384 540758 13380 0 0 6616 45 5 2 20 0 15 0 473314704 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936808125280 139937804924629 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=516] ppid=452 vsize=10840844 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/516/stat : 516 (java) S 452 455 29867 0 -1 1077944384 62 13380 0 0 0 0 5 2 20 0 15 0 473314705 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936807073248 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=517] ppid=452 vsize=10840844 memory=2904 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/517/stat : 517 (java) S 452 455 29867 0 -1 1077944384 16 13380 0 0 0 0 5 2 20 0 15 0 473314705 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936678274560 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=518] ppid=452 vsize=10840844 memory=2772 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/518/stat : 518 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936370875088 139937804933019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=519] ppid=452 vsize=10840844 memory=4100 CPUtime=3.87 cores=0,2,4,6
/proc/455/task/519/stat : 519 (java) S 452 455 29867 0 -1 1077944384 21969 13380 0 0 375 5 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936773515248 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=520] ppid=452 vsize=10840844 memory=8359348 CPUtime=2.84 cores=0,2,4,6
/proc/455/task/520/stat : 520 (java) S 452 455 29867 0 -1 1077944384 11214 13380 0 0 276 1 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936772462704 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=521] ppid=452 vsize=10840844 memory=8359348 CPUtime=1.39 cores=0,2,4,6
/proc/455/task/521/stat : 521 (java) S 452 455 29867 0 -1 1077944384 24241 13380 0 0 128 4 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936771410160 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=522] ppid=452 vsize=10840844 memory=8359352 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/522/stat : 522 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936337316448 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=523] ppid=452 vsize=10840844 memory=288230583166042425 CPUtime=0.74 cores=0,2,4,6
/proc/455/task/523/stat : 523 (java) S 452 455 29867 0 -1 1077944384 1058 13380 0 0 32 35 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936770358064 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
Current children cumulated CPU time: 2520.32 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8359352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+847.792 s]
# the end of solver process 455 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2501.47 s, system=27.2574 s
Solver just ended.
Dumping a history of the last processes samples
[startup+846.402 s]
/proc/loadavg: 4.56 3.84 2.76 6/227 625
/proc/meminfo: memFree=276708/32770624 swapFree=66997152/67108860
[pid=455] ppid=452 vsize=10840844 memory=8359352 CPUtime=2524.3 cores=0,2,4,6
/proc/455/stat : 455 (java) S 452 455 29867 0 -1 1077944320 17005582 13380 0 0 249738 2685 5 2 20 0 15 0 473314693 11101024256 2089838 33554432000 4194304 4196468 140721574924000 140721574906544 139937804914423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
/proc/455/statm: 2710211 2089838 3624 1 0 2672269 0
[pid=455/tid=510] ppid=452 vsize=10840844 memory=6016 CPUtime=217.6 cores=0,2,4,6
/proc/455/task/510/stat : 510 (java) S 452 455 29867 0 -1 1077944384 642282 13380 0 0 21703 50 5 2 20 0 15 0 473314702 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937776747664 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=511] ppid=452 vsize=10840844 memory=612 CPUtime=558.02 cores=0,2,4,6
/proc/455/task/511/stat : 511 (java) R 452 455 29867 0 -1 4202560 3894948 13380 0 0 55171 624 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937809156568 139937784940557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=512] ppid=452 vsize=10840844 memory=6947385649911455296 CPUtime=557.61 cores=0,2,4,6
/proc/455/task/512/stat : 512 (java) R 452 455 29867 0 -1 4202560 4158496 13380 0 0 55085 669 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937697430104 139937789612175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=513] ppid=452 vsize=10840844 memory=14004 CPUtime=558.2 cores=0,2,4,6
/proc/455/task/513/stat : 513 (java) R 452 455 29867 0 -1 4202560 4186077 13380 0 0 55135 678 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937696377248 139937789612015 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=514] ppid=452 vsize=10840844 memory=14060 CPUtime=557.86 cores=0,2,4,6
/proc/455/task/514/stat : 514 (java) R 452 455 29867 0 -1 4202560 3522241 13380 0 0 55182 597 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937695325016 139937789612062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=515] ppid=452 vsize=10840844 memory=2116 CPUtime=66.68 cores=0,2,4,6
/proc/455/task/515/stat : 515 (java) S 452 455 29867 0 -1 1077944384 540758 13380 0 0 6616 45 5 2 20 0 15 0 473314704 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936808125280 139937804924629 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=516] ppid=452 vsize=10840844 memory=27452 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/516/stat : 516 (java) S 452 455 29867 0 -1 1077944384 62 13380 0 0 0 0 5 2 20 0 15 0 473314705 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936807073248 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=517] ppid=452 vsize=10840844 memory=532 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/517/stat : 517 (java) S 452 455 29867 0 -1 1077944384 16 13380 0 0 0 0 5 2 20 0 15 0 473314705 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936678274560 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=518] ppid=452 vsize=10840844 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/518/stat : 518 (java) S 452 455 29867 0 -1 1077944384 9 13380 0 0 0 0 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936370874736 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=519] ppid=452 vsize=10840844 memory=932 CPUtime=3.87 cores=0,2,4,6
/proc/455/task/519/stat : 519 (java) S 452 455 29867 0 -1 1077944384 21969 13380 0 0 375 5 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936773515248 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=520] ppid=452 vsize=10840844 memory=3680 CPUtime=2.84 cores=0,2,4,6
/proc/455/task/520/stat : 520 (java) S 452 455 29867 0 -1 1077944384 11214 13380 0 0 276 1 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936772462704 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=521] ppid=452 vsize=10840844 memory=848 CPUtime=1.39 cores=0,2,4,6
/proc/455/task/521/stat : 521 (java) S 452 455 29867 0 -1 1077944384 24241 13380 0 0 128 4 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936771410160 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=522] ppid=452 vsize=10840844 memory=1436 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/522/stat : 522 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936337316448 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=523] ppid=452 vsize=10840844 memory=1764 CPUtime=0.75 cores=0,2,4,6
/proc/455/task/523/stat : 523 (java) S 452 455 29867 0 -1 1077944384 1058 13380 0 0 32 36 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936770358064 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
Current children cumulated CPU time: 2524.3 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8359352 KiB
[startup+847.202 s]
/proc/loadavg: 4.56 3.84 2.76 6/227 625
/proc/meminfo: memFree=276708/32770624 swapFree=66997152/67108860
[pid=455] ppid=452 vsize=10840844 memory=8359352 CPUtime=2527.49 cores=0,2,4,6
/proc/455/stat : 455 (java) S 452 455 29867 0 -1 1077944320 17005582 13380 0 0 250057 2685 5 2 20 0 15 0 473314693 11101024256 2089838 33554432000 4194304 4196468 140721574924000 140721574906544 139937804914423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
/proc/455/statm: 2710211 2089838 3624 1 0 2672269 0
[pid=455/tid=510] ppid=452 vsize=10840844 memory=532 CPUtime=217.6 cores=0,2,4,6
/proc/455/task/510/stat : 510 (java) S 452 455 29867 0 -1 1077944384 642282 13380 0 0 21703 50 5 2 20 0 15 0 473314702 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937776747664 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=511] ppid=452 vsize=10840844 memory=3624 CPUtime=558.82 cores=0,2,4,6
/proc/455/task/511/stat : 511 (java) R 452 455 29867 0 -1 4202560 3894948 13380 0 0 55251 624 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937809156568 139937784940607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=512] ppid=452 vsize=10840844 memory=54144 CPUtime=558.39 cores=0,2,4,6
/proc/455/task/512/stat : 512 (java) R 452 455 29867 0 -1 4202560 4158496 13380 0 0 55163 669 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937697430104 139937789865028 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=513] ppid=452 vsize=10840844 memory=303148748257886234 CPUtime=559 cores=0,2,4,6
/proc/455/task/513/stat : 513 (java) R 452 455 29867 0 -1 4202560 4186077 13380 0 0 55215 678 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937696377248 139937789865432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=514] ppid=452 vsize=10840844 memory=288230583166042425 CPUtime=558.66 cores=0,2,4,6
/proc/455/task/514/stat : 514 (java) R 452 455 29867 0 -1 4202560 3522241 13380 0 0 55262 597 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937695325016 139937789865898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=515] ppid=452 vsize=10840844 memory=16098161018013140 CPUtime=66.68 cores=0,2,4,6
/proc/455/task/515/stat : 515 (java) S 452 455 29867 0 -1 1077944384 540758 13380 0 0 6616 45 5 2 20 0 15 0 473314704 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936808125280 139937804924629 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=516] ppid=452 vsize=10840844 memory=6947385649911455296 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/516/stat : 516 (java) S 452 455 29867 0 -1 1077944384 62 13380 0 0 0 0 5 2 20 0 15 0 473314705 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936807073248 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=517] ppid=452 vsize=10840844 memory=2016 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/517/stat : 517 (java) S 452 455 29867 0 -1 1077944384 16 13380 0 0 0 0 5 2 20 0 15 0 473314705 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936678274560 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=518] ppid=452 vsize=10840844 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/518/stat : 518 (java) S 452 455 29867 0 -1 1077944384 9 13380 0 0 0 0 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936370874736 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=519] ppid=452 vsize=10840844 memory=3276 CPUtime=3.87 cores=0,2,4,6
/proc/455/task/519/stat : 519 (java) S 452 455 29867 0 -1 1077944384 21969 13380 0 0 375 5 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936773515248 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=520] ppid=452 vsize=10840844 memory=8359352 CPUtime=2.84 cores=0,2,4,6
/proc/455/task/520/stat : 520 (java) S 452 455 29867 0 -1 1077944384 11214 13380 0 0 276 1 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936772462704 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=521] ppid=452 vsize=10840844 memory=8359352 CPUtime=1.39 cores=0,2,4,6
/proc/455/task/521/stat : 521 (java) S 452 455 29867 0 -1 1077944384 24241 13380 0 0 128 4 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936771410160 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=522] ppid=452 vsize=10840844 memory=532 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/522/stat : 522 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936337316448 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=523] ppid=452 vsize=10840844 memory=1556 CPUtime=0.75 cores=0,2,4,6
/proc/455/task/523/stat : 523 (java) S 452 455 29867 0 -1 1077944384 1058 13380 0 0 32 36 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936770358064 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
Current children cumulated CPU time: 2527.49 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8359352 KiB
[startup+847.402 s]
/proc/loadavg: 4.56 3.84 2.76 6/227 625
/proc/meminfo: memFree=276708/32770624 swapFree=66997152/67108860
[pid=455] ppid=452 vsize=10840844 memory=8359352 CPUtime=2528.28 cores=0,2,4,6
/proc/455/stat : 455 (java) S 452 455 29867 0 -1 1077944320 17005582 13380 0 0 250136 2685 5 2 20 0 15 0 473314693 11101024256 2089838 33554432000 4194304 4196468 140721574924000 140721574906544 139937804914423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
/proc/455/statm: 2710211 2089838 3624 1 0 2672269 0
[pid=455/tid=510] ppid=452 vsize=10840844 memory=3680 CPUtime=217.6 cores=0,2,4,6
/proc/455/task/510/stat : 510 (java) S 452 455 29867 0 -1 1077944384 642282 13380 0 0 21703 50 5 2 20 0 15 0 473314702 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937776747664 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=511] ppid=452 vsize=10840844 memory=6947385649911455296 CPUtime=559.02 cores=0,2,4,6
/proc/455/task/511/stat : 511 (java) R 452 455 29867 0 -1 4202560 3894948 13380 0 0 55271 624 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937809156568 139937784940581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=512] ppid=452 vsize=10840844 memory=1540 CPUtime=558.59 cores=0,2,4,6
/proc/455/task/512/stat : 512 (java) R 452 455 29867 0 -1 4202560 4158496 13380 0 0 55183 669 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937697430104 139937789612175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=513] ppid=452 vsize=10840844 memory=772 CPUtime=559.2 cores=0,2,4,6
/proc/455/task/513/stat : 513 (java) R 452 455 29867 0 -1 4202560 4186077 13380 0 0 55235 678 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937696377248 139937789899460 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=514] ppid=452 vsize=10840844 memory=10596 CPUtime=558.86 cores=0,2,4,6
/proc/455/task/514/stat : 514 (java) R 452 455 29867 0 -1 4202560 3522241 13380 0 0 55282 597 5 2 20 0 15 0 473314703 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139937695325016 139937789865138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=515] ppid=452 vsize=10840844 memory=1712 CPUtime=66.68 cores=0,2,4,6
/proc/455/task/515/stat : 515 (java) S 452 455 29867 0 -1 1077944384 540758 13380 0 0 6616 45 5 2 20 0 15 0 473314704 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936808125280 139937804924629 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=516] ppid=452 vsize=10840844 memory=988 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/516/stat : 516 (java) S 452 455 29867 0 -1 1077944384 62 13380 0 0 0 0 5 2 20 0 15 0 473314705 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936807073248 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=517] ppid=452 vsize=10840844 memory=3644 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/517/stat : 517 (java) S 452 455 29867 0 -1 1077944384 16 13380 0 0 0 0 5 2 20 0 15 0 473314705 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936678274560 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=518] ppid=452 vsize=10840844 memory=2828 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/518/stat : 518 (java) S 452 455 29867 0 -1 1077944384 9 13380 0 0 0 0 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936370874736 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=519] ppid=452 vsize=10840844 memory=1048 CPUtime=3.87 cores=0,2,4,6
/proc/455/task/519/stat : 519 (java) S 452 455 29867 0 -1 1077944384 21969 13380 0 0 375 5 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936773515248 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=520] ppid=452 vsize=10840844 memory=6016 CPUtime=2.84 cores=0,2,4,6
/proc/455/task/520/stat : 520 (java) S 452 455 29867 0 -1 1077944384 11214 13380 0 0 276 1 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936772462704 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=521] ppid=452 vsize=10840844 memory=612 CPUtime=1.39 cores=0,2,4,6
/proc/455/task/521/stat : 521 (java) S 452 455 29867 0 -1 1077944384 24241 13380 0 0 128 4 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936771410160 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=522] ppid=452 vsize=10840844 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/455/task/522/stat : 522 (java) S 452 455 29867 0 -1 1077944384 3 13380 0 0 0 0 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936337316448 139937804924629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
[pid=455/tid=523] ppid=452 vsize=10840844 memory=14004 CPUtime=0.75 cores=0,2,4,6
/proc/455/task/523/stat : 523 (java) S 452 455 29867 0 -1 1077944384 1058 13380 0 0 32 36 5 2 20 0 15 0 473314708 11101024256 2089838 33554432000 4194304 4196468 140721574924000 139936770358064 139937804925570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21483520 140721574931043 140721574933685 140721574933685 140721574936527 0
Current children cumulated CPU time: 2528.28 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8359352 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 847.792
CPU time (s): 2528.73
CPU user time (s): 2501.47
CPU system time (s): 27.2574
CPU usage (%): 298.272
Max. virtual memory (cumulated for all children) (KiB): 10840844
Max. memory (cumulated for all children) (KiB): 8368064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.47
system time used= 27.2574
maximum resident set size= 8368064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17018965
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37578
involuntary context switches= 22533
# summary of solver processes directly reported to runsolver:
# pid: 455
# total CPU time (s): 2528.73
# total CPU user time (s): 2501.47
# total CPU system time (s): 27.2574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.7293 second user time and 8.81243 second system time
The end