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 (12747 MiB free)
  memory of node 1: 16384 MiB (13957 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280309-1503154219/watcher-4280309-1503154219 -o /tmp/evaluation-result-4280309-1503154219/solver-4280309-1503154219 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503143203-13698 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1592827303 HOME/instance-4280309-1503154219.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15414, runsolver pid=15411

[startup+0.100148 s]*
/proc/loadavg: 0.54 0.78 1.38 3/199 15435
/proc/meminfo: memFree=27330396/32770624 swapFree=67108860/67108860
[pid=15414] ppid=15411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148509559 9740288 346 33554432000 4194304 5098028 140736165850976 140736165849080 139675049951868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34492416 140736165856356 140736165856567 140736165856567 140736165859307 0
/proc/15414/statm: 2378 346 289 221 0 87 0
[pid=15416] ppid=15414 vsize=25999808 memory=26220 CPUtime=0.12 cores=0-7
/proc/15416/stat : 15416 (java) S 15414 15414 13671 0 -1 1077944320 5477 0 0 0 11 1 0 0 20 0 20 0 148509559 26623803392 6555 33554432000 4194304 4196468 140737363622096 140737363604640 140345197788919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
/proc/15416/statm: 6499952 6555 2847 1 0 6488269 0
[pid=15416/tid=15417] ppid=15414 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/15416/task/15417/stat : 15417 (java) R 15414 15414 13671 0 -1 4202560 3480 0 0 0 8 0 0 0 20 0 20 0 148509559 26623803392 6620 33554432000 4194304 4196468 140737363622096 140345202020832 140345181832549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15418] ppid=15414 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26623803392 6620 33554432000 4194304 4196468 140737363622096 140345105349776 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15419] ppid=15414 vsize=25999808 memory=140603853223552 CPUtime=0 cores=0-7
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26623803392 6620 33554432000 4194304 4196468 140737363622096 140345104296976 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15420] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26623803392 6620 33554432000 4194304 4196468 140737363622096 140344754015120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15421] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148509560 26623803392 6620 33554432000 4194304 4196468 140737363622096 140344752962320 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15422] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26623803392 6620 33554432000 4194304 4196468 140737363622096 140344751909520 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15423] ppid=15414 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26623803392 6620 33554432000 4194304 4196468 140737363622096 140344750856720 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15424] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26623803392 6620 33554432000 4194304 4196468 140737363622096 140344749803920 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15425] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26623803392 6620 33554432000 4194304 4196468 140737363622096 140344748751120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15426] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15426/stat : 15426 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509562 26623803392 6620 33554432000 4194304 4196468 140737363622096 140343872756592 140345197800066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15427] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15427/stat : 15427 (java) S 15414 15414 13671 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148509562 26623803392 6620 33554432000 4194304 4196468 140737363622096 140343871702560 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15428] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 13671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148509562 26623803392 6620 33554432000 4194304 4196468 140737363622096 140343870649712 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15429] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509565 26623803392 6620 33554432000 4194304 4196468 140737363622096 140343869598032 140345197807515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15430] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 13671 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 148509565 26623803392 6620 33554432000 4194304 4196468 140737363622096 140343868545392 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15431] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15431/stat : 15431 (java) S 15414 15414 13671 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 148509565 26623803392 6620 33554432000 4194304 4196468 140737363622096 140343867492592 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15432] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15432/stat : 15432 (java) S 15414 15414 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148509565 26623803392 6620 33554432000 4194304 4196468 140737363622096 140343866439792 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15433] ppid=15414 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/15416/task/15433/stat : 15433 (java) S 15414 15414 13671 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 20 0 148509565 26623803392 6620 33554432000 4194304 4196468 140737363622096 140343865386992 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15434] ppid=15414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15434/stat : 15434 (java) S 15414 15414 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148509565 26623803392 6620 33554432000 4194304 4196468 140737363622096 140343864335456 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15435] ppid=15414 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15416/task/15435/stat : 15435 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509565 26623803392 6620 33554432000 4194304 4196468 140737363622096 140343863282736 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27604 KiB

