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-16 parallel	OPT	331	812.929	103.153
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: 16375 MiB (14241 MiB free)
  memory of node 1: 16384 MiB (14461 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399907-1568711372/watcher-4399907-1568711372 -o /tmp/evaluation-result-4399907-1568711372/solver-4399907-1568711372 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324225794-21521 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1219413 HOME/instance-4399907-1568711372.xml 

running on 8 cores: 0-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
solver pid=21538, runsolver pid=21535
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 7.60 8.20 8.26 3/211 21559
/proc/meminfo: memFree=29375808/32770688 swapFree=66919992/67108860
[pid=21538] ppid=21535 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21538/stat : 21538 (xcsp3-exec) S 21535 21538 21494 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447143451 115843072 364 33554432000 4194304 5098028 140729607140688 140729607138792 140407079363196 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39112704 140729607144312 140729607144553 140729607144553 140729607147466 0
/proc/21538/statm: 28282 364 305 221 0 87 0
[pid=21540] ppid=21538 vsize=28227396 memory=28716 CPUtime=0.12 cores=0-7
/proc/21540/stat : 21540 (java) S 21538 21538 21494 0 -1 1077944320 5685 0 0 0 11 1 0 0 20 0 20 0 447143451 28904853504 7179 33554432000 4194304 4196468 140727615417280 140727615399824 140562174459639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
/proc/21540/statm: 7056849 7179 3120 1 0 7019032 0
[pid=21540/tid=21541] ppid=21538 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/21540/task/21541/stat : 21541 (java) R 21538 21538 21494 0 -1 4202560 3594 0 0 0 8 0 0 0 20 0 20 0 447143451 28904853504 7179 33554432000 4194304 4196468 140727615417280 140562178687872 140562158540156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21542] ppid=21538 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21540/task/21542/stat : 21542 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561726057104 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21543] ppid=21538 vsize=28227396 memory=140441494701696 CPUtime=0 cores=0-7
/proc/21540/task/21543/stat : 21543 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561725004304 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21544] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21544/stat : 21544 (java) S 21538 21538 21494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561723951504 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21545] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21545/stat : 21545 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561722898704 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21546] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21546/stat : 21546 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561721846928 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21547] ppid=21538 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21540/task/21547/stat : 21547 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561720794128 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21548] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21548/stat : 21548 (java) S 21538 21538 21494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561719741328 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21549] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21549/stat : 21549 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561718688528 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21550] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21550/stat : 21550 (java) S 21538 21538 21494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447143454 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561677457776 140562174470786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21551] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21551/stat : 21551 (java) S 21538 21538 21494 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447143454 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561676403744 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21552] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21552/stat : 21552 (java) S 21538 21538 21494 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447143455 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561675350896 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21553] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21553/stat : 21553 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143457 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561674299216 140562174478235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21554] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21554/stat : 21554 (java) S 21538 21538 21494 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 447143457 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561673247600 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21555] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21555/stat : 21555 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143457 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561672194800 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21556] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21556/stat : 21556 (java) S 21538 21538 21494 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 447143457 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561671142000 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21557] ppid=21538 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21540/task/21557/stat : 21557 (java) R 21538 21538 21494 0 -1 4202560 361 0 0 0 1 0 0 0 20 0 20 0 447143457 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561670089200 140562174480986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21558] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21558/stat : 21558 (java) S 21538 21538 21494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447143458 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561669036640 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21559] ppid=21538 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21540/task/21559/stat : 21559 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143458 28904853504 7179 33554432000 4194304 4196468 140727615417280 140561667983920 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30172 KiB

