2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	331	1597.76	201.452
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 (13451 MiB free)
  memory of node 1: 16384 MiB (10934 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404707-1569005193/watcher-4404707-1569005193 -o /var/tmp/evaluation-result-4404707-1569005193/solver-4404707-1569005193 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569005045-18307 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1769224373 HOME/instance-4404707-1569005193.xml 

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

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

solver pid=18425, runsolver pid=18422

[startup+0.100193 s]*
/proc/loadavg: 8.34 8.36 8.16 2/211 18446
/proc/meminfo: memFree=24954732/32770624 swapFree=66935844/67108860
[pid=18425] ppid=18422 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18425/stat : 18425 (xcsp3-exec) S 18422 18425 18280 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476433122 115843072 363 33554432000 4194304 5098028 140733979666944 140733979665048 140010603655804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38887424 140733979673425 140733979673685 140733979673685 140733979676614 0
/proc/18425/statm: 28282 363 304 221 0 87 0
[pid=18427] ppid=18425 vsize=28227396 memory=29900 CPUtime=0.12 cores=0-7
/proc/18427/stat : 18427 (java) S 18425 18425 18280 0 -1 1077944320 5953 0 0 0 11 1 0 0 20 0 20 0 476433122 28904853504 7475 33554432000 4194304 4196468 140726236988752 140726236971296 139926342704887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
/proc/18427/statm: 7056849 7475 3118 1 0 7019032 0
[pid=18427/tid=18428] ppid=18425 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18427/task/18428/stat : 18428 (java) R 18425 18425 18280 0 -1 4202560 3873 0 0 0 8 1 0 0 20 0 20 0 476433122 28904853504 7475 33554432000 4194304 4196468 140726236988752 139926346937248 139926342716822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18429] ppid=18425 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18427/task/18429/stat : 18429 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 7475 33554432000 4194304 4196468 140726236988752 139926295325456 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18430] ppid=18425 vsize=28227396 memory=140207185593984 CPUtime=0 cores=0-7
/proc/18427/task/18430/stat : 18430 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 7475 33554432000 4194304 4196468 140726236988752 139926294272912 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18431] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18431/stat : 18431 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 7475 33554432000 4194304 4196468 140726236988752 139926293220368 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18432] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18432/stat : 18432 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 7475 33554432000 4194304 4196468 140726236988752 139926292167824 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18433] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18433/stat : 18433 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 7475 33554432000 4194304 4196468 140726236988752 139926291114256 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18434] ppid=18425 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18427/task/18434/stat : 18434 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 7475 33554432000 4194304 4196468 140726236988752 139926290061712 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18435] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18435/stat : 18435 (java) S 18425 18425 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 7475 33554432000 4194304 4196468 140726236988752 139926289009168 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18436] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18436/stat : 18436 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 7475 33554432000 4194304 4196468 140726236988752 139926287956624 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18437] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18437/stat : 18437 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433125 28904853504 7475 33554432000 4194304 4196468 140726236988752 139925391354352 139926342716034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18438] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18438/stat : 18438 (java) S 18425 18425 18280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476433125 28904853504 7475 33554432000 4194304 4196468 140726236988752 139925390300576 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18439] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18439/stat : 18439 (java) S 18425 18425 18280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476433125 28904853504 7475 33554432000 4194304 4196468 140726236988752 139925389247984 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18440] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18440/stat : 18440 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433128 28904853504 7475 33554432000 4194304 4196468 140726236988752 139925388196560 139926342723483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18441] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18441/stat : 18441 (java) S 18425 18425 18280 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 476433128 28904853504 7475 33554432000 4194304 4196468 140726236988752 139925387143152 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18442] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18442/stat : 18442 (java) S 18425 18425 18280 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476433128 28904853504 7475 33554432000 4194304 4196468 140726236988752 139925386090608 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18443] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18443/stat : 18443 (java) S 18425 18425 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433128 28904853504 7475 33554432000 4194304 4196468 140726236988752 139925385038064 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18444] ppid=18425 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18427/task/18444/stat : 18444 (java) R 18425 18425 18280 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 20 0 476433128 28904853504 7475 33554432000 4194304 4196468 140726236988752 139925383985520 139926342718791 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18445] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18445/stat : 18445 (java) S 18425 18425 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433128 28904853504 7475 33554432000 4194304 4196468 140726236988752 139925382933216 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18446] ppid=18425 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18427/task/18446/stat : 18446 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433128 28904853504 7475 33554432000 4194304 4196468 140726236988752 139925381880752 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31352 KiB