[startup+0.216623 s]*
/proc/loadavg: 0.54 0.78 1.38 3/199 15435
/proc/meminfo: memFree=27318820/32770624 swapFree=67108860/67108860
[pid=15414] ppid=15411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148509559 9740288 346 33554432000 4194304 5098028 140736165850976 140736165849080 139675049951868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34492416 140736165856356 140736165856567 140736165856567 140736165859307 0
/proc/15414/statm: 2378 346 289 221 0 87 0
[pid=15416] ppid=15414 vsize=26004064 memory=38912 CPUtime=0.34 cores=0-7
/proc/15416/stat : 15416 (java) S 15414 15414 13671 0 -1 1077944320 8369 0 0 0 32 2 0 0 20 0 20 0 148509559 26628161536 9728 33554432000 4194304 4196468 140737363622096 140737363604640 140345197788919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
/proc/15416/statm: 6501024 9728 3042 1 0 6488277 0
[pid=15416/tid=15417] ppid=15414 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15416/task/15417/stat : 15417 (java) D 15414 15414 13671 0 -1 1077944384 5502 0 0 0 18 2 0 0 20 0 20 0 148509559 26628161536 9728 33554432000 4194304 4196468 140737363622096 140345201999840 140345190468141 0 4 0 16800975 18446744072101707300 0 0 -1 1 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15418] ppid=15414 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 9728 33554432000 4194304 4196468 140737363622096 140345105349776 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15419] ppid=15414 vsize=26004064 memory=140603853239223 CPUtime=0 cores=0-7
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 9728 33554432000 4194304 4196468 140737363622096 140345104296976 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15420] ppid=15414 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 9728 33554432000 4194304 4196468 140737363622096 140344754015120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15421] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 9728 33554432000 4194304 4196468 140737363622096 140344752962320 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15422] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 9728 33554432000 4194304 4196468 140737363622096 140344751909520 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15423] ppid=15414 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26628194304 9728 33554432000 4194304 4196468 140737363622096 140344750856720 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15424] ppid=15414 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26628194304 9728 33554432000 4194304 4196468 140737363622096 140344749803920 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15425] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 9728 33554432000 4194304 4196468 140737363622096 140344748751120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15426] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15426/stat : 15426 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509562 26628161536 9728 33554432000 4194304 4196468 140737363622096 140343872756592 140345197800066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15427] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15427/stat : 15427 (java) S 15414 15414 13671 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148509562 26628161536 9728 33554432000 4194304 4196468 140737363622096 140343871702560 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15428] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 13671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148509562 26628161536 9728 33554432000 4194304 4196468 140737363622096 140343870649712 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15429] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509565 26628161536 9728 33554432000 4194304 4196468 140737363622096 140343869598032 140345197807515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15430] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 13671 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 148509565 26628161536 9728 33554432000 4194304 4196468 140737363622096 140343868545392 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15431] ppid=15414 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/15416/task/15431/stat : 15431 (java) S 15414 15414 13671 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 20 0 148509565 26628194304 9728 33554432000 4194304 4196468 140737363622096 140343867492592 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15432] ppid=15414 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/15416/task/15432/stat : 15432 (java) S 15414 15414 13671 0 -1 1077944384 93 0 0 0 2 0 0 0 20 0 20 0 148509565 26628161536 9728 33554432000 4194304 4196468 140737363622096 140343866439792 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15433] ppid=15414 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/15416/task/15433/stat : 15433 (java) S 15414 15414 13671 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 20 0 148509565 26628161536 9728 33554432000 4194304 4196468 140737363622096 140343865386992 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15434] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15434/stat : 15434 (java) S 15414 15414 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148509565 26628161536 9728 33554432000 4194304 4196468 140737363622096 140343864335456 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15435] ppid=15414 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15416/task/15435/stat : 15435 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509565 26628161536 9728 33554432000 4194304 4196468 140737363622096 140343863282736 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40296 KiB