[startup+0.211345 s]*
/proc/loadavg: 7.60 8.20 8.26 3/211 21559
/proc/meminfo: memFree=29363956/32770688 swapFree=66919992/67108860
[pid=21538] ppid=21535 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21538/stat : 21538 (xcsp3-exec) S 21535 21538 21494 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447143451 115843072 364 33554432000 4194304 5098028 140729607140688 140729607138792 140407079363196 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39112704 140729607144312 140729607144553 140729607144553 140729607147466 0
/proc/21538/statm: 28282 364 305 221 0 87 0
[pid=21540] ppid=21538 vsize=28227396 memory=40300 CPUtime=0.34 cores=0-7
/proc/21540/stat : 21540 (java) S 21538 21538 21494 0 -1 1077944320 9299 0 0 0 31 3 0 0 20 0 20 0 447143451 28904853504 10075 33554432000 4194304 4196468 140727615417280 140727615399824 140562174459639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
/proc/21540/statm: 7056849 10075 3298 1 0 7019032 0
[pid=21540/tid=21541] ppid=21538 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21540/task/21541/stat : 21541 (java) R 21538 21538 21494 0 -1 4202560 6542 0 0 0 18 2 0 0 20 0 20 0 447143451 28904853504 10075 33554432000 4194304 4196468 140727615417280 140562178697200 140562167565884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21542] ppid=21538 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/21540/task/21542/stat : 21542 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561726057104 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21543] ppid=21538 vsize=28227396 memory=288370817646413440 CPUtime=0 cores=0-7
/proc/21540/task/21543/stat : 21543 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561725004304 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21544] ppid=21538 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21540/task/21544/stat : 21544 (java) S 21538 21538 21494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561723951504 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21545] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21545/stat : 21545 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561722898704 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21546] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21546/stat : 21546 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561721846928 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21547] ppid=21538 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21540/task/21547/stat : 21547 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561720794128 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21548] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21548/stat : 21548 (java) S 21538 21538 21494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561719741328 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21549] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21549/stat : 21549 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561718688528 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21550] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21550/stat : 21550 (java) S 21538 21538 21494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447143454 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561677457776 140562174470786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21551] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21551/stat : 21551 (java) S 21538 21538 21494 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447143454 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561676403744 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21552] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21552/stat : 21552 (java) S 21538 21538 21494 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447143455 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561675350896 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21553] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21553/stat : 21553 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143457 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561674299216 140562174478235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21554] ppid=21538 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21540/task/21554/stat : 21554 (java) S 21538 21538 21494 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 447143457 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561673247600 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21555] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21555/stat : 21555 (java) S 21538 21538 21494 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 447143457 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561672194800 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21556] ppid=21538 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/21540/task/21556/stat : 21556 (java) S 21538 21538 21494 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 20 0 447143457 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561671142000 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21557] ppid=21538 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/21540/task/21557/stat : 21557 (java) R 21538 21538 21494 0 -1 4202560 814 0 0 0 7 0 0 0 20 0 20 0 447143457 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561670089200 140562174480986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21558] ppid=21538 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21558/stat : 21558 (java) S 21538 21538 21494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447143458 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561669036640 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21559] ppid=21538 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21540/task/21559/stat : 21559 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143458 28904853504 10075 33554432000 4194304 4196468 140727615417280 140561667983920 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41756 KiB

[startup+0.310775 s]*
/proc/loadavg: 7.60 8.20 8.26 4/211 21559
/proc/meminfo: memFree=29358808/32770688 swapFree=66919992/67108860
[pid=21538] ppid=21535 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21538/stat : 21538 (xcsp3-exec) S 21535 21538 21494 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447143451 115843072 364 33554432000 4194304 5098028 140729607140688 140729607138792 140407079363196 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39112704 140729607144312 140729607144553 140729607144553 140729607147466 0
/proc/21538/statm: 28282 364 305 221 0 87 0
[pid=21540] ppid=21538 vsize=28231652 memory=46280 CPUtime=0.51 cores=0-7
/proc/21540/stat : 21540 (java) S 21538 21538 21494 0 -1 1077944320 10486 0 0 0 48 3 0 0 20 0 20 0 447143451 28909211648 11570 33554432000 4194304 4196468 140727615417280 140727615399824 140562174459639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
/proc/21540/statm: 7057913 11570 3320 1 0 7019032 0
[pid=21540/tid=21541] ppid=21538 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/21540/task/21541/stat : 21541 (java) R 21538 21538 21494 0 -1 4202560 7526 0 0 0 27 2 0 0 20 0 20 0 447143451 28909211648 11570 33554432000 4194304 4196468 140727615417280 140562178680496 140562158540126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21542] ppid=21538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21542/stat : 21542 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561726057104 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21543] ppid=21538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21543/stat : 21543 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561725004304 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21544] ppid=21538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21544/stat : 21544 (java) S 21538 21538 21494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447143452 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561723951504 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21545] ppid=21538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21545/stat : 21545 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561722898704 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21546] ppid=21538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21546/stat : 21546 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561721846928 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21547] ppid=21538 vsize=28231652 memory=140441337031343 CPUtime=0 cores=0-7
/proc/21540/task/21547/stat : 21547 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561720794128 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21548] ppid=21538 vsize=28231652 memory=140441337033648 CPUtime=0 cores=0-7
/proc/21540/task/21548/stat : 21548 (java) S 21538 21538 21494 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447143452 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561719741328 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21549] ppid=21538 vsize=28231652 memory=140441337035952 CPUtime=0 cores=0-7
/proc/21540/task/21549/stat : 21549 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561718688528 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21550] ppid=21538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21550/stat : 21550 (java) S 21538 21538 21494 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447143454 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561677457776 140562174470786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21551] ppid=21538 vsize=28231652 memory=280882674085776 CPUtime=0 cores=0-7
/proc/21540/task/21551/stat : 21551 (java) S 21538 21538 21494 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447143454 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561676403744 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21552] ppid=21538 vsize=28231652 memory=280882674083472 CPUtime=0 cores=0-7
/proc/21540/task/21552/stat : 21552 (java) S 21538 21538 21494 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447143455 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561675350896 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21553] ppid=21538 vsize=28231652 memory=280882674090384 CPUtime=0 cores=0-7
/proc/21540/task/21553/stat : 21553 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143457 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561674299216 140562174478235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21554] ppid=21538 vsize=28231652 memory=280882674031664 CPUtime=0.02 cores=0-7
/proc/21540/task/21554/stat : 21554 (java) S 21538 21538 21494 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 447143457 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561673247600 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21555] ppid=21538 vsize=28231652 memory=280882674104208 CPUtime=0.02 cores=0-7
/proc/21540/task/21555/stat : 21555 (java) S 21538 21538 21494 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 20 0 447143457 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561672194800 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21556] ppid=21538 vsize=28231652 memory=280882674111120 CPUtime=0.02 cores=0-7
/proc/21540/task/21556/stat : 21556 (java) S 21538 21538 21494 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 20 0 447143457 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561671142000 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21557] ppid=21538 vsize=28231652 memory=280882674108816 CPUtime=0.13 cores=0-7
/proc/21540/task/21557/stat : 21557 (java) S 21538 21538 21494 0 -1 1077944384 930 0 0 0 13 0 0 0 20 0 20 0 447143457 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561670089200 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21558] ppid=21538 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21558/stat : 21558 (java) S 21538 21538 21494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447143458 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561669036640 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21559] ppid=21538 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/21540/task/21559/stat : 21559 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143458 28909211648 11570 33554432000 4194304 4196468 140727615417280 140561667983920 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 47736 KiB