[startup+0.210304 s]*
/proc/loadavg: 8.34 8.36 8.16 2/211 18446
/proc/meminfo: memFree=24942440/32770624 swapFree=66935844/67108860
[pid=18425] ppid=18422 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18425/stat : 18425 (xcsp3-exec) S 18422 18425 18280 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476433122 115843072 363 33554432000 4194304 5098028 140733979666944 140733979665048 140010603655804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38887424 140733979673425 140733979673685 140733979673685 140733979676614 0
/proc/18425/statm: 28282 363 304 221 0 87 0
[pid=18427] ppid=18425 vsize=28227396 memory=40540 CPUtime=0.33 cores=0-7
/proc/18427/stat : 18427 (java) S 18425 18425 18280 0 -1 1077944320 9388 0 0 0 30 3 0 0 20 0 20 0 476433122 28904853504 10135 33554432000 4194304 4196468 140726236988752 140726236971296 139926342704887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
/proc/18427/statm: 7056849 10135 3272 1 0 7019032 0
[pid=18427/tid=18428] ppid=18425 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18427/task/18428/stat : 18428 (java) R 18425 18425 18280 0 -1 4202560 6674 0 0 0 17 2 0 0 20 0 20 0 476433122 28904853504 10135 33554432000 4194304 4196468 140726236988752 139926346934608 139925957775428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18429] ppid=18425 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/18427/task/18429/stat : 18429 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 10135 33554432000 4194304 4196468 140726236988752 139926295325456 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18430] ppid=18425 vsize=28227396 memory=140207189210501 CPUtime=0 cores=0-7
/proc/18427/task/18430/stat : 18430 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 10135 33554432000 4194304 4196468 140726236988752 139926294272912 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18431] ppid=18425 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18427/task/18431/stat : 18431 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 10135 33554432000 4194304 4196468 140726236988752 139926293220368 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18432] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18432/stat : 18432 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 10135 33554432000 4194304 4196468 140726236988752 139926292167824 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18433] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18433/stat : 18433 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 10135 33554432000 4194304 4196468 140726236988752 139926291114256 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18434] ppid=18425 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18427/task/18434/stat : 18434 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 10135 33554432000 4194304 4196468 140726236988752 139926290061712 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18435] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18435/stat : 18435 (java) S 18425 18425 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 10135 33554432000 4194304 4196468 140726236988752 139926289009168 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18436] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18436/stat : 18436 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28904853504 10135 33554432000 4194304 4196468 140726236988752 139926287956624 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18437] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18437/stat : 18437 (java) S 18425 18425 18280 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476433125 28904853504 10135 33554432000 4194304 4196468 140726236988752 139925391354352 139926342716034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18438] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18438/stat : 18438 (java) S 18425 18425 18280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476433125 28904853504 10135 33554432000 4194304 4196468 140726236988752 139925390300576 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18439] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18439/stat : 18439 (java) S 18425 18425 18280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476433125 28904853504 10135 33554432000 4194304 4196468 140726236988752 139925389247984 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18440] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18440/stat : 18440 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433128 28904853504 10135 33554432000 4194304 4196468 140726236988752 139925388196560 139926342723483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18441] ppid=18425 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18427/task/18441/stat : 18441 (java) S 18425 18425 18280 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 20 0 476433128 28904853504 10135 33554432000 4194304 4196468 140726236988752 139925387143152 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18442] ppid=18425 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18427/task/18442/stat : 18442 (java) R 18425 18425 18280 0 -1 1077944384 196 0 0 0 2 0 0 0 20 0 20 0 476433128 28904853504 10135 33554432000 4194304 4196468 140726236988752 139925386090608 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18443] ppid=18425 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/18427/task/18443/stat : 18443 (java) R 18425 18425 18280 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 476433128 28904853504 10135 33554432000 4194304 4196468 140726236988752 139925385038064 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18444] ppid=18425 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/18427/task/18444/stat : 18444 (java) R 18425 18425 18280 0 -1 4202560 756 0 0 0 7 0 0 0 20 0 20 0 476433128 28904853504 10135 33554432000 4194304 4196468 140726236988752 139925383985328 139926342726234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18445] ppid=18425 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18445/stat : 18445 (java) S 18425 18425 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433128 28904853504 10135 33554432000 4194304 4196468 140726236988752 139925382933216 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18446] ppid=18425 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18427/task/18446/stat : 18446 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433128 28904853504 10135 33554432000 4194304 4196468 140726236988752 139925381880752 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41992 KiB