[startup+0.310264 s]*
/proc/loadavg: 0.54 0.78 1.38 3/199 15435
/proc/meminfo: memFree=27314416/32770624 swapFree=67108860/67108860
[pid=15414] ppid=15411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148509559 9740288 346 33554432000 4194304 5098028 140736165850976 140736165849080 139675049951868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34492416 140736165856356 140736165856567 140736165856567 140736165859307 0
/proc/15414/statm: 2378 346 289 221 0 87 0
[pid=15416] ppid=15414 vsize=26004064 memory=46832 CPUtime=0.5 cores=0-7
/proc/15416/stat : 15416 (java) S 15414 15414 13671 0 -1 1077944320 9376 0 0 0 47 3 0 0 20 0 20 0 148509559 26628161536 11642 33554432000 4194304 4196468 140737363622096 140737363604640 140345197788919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
/proc/15416/statm: 6501016 11708 3126 1 0 6488269 0
[pid=15416/tid=15417] ppid=15414 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/15416/task/15417/stat : 15417 (java) R 15414 15414 13671 0 -1 4202560 6062 0 0 0 26 2 0 0 20 0 20 0 148509559 26628161536 11708 33554432000 4194304 4196468 140737363622096 140345202027376 140345197810845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15418] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 11708 33554432000 4194304 4196468 140737363622096 140345105349776 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15419] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 11708 33554432000 4194304 4196468 140737363622096 140345104296976 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15420] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 11708 33554432000 4194304 4196468 140737363622096 140344754015120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15421] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 11708 33554432000 4194304 4196468 140737363622096 140344752962320 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15422] ppid=15414 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 11708 33554432000 4194304 4196468 140737363622096 140344751909520 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15423] ppid=15414 vsize=26004064 memory=140603740484527 CPUtime=0 cores=0-7
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 11708 33554432000 4194304 4196468 140737363622096 140344750856720 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15424] ppid=15414 vsize=26004064 memory=140603740486832 CPUtime=0 cores=0-7
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 11708 33554432000 4194304 4196468 140737363622096 140344749803920 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15425] ppid=15414 vsize=26004064 memory=140603740489136 CPUtime=0 cores=0-7
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26628161536 11708 33554432000 4194304 4196468 140737363622096 140344748751120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15426] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15426/stat : 15426 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509562 26628161536 11708 33554432000 4194304 4196468 140737363622096 140343872756592 140345197800066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15427] ppid=15414 vsize=26004064 memory=281207480985232 CPUtime=0 cores=0-7
/proc/15416/task/15427/stat : 15427 (java) S 15414 15414 13671 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148509562 26628161536 11708 33554432000 4194304 4196468 140737363622096 140343871702560 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15428] ppid=15414 vsize=26004064 memory=281207480992144 CPUtime=0 cores=0-7
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 13671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148509562 26628161536 11708 33554432000 4194304 4196468 140737363622096 140343870649712 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15429] ppid=15414 vsize=26004064 memory=281207480933424 CPUtime=0 cores=0-7
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509565 26628161536 11708 33554432000 4194304 4196468 140737363622096 140343869598032 140345197807515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15430] ppid=15414 vsize=26004064 memory=281207481005968 CPUtime=0.01 cores=0-7
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 13671 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 148509565 26628161536 11708 33554432000 4194304 4196468 140737363622096 140343868545392 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15431] ppid=15414 vsize=26004064 memory=281207481012880 CPUtime=0.03 cores=0-7
/proc/15416/task/15431/stat : 15431 (java) S 15414 15414 13671 0 -1 1077944384 495 0 0 0 3 0 0 0 20 0 20 0 148509565 26628161536 11708 33554432000 4194304 4196468 140737363622096 140343867492592 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15432] ppid=15414 vsize=26004064 memory=281207481010576 CPUtime=0.03 cores=0-7
/proc/15416/task/15432/stat : 15432 (java) R 15414 15414 13671 0 -1 4202560 231 0 0 0 3 0 0 0 20 0 20 0 148509565 26628161536 11708 33554432000 4194304 4196468 140737363622096 140343866420808 140345178490578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15433] ppid=15414 vsize=26004064 memory=281207481026736 CPUtime=0.12 cores=0-7
/proc/15416/task/15433/stat : 15433 (java) R 15414 15414 13671 0 -1 4202560 950 0 0 0 12 0 0 0 20 0 20 0 148509565 26628161536 11708 33554432000 4194304 4196468 140737363622096 140343865384168 140345178554127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15434] ppid=15414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15434/stat : 15434 (java) S 15414 15414 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148509565 26628161536 11708 33554432000 4194304 4196468 140737363622096 140343864335456 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15435] ppid=15414 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15416/task/15435/stat : 15435 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509565 26628161536 11708 33554432000 4194304 4196468 140737363622096 140343863282736 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48216 KiB

