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 (9886 MiB free)
memory of node 1: 16384 MiB (8694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394343-1568330388/watcher-4394343-1568330388 -o /tmp/evaluation-result-4394343-1568330388/solver-4394343-1568330388 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18217 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1113023174 HOME/instance-4394343-1568330388.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21060, runsolver pid=21057
[startup+0.100145 s]*
/proc/loadavg: 8.90 8.10 5.80 8/234 21076
/proc/meminfo: memFree=19010736/32770624 swapFree=66959212/67108860
[pid=21060] ppid=21057 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21060/stat : 21060 (xcsp3-exec) S 21057 21060 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408979011 115843072 362 33554432000 4194304 5098028 140725567452048 140725567450152 139791850746492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25899008 140725567456122 140725567456365 140725567456365 140725567459274 0
/proc/21060/statm: 28282 362 304 221 0 87 0
[pid=21062] ppid=21060 vsize=15144768 memory=28892 CPUtime=0.13 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21060 18186 0 -1 1077944320 5699 0 0 0 12 1 0 0 20 0 15 0 408979012 15508242432 7223 33554432000 4194304 4196468 140735755701200 140735755683744 140259190234871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
/proc/21062/statm: 3786192 7223 3141 1 0 3748377 0
[pid=21062/tid=21063] ppid=21060 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/21062/task/21063/stat : 21063 (java) R 21060 21060 18186 0 -1 4202560 3565 0 0 0 8 1 0 0 20 0 15 0 408979012 15508242432 7223 33554432000 4194304 4196468 140735755701200 140259194461120 140259190246806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21064] ppid=21060 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15508242432 7223 33554432000 4194304 4196468 140735755701200 140259142855056 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21065] ppid=21060 vsize=15144768 memory=140062198429312 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15508242432 7223 33554432000 4194304 4196468 140735755701200 140259141802256 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21066] ppid=21060 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15508242432 7223 33554432000 4194304 4196468 140735755701200 140259140749968 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21067] ppid=21060 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21060 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408979013 15508242432 7223 33554432000 4194304 4196468 140735755701200 140259139697168 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21068] ppid=21060 vsize=15144768 memory=140062198429312 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21060 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408979014 15508242432 7223 33554432000 4194304 4196468 140735755701200 140258658183792 140259190246018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21069] ppid=21060 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21060 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408979014 15508242432 7223 33554432000 4194304 4196468 140735755701200 140258657129760 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21070] ppid=21060 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21060 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408979015 15508242432 7223 33554432000 4194304 4196468 140735755701200 140258656077424 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21071] ppid=21060 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408979017 15508242432 7223 33554432000 4194304 4196468 140735755701200 140258655025744 140259190253467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21072] ppid=21060 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21060 18186 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 408979017 15508242432 7223 33554432000 4194304 4196468 140735755701200 140258653972592 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21073] ppid=21060 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) R 21060 21060 18186 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 408979017 15508242432 7223 33554432000 4194304 4196468 140735755701200 140258652919792 140259190246018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21074] ppid=21060 vsize=15144768 memory=140062198429312 CPUtime=0.02 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) R 21060 21060 18186 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 408979017 15508242432 7223 33554432000 4194304 4196468 140735755701200 140258651867504 140259190256218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21075] ppid=21060 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408979017 15508242432 7223 33554432000 4194304 4196468 140735755701200 140258650814944 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21076] ppid=21060 vsize=15144768 memory=140062198429312 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979017 15508242432 7223 33554432000 4194304 4196468 140735755701200 140258649762736 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30340 KiB
[startup+0.212249 s]*
/proc/loadavg: 8.90 8.10 5.80 7/234 21076
/proc/meminfo: memFree=18997752/32770624 swapFree=66959212/67108860
[pid=21060] ppid=21057 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21060/stat : 21060 (xcsp3-exec) S 21057 21060 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408979011 115843072 362 33554432000 4194304 5098028 140725567452048 140725567450152 139791850746492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25899008 140725567456122 140725567456365 140725567456365 140725567459274 0
/proc/21060/statm: 28282 362 304 221 0 87 0
[pid=21062] ppid=21060 vsize=15144768 memory=40936 CPUtime=0.35 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21060 18186 0 -1 1077944320 9436 0 0 0 32 3 0 0 20 0 15 0 408979012 15508242432 10234 33554432000 4194304 4196468 140735755701200 140735755683744 140259190234871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
/proc/21062/statm: 3786192 10234 3312 1 0 3748377 0
[pid=21062/tid=21063] ppid=21060 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21062/task/21063/stat : 21063 (java) R 21060 21060 18186 0 -1 4202560 6560 0 0 0 18 2 0 0 20 0 15 0 408979012 15508242432 10234 33554432000 4194304 4196468 140735755701200 140259194473184 140259174315358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21064] ppid=21060 vsize=15144768 memory=1965945 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15508242432 10234 33554432000 4194304 4196468 140735755701200 140259142855056 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21065] ppid=21060 vsize=15144768 memory=3688924848913479328 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15508242432 10234 33554432000 4194304 4196468 140735755701200 140259141802256 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21066] ppid=21060 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15508242432 10234 33554432000 4194304 4196468 140735755701200 140259140749968 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21067] ppid=21060 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21060 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408979013 15508242432 10234 33554432000 4194304 4196468 140735755701200 140259139697168 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21068] ppid=21060 vsize=15144768 memory=140062198429312 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21060 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408979014 15508242432 10234 33554432000 4194304 4196468 140735755701200 140258658183792 140259190246018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21069] ppid=21060 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21060 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408979014 15508242432 10234 33554432000 4194304 4196468 140735755701200 140258657129760 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21070] ppid=21060 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21060 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408979015 15508242432 10234 33554432000 4194304 4196468 140735755701200 140258656077424 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21071] ppid=21060 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408979017 15508242432 10234 33554432000 4194304 4196468 140735755701200 140258655025744 140259190253467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21072] ppid=21060 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21060 18186 0 -1 1077944384 529 0 0 0 3 0 0 0 20 0 15 0 408979017 15508242432 10234 33554432000 4194304 4196468 140735755701200 140258653972592 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21073] ppid=21060 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21060 18186 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 408979017 15508242432 10234 33554432000 4194304 4196468 140735755701200 140258652919792 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21074] ppid=21060 vsize=15144768 memory=140062198429312 CPUtime=0.08 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) R 21060 21060 18186 0 -1 4202560 768 0 0 0 8 0 0 0 20 0 15 0 408979017 15508242432 10234 33554432000 4194304 4196468 140735755701200 140258651867504 140259190246806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21075] ppid=21060 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408979017 15508242432 10234 33554432000 4194304 4196468 140735755701200 140258650814944 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21076] ppid=21060 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979017 15508242432 10234 33554432000 4194304 4196468 140735755701200 140258649762736 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42384 KiB
[startup+0.316054 s]*
/proc/loadavg: 8.90 8.10 5.80 7/233 21076
/proc/meminfo: memFree=18989624/32770624 swapFree=66959212/67108860
[pid=21060] ppid=21057 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21060/stat : 21060 (xcsp3-exec) S 21057 21060 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408979011 115843072 362 33554432000 4194304 5098028 140725567452048 140725567450152 139791850746492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25899008 140725567456122 140725567456365 140725567456365 140725567459274 0
/proc/21060/statm: 28282 362 304 221 0 87 0
[pid=21062] ppid=21060 vsize=15149024 memory=50720 CPUtime=0.53 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21060 18186 0 -1 1077944320 10932 0 0 0 50 3 0 0 20 0 15 0 408979012 15512600576 12680 33554432000 4194304 4196468 140735755701200 140735755683744 140259190234871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
/proc/21062/statm: 3787256 12680 3363 1 0 3748377 0
[pid=21062/tid=21063] ppid=21060 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/21062/task/21063/stat : 21063 (java) R 21060 21060 18186 0 -1 4202560 7808 0 0 0 28 2 0 0 20 0 15 0 408979012 15512600576 12680 33554432000 4194304 4196468 140735755701200 140259194465984 140259190256797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21064] ppid=21060 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15512600576 12680 33554432000 4194304 4196468 140735755701200 140259142855056 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21065] ppid=21060 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15512600576 12680 33554432000 4194304 4196468 140735755701200 140259141802256 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21066] ppid=21060 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15512600576 12680 33554432000 4194304 4196468 140735755701200 140259140749968 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21067] ppid=21060 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21060 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408979013 15512600576 12680 33554432000 4194304 4196468 140735755701200 140259139697168 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21068] ppid=21060 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21060 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408979014 15512600576 12680 33554432000 4194304 4196468 140735755701200 140258658183792 140259190246018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21069] ppid=21060 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21060 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408979014 15512600576 12680 33554432000 4194304 4196468 140735755701200 140258657129760 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21070] ppid=21060 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21060 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408979015 15512600576 12680 33554432000 4194304 4196468 140735755701200 140258656077424 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21071] ppid=21060 vsize=15149024 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408979017 15512600576 12680 33554432000 4194304 4196468 140735755701200 140258655025744 140259190253467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21072] ppid=21060 vsize=15149024 memory=8508281356422055839 CPUtime=0.04 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21060 18186 0 -1 1077944384 545 0 0 0 4 0 0 0 20 0 15 0 408979017 15512600576 12680 33554432000 4194304 4196468 140735755701200 140258653972592 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21073] ppid=21060 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21060 18186 0 -1 1077944384 411 0 0 0 4 0 0 0 20 0 15 0 408979017 15512600576 12680 33554432000 4194304 4196468 140735755701200 140258652919792 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21074] ppid=21060 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) R 21060 21060 18186 0 -1 4202560 865 0 0 0 12 0 0 0 20 0 15 0 408979017 15512600576 12690 33554432000 4194304 4196468 140735755701200 140258651867504 140259190246806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21075] ppid=21060 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408979017 15512600576 12690 33554432000 4194304 4196468 140735755701200 140258650814944 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21076] ppid=21060 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979017 15512600576 12690 33554432000 4194304 4196468 140735755701200 140258649762736 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52168 KiB
[startup+0.700751 s]
/proc/loadavg: 8.90 8.10 5.80 8/233 21076
/proc/meminfo: memFree=18969308/32770624 swapFree=66959212/67108860
[pid=21060] ppid=21057 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21060/stat : 21060 (xcsp3-exec) S 21057 21060 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408979011 115843072 362 33554432000 4194304 5098028 140725567452048 140725567450152 139791850746492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25899008 140725567456122 140725567456365 140725567456365 140725567459274 0
/proc/21060/statm: 28282 362 304 221 0 87 0
[pid=21062] ppid=21060 vsize=15151148 memory=91308 CPUtime=1.71 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21060 18186 0 -1 1077944320 15479 0 0 0 165 6 0 0 20 0 15 0 408979012 15514775552 22827 33554432000 4194304 4196468 140735755701200 140735755683744 140259190234871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
/proc/21062/statm: 3787787 22827 3443 1 0 3748889 0
[pid=21062/tid=21063] ppid=21060 vsize=15151148 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/21062/task/21063/stat : 21063 (java) R 21060 21060 18186 0 -1 4202560 9189 0 0 0 64 4 0 0 20 0 15 0 408979012 15514775552 22827 33554432000 4194304 4196468 140735755701200 140259194472464 140259171797473 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21064] ppid=21060 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15514775552 22827 33554432000 4194304 4196468 140735755701200 140259142855056 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21065] ppid=21060 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15514775552 22827 33554432000 4194304 4196468 140735755701200 140259141802256 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21066] ppid=21060 vsize=15151148 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979013 15514775552 22827 33554432000 4194304 4196468 140735755701200 140259140749968 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21067] ppid=21060 vsize=15151148 memory=38300 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21060 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408979013 15514775552 22827 33554432000 4194304 4196468 140735755701200 140259139697168 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21068] ppid=21060 vsize=15151148 memory=988 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21060 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408979014 15514775552 22827 33554432000 4194304 4196468 140735755701200 140258658183792 140259190246018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21069] ppid=21060 vsize=15151148 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21060 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408979014 15514775552 22827 33554432000 4194304 4196468 140735755701200 140258657129760 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21070] ppid=21060 vsize=15151148 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21060 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408979015 15514775552 22827 33554432000 4194304 4196468 140735755701200 140258656077424 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21071] ppid=21060 vsize=15151148 memory=580 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408979017 15514775552 22827 33554432000 4194304 4196468 140735755701200 140258655025744 140259190253467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21072] ppid=21060 vsize=15151148 memory=1720 CPUtime=0.32 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21060 18186 0 -1 1077944384 1559 0 0 0 32 0 0 0 20 0 15 0 408979017 15514775552 22827 33554432000 4194304 4196468 140735755701200 140258653972592 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21073] ppid=21060 vsize=15151148 memory=10604 CPUtime=0.27 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21060 18186 0 -1 1077944384 1034 0 0 0 27 0 0 0 20 0 15 0 408979017 15514775552 22827 33554432000 4194304 4196468 140735755701200 140258652919792 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21074] ppid=21060 vsize=15151148 memory=3360 CPUtime=0.41 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) S 21060 21060 18186 0 -1 1077944384 2391 0 0 0 41 0 0 0 20 0 15 0 408979017 15514775552 22827 33554432000 4194304 4196468 140735755701200 140258651867504 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21075] ppid=21060 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408979017 15514775552 22827 33554432000 4194304 4196468 140735755701200 140258650814944 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21076] ppid=21060 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21060 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408979017 15514775552 22827 33554432000 4194304 4196468 140735755701200 140258649762736 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 92756 KiB
[startup+1.501 s]
/proc/loadavg: 8.90 8.10 5.80 8/233 21076
/proc/meminfo: memFree=18877192/32770624 swapFree=66959212/67108860
[pid=21060] ppid=21057 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21060/stat : 21060 (xcsp3-exec) S 21057 21060 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408979011 115843072 362 33554432000 4194304 5098028 140725567452048 140725567450152 139791850746492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25899008 140725567456122 140725567456365 140725567456365 140725567459274 0
/proc/21060/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/21062/stat : 21062 (java) S 21060 21060 18186 0 -1 1077944320 188402 0 0 0 202619 96 0 0 20 0 19 0 408979012 15789518848 525915 33554432000 4194304 4196468 140735755701200 140735755683744 140259190234871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
/proc/21062/statm: 3854863 525915 3543 1 0 3815965 0
[pid=21062/tid=21063] ppid=21060 vsize=15419452 memory=2103660 CPUtime=1.43 cores=0,2,4,6
/proc/21062/task/21063/stat : 21063 (java) S 21060 21060 18186 0 -1 1077944384 12965 0 0 0 138 5 0 0 20 0 19 0 408979012 15789518848 525915 33554432000 4194304 4196468 140735755701200 140259194475648 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21064] ppid=21060 vsize=15419452 memory=1448 CPUtime=0.25 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) S 21060 21060 18186 0 -1 1077944384 1805 0 0 0 20 5 0 0 20 0 19 0 408979013 15789518848 525915 33554432000 4194304 4196468 140735755701200 140259142855056 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21065] ppid=21060 vsize=15419452 memory=3620 CPUtime=0.24 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21060 18186 0 -1 1077944384 2693 0 0 0 19 5 0 0 20 0 19 0 408979013 15789518848 525915 33554432000 4194304 4196468 140735755701200 140259141802256 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21066] ppid=21060 vsize=15419452 memory=1660 CPUtime=0.25 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21060 18186 0 -1 1077944384 2253 0 0 0 19 6 0 0 20 0 19 0 408979013 15789518848 525915 33554432000 4194304 4196468 140735755701200 140259140749968 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21067] ppid=21060 vsize=15419452 memory=1448 CPUtime=0.25 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21060 18186 0 -1 1077944384 3995 0 0 0 19 6 0 0 20 0 19 0 408979013 15789518848 525915 33554432000 4194304 4196468 140735755701200 140259139697168 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21068] ppid=21060 vsize=15419452 memory=1448 CPUtime=0.06 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21060 18186 0 -1 1077944384 5736 0 0 0 3 3 0 0 20 0 19 0 408979014 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258658183792 140259190246018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21069] ppid=21060 vsize=15419452 memory=2103660 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21060 18186 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 408979014 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258657129824 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21070] ppid=21060 vsize=15419452 memory=2103660 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21060 18186 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408979015 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258656077440 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21071] ppid=21060 vsize=15419452 memory=2103660 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408979017 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258655025744 140259190253467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21072] ppid=21060 vsize=15419452 memory=1448 CPUtime=3.58 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21060 18186 0 -1 1077944384 34030 0 0 0 355 3 0 0 20 0 19 0 408979017 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258653972592 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21073] ppid=21060 vsize=15419452 memory=132 CPUtime=3.77 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21060 18186 0 -1 1077944384 32705 0 0 0 373 4 0 0 20 0 19 0 408979017 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258652919792 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21074] ppid=21060 vsize=15419452 memory=6656426216303648864 CPUtime=1.02 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) S 21060 21060 18186 0 -1 1077944384 25441 0 0 0 99 3 0 0 20 0 19 0 408979017 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258651867504 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21075] ppid=21060 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408979017 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258650814944 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21076] ppid=21060 vsize=15419452 memory=2103660 CPUtime=0.24 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21060 18186 0 -1 1077944384 2532 0 0 0 18 6 0 0 20 0 19 0 408979017 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258649762736 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21146] ppid=21060 vsize=15419452 memory=1448 CPUtime=376.45 cores=0,2,4,6
/proc/21062/task/21146/stat : 21146 (java) R 21060 21060 18186 0 -1 4202560 1413 0 0 0 37644 1 0 0 20 0 19 0 408993332 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258639735288 140258826611600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21147] ppid=21060 vsize=15419452 memory=2103660 CPUtime=377.05 cores=0,2,4,6
/proc/21062/task/21147/stat : 21147 (java) R 21060 21060 18186 0 -1 4202560 3618 0 0 0 37704 1 0 0 20 0 19 0 408993332 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258638684024 140258826680305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21148] ppid=21060 vsize=15419452 memory=1448 CPUtime=376.77 cores=0,2,4,6
/proc/21062/task/21148/stat : 21148 (java) R 21060 21060 18186 0 -1 4202560 20445 0 0 0 37650 27 0 0 20 0 19 0 408993333 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258640791472 140258826711725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21149] ppid=21060 vsize=15419452 memory=1448 CPUtime=377.82 cores=0,2,4,6
/proc/21062/task/21149/stat : 21149 (java) R 21060 21060 18186 0 -1 4202560 1824 0 0 0 37782 0 0 0 20 0 19 0 408993333 15789518848 525915 33554432000 4194304 4196468 140735755701200 140258637631392 140258825928880 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
Current children cumulated CPU time: 2027.15 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2105108 KiB
[startup+582.301 s]
/proc/loadavg: 8.04 8.18 6.94 9/238 26835
/proc/meminfo: memFree=16705308/32770624 swapFree=66959212/67108860
[pid=21060] ppid=21057 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21060/stat : 21060 (xcsp3-exec) S 21057 21060 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408979011 115843072 362 33554432000 4194304 5098028 140725567452048 140725567450152 139791850746492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25899008 140725567456122 140725567456365 140725567456365 140725567459274 0
/proc/21060/statm: 28282 362 304 221 0 87 0
[pid=21062] ppid=21060 vsize=15419452 memory=2040052 CPUtime=2266 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21060 18186 0 -1 1077944320 194098 0 0 0 226503 97 0 0 20 0 19 0 408979012 15789518848 510013 33554432000 4194304 4196468 140735755701200 140735755683744 140259190234871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
/proc/21062/statm: 3854863 510013 3543 1 0 3815965 0
[pid=21062/tid=21063] ppid=21060 vsize=15419452 memory=2040052 CPUtime=1.43 cores=0,2,4,6
/proc/21062/task/21063/stat : 21063 (java) S 21060 21060 18186 0 -1 1077944384 12965 0 0 0 138 5 0 0 20 0 19 0 408979012 15789518848 510013 33554432000 4194304 4196468 140735755701200 140259194475648 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21064] ppid=21060 vsize=15419452 memory=2040052 CPUtime=0.26 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) S 21060 21060 18186 0 -1 1077944384 2389 0 0 0 21 5 0 0 20 0 19 0 408979013 15789518848 510013 33554432000 4194304 4196468 140735755701200 140259142855056 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21065] ppid=21060 vsize=15419452 memory=2040052 CPUtime=0.25 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21060 18186 0 -1 1077944384 2727 0 0 0 20 5 0 0 20 0 19 0 408979013 15789518848 510013 33554432000 4194304 4196468 140735755701200 140259141802256 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21066] ppid=21060 vsize=15419452 memory=2040052 CPUtime=0.26 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21060 18186 0 -1 1077944384 2319 0 0 0 20 6 0 0 20 0 19 0 408979013 15789518848 510013 33554432000 4194304 4196468 140735755701200 140259140749968 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21067] ppid=21060 vsize=15419452 memory=1448 CPUtime=0.26 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21060 18186 0 -1 1077944384 4029 0 0 0 20 6 0 0 20 0 19 0 408979013 15789518848 510013 33554432000 4194304 4196468 140735755701200 140259139697168 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21068] ppid=21060 vsize=15419452 memory=2040052 CPUtime=0.07 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21060 18186 0 -1 1077944384 5992 0 0 0 4 3 0 0 20 0 19 0 408979014 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258658183792 140259190246018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21069] ppid=21060 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21060 18186 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 408979014 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258657129824 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21070] ppid=21060 vsize=15419452 memory=164 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21060 18186 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408979015 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258656077440 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21071] ppid=21060 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408979017 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258655025744 140259190253467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21072] ppid=21060 vsize=15419452 memory=3620 CPUtime=3.59 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21060 18186 0 -1 1077944384 34862 0 0 0 356 3 0 0 20 0 19 0 408979017 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258653972592 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21073] ppid=21060 vsize=15419452 memory=1660 CPUtime=3.78 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21060 18186 0 -1 1077944384 33628 0 0 0 374 4 0 0 20 0 19 0 408979017 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258652919792 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21074] ppid=21060 vsize=15419452 memory=2040048 CPUtime=1.02 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) S 21060 21060 18186 0 -1 1077944384 25556 0 0 0 99 3 0 0 20 0 19 0 408979017 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258651867504 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21075] ppid=21060 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408979017 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258650814944 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21076] ppid=21060 vsize=15419452 memory=1660 CPUtime=0.24 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) S 21060 21060 18186 0 -1 1077944384 2562 0 0 0 18 6 0 0 20 0 19 0 408979017 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258649762736 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21146] ppid=21060 vsize=15419452 memory=38304 CPUtime=435.78 cores=0,2,4,6
/proc/21062/task/21146/stat : 21146 (java) R 21060 21060 18186 0 -1 4202560 1537 0 0 0 43577 1 0 0 20 0 19 0 408993332 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258639735176 140258826682106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21147] ppid=21060 vsize=15419452 memory=1448 CPUtime=436.77 cores=0,2,4,6
/proc/21062/task/21147/stat : 21147 (java) R 21060 21060 18186 0 -1 4202560 3896 0 0 0 43675 2 0 0 20 0 19 0 408993332 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258638683840 140258826682130 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21148] ppid=21060 vsize=15419452 memory=2040048 CPUtime=436.73 cores=0,2,4,6
/proc/21062/task/21148/stat : 21148 (java) R 21060 21060 18186 0 -1 4202560 22640 0 0 0 43645 28 0 0 20 0 19 0 408993333 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258640788872 140258825514827 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21149] ppid=21060 vsize=15419452 memory=3620 CPUtime=437.58 cores=0,2,4,6
/proc/21062/task/21149/stat : 21149 (java) R 21060 21060 18186 0 -1 4202560 2049 0 0 0 43758 0 0 0 20 0 19 0 408993333 15789518848 510013 33554432000 4194304 4196468 140735755701200 140258637634272 140258825514410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
Current children cumulated CPU time: 2266 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2041500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+616.001 s]*
/proc/loadavg: 8.08 8.17 6.98 9/237 26839
/proc/meminfo: memFree=16758152/32770624 swapFree=66959212/67108860
[pid=21060] ppid=21057 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21060/stat : 21060 (xcsp3-exec) S 21057 21060 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408979011 115843072 362 33554432000 4194304 5098028 140725567452048 140725567450152 139791850746492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25899008 140725567456122 140725567456365 140725567456365 140725567459274 0
/proc/21060/statm: 28282 362 304 221 0 87 0
[pid=21062] ppid=21060 vsize=15419452 memory=1981572 CPUtime=2400.02 cores=0,2,4,6
/proc/21062/stat : 21062 (java) S 21060 21060 18186 0 -1 1077944320 199474 0 0 0 239904 98 0 0 20 0 19 0 408979012 15789518848 495393 33554432000 4194304 4196468 140735755701200 140735755683744 140259190234871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
/proc/21062/statm: 3854863 495393 3543 1 0 3815965 0
[pid=21062/tid=21063] ppid=21060 vsize=15419452 memory=1216 CPUtime=1.43 cores=0,2,4,6
/proc/21062/task/21063/stat : 21063 (java) S 21060 21060 18186 0 -1 1077944384 13133 0 0 0 138 5 0 0 20 0 19 0 408979012 15789518848 495393 33554432000 4194304 4196468 140735755701200 140259194475648 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21064] ppid=21060 vsize=15419452 memory=3360 CPUtime=0.26 cores=0,2,4,6
/proc/21062/task/21064/stat : 21064 (java) S 21060 21060 18186 0 -1 1077944384 2391 0 0 0 21 5 0 0 20 0 19 0 408979013 15789518848 495393 33554432000 4194304 4196468 140735755701200 140259142855056 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21065] ppid=21060 vsize=15419452 memory=776 CPUtime=0.26 cores=0,2,4,6
/proc/21062/task/21065/stat : 21065 (java) S 21060 21060 18186 0 -1 1077944384 2732 0 0 0 21 5 0 0 20 0 19 0 408979013 15789518848 495393 33554432000 4194304 4196468 140735755701200 140259141802256 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21066] ppid=21060 vsize=15419452 memory=4872558044660077418 CPUtime=0.27 cores=0,2,4,6
/proc/21062/task/21066/stat : 21066 (java) S 21060 21060 18186 0 -1 1077944384 2321 0 0 0 21 6 0 0 20 0 19 0 408979013 15789518848 495393 33554432000 4194304 4196468 140735755701200 140259140749968 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21067] ppid=21060 vsize=15419452 memory=2008 CPUtime=0.27 cores=0,2,4,6
/proc/21062/task/21067/stat : 21067 (java) S 21060 21060 18186 0 -1 1077944384 4032 0 0 0 21 6 0 0 20 0 19 0 408979013 15789518848 495393 33554432000 4194304 4196468 140735755701200 140259139697168 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21068] ppid=21060 vsize=15419452 memory=1436 CPUtime=0.07 cores=0,2,4,6
/proc/21062/task/21068/stat : 21068 (java) S 21060 21060 18186 0 -1 1077944384 6036 0 0 0 4 3 0 0 20 0 19 0 408979014 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258658183792 140259190246018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21069] ppid=21060 vsize=15419452 memory=580 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21069/stat : 21069 (java) S 21060 21060 18186 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 408979014 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258657129824 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21070] ppid=21060 vsize=15419452 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21070/stat : 21070 (java) S 21060 21060 18186 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408979015 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258656077440 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21071] ppid=21060 vsize=15419452 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21071/stat : 21071 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408979017 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258655025744 140259190253467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21072] ppid=21060 vsize=15419452 memory=3360 CPUtime=3.59 cores=0,2,4,6
/proc/21062/task/21072/stat : 21072 (java) S 21060 21060 18186 0 -1 1077944384 35049 0 0 0 356 3 0 0 20 0 19 0 408979017 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258653972592 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21073] ppid=21060 vsize=15419452 memory=776 CPUtime=3.78 cores=0,2,4,6
/proc/21062/task/21073/stat : 21073 (java) S 21060 21060 18186 0 -1 1077944384 33644 0 0 0 374 4 0 0 20 0 19 0 408979017 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258652919792 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21074] ppid=21060 vsize=15419452 memory=1564 CPUtime=1.02 cores=0,2,4,6
/proc/21062/task/21074/stat : 21074 (java) S 21060 21060 18186 0 -1 1077944384 26177 0 0 0 99 3 0 0 20 0 19 0 408979017 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258651867504 140259190246018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21075] ppid=21060 vsize=15419452 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/21062/task/21075/stat : 21075 (java) S 21060 21060 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408979017 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258650814944 140259190245077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=21076] ppid=21060 vsize=15419452 memory=20496 CPUtime=0.26 cores=0,2,4,6
/proc/21062/task/21076/stat : 21076 (java) R 21060 21060 18186 0 -1 1077944384 2694 0 0 0 19 7 0 0 20 0 19 0 408979017 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258649762736 140259190246018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=26836] ppid=21060 vsize=15419452 memory=14048 CPUtime=18.15 cores=0,2,4,6
/proc/21062/task/26836/stat : 26836 (java) R 21060 21060 18186 0 -1 4202560 578 0 0 0 1815 0 0 0 20 0 19 0 409038784 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258638683080 140258826682106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=26837] ppid=21060 vsize=15419452 memory=2124 CPUtime=18.25 cores=0,2,4,6
/proc/21062/task/26837/stat : 26837 (java) R 21060 21060 18186 0 -1 4202560 1073 0 0 0 1825 0 0 0 20 0 19 0 409038784 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258639737320 140258825514410 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=26838] ppid=21060 vsize=15419452 memory=500 CPUtime=18.26 cores=0,2,4,6
/proc/21062/task/26838/stat : 26838 (java) R 21060 21060 18186 0 -1 4202560 1728 0 0 0 1826 0 0 0 20 0 19 0 409038784 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258640789384 140258825514608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
[pid=21062/tid=26839] ppid=21060 vsize=15419452 memory=1556 CPUtime=18.06 cores=0,2,4,6
/proc/21062/task/26839/stat : 26839 (java) R 21060 21060 18186 0 -1 4202560 480 0 0 0 1806 0 0 0 20 0 19 0 409038784 15789518848 495393 33554432000 4194304 4196468 140735755701200 140258637630880 140258825133283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8298496 140735755707375 140735755707546 140735755707546 140735755710415 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1983020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+616.029 s]
# the end of solver process 21060 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000731 s, system=0.001753 s
[startup+616.105 s]
# the end of solver process 21062 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.36 s, system=1.00177 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): 616.105
CPU time (s): 2400.36
CPU user time (s): 2399.36
CPU system time (s): 1.00177
CPU usage (%): 389.603
Max. virtual memory (cumulated for all children) (KiB): 15534224
Max. memory (cumulated for all children) (KiB): 2301644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.36
system time used= 1.00177
maximum resident set size= 2313996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18418
involuntary context switches= 41599
# summary of solver processes directly reported to runsolver:
# pid: 21060,21062
# total CPU time (s): 2400.36
# total CPU user time (s): 2399.36
# total CPU system time (s): 1.00177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.35933 second user time and 6.91341 second system time
The end