[startup+0.309689 s]*
/proc/loadavg: 8.34 8.36 8.16 2/211 18446
/proc/meminfo: memFree=24934440/32770624 swapFree=66935844/67108860
[pid=18425] ppid=18422 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18425/stat : 18425 (xcsp3-exec) S 18422 18425 18280 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476433122 115843072 363 33554432000 4194304 5098028 140733979666944 140733979665048 140010603655804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38887424 140733979673425 140733979673685 140733979673685 140733979676614 0
/proc/18425/statm: 28282 363 304 221 0 87 0
[pid=18427] ppid=18425 vsize=28231652 memory=49884 CPUtime=0.52 cores=0-7
/proc/18427/stat : 18427 (java) S 18425 18425 18280 0 -1 1077944320 10791 0 0 0 47 5 0 0 20 0 20 0 476433122 28909211648 12471 33554432000 4194304 4196468 140726236988752 140726236971296 139926342704887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
/proc/18427/statm: 7057913 12471 3360 1 0 7019032 0
[pid=18427/tid=18428] ppid=18425 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18427/task/18428/stat : 18428 (java) R 18425 18425 18280 0 -1 4202560 7784 0 0 0 26 3 0 0 20 0 20 0 476433122 28909211648 12537 33554432000 4194304 4196468 140726236988752 139926346938672 139926326785374 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18429] ppid=18425 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18429/stat : 18429 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28909211648 12537 33554432000 4194304 4196468 140726236988752 139926295325456 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18430] ppid=18425 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18430/stat : 18430 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28909211648 12537 33554432000 4194304 4196468 140726236988752 139926294272912 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18431] ppid=18425 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18431/stat : 18431 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28909211648 12537 33554432000 4194304 4196468 140726236988752 139926293220368 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18432] ppid=18425 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18432/stat : 18432 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28909211648 12537 33554432000 4194304 4196468 140726236988752 139926292167824 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18433] ppid=18425 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/18427/task/18433/stat : 18433 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28909211648 12537 33554432000 4194304 4196468 140726236988752 139926291114256 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18434] ppid=18425 vsize=28231652 memory=140207059989423 CPUtime=0 cores=0-7
/proc/18427/task/18434/stat : 18434 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28909211648 12537 33554432000 4194304 4196468 140726236988752 139926290061712 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18435] ppid=18425 vsize=28231652 memory=140207059991728 CPUtime=0 cores=0-7
/proc/18427/task/18435/stat : 18435 (java) S 18425 18425 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433123 28909211648 12537 33554432000 4194304 4196468 140726236988752 139926289009168 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18436] ppid=18425 vsize=28231652 memory=140207059994032 CPUtime=0 cores=0-7
/proc/18427/task/18436/stat : 18436 (java) S 18425 18425 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476433123 28909211648 12537 33554432000 4194304 4196468 140726236988752 139926287956624 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18437] ppid=18425 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18437/stat : 18437 (java) S 18425 18425 18280 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476433125 28909211648 12537 33554432000 4194304 4196468 140726236988752 139925391354352 139926342716034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18438] ppid=18425 vsize=28231652 memory=280414119995024 CPUtime=0 cores=0-7
/proc/18427/task/18438/stat : 18438 (java) S 18425 18425 18280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476433125 28909211648 12537 33554432000 4194304 4196468 140726236988752 139925390300576 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18439] ppid=18425 vsize=28231652 memory=280414120001936 CPUtime=0 cores=0-7
/proc/18427/task/18439/stat : 18439 (java) S 18425 18425 18280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476433125 28909211648 12537 33554432000 4194304 4196468 140726236988752 139925389247984 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18440] ppid=18425 vsize=28231652 memory=280414119943216 CPUtime=0 cores=0-7
/proc/18427/task/18440/stat : 18440 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433128 28909211648 12537 33554432000 4194304 4196468 140726236988752 139925388196560 139926342723483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18441] ppid=18425 vsize=28231652 memory=280414120015760 CPUtime=0.02 cores=0-7
/proc/18427/task/18441/stat : 18441 (java) R 18425 18425 18280 0 -1 4202560 468 0 0 0 2 0 0 0 20 0 20 0 476433128 28909211648 12537 33554432000 4194304 4196468 140726236988752 139925387133536 139926323277114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18442] ppid=18425 vsize=28231652 memory=280414120022672 CPUtime=0.03 cores=0-7
/proc/18427/task/18442/stat : 18442 (java) S 18425 18425 18280 0 -1 1077944384 205 0 0 0 3 0 0 0 20 0 20 0 476433128 28909211648 12537 33554432000 4194304 4196468 140726236988752 139925386090608 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18443] ppid=18425 vsize=28231652 memory=280414120020368 CPUtime=0.01 cores=0-7
/proc/18427/task/18443/stat : 18443 (java) S 18425 18425 18280 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 476433128 28909211648 12537 33554432000 4194304 4196468 140726236988752 139925385038064 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18444] ppid=18425 vsize=28231652 memory=280414120036528 CPUtime=0.12 cores=0-7
/proc/18427/task/18444/stat : 18444 (java) S 18425 18425 18280 0 -1 1077944384 928 0 0 0 12 0 0 0 20 0 20 0 476433128 28909211648 12537 33554432000 4194304 4196468 140726236988752 139925383985520 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18445] ppid=18425 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18445/stat : 18445 (java) S 18425 18425 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476433128 28909211648 12537 33554432000 4194304 4196468 140726236988752 139925382933216 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18446] ppid=18425 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18427/task/18446/stat : 18446 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433128 28909211648 12537 33554432000 4194304 4196468 140726236988752 139925381880752 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51336 KiB