[startup+0.700987 s]
/proc/loadavg: 0.54 0.78 1.38 5/199 15435
/proc/meminfo: memFree=27288732/32770624 swapFree=67108860/67108860
[pid=15414] ppid=15411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148509559 9740288 346 33554432000 4194304 5098028 140736165850976 140736165849080 139675049951868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34492416 140736165856356 140736165856567 140736165856567 140736165859307 0
/proc/15414/statm: 2378 346 289 221 0 87 0
[pid=15416] ppid=15414 vsize=26006188 memory=129380 CPUtime=1.97 cores=0-7
/proc/15416/stat : 15416 (java) S 15414 15414 13671 0 -1 1077944320 13246 0 0 0 192 5 0 0 20 0 20 0 148509559 26630336512 32345 33554432000 4194304 4196468 140737363622096 140737363604640 140345197788919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
/proc/15416/statm: 6501547 32345 3212 1 0 6488781 0
[pid=15416/tid=15417] ppid=15414 vsize=26006188 memory=281207481384624 CPUtime=0.67 cores=0-7
/proc/15416/task/15417/stat : 15417 (java) R 15414 15414 13671 0 -1 4202560 6720 0 0 0 63 4 0 0 20 0 20 0 148509559 26630336512 32345 33554432000 4194304 4196468 140737363622096 140345202024832 140344787875884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15418] ppid=15414 vsize=26006188 memory=140603740693360 CPUtime=0 cores=0-7
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148509560 26630336512 32345 33554432000 4194304 4196468 140737363622096 140345105349776 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15419] ppid=15414 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26630336512 32345 33554432000 4194304 4196468 140737363622096 140345104296976 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15420] ppid=15414 vsize=26006188 memory=4620 CPUtime=0 cores=0-7
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148509560 26630336512 32345 33554432000 4194304 4196468 140737363622096 140344754015120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0

################
# More data... #
################

[pid=15416/tid=15491] ppid=15414 vsize=26538700 memory=893360 CPUtime=2381.78 cores=0-7
/proc/15416/task/15491/stat : 15491 (java) R 15414 15414 13671 0 -1 4202560 40417 0 0 0 238147 31 0 0 20 0 28 0 148513946 27175628800 223340 33554432000 4194304 4196468 140737363622096 140343854223760 140344792515165 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
Current children cumulated CPU time: 19451.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 894744 KiB