[startup+0.701015 s]
/proc/loadavg: 7.60 8.20 8.26 3/211 21559
/proc/meminfo: memFree=29338524/32770688 swapFree=66919992/67108860
[pid=21538] ppid=21535 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21538/stat : 21538 (xcsp3-exec) S 21535 21538 21494 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447143451 115843072 364 33554432000 4194304 5098028 140729607140688 140729607138792 140407079363196 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39112704 140729607144312 140729607144553 140729607144553 140729607147466 0
/proc/21538/statm: 28282 364 305 221 0 87 0
[pid=21540] ppid=21538 vsize=28233776 memory=124700 CPUtime=1.9 cores=0-7
/proc/21540/stat : 21540 (java) S 21538 21538 21494 0 -1 1077944320 16171 0 0 0 184 6 0 0 20 0 20 0 447143451 28911386624 31175 33554432000 4194304 4196468 140727615417280 140727615399824 140562174459639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
/proc/21540/statm: 7058444 31175 3446 1 0 7019544 0
[pid=21540/tid=21541] ppid=21538 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/21540/task/21541/stat : 21541 (java) R 21538 21538 21494 0 -1 4202560 8378 0 0 0 64 4 0 0 20 0 20 0 447143451 28911386624 31175 33554432000 4194304 4196468 140727615417280 140562178694560 140561815413275 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21542] ppid=21538 vsize=28233776 memory=140441337242480 CPUtime=0 cores=0-7
/proc/21540/task/21542/stat : 21542 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28911386624 31175 33554432000 4194304 4196468 140727615417280 140561726057104 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21543] ppid=21538 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/21540/task/21543/stat : 21543 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447143452 28911386624 31175 33554432000 4194304 4196468 140727615417280 140561725004304 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21544] ppid=21538 vsize=28233776 memory=1176 CPUtime=0 cores=0-7
/proc/21540/task/21544/stat : 21544 (java) S 21538 21538 21494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447143452 28911386624 31175 33554432000 4194304 4196468 140727615417280 140561723951504 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0

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