[startup+0.701019 s]
/proc/loadavg: 8.34 8.36 8.16 5/211 18446
/proc/meminfo: memFree=24909668/32770624 swapFree=66935844/67108860
[pid=18425] ppid=18422 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18425/stat : 18425 (xcsp3-exec) S 18422 18425 18280 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476433122 115843072 363 33554432000 4194304 5098028 140733979666944 140733979665048 140010603655804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38887424 140733979673425 140733979673685 140733979673685 140733979676614 0
/proc/18425/statm: 28282 363 304 221 0 87 0
[pid=18427] ppid=18425 vsize=28233776 memory=135760 CPUtime=2 cores=0-7
/proc/18427/stat : 18427 (java) S 18425 18425 18280 0 -1 1077944320 16386 0 0 0 192 8 0 0 20 0 20 0 476433122 28911386624 33940 33554432000 4194304 4196468 140726236988752 140726236971296 139926342704887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
/proc/18427/statm: 7058444 33940 3451 1 0 7019544 0
[pid=18427/tid=18428] ppid=18425 vsize=28233776 memory=280414120394416 CPUtime=0.68 cores=0-7
/proc/18427/task/18428/stat : 18428 (java) R 18425 18425 18280 0 -1 4202560 8443 0 0 0 63 5 0 0 20 0 20 0 476433122 28911386624 33940 33554432000 4194304 4196468 140726236988752 139926346931344 139926326785374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18429] ppid=18425 vsize=28233776 memory=140207060198256 CPUtime=0 cores=0-7
/proc/18427/task/18429/stat : 18429 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28911386624 33940 33554432000 4194304 4196468 140726236988752 139926295325456 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18430] ppid=18425 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18430/stat : 18430 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28911386624 33940 33554432000 4194304 4196468 140726236988752 139926294272912 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18431] ppid=18425 vsize=28233776 memory=1128 CPUtime=0 cores=0-7
/proc/18427/task/18431/stat : 18431 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476433123 28911386624 33940 33554432000 4194304 4196468 140726236988752 139926293220368 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0

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

[pid=18427/tid=18444] ppid=18425 vsize=28768336 memory=7523940929425467219 CPUtime=0.89 cores=0-7
/proc/18427/task/18444/stat : 18444 (java) S 18425 18425 18280 0 -1 1077944384 7597 0 0 0 87 2 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925383985520 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18445] ppid=18425 vsize=28768336 memory=7883361380662274409 CPUtime=0 cores=0-7
/proc/18427/task/18445/stat : 18445 (java) S 18425 18425 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925382933216 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18446] ppid=18425 vsize=28768336 memory=6010170699403586919 CPUtime=0.06 cores=0-7
/proc/18427/task/18446/stat : 18446 (java) S 18425 18425 18280 0 -1 1077944384 970 0 0 0 0 6 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925381880752 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18551] ppid=18425 vsize=28768336 memory=796 CPUtime=195.55 cores=0-7
/proc/18427/task/18551/stat : 18551 (java) R 18425 18425 18280 0 -1 4202560 3339 0 0 0 19552 3 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925368688008 139925965871906 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18552] ppid=18425 vsize=28768336 memory=4104 CPUtime=196.29 cores=0-7
/proc/18427/task/18552/stat : 18552 (java) R 18425 18425 18280 0 -1 4202560 558 0 0 0 19628 1 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925372900024 139925965867649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18553] ppid=18425 vsize=28768336 memory=1808 CPUtime=195.94 cores=0-7
/proc/18427/task/18553/stat : 18553 (java) R 18425 18425 18280 0 -1 4202560 3061 0 0 0 19590 4 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925366583512 139925965534149 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18554] ppid=18425 vsize=28768336 memory=920 CPUtime=195.75 cores=0-7
/proc/18427/task/18554/stat : 18554 (java) R 18425 18425 18280 0 -1 4202560 3872 0 0 0 19562 13 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925365530552 139925965171106 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18555] ppid=18425 vsize=28768336 memory=4144 CPUtime=196.34 cores=0-7
/proc/18427/task/18555/stat : 18555 (java) R 18425 18425 18280 0 -1 4202560 1393 0 0 0 19629 5 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925371846448 139925965867742 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18556] ppid=18425 vsize=28768336 memory=1412 CPUtime=195.68 cores=0-7
/proc/18427/task/18556/stat : 18556 (java) R 18425 18425 18280 0 -1 4202560 1812 0 0 0 19566 2 0 0 20 0 28 0 476433551 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925369744304 139925965866348 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18557] ppid=18425 vsize=28768336 memory=3696 CPUtime=195.98 cores=0-7
/proc/18427/task/18557/stat : 18557 (java) R 18425 18425 18280 0 -1 4202560 766 0 0 0 19598 0 0 0 20 0 28 0 476433551 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925367636280 139925965867771 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18558] ppid=18425 vsize=28768336 memory=1452 CPUtime=193.84 cores=0-7
/proc/18427/task/18558/stat : 18558 (java) R 18425 18425 18280 0 -1 4202560 2586 0 0 0 19381 3 0 0 20 0 28 0 476433551 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925370794328 139925965258281 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
Current children cumulated CPU time: 1592.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1197804 KiB

