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 (14899 MiB free)
memory of node 1: 16384 MiB (13037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399254-1568695166/watcher-4399254-1568695166 -o /tmp/evaluation-result-4399254-1568695166/solver-4399254-1568695166 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19867 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 440094075 HOME/instance-4399254-1568695166.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21367, runsolver pid=21364
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 8.34 8.26 5.79 6/234 21383
/proc/meminfo: memFree=28591268/32770624 swapFree=66922404/67108860
[pid=21367] ppid=21364 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21367/stat : 21367 (xcsp3-exec) S 21364 21367 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445454516 115843072 362 33554432000 4194304 5098028 140727476937184 140727476935288 140553494090364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40296448 140727476941691 140727476941933 140727476941933 140727476944842 0
/proc/21367/statm: 28282 362 304 221 0 87 0
[pid=21369] ppid=21367 vsize=15144776 memory=29372 CPUtime=0.13 cores=0,2,4,6
/proc/21369/stat : 21369 (java) S 21367 21367 19836 0 -1 1077944320 5811 0 0 0 12 1 0 0 20 0 15 0 445454516 15508250624 7343 33554432000 4194304 4196468 140721811693888 140721811676432 140456785452791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
/proc/21369/statm: 3786194 7343 3118 1 0 3748377 0
[pid=21369/tid=21370] ppid=21367 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=0,2,4,6
/proc/21369/task/21370/stat : 21370 (java) R 21367 21367 19836 0 -1 4202560 3731 0 0 0 8 1 0 0 20 0 15 0 445454516 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456789678752 140456785474717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21371] ppid=21367 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21371/stat : 21371 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456713493520 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21372] ppid=21367 vsize=15144776 memory=140590372120192 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21372/stat : 21372 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456712440976 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21373] ppid=21367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21373/stat : 21373 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456711387920 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21374] ppid=21367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21374/stat : 21374 (java) S 21367 21367 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445454517 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456710335376 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21375] ppid=21367 vsize=15144776 memory=140590372120192 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21375/stat : 21375 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454518 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456253454576 140456785463938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21376] ppid=21367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21376/stat : 21376 (java) S 21367 21367 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445454519 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456252400800 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21377] ppid=21367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21377/stat : 21377 (java) S 21367 21367 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445454519 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456251347696 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21378] ppid=21367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21378/stat : 21378 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445454521 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456250296272 140456785471387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21379] ppid=21367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21379/stat : 21379 (java) S 21367 21367 19836 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 445454521 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456249244400 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21380] ppid=21367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21380/stat : 21380 (java) S 21367 21367 19836 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445454522 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456248191856 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21381] ppid=21367 vsize=15144776 memory=140590372120192 CPUtime=0.02 cores=0,2,4,6
/proc/21369/task/21381/stat : 21381 (java) R 21367 21367 19836 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 445454522 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456247138800 140456785474138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21382] ppid=21367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21382/stat : 21382 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445454522 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456246086496 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21383] ppid=21367 vsize=15144776 memory=140590372120192 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21383/stat : 21383 (java) S 21367 21367 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445454522 15508250624 7343 33554432000 4194304 4196468 140721811693888 140456245033520 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30820 KiB
[startup+0.210936 s]*
/proc/loadavg: 8.34 8.26 5.79 7/234 21383
/proc/meminfo: memFree=28579484/32770624 swapFree=66922404/67108860
[pid=21367] ppid=21364 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21367/stat : 21367 (xcsp3-exec) S 21364 21367 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445454516 115843072 362 33554432000 4194304 5098028 140727476937184 140727476935288 140553494090364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40296448 140727476941691 140727476941933 140727476941933 140727476944842 0
/proc/21367/statm: 28282 362 304 221 0 87 0
[pid=21369] ppid=21367 vsize=15144776 memory=40032 CPUtime=0.34 cores=0,2,4,6
/proc/21369/stat : 21369 (java) S 21367 21367 19836 0 -1 1077944320 9284 0 0 0 31 3 0 0 20 0 15 0 445454516 15508250624 10008 33554432000 4194304 4196468 140721811693888 140721811676432 140456785452791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
/proc/21369/statm: 3786194 10008 3262 1 0 3748377 0
[pid=21369/tid=21370] ppid=21367 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21369/task/21370/stat : 21370 (java) R 21367 21367 19836 0 -1 4202560 6582 0 0 0 18 2 0 0 20 0 15 0 445454516 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456789683072 140456785464726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21371] ppid=21367 vsize=15144776 memory=2810770 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21371/stat : 21371 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456713493520 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21372] ppid=21367 vsize=15144776 memory=4049780699571709600 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21372/stat : 21372 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456712440976 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21373] ppid=21367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21373/stat : 21373 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456711387920 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21374] ppid=21367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21374/stat : 21374 (java) S 21367 21367 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445454517 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456710335376 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21375] ppid=21367 vsize=15144776 memory=140590372120192 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21375/stat : 21375 (java) S 21367 21367 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445454518 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456253454576 140456785463938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21376] ppid=21367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21376/stat : 21376 (java) S 21367 21367 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445454519 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456252400800 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21377] ppid=21367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21377/stat : 21377 (java) S 21367 21367 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445454519 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456251347696 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21378] ppid=21367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21378/stat : 21378 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445454521 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456250296272 140456785471387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21379] ppid=21367 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21369/task/21379/stat : 21379 (java) S 21367 21367 19836 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 445454521 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456249244400 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21380] ppid=21367 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/21369/task/21380/stat : 21380 (java) R 21367 21367 19836 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 15 0 445454522 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456248191856 140456785463938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21381] ppid=21367 vsize=15144776 memory=140590372120192 CPUtime=0.07 cores=0,2,4,6
/proc/21369/task/21381/stat : 21381 (java) R 21367 21367 19836 0 -1 4202560 778 0 0 0 7 0 0 0 20 0 15 0 445454522 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456247138800 140456769805768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21382] ppid=21367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21382/stat : 21382 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445454522 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456246086496 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21383] ppid=21367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21383/stat : 21383 (java) S 21367 21367 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445454522 15508250624 10008 33554432000 4194304 4196468 140721811693888 140456245033520 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41480 KiB
[startup+0.313705 s]*
/proc/loadavg: 8.34 8.26 5.79 8/234 21383
/proc/meminfo: memFree=28571232/32770624 swapFree=66922404/67108860
[pid=21367] ppid=21364 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21367/stat : 21367 (xcsp3-exec) S 21364 21367 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445454516 115843072 362 33554432000 4194304 5098028 140727476937184 140727476935288 140553494090364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40296448 140727476941691 140727476941933 140727476941933 140727476944842 0
/proc/21367/statm: 28282 362 304 221 0 87 0
[pid=21369] ppid=21367 vsize=15149032 memory=49792 CPUtime=0.54 cores=0,2,4,6
/proc/21369/stat : 21369 (java) S 21367 21367 19836 0 -1 1077944320 10760 0 0 0 50 4 0 0 20 0 15 0 445454516 15512608768 12448 33554432000 4194304 4196468 140721811693888 140721811676432 140456785452791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
/proc/21369/statm: 3787258 12448 3365 1 0 3748377 0
[pid=21369/tid=21370] ppid=21367 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/21369/task/21370/stat : 21370 (java) R 21367 21367 19836 0 -1 4202560 7716 0 0 0 28 2 0 0 20 0 15 0 445454516 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456789683904 140456769533278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21371] ppid=21367 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21371/stat : 21371 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456713493520 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21372] ppid=21367 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21372/stat : 21372 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456712440976 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21373] ppid=21367 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21373/stat : 21373 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456711387920 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21374] ppid=21367 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21374/stat : 21374 (java) S 21367 21367 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445454517 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456710335376 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21375] ppid=21367 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21375/stat : 21375 (java) S 21367 21367 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445454518 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456253454576 140456785463938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21376] ppid=21367 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21376/stat : 21376 (java) S 21367 21367 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445454519 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456252400800 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21377] ppid=21367 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21377/stat : 21377 (java) S 21367 21367 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445454519 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456251347696 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21378] ppid=21367 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21378/stat : 21378 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445454521 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456250296272 140456785471387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21379] ppid=21367 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/21369/task/21379/stat : 21379 (java) R 21367 21367 19836 0 -1 4202560 501 0 0 0 4 0 0 0 20 0 15 0 445454521 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456249235856 140456765145883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21380] ppid=21367 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21369/task/21380/stat : 21380 (java) R 21367 21367 19836 0 -1 1077944384 297 0 0 0 4 0 0 0 20 0 15 0 445454522 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456248191856 140456785463938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21381] ppid=21367 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21369/task/21381/stat : 21381 (java) S 21367 21367 19836 0 -1 1077944384 940 0 0 0 12 0 0 0 20 0 15 0 445454522 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456247138800 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21382] ppid=21367 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21382/stat : 21382 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445454522 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456246086496 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21383] ppid=21367 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21383/stat : 21383 (java) S 21367 21367 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445454522 15512608768 12448 33554432000 4194304 4196468 140721811693888 140456245033520 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51240 KiB
[startup+0.703274 s]
/proc/loadavg: 8.34 8.26 5.79 7/234 21383
/proc/meminfo: memFree=28558820/32770624 swapFree=66922404/67108860
[pid=21367] ppid=21364 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21367/stat : 21367 (xcsp3-exec) S 21364 21367 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445454516 115843072 362 33554432000 4194304 5098028 140727476937184 140727476935288 140553494090364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40296448 140727476941691 140727476941933 140727476941933 140727476944842 0
/proc/21367/statm: 28282 362 304 221 0 87 0
[pid=21369] ppid=21367 vsize=15151156 memory=91088 CPUtime=1.64 cores=0,2,4,6
/proc/21369/stat : 21369 (java) S 21367 21367 19836 0 -1 1077944320 13878 0 0 0 158 6 0 0 20 0 15 0 445454516 15514783744 22772 33554432000 4194304 4196468 140721811693888 140721811676432 140456785452791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
/proc/21369/statm: 3787789 22772 3462 1 0 3748889 0
[pid=21369/tid=21370] ppid=21367 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/21369/task/21370/stat : 21370 (java) R 21367 21367 19836 0 -1 4202560 9130 0 0 0 64 4 0 0 20 0 15 0 445454516 15514783744 22772 33554432000 4194304 4196468 140721811693888 140456789689984 140456768440338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21371] ppid=21367 vsize=15151156 memory=32660 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21371/stat : 21371 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15514783744 22772 33554432000 4194304 4196468 140721811693888 140456713493520 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21372] ppid=21367 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21372/stat : 21372 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15514783744 22772 33554432000 4194304 4196468 140721811693888 140456712440976 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21373] ppid=21367 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21373/stat : 21373 (java) S 21367 21367 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445454517 15514783744 22772 33554432000 4194304 4196468 140721811693888 140456711387920 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21374] ppid=21367 vsize=15151156 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21374/stat : 21374 (java) S 21367 21367 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445454517 15514783744 22772 33554432000 4194304 4196468 140721811693888 140456710335376 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21375] ppid=21367 vsize=15151156 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21375/stat : 21375 (java) S 21367 21367 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445454518 15514783744 22772 33554432000 4194304 4196468 140721811693888 140456253454576 140456785463938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21376] ppid=21367 vsize=15151156 memory=5972 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21376/stat : 21376 (java) S 21367 21367 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445454519 15514783744 22772 33554432000 4194304 4196468 140721811693888 140456252400800 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21377] ppid=21367 vsize=15151156 memory=588 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21377/stat : 21377 (java) S 21367 21367 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445454519 15514783744 22772 33554432000 4194304 4196468 140721811693888 140456251347696 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21378] ppid=21367 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21378/stat : 21378 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445454521 15514783744 22772 33554432000 4194304 4196468 140721811693888 140456250296272 140456785471387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21379] ppid=21367 vsize=15151156 memory=1056 CPUtime=0.27 cores=0,2,4,6
/proc/21369/task/21379/stat : 21379 (java) R 21367 21367 19836 0 -1 4202560 957 0 0 0 27 0 0 0 20 0 15 0 445454521 15514783744 22805 33554432000 4194304 4196468 140721811693888 140456249230496 140456765145895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21380] ppid=21367 vsize=15151156 memory=11620 CPUtime=0.26 cores=0,2,4,6
/proc/21369/task/21380/stat : 21380 (java) R 21367 21367 19836 0 -1 4202560 657 0 0 0 26 0 0 0 20 0 15 0 445454522 15514783744 22805 33554432000 4194304 4196468 140721811693888 140456248191040 140456771470856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21381] ppid=21367 vsize=15151156 memory=3992 CPUtime=0.41 cores=0,2,4,6
/proc/21369/task/21381/stat : 21381 (java) R 21367 21367 19836 0 -1 4202560 1829 0 0 0 40 1 0 0 20 0 15 0 445454522 15514783744 22805 33554432000 4194304 4196468 140721811693888 140456247138800 140456778552638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21382] ppid=21367 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21382/stat : 21382 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445454522 15514783744 22805 33554432000 4194304 4196468 140721811693888 140456246086496 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21383] ppid=21367 vsize=15151156 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21383/stat : 21383 (java) S 21367 21367 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445454522 15514783744 22805 33554432000 4194304 4196468 140721811693888 140456245033520 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92536 KiB
[startup+1.50098 s]
/proc/loadavg: 8.31 8.26 5.80 10/238 21387
/proc/meminfo: memFree=28477672/32770624 swapFree=66922404/67108860
[pid=21367] ppid=21364 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21367/stat : 21367 (xcsp3-exec) S 21364 21367 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445454516 115843072 362 33554432000 4194304 5098028 140727476937184 140727476935288 140553494090364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40296448 140727476941691 140727476941933 140727476941933 140727476944842 0
/proc/21367/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/21369/task/21379/stat : 21379 (java) S 21367 21367 19836 0 -1 1077944384 10743 0 0 0 185 2 0 0 20 0 19 0 445454521 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456249244400 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21380] ppid=21367 vsize=15417412 memory=780 CPUtime=2.11 cores=0,2,4,6
/proc/21369/task/21380/stat : 21380 (java) S 21367 21367 19836 0 -1 1077944384 10846 0 0 0 210 1 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456248191856 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21381] ppid=21367 vsize=15417412 memory=1448 CPUtime=0.8 cores=0,2,4,6
/proc/21369/task/21381/stat : 21381 (java) S 21367 21367 19836 0 -1 1077944384 7381 0 0 0 78 2 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456247138800 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21382] ppid=21367 vsize=15417412 memory=186780 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21382/stat : 21382 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456246086496 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21383] ppid=21367 vsize=15417412 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/21369/task/21383/stat : 21383 (java) S 21367 21367 19836 0 -1 1077944384 728 0 0 0 0 2 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456245033520 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21384] ppid=21367 vsize=15417412 memory=186840 CPUtime=64.89 cores=0,2,4,6
/proc/21369/task/21384/stat : 21384 (java) R 21367 21367 19836 0 -1 4202560 793 0 0 0 6489 0 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456167987056 140456394320416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21385] ppid=21367 vsize=15417412 memory=186780 CPUtime=64.84 cores=0,2,4,6
/proc/21369/task/21385/stat : 21385 (java) R 21367 21367 19836 0 -1 4202560 1947 0 0 0 6483 1 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456166932296 140456394320304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21386] ppid=21367 vsize=15417412 memory=2116 CPUtime=65.18 cores=0,2,4,6
/proc/21369/task/21386/stat : 21386 (java) R 21367 21367 19836 0 -1 4202560 736 0 0 0 6518 0 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456165879376 140456391901928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21387] ppid=21367 vsize=15417412 memory=13000 CPUtime=64.94 cores=0,2,4,6
/proc/21369/task/21387/stat : 21387 (java) R 21367 21367 19836 0 -1 4202560 1452 0 0 0 6494 0 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456164827304 140456391474594 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
Current children cumulated CPU time: 266 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 188288 KiB
[startup+68.0013 s]*
/proc/loadavg: 8.41 8.28 5.98 9/238 21391
/proc/meminfo: memFree=28147768/32770624 swapFree=66922404/67108860
[pid=21367] ppid=21364 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21367/stat : 21367 (xcsp3-exec) S 21364 21367 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445454516 115843072 362 33554432000 4194304 5098028 140727476937184 140727476935288 140553494090364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40296448 140727476941691 140727476941933 140727476941933 140727476944842 0
/proc/21367/statm: 28282 362 304 221 0 87 0
[pid=21369] ppid=21367 vsize=15417412 memory=186840 CPUtime=269.23 cores=0,2,4,6
/proc/21369/stat : 21369 (java) S 21367 21367 19836 0 -1 1077944320 51328 0 0 0 26900 23 0 0 20 0 19 0 445454516 15787429888 46710 33554432000 4194304 4196468 140721811693888 140721811676432 140456785452791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
/proc/21369/statm: 3854353 46710 3526 1 0 3815453 0
[pid=21369/tid=21370] ppid=21367 vsize=15417412 memory=8317482817917895235 CPUtime=0.77 cores=0,2,4,6
/proc/21369/task/21370/stat : 21370 (java) S 21367 21367 19836 0 -1 1077944384 9226 0 0 0 73 4 0 0 20 0 19 0 445454516 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456789693568 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21371] ppid=21367 vsize=15417412 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21369/task/21371/stat : 21371 (java) S 21367 21367 19836 0 -1 1077944384 923 0 0 0 8 1 0 0 20 0 19 0 445454517 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456713493520 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21372] ppid=21367 vsize=15417412 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/21369/task/21372/stat : 21372 (java) S 21367 21367 19836 0 -1 1077944384 1499 0 0 0 9 2 0 0 20 0 19 0 445454517 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456712440976 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21373] ppid=21367 vsize=15417412 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/21369/task/21373/stat : 21373 (java) S 21367 21367 19836 0 -1 1077944384 590 0 0 0 9 1 0 0 20 0 19 0 445454517 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456711387920 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21374] ppid=21367 vsize=15417412 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/21369/task/21374/stat : 21374 (java) S 21367 21367 19836 0 -1 1077944384 1869 0 0 0 9 1 0 0 20 0 19 0 445454517 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456710335376 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21375] ppid=21367 vsize=15417412 memory=3977302114013689647 CPUtime=0.04 cores=0,2,4,6
/proc/21369/task/21375/stat : 21375 (java) S 21367 21367 19836 0 -1 1077944384 1177 0 0 0 3 1 0 0 20 0 19 0 445454518 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456253454576 140456785463938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21376] ppid=21367 vsize=15417412 memory=7948963741541478447 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21376/stat : 21376 (java) S 21367 21367 19836 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 445454519 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456252400864 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21377] ppid=21367 vsize=15417412 memory=5796380251359581872 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21377/stat : 21377 (java) S 21367 21367 19836 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 19 0 445454519 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456251347712 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21378] ppid=21367 vsize=15417412 memory=7378697628591075375 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21378/stat : 21378 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445454521 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456250296272 140456785471387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21379] ppid=21367 vsize=15417412 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/21369/task/21379/stat : 21379 (java) S 21367 21367 19836 0 -1 1077944384 10743 0 0 0 185 2 0 0 20 0 19 0 445454521 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456249244400 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21380] ppid=21367 vsize=15417412 memory=3184097920075968559 CPUtime=2.11 cores=0,2,4,6
/proc/21369/task/21380/stat : 21380 (java) S 21367 21367 19836 0 -1 1077944384 10846 0 0 0 210 1 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456248191856 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21381] ppid=21367 vsize=15417412 memory=9023629670928638048 CPUtime=0.8 cores=0,2,4,6
/proc/21369/task/21381/stat : 21381 (java) S 21367 21367 19836 0 -1 1077944384 7381 0 0 0 78 2 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456247138800 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21382] ppid=21367 vsize=15417412 memory=-4866526891258710369 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21382/stat : 21382 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456246086496 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21383] ppid=21367 vsize=15417412 memory=6944656575208382560 CPUtime=0.02 cores=0,2,4,6
/proc/21369/task/21383/stat : 21383 (java) S 21367 21367 19836 0 -1 1077944384 728 0 0 0 0 2 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456245033520 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21384] ppid=21367 vsize=15417412 memory=6944656592455097440 CPUtime=65.7 cores=0,2,4,6
/proc/21369/task/21384/stat : 21384 (java) R 21367 21367 19836 0 -1 4202560 793 0 0 0 6570 0 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456167987056 140456394320697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21385] ppid=21367 vsize=15417412 memory=8303054830060986464 CPUtime=65.64 cores=0,2,4,6
/proc/21369/task/21385/stat : 21385 (java) R 21367 21367 19836 0 -1 4202560 1947 0 0 0 6563 1 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456166932296 140456394320391 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21386] ppid=21367 vsize=15417412 memory=7161374758187985813 CPUtime=65.99 cores=0,2,4,6
/proc/21369/task/21386/stat : 21386 (java) R 21367 21367 19836 0 -1 4202560 738 0 0 0 6599 0 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456165879376 140456392879815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21387] ppid=21367 vsize=15417412 memory=3833186925568598068 CPUtime=65.73 cores=0,2,4,6
/proc/21369/task/21387/stat : 21387 (java) R 21367 21367 19836 0 -1 4202560 1452 0 0 0 6573 0 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456164827304 140456391901909 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
Current children cumulated CPU time: 269.23 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 188288 KiB
[startup+68.8013 s]
/proc/loadavg: 8.41 8.28 5.98 9/238 21391
/proc/meminfo: memFree=28147768/32770624 swapFree=66922404/67108860
[pid=21367] ppid=21364 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21367/stat : 21367 (xcsp3-exec) S 21364 21367 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445454516 115843072 362 33554432000 4194304 5098028 140727476937184 140727476935288 140553494090364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40296448 140727476941691 140727476941933 140727476941933 140727476944842 0
/proc/21367/statm: 28282 362 304 221 0 87 0
[pid=21369] ppid=21367 vsize=15417412 memory=186840 CPUtime=272.38 cores=0,2,4,6
/proc/21369/stat : 21369 (java) S 21367 21367 19836 0 -1 1077944320 51332 0 0 0 27215 23 0 0 20 0 19 0 445454516 15787429888 46710 33554432000 4194304 4196468 140721811693888 140721811676432 140456785452791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
/proc/21369/statm: 3854353 46710 3526 1 0 3815453 0
[pid=21369/tid=21370] ppid=21367 vsize=15417412 memory=780 CPUtime=0.77 cores=0,2,4,6
/proc/21369/task/21370/stat : 21370 (java) S 21367 21367 19836 0 -1 1077944384 9226 0 0 0 73 4 0 0 20 0 19 0 445454516 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456789693568 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21371] ppid=21367 vsize=15417412 memory=1056 CPUtime=0.09 cores=0,2,4,6
/proc/21369/task/21371/stat : 21371 (java) S 21367 21367 19836 0 -1 1077944384 923 0 0 0 8 1 0 0 20 0 19 0 445454517 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456713493520 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21372] ppid=21367 vsize=15417412 memory=11620 CPUtime=0.11 cores=0,2,4,6
/proc/21369/task/21372/stat : 21372 (java) S 21367 21367 19836 0 -1 1077944384 1499 0 0 0 9 2 0 0 20 0 19 0 445454517 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456712440976 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21373] ppid=21367 vsize=15417412 memory=3992 CPUtime=0.1 cores=0,2,4,6
/proc/21369/task/21373/stat : 21373 (java) S 21367 21367 19836 0 -1 1077944384 590 0 0 0 9 1 0 0 20 0 19 0 445454517 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456711387920 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21374] ppid=21367 vsize=15417412 memory=2828 CPUtime=0.1 cores=0,2,4,6
/proc/21369/task/21374/stat : 21374 (java) S 21367 21367 19836 0 -1 1077944384 1869 0 0 0 9 1 0 0 20 0 19 0 445454517 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456710335376 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21375] ppid=21367 vsize=15417412 memory=1000 CPUtime=0.04 cores=0,2,4,6
/proc/21369/task/21375/stat : 21375 (java) S 21367 21367 19836 0 -1 1077944384 1177 0 0 0 3 1 0 0 20 0 19 0 445454518 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456253454576 140456785463938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21376] ppid=21367 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21376/stat : 21376 (java) S 21367 21367 19836 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 445454519 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456252400864 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21377] ppid=21367 vsize=15417412 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21377/stat : 21377 (java) S 21367 21367 19836 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 19 0 445454519 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456251347712 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21378] ppid=21367 vsize=15417412 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21378/stat : 21378 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445454521 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456250296272 140456785471387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21379] ppid=21367 vsize=15417412 memory=1448 CPUtime=1.87 cores=0,2,4,6
/proc/21369/task/21379/stat : 21379 (java) S 21367 21367 19836 0 -1 1077944384 10743 0 0 0 185 2 0 0 20 0 19 0 445454521 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456249244400 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21380] ppid=21367 vsize=15417412 memory=1448 CPUtime=2.11 cores=0,2,4,6
/proc/21369/task/21380/stat : 21380 (java) S 21367 21367 19836 0 -1 1077944384 10846 0 0 0 210 1 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456248191856 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21381] ppid=21367 vsize=15417412 memory=186840 CPUtime=0.8 cores=0,2,4,6
/proc/21369/task/21381/stat : 21381 (java) S 21367 21367 19836 0 -1 1077944384 7381 0 0 0 78 2 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456247138800 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21382] ppid=21367 vsize=15417412 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21382/stat : 21382 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456246086496 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21383] ppid=21367 vsize=15417412 memory=800 CPUtime=0.02 cores=0,2,4,6
/proc/21369/task/21383/stat : 21383 (java) S 21367 21367 19836 0 -1 1077944384 728 0 0 0 0 2 0 0 20 0 19 0 445454522 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456245033520 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21384] ppid=21367 vsize=15417412 memory=4100 CPUtime=66.49 cores=0,2,4,6
/proc/21369/task/21384/stat : 21384 (java) R 21367 21367 19836 0 -1 4202560 793 0 0 0 6649 0 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456167987056 140456393850922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21385] ppid=21367 vsize=15417412 memory=1808 CPUtime=66.43 cores=0,2,4,6
/proc/21369/task/21385/stat : 21385 (java) R 21367 21367 19836 0 -1 4202560 1947 0 0 0 6642 1 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456166932296 140456391902215 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21386] ppid=21367 vsize=15417412 memory=920 CPUtime=66.78 cores=0,2,4,6
/proc/21369/task/21386/stat : 21386 (java) R 21367 21367 19836 0 -1 4202560 740 0 0 0 6678 0 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456165879376 140456392879529 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21387] ppid=21367 vsize=15417412 memory=3848 CPUtime=66.51 cores=0,2,4,6
/proc/21369/task/21387/stat : 21387 (java) R 21367 21367 19836 0 -1 4202560 1454 0 0 0 6651 0 0 0 20 0 19 0 445454596 15787429888 46710 33554432000 4194304 4196468 140721811693888 140456164827304 140456394320304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
Current children cumulated CPU time: 272.38 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 188288 KiB
[startup+69.2095 s]
/proc/loadavg: 8.41 8.28 5.98 9/238 21391
/proc/meminfo: memFree=28147800/32770624 swapFree=66922404/67108860
[pid=21367] ppid=21364 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21367/stat : 21367 (xcsp3-exec) S 21364 21367 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445454516 115843072 362 33554432000 4194304 5098028 140727476937184 140727476935288 140553494090364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40296448 140727476941691 140727476941933 140727476941933 140727476944842 0
/proc/21367/statm: 28282 362 304 221 0 87 0
[pid=21369] ppid=21367 vsize=15417412 memory=186808 CPUtime=273.98 cores=0,2,4,6
/proc/21369/stat : 21369 (java) S 21367 21367 19836 0 -1 1077944320 53534 0 0 0 27375 23 0 0 20 0 15 0 445454516 15787429888 46702 33554432000 4194304 4196468 140721811693888 140721811676432 140456785452791 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
/proc/21369/statm: 3854353 46702 3529 1 0 3815453 0
[pid=21369/tid=21370] ppid=21367 vsize=15417412 memory=3313520 CPUtime=0.78 cores=0,2,4,6
/proc/21369/task/21370/stat : 21370 (java) R 21367 21367 19836 0 -1 1077944384 9560 0 0 0 74 4 0 0 20 0 15 0 445454516 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456789692256 140456785462997 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21371] ppid=21367 vsize=15417412 memory=8761921863948460128 CPUtime=0.09 cores=0,2,4,6
/proc/21369/task/21371/stat : 21371 (java) S 21367 21367 19836 0 -1 1077944384 923 0 0 0 8 1 0 0 20 0 15 0 445454517 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456713493520 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21372] ppid=21367 vsize=15417412 memory=-7522837415797432224 CPUtime=0.11 cores=0,2,4,6
/proc/21369/task/21372/stat : 21372 (java) S 21367 21367 19836 0 -1 1077944384 1499 0 0 0 9 2 0 0 20 0 15 0 445454517 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456712440976 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21373] ppid=21367 vsize=15417412 memory=-6876588628787748224 CPUtime=0.1 cores=0,2,4,6
/proc/21369/task/21373/stat : 21373 (java) S 21367 21367 19836 0 -1 1077944384 590 0 0 0 9 1 0 0 20 0 15 0 445454517 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456711387920 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21374] ppid=21367 vsize=15417412 memory=6943526294502006880 CPUtime=0.1 cores=0,2,4,6
/proc/21369/task/21374/stat : 21374 (java) S 21367 21367 19836 0 -1 1077944384 1869 0 0 0 9 1 0 0 20 0 15 0 445454517 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456710335376 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21375] ppid=21367 vsize=15417412 memory=6933690305039933585 CPUtime=0.04 cores=0,2,4,6
/proc/21369/task/21375/stat : 21375 (java) S 21367 21367 19836 0 -1 1077944384 1177 0 0 0 3 1 0 0 20 0 15 0 445454518 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456253454576 140456785463938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21376] ppid=21367 vsize=15417412 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21376/stat : 21376 (java) S 21367 21367 19836 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 445454519 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456252400864 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21377] ppid=21367 vsize=15417412 memory=-5587106306044206369 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21377/stat : 21377 (java) S 21367 21367 19836 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 445454519 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456251347712 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21378] ppid=21367 vsize=15417412 memory=281180503015664 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21378/stat : 21378 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445454521 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456250296272 140456785471387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21379] ppid=21367 vsize=15417412 memory=-7751062316387021378 CPUtime=1.87 cores=0,2,4,6
/proc/21369/task/21379/stat : 21379 (java) R 21367 21367 19836 0 -1 4202560 11092 0 0 0 185 2 0 0 20 0 15 0 445454521 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456249244400 140456768665527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21380] ppid=21367 vsize=15417412 memory=6944656592455360604 CPUtime=2.12 cores=0,2,4,6
/proc/21369/task/21380/stat : 21380 (java) R 21367 21367 19836 0 -1 4202560 11202 0 0 0 211 1 0 0 20 0 15 0 445454522 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456248191856 140456769846548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21381] ppid=21367 vsize=15417412 memory=6656426216303648864 CPUtime=0.81 cores=0,2,4,6
/proc/21369/task/21381/stat : 21381 (java) S 21367 21367 19836 0 -1 1077944384 7567 0 0 0 79 2 0 0 20 0 15 0 445454522 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456247138800 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21382] ppid=21367 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21369/task/21382/stat : 21382 (java) S 21367 21367 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445454522 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456246086496 140456785462997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
[pid=21369/tid=21383] ppid=21367 vsize=15417412 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21369/task/21383/stat : 21383 (java) S 21367 21367 19836 0 -1 1077944384 728 0 0 0 0 2 0 0 20 0 15 0 445454522 15787429888 46702 33554432000 4194304 4196468 140721811693888 140456245033520 140456785463938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34521088 140721811702767 140721811702938 140721811702938 140721811705807 0
Current children cumulated CPU time: 273.98 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 188256 KiB
Child status: 0
Real time (s): 69.2424
CPU time (s): 274.059
CPU user time (s): 273.818
CPU system time (s): 0.240539
CPU usage (%): 395.796
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 253896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 273.818
system time used= 0.240539
maximum resident set size= 252448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5098
involuntary context switches= 6137
# summary of solver processes directly reported to runsolver:
# pid: 21367
# total CPU time (s): 274.059
# total CPU user time (s): 273.818
# total CPU system time (s): 0.240539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.504999 second user time and 0.831174 second system time
The end