[pid=21540/tid=21557] ppid=21538 vsize=28769364 memory=9588 CPUtime=0.97 cores=0-7
/proc/21540/task/21557/stat : 21557 (java) S 21538 21538 21494 0 -1 1077944384 9783 0 0 0 95 2 0 0 20 0 28 0 447143457 29459828736 170832 33554432000 4194304 4196468 140727615417280 140561670089200 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21558] ppid=21538 vsize=28769364 memory=1712 CPUtime=0 cores=0-7
/proc/21540/task/21558/stat : 21558 (java) S 21538 21538 21494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447143458 29459828736 170832 33554432000 4194304 4196468 140727615417280 140561669036640 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21559] ppid=21538 vsize=28769364 memory=5996 CPUtime=0.04 cores=0-7
/proc/21540/task/21559/stat : 21559 (java) S 21538 21538 21494 0 -1 1077944384 1052 0 0 0 0 4 0 0 20 0 28 0 447143458 29459828736 170832 33554432000 4194304 4196468 140727615417280 140561667983920 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21696] ppid=21538 vsize=28769364 memory=4156 CPUtime=97.34 cores=0-7
/proc/21540/task/21696/stat : 21696 (java) R 21538 21538 21494 0 -1 4202560 6149 0 0 0 9732 2 0 0 20 0 28 0 447143924 29459828736 170832 33554432000 4194304 4196468 140727615417280 140561586388152 140562155301834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21697] ppid=21538 vsize=28769364 memory=1056 CPUtime=97.51 cores=0-7
/proc/21540/task/21697/stat : 21697 (java) R 21538 21538 21494 0 -1 4202560 650 0 0 0 9751 0 0 0 20 0 28 0 447143924 29459828736 170832 33554432000 4194304 4196468 140727615417280 140561532337584 140561819735425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21698] ppid=21538 vsize=28769364 memory=10 CPUtime=97.08 cores=0-7
/proc/21540/task/21698/stat : 21698 (java) R 21538 21538 21494 0 -1 4202560 797 0 0 0 9708 0 0 0 20 0 28 0 447143924 29459828736 170832 33554432000 4194304 4196468 140727615417280 140561587442216 140561812964194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21699] ppid=21538 vsize=28769364 memory=10 CPUtime=96.46 cores=0-7
/proc/21540/task/21699/stat : 21699 (java) R 21538 21538 21494 0 -1 4202560 4507 0 0 0 9628 18 0 0 20 0 28 0 447143924 29459828736 170832 33554432000 4194304 4196468 140727615417280 140561590599928 140561819369252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21700] ppid=21538 vsize=28769364 memory=10 CPUtime=97.52 cores=0-7
/proc/21540/task/21700/stat : 21700 (java) R 21538 21538 21494 0 -1 4202560 1623 0 0 0 9752 0 0 0 20 0 28 0 447143924 29459828736 170832 33554432000 4194304 4196468 140727615417280 140561585336616 140561819246074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21701] ppid=21538 vsize=28769364 memory=3 CPUtime=97.24 cores=0-7
/proc/21540/task/21701/stat : 21701 (java) R 21538 21538 21494 0 -1 4202560 530 0 0 0 9724 0 0 0 20 0 28 0 447143924 29459828736 170832 33554432000 4194304 4196468 140727615417280 140561591652520 140561819735733 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21702] ppid=21538 vsize=28769364 memory=0 CPUtime=97.42 cores=0-7
/proc/21540/task/21702/stat : 21702 (java) R 21538 21538 21494 0 -1 4202560 1653 0 0 0 9741 1 0 0 20 0 28 0 447143924 29459828736 170832 33554432000 4194304 4196468 140727615417280 140561589547192 140561819368791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21703] ppid=21538 vsize=28769364 memory=0 CPUtime=97.37 cores=0-7
/proc/21540/task/21703/stat : 21703 (java) R 21538 21538 21494 0 -1 4202560 1511 0 0 0 9735 2 0 0 20 0 28 0 447143924 29459828736 170832 33554432000 4194304 4196468 140727615417280 140560675360680 140561821183079 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
Current children cumulated CPU time: 807.85 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 684784 KiB