[startup+201.202 s]
/proc/loadavg: 8.42 8.23 8.13 9/219 18570
/proc/meminfo: memFree=23789240/32770624 swapFree=66935844/67108860
[pid=18425] ppid=18422 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18425/stat : 18425 (xcsp3-exec) S 18422 18425 18280 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476433122 115843072 363 33554432000 4194304 5098028 140733979666944 140733979665048 140010603655804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38887424 140733979673425 140733979673685 140733979673685 140733979676614 0
/proc/18425/statm: 28282 363 304 221 0 87 0
[pid=18427] ppid=18425 vsize=28768336 memory=1196352 CPUtime=1595.88 cores=0-7
/proc/18427/stat : 18427 (java) S 18425 18425 18280 0 -1 1077944320 90502 0 0 0 159489 99 0 0 20 0 28 0 476433122 29458776064 299088 33554432000 4194304 4196468 140726236988752 140726236971296 139926342704887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
/proc/18427/statm: 7192084 299088 3529 1 0 7153184 0
[pid=18427/tid=18428] ppid=18425 vsize=28768336 memory=780 CPUtime=1.65 cores=0-7
/proc/18427/task/18428/stat : 18428 (java) S 18425 18425 18280 0 -1 1077944384 9625 0 0 0 156 9 0 0 20 0 28 0 476433122 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926346945664 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18429] ppid=18425 vsize=28768336 memory=7100839861465685612 CPUtime=0.09 cores=0-7
/proc/18427/task/18429/stat : 18429 (java) S 18425 18425 18280 0 -1 1077944384 996 0 0 0 6 3 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926295325456 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18430] ppid=18425 vsize=28768336 memory=3054156605268465310 CPUtime=0.14 cores=0-7
/proc/18427/task/18430/stat : 18430 (java) S 18425 18425 18280 0 -1 1077944384 1119 0 0 0 10 4 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926294272912 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18431] ppid=18425 vsize=28768336 memory=4715433313220523562 CPUtime=0.11 cores=0-7
/proc/18427/task/18431/stat : 18431 (java) S 18425 18425 18280 0 -1 1077944384 699 0 0 0 8 3 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926293220368 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18432] ppid=18425 vsize=28768336 memory=-6520471753822164382 CPUtime=0.12 cores=0-7
/proc/18427/task/18432/stat : 18432 (java) S 18425 18425 18280 0 -1 1077944384 468 0 0 0 8 4 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926292167824 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18433] ppid=18425 vsize=28768336 memory=6791534058613427641 CPUtime=0.12 cores=0-7
/proc/18427/task/18433/stat : 18433 (java) S 18425 18425 18280 0 -1 1077944384 508 0 0 0 8 4 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926291114256 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18434] ppid=18425 vsize=28768336 memory=288230574492221466 CPUtime=0.13 cores=0-7
/proc/18427/task/18434/stat : 18434 (java) S 18425 18425 18280 0 -1 1077944384 376 0 0 0 10 3 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926290061712 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18435] ppid=18425 vsize=28768336 memory=288230583166042426 CPUtime=0.13 cores=0-7
/proc/18427/task/18435/stat : 18435 (java) S 18425 18425 18280 0 -1 1077944384 1021 0 0 0 9 4 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926289009168 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18436] ppid=18425 vsize=28768336 memory=13848568834296438 CPUtime=0.14 cores=0-7
/proc/18427/task/18436/stat : 18436 (java) S 18425 18425 18280 0 -1 1077944384 520 0 0 0 10 4 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926287956624 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18437] ppid=18425 vsize=28768336 memory=1660 CPUtime=0.04 cores=0-7
/proc/18427/task/18437/stat : 18437 (java) S 18425 18425 18280 0 -1 1077944384 3194 0 0 0 3 1 0 0 20 0 28 0 476433125 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925391354352 139926342716034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18438] ppid=18425 vsize=28768336 memory=111632 CPUtime=0 cores=0-7
/proc/18427/task/18438/stat : 18438 (java) S 18425 18425 18280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 476433125 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925390300640 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18439] ppid=18425 vsize=28768336 memory=796 CPUtime=0 cores=0-7
/proc/18427/task/18439/stat : 18439 (java) S 18425 18425 18280 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 476433125 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925389248000 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18440] ppid=18425 vsize=28768336 memory=4104 CPUtime=0 cores=0-7
/proc/18427/task/18440/stat : 18440 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925388196560 139926342723483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18441] ppid=18425 vsize=28768336 memory=2828 CPUtime=2.74 cores=0-7
/proc/18427/task/18441/stat : 18441 (java) S 18425 18425 18280 0 -1 1077944384 17003 0 0 0 270 4 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925387143152 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18442] ppid=18425 vsize=28768336 memory=6791534058613427641 CPUtime=2.32 cores=0-7
/proc/18427/task/18442/stat : 18442 (java) S 18425 18425 18280 0 -1 1077944384 9267 0 0 0 230 2 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925386090608 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18443] ppid=18425 vsize=28768336 memory=14008 CPUtime=2.54 cores=0-7
/proc/18427/task/18443/stat : 18443 (java) S 18425 18425 18280 0 -1 1077944384 14096 0 0 0 251 3 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925385038064 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18444] ppid=18425 vsize=28768336 memory=12040 CPUtime=0.89 cores=0-7
/proc/18427/task/18444/stat : 18444 (java) S 18425 18425 18280 0 -1 1077944384 7597 0 0 0 87 2 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925383985520 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18445] ppid=18425 vsize=28768336 memory=2124 CPUtime=0 cores=0-7
/proc/18427/task/18445/stat : 18445 (java) S 18425 18425 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925382933216 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18446] ppid=18425 vsize=28768336 memory=30196 CPUtime=0.06 cores=0-7
/proc/18427/task/18446/stat : 18446 (java) S 18425 18425 18280 0 -1 1077944384 970 0 0 0 0 6 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925381880752 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18551] ppid=18425 vsize=28768336 memory=492 CPUtime=195.95 cores=0-7
/proc/18427/task/18551/stat : 18551 (java) R 18425 18425 18280 0 -1 4202560 3339 0 0 0 19592 3 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925368688008 139925965872061 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18552] ppid=18425 vsize=28768336 memory=1560 CPUtime=196.69 cores=0-7
/proc/18427/task/18552/stat : 18552 (java) R 18425 18425 18280 0 -1 4202560 558 0 0 0 19668 1 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925372900024 139925965867742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18553] ppid=18425 vsize=28768336 memory=932 CPUtime=196.34 cores=0-7
/proc/18427/task/18553/stat : 18553 (java) R 18425 18425 18280 0 -1 4202560 3062 0 0 0 19630 4 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925366583512 139925965866592 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18554] ppid=18425 vsize=28768336 memory=1636 CPUtime=196.15 cores=0-7
/proc/18427/task/18554/stat : 18554 (java) R 18425 18425 18280 0 -1 4202560 3876 0 0 0 19602 13 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925365530552 139925966767822 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18555] ppid=18425 vsize=28768336 memory=1436 CPUtime=196.74 cores=0-7
/proc/18427/task/18555/stat : 18555 (java) R 18425 18425 18280 0 -1 4202560 1393 0 0 0 19669 5 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925371846448 139925965138218 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18556] ppid=18425 vsize=28768336 memory=880 CPUtime=196.07 cores=0-7
/proc/18427/task/18556/stat : 18556 (java) R 18425 18425 18280 0 -1 4202560 1812 0 0 0 19605 2 0 0 20 0 28 0 476433551 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925369744304 139925965867649 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18557] ppid=18425 vsize=28768336 memory=1980 CPUtime=196.37 cores=0-7
/proc/18427/task/18557/stat : 18557 (java) R 18425 18425 18280 0 -1 4202560 766 0 0 0 19637 0 0 0 20 0 28 0 476433551 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925367636280 139925965866592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18558] ppid=18425 vsize=28768336 memory=2520 CPUtime=194.24 cores=0-7
/proc/18427/task/18558/stat : 18558 (java) R 18425 18425 18280 0 -1 4202560 2586 0 0 0 19421 3 0 0 20 0 28 0 476433551 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925370794328 139925965867585 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
Current children cumulated CPU time: 1595.88 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1197804 KiB