[startup+2502.3 s]
/proc/loadavg: 8.07 8.22 7.78 9/207 15547
/proc/meminfo: memFree=26462904/32770624 swapFree=67108860/67108860
[pid=15414] ppid=15411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148509559 9740288 346 33554432000 4194304 5098028 140736165850976 140736165849080 139675049951868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34492416 140736165856356 140736165856567 140736165856567 140736165859307 0
/proc/15414/statm: 2378 346 289 221 0 87 0
[pid=15416] ppid=15414 vsize=26538700 memory=897860 CPUtime=19929.5 cores=0-7
/proc/15416/stat : 15416 (java) S 15414 15414 13671 0 -1 1077944320 317827 0 0 0 1992648 302 0 0 20 0 28 0 148509559 27175628800 224465 33554432000 4194304 4196468 140737363622096 140737363604640 140345197788919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
/proc/15416/statm: 6634675 224465 3287 1 0 6621909 0
[pid=15416/tid=15417] ppid=15414 vsize=26538700 memory=895812 CPUtime=0.83 cores=0-7
/proc/15416/task/15417/stat : 15417 (java) S 15414 15414 13671 0 -1 1077944384 7108 0 0 0 78 5 0 0 20 0 28 0 148509559 27175628800 224465 33554432000 4194304 4196468 140737363622096 140345202029696 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15418] ppid=15414 vsize=26538700 memory=897860 CPUtime=4.51 cores=0-7
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 13671 0 -1 1077944384 10557 0 0 0 440 11 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140345105349776 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15419] ppid=15414 vsize=26538700 memory=897860 CPUtime=4.5 cores=0-7
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 13671 0 -1 1077944384 10970 0 0 0 437 13 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140345104296976 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15420] ppid=15414 vsize=26538700 memory=897860 CPUtime=4.55 cores=0-7
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 13671 0 -1 1077944384 10919 0 0 0 441 14 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344754015120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15421] ppid=15414 vsize=26538700 memory=6081082360749637728 CPUtime=4.53 cores=0-7
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 13671 0 -1 1077944384 9180 0 0 0 440 13 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344752962320 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15422] ppid=15414 vsize=26538700 memory=7881696724453321575 CPUtime=4.54 cores=0-7
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 13671 0 -1 1077944384 10450 0 0 0 442 12 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344751909520 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15423] ppid=15414 vsize=26538700 memory=281207482513344 CPUtime=4.51 cores=0-7
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 13671 0 -1 1077944384 8737 0 0 0 439 12 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344750856720 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15424] ppid=15414 vsize=26538700 memory=5860704123725310038 CPUtime=4.54 cores=0-7
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 13671 0 -1 1077944384 10086 0 0 0 442 12 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344749803920 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15425] ppid=15414 vsize=26538700 memory=4140 CPUtime=4.51 cores=0-7
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 13671 0 -1 1077944384 11634 0 0 0 439 12 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344748751120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15426] ppid=15414 vsize=26538700 memory=41224 CPUtime=1.69 cores=0-7
/proc/15416/task/15426/stat : 15426 (java) S 15414 15414 13671 0 -1 1077944384 30170 0 0 0 133 36 0 0 20 0 28 0 148509562 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343872756592 140345197800066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15427] ppid=15414 vsize=26538700 memory=897860 CPUtime=0 cores=0-7
/proc/15416/task/15427/stat : 15427 (java) S 15414 15414 13671 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 148509562 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343871702624 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15428] ppid=15414 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 13671 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 148509562 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343870649728 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15429] ppid=15414 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343869598032 140345197807515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15430] ppid=15414 vsize=26538700 memory=1384 CPUtime=2.56 cores=0-7
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 13671 0 -1 1077944384 15082 0 0 0 254 2 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343868545392 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15431] ppid=15414 vsize=26538700 memory=1384 CPUtime=2.27 cores=0-7
/proc/15416/task/15431/stat : 15431 (java) S 15414 15414 13671 0 -1 1077944384 13042 0 0 0 225 2 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343867492592 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15432] ppid=15414 vsize=26538700 memory=4140 CPUtime=2.21 cores=0-7
/proc/15416/task/15432/stat : 15432 (java) S 15414 15414 13671 0 -1 1077944384 11532 0 0 0 219 2 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343866439792 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15433] ppid=15414 vsize=26538700 memory=1384 CPUtime=0.77 cores=0-7
/proc/15416/task/15433/stat : 15433 (java) S 15414 15414 13671 0 -1 1077944384 10698 0 0 0 75 2 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343865386992 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15434] ppid=15414 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/15416/task/15434/stat : 15434 (java) S 15414 15414 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343864335456 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15435] ppid=15414 vsize=26538700 memory=897860 CPUtime=0.61 cores=0-7
/proc/15416/task/15435/stat : 15435 (java) S 15414 15414 13671 0 -1 1077944384 3414 0 0 0 20 41 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343863282736 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15484] ppid=15414 vsize=26538700 memory=1384 CPUtime=2444.16 cores=0-7
/proc/15416/task/15484/stat : 15484 (java) R 15414 15414 13671 0 -1 4202560 5912 0 0 0 244412 4 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343853169712 140344789913198 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15485] ppid=15414 vsize=26538700 memory=1296 CPUtime=2446.8 cores=0-7
/proc/15416/task/15485/stat : 15485 (java) R 15414 15414 13671 0 -1 4202560 6957 0 0 0 244674 6 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343852114616 140344789905958 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15486] ppid=15414 vsize=26538700 memory=2416 CPUtime=2440.98 cores=0-7
/proc/15416/task/15486/stat : 15486 (java) R 15414 15414 13671 0 -1 4202560 22928 0 0 0 244087 11 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343851061680 140344789569159 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15487] ppid=15414 vsize=26538700 memory=1728 CPUtime=2441.74 cores=0-7
/proc/15416/task/15487/stat : 15487 (java) R 15414 15414 13671 0 -1 4202560 23157 0 0 0 244140 34 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343855272376 140344786464183 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15488] ppid=15414 vsize=26538700 memory=6791534058613427641 CPUtime=2440.12 cores=0-7
/proc/15416/task/15488/stat : 15488 (java) R 15414 15414 13671 0 -1 4202560 19477 0 0 0 243981 31 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343850008128 140344786464183 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15489] ppid=15414 vsize=26538700 memory=895812 CPUtime=2446.16 cores=0-7
/proc/15416/task/15489/stat : 15489 (java) R 15414 15414 13671 0 -1 4202560 4584 0 0 0 244611 5 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343847907352 140344790299013 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15490] ppid=15414 vsize=26538700 memory=0 CPUtime=2445.13 cores=0-7
/proc/15416/task/15490/stat : 15490 (java) R 15414 15414 13671 0 -1 4202560 6533 0 0 0 244508 5 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343848960920 140344786464183 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15491] ppid=15414 vsize=26538700 memory=1384 CPUtime=2441.55 cores=0-7
/proc/15416/task/15491/stat : 15491 (java) R 15414 15414 13671 0 -1 4202560 41101 0 0 0 244123 32 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343854221792 140344792515303 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
Current children cumulated CPU time: 19929.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 899244 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.05 8.21 7.78 9/207 15547
/proc/meminfo: memFree=26463028/32770624 swapFree=67108860/67108860
[pid=15414] ppid=15411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148509559 9740288 346 33554432000 4194304 5098028 140736165850976 140736165849080 139675049951868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34492416 140736165856356 140736165856567 140736165856567 140736165859307 0
/proc/15414/statm: 2378 346 289 221 0 87 0
[pid=15416] ppid=15414 vsize=26538700 memory=897860 CPUtime=20070.7 cores=0-7
/proc/15416/stat : 15416 (java) S 15414 15414 13671 0 -1 1077944320 317973 0 0 0 2006768 303 0 0 20 0 28 0 148509559 27175628800 224465 33554432000 4194304 4196468 140737363622096 140737363604640 140345197788919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
/proc/15416/statm: 6634675 224465 3287 1 0 6621909 0
[pid=15416/tid=15417] ppid=15414 vsize=26538700 memory=4100 CPUtime=0.83 cores=0-7
/proc/15416/task/15417/stat : 15417 (java) S 15414 15414 13671 0 -1 1077944384 7108 0 0 0 78 5 0 0 20 0 28 0 148509559 27175628800 224465 33554432000 4194304 4196468 140737363622096 140345202029696 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15418] ppid=15414 vsize=26538700 memory=4872558044660077418 CPUtime=4.53 cores=0-7
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 13671 0 -1 1077944384 10559 0 0 0 442 11 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140345105349776 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15419] ppid=15414 vsize=26538700 memory=1384 CPUtime=4.52 cores=0-7
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 13671 0 -1 1077944384 10970 0 0 0 439 13 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140345104296976 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15420] ppid=15414 vsize=26538700 memory=1384 CPUtime=4.57 cores=0-7
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 13671 0 -1 1077944384 10923 0 0 0 443 14 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344754015120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15421] ppid=15414 vsize=26538700 memory=897860 CPUtime=4.55 cores=0-7
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 13671 0 -1 1077944384 9184 0 0 0 442 13 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344752962320 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15422] ppid=15414 vsize=26538700 memory=4872558044660077418 CPUtime=4.56 cores=0-7
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 13671 0 -1 1077944384 10451 0 0 0 444 12 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344751909520 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15423] ppid=15414 vsize=26538700 memory=1384 CPUtime=4.53 cores=0-7
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 13671 0 -1 1077944384 8737 0 0 0 441 12 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344750856720 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15424] ppid=15414 vsize=26538700 memory=897860 CPUtime=4.55 cores=0-7
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 13671 0 -1 1077944384 10087 0 0 0 443 12 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344749803920 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15425] ppid=15414 vsize=26538700 memory=897860 CPUtime=4.52 cores=0-7
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 13671 0 -1 1077944384 11637 0 0 0 440 12 0 0 20 0 28 0 148509560 27175628800 224465 33554432000 4194304 4196468 140737363622096 140344748751120 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15426] ppid=15414 vsize=26538700 memory=897860 CPUtime=1.7 cores=0-7
/proc/15416/task/15426/stat : 15426 (java) S 15414 15414 13671 0 -1 1077944384 30171 0 0 0 134 36 0 0 20 0 28 0 148509562 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343872756592 140345197800066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15427] ppid=15414 vsize=26538700 memory=5792 CPUtime=0 cores=0-7
/proc/15416/task/15427/stat : 15427 (java) S 15414 15414 13671 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 148509562 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343871702624 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15428] ppid=15414 vsize=26538700 memory=1008 CPUtime=0 cores=0-7
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 13671 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 148509562 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343870649728 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15429] ppid=15414 vsize=26538700 memory=4620 CPUtime=0 cores=0-7
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343869598032 140345197807515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15430] ppid=15414 vsize=26538700 memory=1428 CPUtime=2.56 cores=0-7
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 13671 0 -1 1077944384 15082 0 0 0 254 2 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343868545392 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15431] ppid=15414 vsize=26538700 memory=1204 CPUtime=2.27 cores=0-7
/proc/15416/task/15431/stat : 15431 (java) S 15414 15414 13671 0 -1 1077944384 13042 0 0 0 225 2 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343867492592 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15432] ppid=15414 vsize=26538700 memory=15880 CPUtime=2.21 cores=0-7
/proc/15416/task/15432/stat : 15432 (java) S 15414 15414 13671 0 -1 1077944384 11532 0 0 0 219 2 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343866439792 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15433] ppid=15414 vsize=26538700 memory=25012 CPUtime=0.77 cores=0-7
/proc/15416/task/15433/stat : 15433 (java) S 15414 15414 13671 0 -1 1077944384 10698 0 0 0 75 2 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343865386992 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15434] ppid=15414 vsize=26538700 memory=4048 CPUtime=0 cores=0-7
/proc/15416/task/15434/stat : 15434 (java) S 15414 15414 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343864335456 140345197799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15435] ppid=15414 vsize=26538700 memory=18488 CPUtime=0.61 cores=0-7
/proc/15416/task/15435/stat : 15435 (java) S 15414 15414 13671 0 -1 1077944384 3416 0 0 0 20 41 0 0 20 0 28 0 148509565 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343863282736 140345197800066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15484] ppid=15414 vsize=26538700 memory=1796 CPUtime=2461.84 cores=0-7
/proc/15416/task/15484/stat : 15484 (java) R 15414 15414 13671 0 -1 4202560 5922 0 0 0 246180 4 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343853165832 140344789913656 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15485] ppid=15414 vsize=26538700 memory=1236 CPUtime=2464.48 cores=0-7
/proc/15416/task/15485/stat : 15485 (java) R 15414 15414 13671 0 -1 4202560 6962 0 0 0 246442 6 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343852113960 140344790090805 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15486] ppid=15414 vsize=26538700 memory=640 CPUtime=2458.58 cores=0-7
/proc/15416/task/15486/stat : 15486 (java) R 15414 15414 13671 0 -1 4202560 22935 0 0 0 245847 11 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343851061280 140344786464084 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15487] ppid=15414 vsize=26538700 memory=1384 CPUtime=2459.4 cores=0-7
/proc/15416/task/15487/stat : 15487 (java) R 15414 15414 13671 0 -1 4202560 23173 0 0 0 245906 34 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343855271976 140344789913188 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15488] ppid=15414 vsize=26538700 memory=897860 CPUtime=2457.77 cores=0-7
/proc/15416/task/15488/stat : 15488 (java) R 15414 15414 13671 0 -1 4202560 19496 0 0 0 245746 31 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343850011168 140344789905826 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15489] ppid=15414 vsize=26538700 memory=1204 CPUtime=2463.61 cores=0-7
/proc/15416/task/15489/stat : 15489 (java) R 15414 15414 13671 0 -1 4202560 4592 0 0 0 246356 5 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343847902760 140344789945564 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15490] ppid=15414 vsize=26538700 memory=15880 CPUtime=2462.81 cores=0-7
/proc/15416/task/15490/stat : 15490 (java) R 15414 15414 13671 0 -1 4202560 6544 0 0 0 246276 5 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343848956216 140344786464064 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
[pid=15416/tid=15491] ppid=15414 vsize=26538700 memory=25012 CPUtime=2459.21 cores=0-7
/proc/15416/task/15491/stat : 15491 (java) R 15414 15414 13671 0 -1 4202560 41153 0 0 0 245889 32 0 0 20 0 28 0 148513946 27175628800 224465 33554432000 4194304 4196468 140737363622096 140343854219304 140344792515291 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 21278720 140737363625106 140737363625283 140737363625283 140737363627983 0
Current children cumulated CPU time: 20070.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 899244 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 15414 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000958 s, system=0.000958 s

[startup+2520.11 s]
# the end of solver process 15416 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20068.5 s, system=3.03913 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.11
CPU time (s): 20071.5
CPU user time (s): 20068.5
CPU system time (s): 3.03913
CPU usage (%): 796.452
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1204904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20068.5
system time used= 3.03913
maximum resident set size= 1203520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318883
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178817
involuntary context switches= 209691


# summary of solver processes directly reported to runsolver:
#   pid: 15414,15416
#   total CPU time (s): 20071.5
#   total CPU user time (s): 20068.5
#   total CPU system time (s): 3.03913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.7451 second user time and 23.5801 second system time

The end