[startup+102.902 s]
/proc/loadavg: 8.44 8.31 8.29 9/220 21716
/proc/meminfo: memFree=28721116/32770688 swapFree=66919992/67108860
[pid=21538] ppid=21535 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21538/stat : 21538 (xcsp3-exec) S 21535 21538 21494 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447143451 115843072 364 33554432000 4194304 5098028 140729607140688 140729607138792 140407079363196 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39112704 140729607144312 140729607144553 140729607144553 140729607147466 0
/proc/21538/statm: 28282 364 305 221 0 87 0
[pid=21540] ppid=21538 vsize=28769364 memory=690328 CPUtime=811.04 cores=0-7
/proc/21540/stat : 21540 (java) S 21538 21538 21494 0 -1 1077944320 79592 0 0 0 81024 80 0 0 20 0 28 0 447143451 29459828736 172582 33554432000 4194304 4196468 140727615417280 140727615399824 140562174459639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
/proc/21540/statm: 7192341 172582 3528 1 0 7153441 0
[pid=21540/tid=21541] ppid=21538 vsize=28769364 memory=683328 CPUtime=1.8 cores=0-7
/proc/21540/task/21541/stat : 21541 (java) S 21538 21538 21494 0 -1 1077944384 10778 0 0 0 173 7 0 0 20 0 28 0 447143451 29459828736 172582 33554432000 4194304 4196468 140727615417280 140562178700416 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21542] ppid=21538 vsize=28769364 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/21540/task/21542/stat : 21542 (java) S 21538 21538 21494 0 -1 1077944384 336 0 0 0 6 3 0 0 20 0 28 0 447143452 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561726057104 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21543] ppid=21538 vsize=28769364 memory=660532 CPUtime=0.11 cores=0-7
/proc/21540/task/21543/stat : 21543 (java) S 21538 21538 21494 0 -1 1077944384 321 0 0 0 7 4 0 0 20 0 28 0 447143452 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561725004304 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21544] ppid=21538 vsize=28769364 memory=6944656592455359580 CPUtime=0.09 cores=0-7
/proc/21540/task/21544/stat : 21544 (java) S 21538 21538 21494 0 -1 1077944384 452 0 0 0 6 3 0 0 20 0 28 0 447143452 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561723951504 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21545] ppid=21538 vsize=28769364 memory=7379819139932711020 CPUtime=0.09 cores=0-7
/proc/21540/task/21545/stat : 21545 (java) S 21538 21538 21494 0 -1 1077944384 383 0 0 0 6 3 0 0 20 0 28 0 447143452 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561722898704 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21546] ppid=21538 vsize=28769364 memory=7813013535661254225 CPUtime=0.11 cores=0-7
/proc/21540/task/21546/stat : 21546 (java) S 21538 21538 21494 0 -1 1077944384 299 0 0 0 8 3 0 0 20 0 28 0 447143452 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561721846928 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21547] ppid=21538 vsize=28769364 memory=7091030113192339050 CPUtime=0.1 cores=0-7
/proc/21540/task/21547/stat : 21547 (java) S 21538 21538 21494 0 -1 1077944384 683 0 0 0 7 3 0 0 20 0 28 0 447143452 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561720794128 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21548] ppid=21538 vsize=28769364 memory=496 CPUtime=0.1 cores=0-7
/proc/21540/task/21548/stat : 21548 (java) S 21538 21538 21494 0 -1 1077944384 1197 0 0 0 7 3 0 0 20 0 28 0 447143452 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561719741328 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21549] ppid=21538 vsize=28769364 memory=33 CPUtime=0.1 cores=0-7
/proc/21540/task/21549/stat : 21549 (java) S 21538 21538 21494 0 -1 1077944384 421 0 0 0 6 4 0 0 20 0 28 0 447143452 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561718688528 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21550] ppid=21538 vsize=28769364 memory=7682744562830902035 CPUtime=0.03 cores=0-7
/proc/21540/task/21550/stat : 21550 (java) S 21538 21538 21494 0 -1 1077944384 1854 0 0 0 2 1 0 0 20 0 28 0 447143454 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561677457776 140562174470786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21551] ppid=21538 vsize=28769364 memory=140441494709665 CPUtime=0 cores=0-7
/proc/21540/task/21551/stat : 21551 (java) S 21538 21538 21494 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 447143454 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561676403808 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21552] ppid=21538 vsize=28769364 memory=140441494707457 CPUtime=0 cores=0-7
/proc/21540/task/21552/stat : 21552 (java) S 21538 21538 21494 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 447143455 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561675350912 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21553] ppid=21538 vsize=28769364 memory=140441494705249 CPUtime=0 cores=0-7
/proc/21540/task/21553/stat : 21553 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447143457 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561674299216 140562174478235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21554] ppid=21538 vsize=28769364 memory=140441494703041 CPUtime=2.68 cores=0-7
/proc/21540/task/21554/stat : 21554 (java) S 21538 21538 21494 0 -1 1077944384 10226 0 0 0 264 4 0 0 20 0 28 0 447143457 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561673247600 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21555] ppid=21538 vsize=28769364 memory=111632 CPUtime=2.61 cores=0-7
/proc/21540/task/21555/stat : 21555 (java) S 21538 21538 21494 0 -1 1077944384 11412 0 0 0 260 1 0 0 20 0 28 0 447143457 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561672194800 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21556] ppid=21538 vsize=28769364 memory=800 CPUtime=2.41 cores=0-7
/proc/21540/task/21556/stat : 21556 (java) S 21538 21538 21494 0 -1 1077944384 8386 0 0 0 239 2 0 0 20 0 28 0 447143457 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561671142000 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21557] ppid=21538 vsize=28769364 memory=4100 CPUtime=0.97 cores=0-7
/proc/21540/task/21557/stat : 21557 (java) S 21538 21538 21494 0 -1 1077944384 9783 0 0 0 95 2 0 0 20 0 28 0 447143457 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561670089200 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21558] ppid=21538 vsize=28769364 memory=1804 CPUtime=0 cores=0-7
/proc/21540/task/21558/stat : 21558 (java) S 21538 21538 21494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447143458 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561669036640 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21559] ppid=21538 vsize=28769364 memory=920 CPUtime=0.04 cores=0-7
/proc/21540/task/21559/stat : 21559 (java) S 21538 21538 21494 0 -1 1077944384 1052 0 0 0 0 4 0 0 20 0 28 0 447143458 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561667983920 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21696] ppid=21538 vsize=28769364 memory=3912 CPUtime=97.74 cores=0-7
/proc/21540/task/21696/stat : 21696 (java) R 21538 21538 21494 0 -1 4202560 6151 0 0 0 9772 2 0 0 20 0 28 0 447143924 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561586388152 140561819737472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21697] ppid=21538 vsize=28769364 memory=1412 CPUtime=97.91 cores=0-7
/proc/21540/task/21697/stat : 21697 (java) R 21538 21538 21494 0 -1 4202560 650 0 0 0 9791 0 0 0 20 0 28 0 447143924 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561532337584 140561819735479 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21698] ppid=21538 vsize=28769364 memory=8 CPUtime=97.48 cores=0-7
/proc/21540/task/21698/stat : 21698 (java) R 21538 21538 21494 0 -1 4202560 797 0 0 0 9748 0 0 0 20 0 28 0 447143924 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561587442216 140561819735505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21699] ppid=21538 vsize=28769364 memory=7 CPUtime=96.86 cores=0-7
/proc/21540/task/21699/stat : 21699 (java) R 21538 21538 21494 0 -1 4202560 4512 0 0 0 9668 18 0 0 20 0 28 0 447143924 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561590599928 140561821182964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21700] ppid=21538 vsize=28769364 memory=9 CPUtime=97.92 cores=0-7
/proc/21540/task/21700/stat : 21700 (java) R 21538 21538 21494 0 -1 4202560 1960 0 0 0 9792 0 0 0 20 0 28 0 447143924 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561585336616 140561819245801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21701] ppid=21538 vsize=28769364 memory=9 CPUtime=97.63 cores=0-7
/proc/21540/task/21701/stat : 21701 (java) R 21538 21538 21494 0 -1 4202560 530 0 0 0 9763 0 0 0 20 0 28 0 447143924 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561591652520 140561819735479 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21702] ppid=21538 vsize=28769364 memory=8 CPUtime=97.82 cores=0-7
/proc/21540/task/21702/stat : 21702 (java) R 21538 21538 21494 0 -1 4202560 1653 0 0 0 9781 1 0 0 20 0 28 0 447143924 29459828736 172582 33554432000 4194304 4196468 140727615417280 140561589547192 140561819245709 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21703] ppid=21538 vsize=28769364 memory=8 CPUtime=97.77 cores=0-7
/proc/21540/task/21703/stat : 21703 (java) R 21538 21538 21494 0 -1 4202560 1512 0 0 0 9775 2 0 0 20 0 28 0 447143924 29459828736 172582 33554432000 4194304 4196468 140727615417280 140560675360680 140561819735535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
Current children cumulated CPU time: 811.04 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 691784 KiB