[startup+201.402 s]
/proc/loadavg: 8.42 8.23 8.13 9/219 18570
/proc/meminfo: memFree=23789240/32770624 swapFree=66935844/67108860
[pid=18425] ppid=18422 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18425/stat : 18425 (xcsp3-exec) S 18422 18425 18280 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476433122 115843072 363 33554432000 4194304 5098028 140733979666944 140733979665048 140010603655804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38887424 140733979673425 140733979673685 140733979673685 140733979676614 0
/proc/18425/statm: 28282 363 304 221 0 87 0
[pid=18427] ppid=18425 vsize=28768336 memory=1196352 CPUtime=1597.48 cores=0-7
/proc/18427/stat : 18427 (java) S 18425 18425 18280 0 -1 1077944320 90507 0 0 0 159649 99 0 0 20 0 28 0 476433122 29458776064 299088 33554432000 4194304 4196468 140726236988752 140726236971296 139926342704887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
/proc/18427/statm: 7192084 299088 3529 1 0 7153184 0
[pid=18427/tid=18428] ppid=18425 vsize=28768336 memory=13848568834296438 CPUtime=1.65 cores=0-7
/proc/18427/task/18428/stat : 18428 (java) S 18425 18425 18280 0 -1 1077944384 9625 0 0 0 156 9 0 0 20 0 28 0 476433122 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926346945664 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18429] ppid=18425 vsize=28768336 memory=30196 CPUtime=0.09 cores=0-7
/proc/18427/task/18429/stat : 18429 (java) S 18425 18425 18280 0 -1 1077944384 996 0 0 0 6 3 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926295325456 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18430] ppid=18425 vsize=28768336 memory=492 CPUtime=0.14 cores=0-7
/proc/18427/task/18430/stat : 18430 (java) S 18425 18425 18280 0 -1 1077944384 1119 0 0 0 10 4 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926294272912 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18431] ppid=18425 vsize=28768336 memory=1560 CPUtime=0.11 cores=0-7
/proc/18427/task/18431/stat : 18431 (java) S 18425 18425 18280 0 -1 1077944384 699 0 0 0 8 3 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926293220368 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18432] ppid=18425 vsize=28768336 memory=932 CPUtime=0.12 cores=0-7
/proc/18427/task/18432/stat : 18432 (java) S 18425 18425 18280 0 -1 1077944384 468 0 0 0 8 4 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926292167824 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18433] ppid=18425 vsize=28768336 memory=1636 CPUtime=0.12 cores=0-7
/proc/18427/task/18433/stat : 18433 (java) S 18425 18425 18280 0 -1 1077944384 508 0 0 0 8 4 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926291114256 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18434] ppid=18425 vsize=28768336 memory=1436 CPUtime=0.13 cores=0-7
/proc/18427/task/18434/stat : 18434 (java) S 18425 18425 18280 0 -1 1077944384 376 0 0 0 10 3 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926290061712 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18435] ppid=18425 vsize=28768336 memory=880 CPUtime=0.13 cores=0-7
/proc/18427/task/18435/stat : 18435 (java) S 18425 18425 18280 0 -1 1077944384 1021 0 0 0 9 4 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926289009168 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18436] ppid=18425 vsize=28768336 memory=1980 CPUtime=0.14 cores=0-7
/proc/18427/task/18436/stat : 18436 (java) S 18425 18425 18280 0 -1 1077944384 520 0 0 0 10 4 0 0 20 0 28 0 476433123 29458776064 299088 33554432000 4194304 4196468 140726236988752 139926287956624 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18437] ppid=18425 vsize=28768336 memory=2520 CPUtime=0.04 cores=0-7
/proc/18427/task/18437/stat : 18437 (java) S 18425 18425 18280 0 -1 1077944384 3194 0 0 0 3 1 0 0 20 0 28 0 476433125 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925391354352 139926342716034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18438] ppid=18425 vsize=28768336 memory=1760 CPUtime=0 cores=0-7
/proc/18427/task/18438/stat : 18438 (java) S 18425 18425 18280 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 476433125 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925390300640 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18439] ppid=18425 vsize=28768336 memory=1660 CPUtime=0 cores=0-7
/proc/18427/task/18439/stat : 18439 (java) S 18425 18425 18280 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 476433125 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925389248000 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18440] ppid=18425 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/18427/task/18440/stat : 18440 (java) S 18425 18425 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925388196560 139926342723483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18441] ppid=18425 vsize=28768336 memory=7307199790918446546 CPUtime=2.74 cores=0-7
/proc/18427/task/18441/stat : 18441 (java) S 18425 18425 18280 0 -1 1077944384 17003 0 0 0 270 4 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925387143152 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18442] ppid=18425 vsize=28768336 memory=6656426216303648864 CPUtime=2.32 cores=0-7
/proc/18427/task/18442/stat : 18442 (java) S 18425 18425 18280 0 -1 1077944384 9267 0 0 0 230 2 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925386090608 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18443] ppid=18425 vsize=28768336 memory=6944656592455360604 CPUtime=2.54 cores=0-7
/proc/18427/task/18443/stat : 18443 (java) S 18425 18425 18280 0 -1 1077944384 14096 0 0 0 251 3 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925385038064 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18444] ppid=18425 vsize=28768336 memory=6944656592455359580 CPUtime=0.89 cores=0-7
/proc/18427/task/18444/stat : 18444 (java) S 18425 18425 18280 0 -1 1077944384 7597 0 0 0 87 2 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925383985520 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18445] ppid=18425 vsize=28768336 memory=-7175753904026764170 CPUtime=0 cores=0-7
/proc/18427/task/18445/stat : 18445 (java) S 18425 18425 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925382933216 139926342715093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18446] ppid=18425 vsize=28768336 memory=5792586973425999990 CPUtime=0.07 cores=0-7
/proc/18427/task/18446/stat : 18446 (java) S 18425 18425 18280 0 -1 1077944384 970 0 0 0 0 7 0 0 20 0 28 0 476433128 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925381880752 139926342716034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18551] ppid=18425 vsize=28768336 memory=6944656592587090596 CPUtime=196.15 cores=0-7
/proc/18427/task/18551/stat : 18551 (java) R 18425 18425 18280 0 -1 4202560 3339 0 0 0 19612 3 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925368688008 139925965871377 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18552] ppid=18425 vsize=28768336 memory=6944613755328037015 CPUtime=196.89 cores=0-7
/proc/18427/task/18552/stat : 18552 (java) R 18425 18425 18280 0 -1 4202560 559 0 0 0 19688 1 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925372900024 139925965866400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18553] ppid=18425 vsize=28768336 memory=-7521736447810188379 CPUtime=196.54 cores=0-7
/proc/18427/task/18553/stat : 18553 (java) R 18425 18425 18280 0 -1 4202560 3062 0 0 0 19650 4 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925366583512 139925965208404 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18554] ppid=18425 vsize=28768336 memory=-8995268955501531242 CPUtime=196.35 cores=0-7
/proc/18427/task/18554/stat : 18554 (java) R 18425 18425 18280 0 -1 4202560 3878 0 0 0 19622 13 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925365530552 139925965330801 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18555] ppid=18425 vsize=28768336 memory=6944652177228980320 CPUtime=196.94 cores=0-7
/proc/18427/task/18555/stat : 18555 (java) R 18425 18425 18280 0 -1 4202560 1393 0 0 0 19689 5 0 0 20 0 28 0 476433550 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925371846448 139925967828885 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18556] ppid=18425 vsize=28768336 memory=0 CPUtime=196.27 cores=0-7
/proc/18427/task/18556/stat : 18556 (java) R 18425 18425 18280 0 -1 4202560 1813 0 0 0 19625 2 0 0 20 0 28 0 476433551 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925369744304 139925965137569 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18557] ppid=18425 vsize=28768336 memory=140207185596225 CPUtime=196.57 cores=0-7
/proc/18427/task/18557/stat : 18557 (java) R 18425 18425 18280 0 -1 4202560 767 0 0 0 19657 0 0 0 20 0 28 0 476433551 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925367636280 139925965867742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
[pid=18427/tid=18558] ppid=18425 vsize=28768336 memory=33 CPUtime=194.44 cores=0-7
/proc/18427/task/18558/stat : 18558 (java) R 18425 18425 18280 0 -1 4202560 2586 0 0 0 19441 3 0 0 20 0 28 0 476433551 29458776064 299088 33554432000 4194304 4196468 140726236988752 139925370794328 139925965137569 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12148736 140726236992470 140726236992646 140726236992646 140726236995535 0
Current children cumulated CPU time: 1597.48 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1197804 KiB