[startup+103.102 s]*
/proc/loadavg: 8.44 8.31 8.29 9/220 21716
/proc/meminfo: memFree=28710636/32770688 swapFree=66919992/67108860
[pid=21538] ppid=21535 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21538/stat : 21538 (xcsp3-exec) S 21535 21538 21494 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447143451 115843072 364 33554432000 4194304 5098028 140729607140688 140729607138792 140407079363196 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39112704 140729607144312 140729607144553 140729607144553 140729607147466 0
/proc/21538/statm: 28282 364 305 221 0 87 0
[pid=21540] ppid=21538 vsize=28769364 memory=696652 CPUtime=812.7 cores=0-7
/proc/21540/stat : 21540 (java) S 21538 21538 21494 0 -1 1077944320 79718 0 0 0 81190 80 0 0 20 0 28 0 447143451 29459828736 174163 33554432000 4194304 4196468 140727615417280 140727615399824 140562174459639 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
/proc/21540/statm: 7192341 174163 3528 1 0 7153441 0
[pid=21540/tid=21541] ppid=21538 vsize=28769364 memory=0 CPUtime=1.8 cores=0-7
/proc/21540/task/21541/stat : 21541 (java) S 21538 21538 21494 0 -1 1077944384 10778 0 0 0 173 7 0 0 20 0 28 0 447143451 29459828736 174163 33554432000 4194304 4196468 140727615417280 140562178700416 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21542] ppid=21538 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7
/proc/21540/task/21542/stat : 21542 (java) S 21538 21538 21494 0 -1 1077944384 336 0 0 0 6 3 0 0 20 0 28 0 447143452 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561726057104 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21543] ppid=21538 vsize=28769364 memory=0 CPUtime=0.11 cores=0-7
/proc/21540/task/21543/stat : 21543 (java) S 21538 21538 21494 0 -1 1077944384 321 0 0 0 7 4 0 0 20 0 28 0 447143452 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561725004304 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21544] ppid=21538 vsize=28769364 memory=4872558044660077418 CPUtime=0.09 cores=0-7
/proc/21540/task/21544/stat : 21544 (java) S 21538 21538 21494 0 -1 1077944384 452 0 0 0 6 3 0 0 20 0 28 0 447143452 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561723951504 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21545] ppid=21538 vsize=28769364 memory=928 CPUtime=0.09 cores=0-7
/proc/21540/task/21545/stat : 21545 (java) S 21538 21538 21494 0 -1 1077944384 383 0 0 0 6 3 0 0 20 0 28 0 447143452 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561722898704 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21546] ppid=21538 vsize=28769364 memory=1724 CPUtime=0.11 cores=0-7
/proc/21540/task/21546/stat : 21546 (java) S 21538 21538 21494 0 -1 1077944384 299 0 0 0 8 3 0 0 20 0 28 0 447143452 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561721846928 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21547] ppid=21538 vsize=28769364 memory=1964 CPUtime=0.1 cores=0-7
/proc/21540/task/21547/stat : 21547 (java) S 21538 21538 21494 0 -1 1077944384 683 0 0 0 7 3 0 0 20 0 28 0 447143452 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561720794128 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21548] ppid=21538 vsize=28769364 memory=2776 CPUtime=0.1 cores=0-7
/proc/21540/task/21548/stat : 21548 (java) S 21538 21538 21494 0 -1 1077944384 1197 0 0 0 7 3 0 0 20 0 28 0 447143452 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561719741328 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21549] ppid=21538 vsize=28769364 memory=924 CPUtime=0.1 cores=0-7
/proc/21540/task/21549/stat : 21549 (java) S 21538 21538 21494 0 -1 1077944384 421 0 0 0 6 4 0 0 20 0 28 0 447143452 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561718688528 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21550] ppid=21538 vsize=28769364 memory=1444 CPUtime=0.03 cores=0-7
/proc/21540/task/21550/stat : 21550 (java) S 21538 21538 21494 0 -1 1077944384 1854 0 0 0 2 1 0 0 20 0 28 0 447143454 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561677457776 140562174470786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21551] ppid=21538 vsize=28769364 memory=1764 CPUtime=0 cores=0-7
/proc/21540/task/21551/stat : 21551 (java) S 21538 21538 21494 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 447143454 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561676403808 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21552] ppid=21538 vsize=28769364 memory=111632 CPUtime=0 cores=0-7
/proc/21540/task/21552/stat : 21552 (java) S 21538 21538 21494 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 447143455 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561675350912 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21553] ppid=21538 vsize=28769364 memory=800 CPUtime=0 cores=0-7
/proc/21540/task/21553/stat : 21553 (java) S 21538 21538 21494 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447143457 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561674299216 140562174478235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21554] ppid=21538 vsize=28769364 memory=683328 CPUtime=2.68 cores=0-7
/proc/21540/task/21554/stat : 21554 (java) S 21538 21538 21494 0 -1 1077944384 10226 0 0 0 264 4 0 0 20 0 28 0 447143457 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561673247600 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21555] ppid=21538 vsize=28769364 memory=660 CPUtime=2.61 cores=0-7
/proc/21540/task/21555/stat : 21555 (java) S 21538 21538 21494 0 -1 1077944384 11412 0 0 0 260 1 0 0 20 0 28 0 447143457 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561672194800 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21556] ppid=21538 vsize=28769364 memory=1556 CPUtime=2.41 cores=0-7
/proc/21540/task/21556/stat : 21556 (java) S 21538 21538 21494 0 -1 1077944384 8386 0 0 0 239 2 0 0 20 0 28 0 447143457 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561671142000 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21557] ppid=21538 vsize=28769364 memory=9588 CPUtime=0.97 cores=0-7
/proc/21540/task/21557/stat : 21557 (java) S 21538 21538 21494 0 -1 1077944384 9783 0 0 0 95 2 0 0 20 0 28 0 447143457 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561670089200 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21558] ppid=21538 vsize=28769364 memory=1712 CPUtime=0 cores=0-7
/proc/21540/task/21558/stat : 21558 (java) S 21538 21538 21494 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447143458 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561669036640 140562174469845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21559] ppid=21538 vsize=28769364 memory=5996 CPUtime=0.04 cores=0-7
/proc/21540/task/21559/stat : 21559 (java) S 21538 21538 21494 0 -1 1077944384 1052 0 0 0 0 4 0 0 20 0 28 0 447143458 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561667983920 140562174470786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21696] ppid=21538 vsize=28769364 memory=4156 CPUtime=97.95 cores=0-7
/proc/21540/task/21696/stat : 21696 (java) R 21538 21538 21494 0 -1 4202560 6190 0 0 0 9793 2 0 0 20 0 28 0 447143924 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561586388152 140561819753424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21697] ppid=21538 vsize=28769364 memory=1456 CPUtime=98.12 cores=0-7
/proc/21540/task/21697/stat : 21697 (java) R 21538 21538 21494 0 -1 4202560 657 0 0 0 9812 0 0 0 20 0 28 0 447143924 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561532337584 140561819735296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21698] ppid=21538 vsize=28769364 memory=1456 CPUtime=97.69 cores=0-7
/proc/21540/task/21698/stat : 21698 (java) R 21538 21538 21494 0 -1 4202560 802 0 0 0 9769 0 0 0 20 0 28 0 447143924 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561587442216 140561819735430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21699] ppid=21538 vsize=28769364 memory=683328 CPUtime=97.06 cores=0-7
/proc/21540/task/21699/stat : 21699 (java) R 21538 21538 21494 0 -1 4202560 4530 0 0 0 9688 18 0 0 20 0 28 0 447143924 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561590599928 140561819369117 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21700] ppid=21538 vsize=28769364 memory=2137 CPUtime=98.13 cores=0-7
/proc/21540/task/21700/stat : 21700 (java) R 21538 21538 21494 0 -1 4202560 1984 0 0 0 9813 0 0 0 20 0 28 0 447143924 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561585336616 140561819245801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21701] ppid=21538 vsize=28769364 memory=1497 CPUtime=97.83 cores=0-7
/proc/21540/task/21701/stat : 21701 (java) R 21538 21538 21494 0 -1 4202560 534 0 0 0 9783 0 0 0 20 0 28 0 447143924 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561591652520 140561821182496 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21702] ppid=21538 vsize=28769364 memory=4595 CPUtime=98.03 cores=0-7
/proc/21540/task/21702/stat : 21702 (java) R 21538 21538 21494 0 -1 4202560 1670 0 0 0 9802 1 0 0 20 0 28 0 447143924 29459828736 174163 33554432000 4194304 4196468 140727615417280 140561589547192 140561819735525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
[pid=21540/tid=21703] ppid=21538 vsize=28769364 memory=1092 CPUtime=97.98 cores=0-7
/proc/21540/task/21703/stat : 21703 (java) R 21538 21538 21494 0 -1 4202560 1524 0 0 0 9796 2 0 0 20 0 28 0 447143924 29459828736 174163 33554432000 4194304 4196468 140727615417280 140560675360680 140561819245796 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7319552 140727615423466 140727615423638 140727615423638 140727615426511 0
Current children cumulated CPU time: 812.7 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 698108 KiB

Child status: 0
Real time (s): 103.153
CPU time (s): 812.929
CPU user time (s): 812.102
CPU system time (s): 0.826934
CPU usage (%): 788.081
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 698108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 812.102
system time used= 0.826934
maximum resident set size= 698444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8823
involuntary context switches= 10445


# summary of solver processes directly reported to runsolver:
#   pid: 21538
#   total CPU time (s): 812.929
#   total CPU user time (s): 812.102
#   total CPU system time (s): 0.826934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.95447 second user time and 1.37055 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 4399907

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