Child status: 0
Real time (s): 201.452
CPU time (s): 1597.76
CPU user time (s): 1596.75
CPU system time (s): 1.00744
CPU usage (%): 793.12
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1197804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1596.75
system time used= 1.00744
maximum resident set size= 1196356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10937
involuntary context switches= 18627


# summary of solver processes directly reported to runsolver:
#   pid: 18425
#   total CPU time (s): 1597.76
#   total CPU user time (s): 1596.75
#   total CPU system time (s): 1.00744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.83397 second user time and 2.3467 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32b3.xml
MD5SUM	c1d081b79f1c10e41665328fecc5a7d0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	331
Best CPU time to get the best result obtained on this benchmark	119.032
Satisfiable
(Un)Satisfiability was proved
Number of variables	696
Number of constraints	6082
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":696}]
Minimum variable degree	3
Maximum variable degree	119
Distribution of variable degrees	[{"degree":3,"count":156},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":15},{"degree":24,"count":9},{"degree":25,"count":6},{"degree":26,"count":6},{"degree":27,"count":6},{"degree":28,"count":21},{"degree":29,"count":18},{"degree":30,"count":21},{"degree":31,"count":6},{"degree":32,"count":6},{"degree":33,"count":6},{"degree":34,"count":165},{"degree":35,"count":15},{"degree":36,"count":6},{"degree":37,"count":6},{"degree":40,"count":3},{"degree":42,"count":3},{"degree":43,"count":3},"...",{"degree":86,"count":3}, {"degree":88,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":6}, {"degree":95,"count":6}, {"degree":96,"count":21}, {"degree":97,"count":6}, {"degree":99,"count":15}, {"degree":100,"count":12}, {"degree":101,"count":6}, {"degree":102,"count":12}, {"degree":103,"count":15}, {"degree":105,"count":6}, {"degree":106,"count":21}, {"degree":107,"count":6}, {"degree":108,"count":6}, {"degree":109,"count":3}, {"degree":110,"count":6}, {"degree":111,"count":3}, {"degree":114,"count":3}, {"degree":116,"count":3}, {"degree":118,"count":6}, {"degree":119,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":5436},{"arity":3,"count":52},{"arity":32,"count":594}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":6082}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4404707

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
