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	310	2013.98	253.469
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 (11928 MiB free)
  memory of node 1: 16384 MiB (9823 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404706-1569005201/watcher-4404706-1569005201 -o /var/tmp/evaluation-result-4404706-1569005201/solver-4404706-1569005201 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569005116-20050 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1889743760 HOME/instance-4404706-1569005201.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
solver pid=20524, runsolver pid=20521
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 7.69 8.05 8.21 2/211 20545
/proc/meminfo: memFree=22257044/32770624 swapFree=67001800/67108860
[pid=20524] ppid=20521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20524/stat : 20524 (xcsp3-exec) S 20521 20524 20023 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476434045 115843072 363 33554432000 4194304 5098028 140729852721536 140729852719640 140456333189756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38367232 140729852724049 140729852724309 140729852724309 140729852727238 0
/proc/20524/statm: 28282 363 304 221 0 87 0
[pid=20526] ppid=20524 vsize=28227396 memory=29692 CPUtime=0.12 cores=0-7
/proc/20526/stat : 20526 (java) S 20524 20524 20023 0 -1 1077944320 5888 0 0 0 11 1 0 0 20 0 20 0 476434046 28904853504 7423 33554432000 4194304 4196468 140734192475264 140734192457808 139668564041463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
/proc/20526/statm: 7056849 7423 3115 1 0 7019032 0
[pid=20526/tid=20527] ppid=20524 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/20526/task/20527/stat : 20527 (java) R 20524 20524 20023 0 -1 4202560 3847 0 0 0 8 1 0 0 20 0 20 0 476434046 28904853504 7423 33554432000 4194304 4196468 140734192475264 139668568276000 139668564053398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20528] ppid=20524 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20526/task/20528/stat : 20528 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 7423 33554432000 4194304 4196468 140734192475264 139668516661648 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20529] ppid=20524 vsize=28227396 memory=139781749237376 CPUtime=0 cores=0-7
/proc/20526/task/20529/stat : 20529 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 7423 33554432000 4194304 4196468 140734192475264 139668515608848 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20530] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20530/stat : 20530 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 7423 33554432000 4194304 4196468 140734192475264 139668514556560 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20531] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20531/stat : 20531 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 7423 33554432000 4194304 4196468 140734192475264 139668513503760 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20532] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20532/stat : 20532 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 7423 33554432000 4194304 4196468 140734192475264 139668512451472 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20533] ppid=20524 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20526/task/20533/stat : 20533 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 7423 33554432000 4194304 4196468 140734192475264 139668110564112 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20534] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20534/stat : 20534 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 7423 33554432000 4194304 4196468 140734192475264 139668109511824 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20535] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20535/stat : 20535 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 7423 33554432000 4194304 4196468 140734192475264 139668108459024 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20536] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20536/stat : 20536 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434048 28904853504 7423 33554432000 4194304 4196468 140734192475264 139667027490928 139668564052610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20537] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20537/stat : 20537 (java) S 20524 20524 20023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476434049 28904853504 7423 33554432000 4194304 4196468 140734192475264 139667026436896 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20538] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20538/stat : 20538 (java) S 20524 20524 20023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476434049 28904853504 7423 33554432000 4194304 4196468 140734192475264 139667025384560 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20539] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20539/stat : 20539 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434051 28904853504 7423 33554432000 4194304 4196468 140734192475264 139667024332880 139668564060059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20540] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20540/stat : 20540 (java) R 20524 20524 20023 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 20 0 476434051 28904853504 7423 33554432000 4194304 4196468 140734192475264 139667023280752 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20541] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20541/stat : 20541 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476434051 28904853504 7423 33554432000 4194304 4196468 140734192475264 139667022227952 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20542] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20542/stat : 20542 (java) R 20524 20524 20023 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476434051 28904853504 7423 33554432000 4194304 4196468 140734192475264 139667021175664 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20543] ppid=20524 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20526/task/20543/stat : 20543 (java) R 20524 20524 20023 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 20 0 476434051 28904853504 7423 33554432000 4194304 4196468 140734192475264 139667020122864 139668557147125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20544] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20544/stat : 20544 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476434052 28904853504 7423 33554432000 4194304 4196468 140734192475264 139667019069792 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20545] ppid=20524 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20526/task/20545/stat : 20545 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434052 28904853504 7423 33554432000 4194304 4196468 140734192475264 139667018017072 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31144 KiB

[startup+0.209781 s]*
/proc/loadavg: 7.69 8.05 8.21 2/211 20545
/proc/meminfo: memFree=22244536/32770624 swapFree=67001800/67108860
[pid=20524] ppid=20521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20524/stat : 20524 (xcsp3-exec) S 20521 20524 20023 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476434045 115843072 363 33554432000 4194304 5098028 140729852721536 140729852719640 140456333189756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38367232 140729852724049 140729852724309 140729852724309 140729852727238 0
/proc/20524/statm: 28282 363 304 221 0 87 0
[pid=20526] ppid=20524 vsize=28227396 memory=41248 CPUtime=0.33 cores=0-7
/proc/20526/stat : 20526 (java) S 20524 20524 20023 0 -1 1077944320 9540 0 0 0 30 3 0 0 20 0 20 0 476434046 28904853504 10312 33554432000 4194304 4196468 140734192475264 140734192457808 139668564041463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
/proc/20526/statm: 7056849 10312 3298 1 0 7019032 0
[pid=20526/tid=20527] ppid=20524 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20526/task/20527/stat : 20527 (java) R 20524 20524 20023 0 -1 4202560 6666 0 0 0 17 2 0 0 20 0 20 0 476434046 28904853504 10312 33554432000 4194304 4196468 140734192475264 139668568281136 139668564063389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20528] ppid=20524 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/20526/task/20528/stat : 20528 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 10312 33554432000 4194304 4196468 140734192475264 139668516661648 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20529] ppid=20524 vsize=28227396 memory=288370157900949120 CPUtime=0 cores=0-7
/proc/20526/task/20529/stat : 20529 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 10312 33554432000 4194304 4196468 140734192475264 139668515608848 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20530] ppid=20524 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20526/task/20530/stat : 20530 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 10312 33554432000 4194304 4196468 140734192475264 139668514556560 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20531] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20531/stat : 20531 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 10312 33554432000 4194304 4196468 140734192475264 139668513503760 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20532] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20532/stat : 20532 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 10312 33554432000 4194304 4196468 140734192475264 139668512451472 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20533] ppid=20524 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20526/task/20533/stat : 20533 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 10312 33554432000 4194304 4196468 140734192475264 139668110564112 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20534] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20534/stat : 20534 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 10312 33554432000 4194304 4196468 140734192475264 139668109511824 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20535] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20535/stat : 20535 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28904853504 10312 33554432000 4194304 4196468 140734192475264 139668108459024 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20536] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20536/stat : 20536 (java) S 20524 20524 20023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476434048 28904853504 10312 33554432000 4194304 4196468 140734192475264 139667027490928 139668564052610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20537] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20537/stat : 20537 (java) S 20524 20524 20023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476434049 28904853504 10312 33554432000 4194304 4196468 140734192475264 139667026436896 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20538] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20538/stat : 20538 (java) S 20524 20524 20023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476434049 28904853504 10312 33554432000 4194304 4196468 140734192475264 139667025384560 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20539] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20539/stat : 20539 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434051 28904853504 10312 33554432000 4194304 4196468 140734192475264 139667024332880 139668564060059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20540] ppid=20524 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20526/task/20540/stat : 20540 (java) S 20524 20524 20023 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 20 0 476434051 28904853504 10312 33554432000 4194304 4196468 140734192475264 139667023280752 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20541] ppid=20524 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20526/task/20541/stat : 20541 (java) S 20524 20524 20023 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 476434051 28904853504 10312 33554432000 4194304 4196468 140734192475264 139667022227952 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20542] ppid=20524 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/20526/task/20542/stat : 20542 (java) S 20524 20524 20023 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 20 0 476434051 28904853504 10312 33554432000 4194304 4196468 140734192475264 139667021175664 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20543] ppid=20524 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/20526/task/20543/stat : 20543 (java) S 20524 20524 20023 0 -1 1077944384 746 0 0 0 7 0 0 0 20 0 20 0 476434051 28904853504 10312 33554432000 4194304 4196468 140734192475264 139667020122864 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20544] ppid=20524 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20544/stat : 20544 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476434052 28904853504 10312 33554432000 4194304 4196468 140734192475264 139667019069792 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20545] ppid=20524 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20526/task/20545/stat : 20545 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434052 28904853504 10312 33554432000 4194304 4196468 140734192475264 139667018017072 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42700 KiB

[startup+0.309418 s]*
/proc/loadavg: 7.69 8.05 8.21 3/211 20545
/proc/meminfo: memFree=22240676/32770624 swapFree=67001800/67108860
[pid=20524] ppid=20521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20524/stat : 20524 (xcsp3-exec) S 20521 20524 20023 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476434045 115843072 363 33554432000 4194304 5098028 140729852721536 140729852719640 140456333189756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38367232 140729852724049 140729852724309 140729852724309 140729852727238 0
/proc/20524/statm: 28282 363 304 221 0 87 0
[pid=20526] ppid=20524 vsize=28231652 memory=49820 CPUtime=0.52 cores=0-7
/proc/20526/stat : 20526 (java) S 20524 20524 20023 0 -1 1077944320 10757 0 0 0 48 4 0 0 20 0 20 0 476434046 28909211648 12455 33554432000 4194304 4196468 140734192475264 140734192457808 139668564041463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
/proc/20526/statm: 7057913 12455 3349 1 0 7019032 0
[pid=20526/tid=20527] ppid=20524 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/20526/task/20527/stat : 20527 (java) R 20524 20524 20023 0 -1 4202560 7740 0 0 0 27 3 0 0 20 0 20 0 476434046 28909211648 12455 33554432000 4194304 4196468 140734192475264 139668568275248 139668548121950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20528] ppid=20524 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20528/stat : 20528 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28909211648 12455 33554432000 4194304 4196468 140734192475264 139668516661648 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20529] ppid=20524 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20529/stat : 20529 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476434047 28909211648 12455 33554432000 4194304 4196468 140734192475264 139668515608848 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20530] ppid=20524 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20530/stat : 20530 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434047 28909211648 12455 33554432000 4194304 4196468 140734192475264 139668514556560 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20531] ppid=20524 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20531/stat : 20531 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434047 28909211648 12455 33554432000 4194304 4196468 140734192475264 139668513503760 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20532] ppid=20524 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20532/stat : 20532 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28909211648 12455 33554432000 4194304 4196468 140734192475264 139668512451472 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20533] ppid=20524 vsize=28231652 memory=139781589789359 CPUtime=0 cores=0-7
/proc/20526/task/20533/stat : 20533 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434047 28909211648 12455 33554432000 4194304 4196468 140734192475264 139668110564112 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20534] ppid=20524 vsize=28231652 memory=139781589791664 CPUtime=0 cores=0-7
/proc/20526/task/20534/stat : 20534 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28909211648 12455 33554432000 4194304 4196468 140734192475264 139668109511824 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20535] ppid=20524 vsize=28231652 memory=139781589793968 CPUtime=0 cores=0-7
/proc/20526/task/20535/stat : 20535 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28909211648 12455 33554432000 4194304 4196468 140734192475264 139668108459024 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20536] ppid=20524 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20536/stat : 20536 (java) S 20524 20524 20023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476434048 28909211648 12455 33554432000 4194304 4196468 140734192475264 139667027490928 139668564052610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20537] ppid=20524 vsize=28231652 memory=279563179601808 CPUtime=0 cores=0-7
/proc/20526/task/20537/stat : 20537 (java) S 20524 20524 20023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476434049 28909211648 12455 33554432000 4194304 4196468 140734192475264 139667026436896 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20538] ppid=20524 vsize=28231652 memory=279563179599504 CPUtime=0 cores=0-7
/proc/20526/task/20538/stat : 20538 (java) S 20524 20524 20023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476434049 28909211648 12455 33554432000 4194304 4196468 140734192475264 139667025384560 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20539] ppid=20524 vsize=28231652 memory=279563179606416 CPUtime=0 cores=0-7
/proc/20526/task/20539/stat : 20539 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434051 28909211648 12455 33554432000 4194304 4196468 140734192475264 139667024332880 139668564060059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20540] ppid=20524 vsize=28231652 memory=279563179547696 CPUtime=0.02 cores=0-7
/proc/20526/task/20540/stat : 20540 (java) S 20524 20524 20023 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 20 0 476434051 28909211648 12455 33554432000 4194304 4196468 140734192475264 139667023280752 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20541] ppid=20524 vsize=28231652 memory=279563179620240 CPUtime=0.02 cores=0-7
/proc/20526/task/20541/stat : 20541 (java) S 20524 20524 20023 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 20 0 476434051 28909211648 12455 33554432000 4194304 4196468 140734192475264 139667022227952 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20542] ppid=20524 vsize=28231652 memory=279563179627152 CPUtime=0.03 cores=0-7
/proc/20526/task/20542/stat : 20542 (java) R 20524 20524 20023 0 -1 4202560 347 0 0 0 3 0 0 0 20 0 20 0 476434051 28909211648 12455 33554432000 4194304 4196468 140734192475264 139667021175664 139668544741760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20543] ppid=20524 vsize=28231652 memory=279563179624848 CPUtime=0.12 cores=0-7
/proc/20526/task/20543/stat : 20543 (java) S 20524 20524 20023 0 -1 1077944384 816 0 0 0 12 0 0 0 20 0 20 0 476434051 28909211648 12455 33554432000 4194304 4196468 140734192475264 139667020122864 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20544] ppid=20524 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20544/stat : 20544 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476434052 28909211648 12455 33554432000 4194304 4196468 140734192475264 139667019069792 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20545] ppid=20524 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/20526/task/20545/stat : 20545 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434052 28909211648 12455 33554432000 4194304 4196468 140734192475264 139667018017072 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51272 KiB

[startup+0.700954 s]
/proc/loadavg: 7.69 8.05 8.21 4/211 20545
/proc/meminfo: memFree=22215924/32770624 swapFree=67001800/67108860
[pid=20524] ppid=20521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20524/stat : 20524 (xcsp3-exec) S 20521 20524 20023 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476434045 115843072 363 33554432000 4194304 5098028 140729852721536 140729852719640 140456333189756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38367232 140729852724049 140729852724309 140729852724309 140729852727238 0
/proc/20524/statm: 28282 363 304 221 0 87 0
[pid=20526] ppid=20524 vsize=28233776 memory=123084 CPUtime=2.04 cores=0-7
/proc/20526/stat : 20526 (java) S 20524 20524 20023 0 -1 1077944320 15350 0 0 0 196 8 0 0 20 0 20 0 476434046 28911386624 30771 33554432000 4194304 4196468 140734192475264 140734192457808 139668564041463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
/proc/20526/statm: 7058444 30771 3451 1 0 7019544 0
[pid=20526/tid=20527] ppid=20524 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/20526/task/20527/stat : 20527 (java) R 20524 20524 20023 0 -1 4202560 8444 0 0 0 63 4 0 0 20 0 20 0 476434046 28911386624 30771 33554432000 4194304 4196468 140734192475264 139668568278928 139668556719477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20528] ppid=20524 vsize=28233776 memory=139781590000496 CPUtime=0 cores=0-7
/proc/20526/task/20528/stat : 20528 (java) S 20524 20524 20023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476434047 28911386624 30771 33554432000 4194304 4196468 140734192475264 139668516661648 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20529] ppid=20524 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/20526/task/20529/stat : 20529 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476434047 28911386624 30771 33554432000 4194304 4196468 140734192475264 139668515608848 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20530] ppid=20524 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/20526/task/20530/stat : 20530 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476434047 28911386624 30771 33554432000 4194304 4196468 140734192475264 139668514556560 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0

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

[pid=20526/tid=20543] ppid=20524 vsize=28835928 memory=1564 CPUtime=0.83 cores=0-7
/proc/20526/task/20543/stat : 20543 (java) S 20524 20524 20023 0 -1 1077944384 10440 0 0 0 81 2 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667020122864 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20544] ppid=20524 vsize=28835928 memory=928 CPUtime=0 cores=0-7
/proc/20526/task/20544/stat : 20544 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476434052 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667019069792 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20545] ppid=20524 vsize=28835928 memory=1980 CPUtime=0.08 cores=0-7
/proc/20526/task/20545/stat : 20545 (java) S 20524 20524 20023 0 -1 1077944384 1798 0 0 0 4 4 0 0 20 0 28 0 476434052 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667018017072 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20682] ppid=20524 vsize=28835928 memory=1560 CPUtime=248.88 cores=0-7
/proc/20526/task/20682/stat : 20682 (java) R 20524 20524 20023 0 -1 4202560 5230 0 0 0 24883 5 0 0 20 0 28 0 476434371 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667009035192 139668199784516 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20683] ppid=20524 vsize=28835928 memory=1452 CPUtime=249.13 cores=0-7
/proc/20526/task/20683/stat : 20683 (java) R 20524 20524 20023 0 -1 4202560 852 0 0 0 24913 0 0 0 20 0 28 0 476434371 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667007983512 139668200008235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20684] ppid=20524 vsize=28835928 memory=1440 CPUtime=249.15 cores=0-7
/proc/20526/task/20684/stat : 20684 (java) R 20524 20524 20023 0 -1 4202560 2066 0 0 0 24911 4 0 0 20 0 28 0 476434371 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667000615704 139668200008447 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20685] ppid=20524 vsize=28835928 memory=1768 CPUtime=248.93 cores=0-7
/proc/20526/task/20685/stat : 20685 (java) R 20524 20524 20023 0 -1 4202560 10147 0 0 0 24864 29 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667001667992 139668200008273 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20686] ppid=20524 vsize=28835928 memory=111636 CPUtime=247.87 cores=0-7
/proc/20526/task/20686/stat : 20686 (java) R 20524 20524 20023 0 -1 4202560 846 0 0 0 24785 2 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667002720544 139668200008669 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20687] ppid=20524 vsize=28835928 memory=808 CPUtime=248.42 cores=0-7
/proc/20526/task/20687/stat : 20687 (java) R 20524 20524 20023 0 -1 4202560 2368 0 0 0 24839 3 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667006931224 139668199642468 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20688] ppid=20524 vsize=28835928 memory=4100 CPUtime=248.47 cores=0-7
/proc/20526/task/20688/stat : 20688 (java) R 20524 20524 20023 0 -1 4202560 1443 0 0 0 24846 1 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667005878184 139668199642463 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20689] ppid=20524 vsize=28835928 memory=1804 CPUtime=247.06 cores=0-7
/proc/20526/task/20689/stat : 20689 (java) R 20524 20524 20023 0 -1 4202560 2445 0 0 0 24691 15 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139666997464920 139668200039944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
Current children cumulated CPU time: 2008.78 s
Current children cumulated vsize: 28949056 KiB
Current children cumulated memory: 2197796 KiB

[startup+253.202 s]
/proc/loadavg: 8.26 8.33 8.31 9/220 20714
/proc/meminfo: memFree=20090720/32770624 swapFree=67001808/67108860
[pid=20524] ppid=20521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20524/stat : 20524 (xcsp3-exec) S 20521 20524 20023 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476434045 115843072 363 33554432000 4194304 5098028 140729852721536 140729852719640 140456333189756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38367232 140729852724049 140729852724309 140729852724309 140729852727238 0
/proc/20524/statm: 28282 363 304 221 0 87 0
[pid=20526] ppid=20524 vsize=28835928 memory=2196344 CPUtime=2011.97 cores=0-7
/proc/20526/stat : 20526 (java) S 20524 20524 20023 0 -1 1077944320 106488 0 0 0 201076 121 0 0 20 0 28 0 476434046 29527990272 549086 33554432000 4194304 4196468 140734192475264 140734192457808 139668564041463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
/proc/20526/statm: 7208982 549086 3529 1 0 7170082 0
[pid=20526/tid=20527] ppid=20524 vsize=28835928 memory=6791534058613427641 CPUtime=1.55 cores=0-7
/proc/20526/task/20527/stat : 20527 (java) S 20524 20524 20023 0 -1 1077944384 9318 0 0 0 147 8 0 0 20 0 28 0 476434046 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668568282240 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20528] ppid=20524 vsize=28835928 memory=2116 CPUtime=0.15 cores=0-7
/proc/20526/task/20528/stat : 20528 (java) S 20524 20524 20023 0 -1 1077944384 1243 0 0 0 10 5 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668516661648 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20529] ppid=20524 vsize=28835928 memory=29268 CPUtime=0.12 cores=0-7
/proc/20526/task/20529/stat : 20529 (java) S 20524 20524 20023 0 -1 1077944384 1449 0 0 0 9 3 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668515608848 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20530] ppid=20524 vsize=28835928 memory=12028 CPUtime=0.13 cores=0-7
/proc/20526/task/20530/stat : 20530 (java) S 20524 20524 20023 0 -1 1077944384 393 0 0 0 9 4 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668514556560 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20531] ppid=20524 vsize=28835928 memory=532 CPUtime=0.12 cores=0-7
/proc/20526/task/20531/stat : 20531 (java) S 20524 20524 20023 0 -1 1077944384 610 0 0 0 8 4 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668513503760 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20532] ppid=20524 vsize=28835928 memory=6791534058613427641 CPUtime=0.1 cores=0-7
/proc/20526/task/20532/stat : 20532 (java) S 20524 20524 20023 0 -1 1077944384 869 0 0 0 7 3 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668512451472 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20533] ppid=20524 vsize=28835928 memory=928 CPUtime=0.12 cores=0-7
/proc/20526/task/20533/stat : 20533 (java) S 20524 20524 20023 0 -1 1077944384 465 0 0 0 9 3 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668110564112 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20534] ppid=20524 vsize=28835928 memory=1980 CPUtime=0.12 cores=0-7
/proc/20526/task/20534/stat : 20534 (java) S 20524 20524 20023 0 -1 1077944384 586 0 0 0 9 3 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668109511824 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20535] ppid=20524 vsize=28835928 memory=1560 CPUtime=0.13 cores=0-7
/proc/20526/task/20535/stat : 20535 (java) S 20524 20524 20023 0 -1 1077944384 1334 0 0 0 9 4 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668108459024 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20536] ppid=20524 vsize=28835928 memory=6791534058613427641 CPUtime=0.03 cores=0-7
/proc/20526/task/20536/stat : 20536 (java) S 20524 20524 20023 0 -1 1077944384 3517 0 0 0 3 0 0 0 20 0 28 0 476434048 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667027490928 139668564052610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20537] ppid=20524 vsize=28835928 memory=1056 CPUtime=0 cores=0-7
/proc/20526/task/20537/stat : 20537 (java) S 20524 20524 20023 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 476434049 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667026436960 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20538] ppid=20524 vsize=28835928 memory=1096 CPUtime=0 cores=0-7
/proc/20526/task/20538/stat : 20538 (java) S 20524 20524 20023 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476434049 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667025384576 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20539] ppid=20524 vsize=28835928 memory=13972 CPUtime=0 cores=0-7
/proc/20526/task/20539/stat : 20539 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667024332880 139668564060059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20540] ppid=20524 vsize=28835928 memory=2116 CPUtime=2.77 cores=0-7
/proc/20526/task/20540/stat : 20540 (java) S 20524 20524 20023 0 -1 1077944384 19035 0 0 0 274 3 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667023280752 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20541] ppid=20524 vsize=28835928 memory=29268 CPUtime=2.57 cores=0-7
/proc/20526/task/20541/stat : 20541 (java) S 20524 20524 20023 0 -1 1077944384 13280 0 0 0 253 4 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667022227952 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20542] ppid=20524 vsize=28835928 memory=12028 CPUtime=2.41 cores=0-7
/proc/20526/task/20542/stat : 20542 (java) S 20524 20524 20023 0 -1 1077944384 12762 0 0 0 240 1 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667021175664 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20543] ppid=20524 vsize=28835928 memory=532 CPUtime=0.83 cores=0-7
/proc/20526/task/20543/stat : 20543 (java) S 20524 20524 20023 0 -1 1077944384 10440 0 0 0 81 2 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667020122864 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20544] ppid=20524 vsize=28835928 memory=1564 CPUtime=0 cores=0-7
/proc/20526/task/20544/stat : 20544 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476434052 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667019069792 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20545] ppid=20524 vsize=28835928 memory=3616 CPUtime=0.08 cores=0-7
/proc/20526/task/20545/stat : 20545 (java) S 20524 20524 20023 0 -1 1077944384 1798 0 0 0 4 4 0 0 20 0 28 0 476434052 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667018017072 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20682] ppid=20524 vsize=28835928 memory=7548 CPUtime=249.28 cores=0-7
/proc/20526/task/20682/stat : 20682 (java) R 20524 20524 20023 0 -1 4202560 5230 0 0 0 24923 5 0 0 20 0 28 0 476434371 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667009035192 139668200008172 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20683] ppid=20524 vsize=28835928 memory=2832 CPUtime=249.53 cores=0-7
/proc/20526/task/20683/stat : 20683 (java) R 20524 20524 20023 0 -1 4202560 852 0 0 0 24953 0 0 0 20 0 28 0 476434371 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667007983512 139668200008437 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20684] ppid=20524 vsize=28835928 memory=1224 CPUtime=249.55 cores=0-7
/proc/20526/task/20684/stat : 20684 (java) R 20524 20524 20023 0 -1 4202560 2066 0 0 0 24951 4 0 0 20 0 28 0 476434371 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667000615704 139668200008256 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20685] ppid=20524 vsize=28835928 memory=6040 CPUtime=249.33 cores=0-7
/proc/20526/task/20685/stat : 20685 (java) R 20524 20524 20023 0 -1 4202560 10147 0 0 0 24904 29 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667001667992 139668199607697 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20686] ppid=20524 vsize=28835928 memory=772 CPUtime=248.26 cores=0-7
/proc/20526/task/20686/stat : 20686 (java) R 20524 20524 20023 0 -1 4202560 846 0 0 0 24824 2 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667002720544 139668200008447 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20687] ppid=20524 vsize=28835928 memory=1556 CPUtime=248.82 cores=0-7
/proc/20526/task/20687/stat : 20687 (java) R 20524 20524 20023 0 -1 4202560 2368 0 0 0 24879 3 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667006931224 139668200040063 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20688] ppid=20524 vsize=28835928 memory=1056 CPUtime=248.87 cores=0-7
/proc/20526/task/20688/stat : 20688 (java) R 20524 20524 20023 0 -1 4202560 1443 0 0 0 24886 1 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667005878184 139668199694258 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20689] ppid=20524 vsize=28835928 memory=1096 CPUtime=247.46 cores=0-7
/proc/20526/task/20689/stat : 20689 (java) R 20524 20524 20023 0 -1 4202560 2445 0 0 0 24731 15 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139666997464920 139668199642340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
Current children cumulated CPU time: 2011.97 s
Current children cumulated vsize: 28949056 KiB
Current children cumulated memory: 2197796 KiB

[startup+253.402 s]
/proc/loadavg: 8.26 8.33 8.31 9/220 20714
/proc/meminfo: memFree=20090720/32770624 swapFree=67001808/67108860
[pid=20524] ppid=20521 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20524/stat : 20524 (xcsp3-exec) S 20521 20524 20023 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 476434045 115843072 363 33554432000 4194304 5098028 140729852721536 140729852719640 140456333189756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38367232 140729852724049 140729852724309 140729852724309 140729852727238 0
/proc/20524/statm: 28282 363 304 221 0 87 0
[pid=20526] ppid=20524 vsize=28835928 memory=2196344 CPUtime=2013.57 cores=0-7
/proc/20526/stat : 20526 (java) S 20524 20524 20023 0 -1 1077944320 106489 0 0 0 201236 121 0 0 20 0 28 0 476434046 29527990272 549086 33554432000 4194304 4196468 140734192475264 140734192457808 139668564041463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
/proc/20526/statm: 7208982 549086 3529 1 0 7170082 0
[pid=20526/tid=20527] ppid=20524 vsize=28835928 memory=7548 CPUtime=1.55 cores=0-7
/proc/20526/task/20527/stat : 20527 (java) S 20524 20524 20023 0 -1 1077944384 9318 0 0 0 147 8 0 0 20 0 28 0 476434046 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668568282240 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20528] ppid=20524 vsize=28835928 memory=2832 CPUtime=0.15 cores=0-7
/proc/20526/task/20528/stat : 20528 (java) S 20524 20524 20023 0 -1 1077944384 1243 0 0 0 10 5 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668516661648 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20529] ppid=20524 vsize=28835928 memory=1224 CPUtime=0.12 cores=0-7
/proc/20526/task/20529/stat : 20529 (java) S 20524 20524 20023 0 -1 1077944384 1449 0 0 0 9 3 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668515608848 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20530] ppid=20524 vsize=28835928 memory=6040 CPUtime=0.13 cores=0-7
/proc/20526/task/20530/stat : 20530 (java) S 20524 20524 20023 0 -1 1077944384 393 0 0 0 9 4 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668514556560 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20531] ppid=20524 vsize=28835928 memory=772 CPUtime=0.12 cores=0-7
/proc/20526/task/20531/stat : 20531 (java) S 20524 20524 20023 0 -1 1077944384 610 0 0 0 8 4 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668513503760 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20532] ppid=20524 vsize=28835928 memory=1556 CPUtime=0.1 cores=0-7
/proc/20526/task/20532/stat : 20532 (java) S 20524 20524 20023 0 -1 1077944384 869 0 0 0 7 3 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668512451472 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20533] ppid=20524 vsize=28835928 memory=1056 CPUtime=0.12 cores=0-7
/proc/20526/task/20533/stat : 20533 (java) S 20524 20524 20023 0 -1 1077944384 465 0 0 0 9 3 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668110564112 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20534] ppid=20524 vsize=28835928 memory=1096 CPUtime=0.12 cores=0-7
/proc/20526/task/20534/stat : 20534 (java) S 20524 20524 20023 0 -1 1077944384 586 0 0 0 9 3 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668109511824 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20535] ppid=20524 vsize=28835928 memory=13972 CPUtime=0.13 cores=0-7
/proc/20526/task/20535/stat : 20535 (java) S 20524 20524 20023 0 -1 1077944384 1334 0 0 0 9 4 0 0 20 0 28 0 476434047 29527990272 549086 33554432000 4194304 4196468 140734192475264 139668108459024 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20536] ppid=20524 vsize=28835928 memory=2116 CPUtime=0.03 cores=0-7
/proc/20526/task/20536/stat : 20536 (java) S 20524 20524 20023 0 -1 1077944384 3517 0 0 0 3 0 0 0 20 0 28 0 476434048 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667027490928 139668564052610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20537] ppid=20524 vsize=28835928 memory=29268 CPUtime=0 cores=0-7
/proc/20526/task/20537/stat : 20537 (java) S 20524 20524 20023 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 476434049 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667026436960 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20538] ppid=20524 vsize=28835928 memory=12028 CPUtime=0 cores=0-7
/proc/20526/task/20538/stat : 20538 (java) S 20524 20524 20023 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476434049 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667025384576 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20539] ppid=20524 vsize=28835928 memory=532 CPUtime=0 cores=0-7
/proc/20526/task/20539/stat : 20539 (java) S 20524 20524 20023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667024332880 139668564060059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20540] ppid=20524 vsize=28835928 memory=288230574492221466 CPUtime=2.77 cores=0-7
/proc/20526/task/20540/stat : 20540 (java) S 20524 20524 20023 0 -1 1077944384 19035 0 0 0 274 3 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667023280752 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20541] ppid=20524 vsize=28835928 memory=288230596050944315 CPUtime=2.57 cores=0-7
/proc/20526/task/20541/stat : 20541 (java) S 20524 20524 20023 0 -1 1077944384 13280 0 0 0 253 4 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667022227952 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20542] ppid=20524 vsize=28835928 memory=15816698942984824 CPUtime=2.41 cores=0-7
/proc/20526/task/20542/stat : 20542 (java) S 20524 20524 20023 0 -1 1077944384 12762 0 0 0 240 1 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667021175664 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20543] ppid=20524 vsize=28835928 memory=1560 CPUtime=0.83 cores=0-7
/proc/20526/task/20543/stat : 20543 (java) S 20524 20524 20023 0 -1 1077944384 10440 0 0 0 81 2 0 0 20 0 28 0 476434051 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667020122864 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20544] ppid=20524 vsize=28835928 memory=2648 CPUtime=0 cores=0-7
/proc/20526/task/20544/stat : 20544 (java) S 20524 20524 20023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476434052 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667019069792 139668564051669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20545] ppid=20524 vsize=28835928 memory=880 CPUtime=0.08 cores=0-7
/proc/20526/task/20545/stat : 20545 (java) S 20524 20524 20023 0 -1 1077944384 1798 0 0 0 4 4 0 0 20 0 28 0 476434052 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667018017072 139668564052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20682] ppid=20524 vsize=28835928 memory=1440 CPUtime=249.48 cores=0-7
/proc/20526/task/20682/stat : 20682 (java) R 20524 20524 20023 0 -1 4202560 5230 0 0 0 24943 5 0 0 20 0 28 0 476434371 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667009035192 139668200008267 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20683] ppid=20524 vsize=28835928 memory=1768 CPUtime=249.73 cores=0-7
/proc/20526/task/20683/stat : 20683 (java) R 20524 20524 20023 0 -1 4202560 852 0 0 0 24973 0 0 0 20 0 28 0 476434371 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667007983512 139668200008192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20684] ppid=20524 vsize=28835928 memory=111636 CPUtime=249.75 cores=0-7
/proc/20526/task/20684/stat : 20684 (java) R 20524 20524 20023 0 -1 4202560 2066 0 0 0 24971 4 0 0 20 0 28 0 476434371 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667000615704 139668200008256 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20685] ppid=20524 vsize=28835928 memory=808 CPUtime=249.53 cores=0-7
/proc/20526/task/20685/stat : 20685 (java) R 20524 20524 20023 0 -1 4202560 10147 0 0 0 24924 29 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667001667992 139668200056632 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20686] ppid=20524 vsize=28835928 memory=4100 CPUtime=248.46 cores=0-7
/proc/20526/task/20686/stat : 20686 (java) R 20524 20524 20023 0 -1 4202560 846 0 0 0 24844 2 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667002720544 139668199694587 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20687] ppid=20524 vsize=28835928 memory=1804 CPUtime=249.02 cores=0-7
/proc/20526/task/20687/stat : 20687 (java) R 20524 20524 20023 0 -1 4202560 2368 0 0 0 24899 3 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667006931224 139668199607562 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20688] ppid=20524 vsize=28835928 memory=920 CPUtime=249.07 cores=0-7
/proc/20526/task/20688/stat : 20688 (java) R 20524 20524 20023 0 -1 4202560 1444 0 0 0 24906 1 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139667005878184 139668199642772 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
[pid=20526/tid=20689] ppid=20524 vsize=28835928 memory=4204 CPUtime=247.66 cores=0-7
/proc/20526/task/20689/stat : 20689 (java) R 20524 20524 20023 0 -1 4202560 2445 0 0 0 24751 15 0 0 20 0 28 0 476434372 29527990272 549086 33554432000 4194304 4196468 140734192475264 139666997464920 139668200039944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6598656 140734192477142 140734192477318 140734192477318 140734192480207 0
Current children cumulated CPU time: 2013.57 s
Current children cumulated vsize: 28949056 KiB
Current children cumulated memory: 2197796 KiB

Child status: 0
Real time (s): 253.469
CPU time (s): 2013.98
CPU user time (s): 2012.74
CPU system time (s): 1.23707
CPU usage (%): 794.566
Max. virtual memory (cumulated for all children) (KiB): 28949056
Max. memory (cumulated for all children) (KiB): 2197796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2012.74
system time used= 1.23707
maximum resident set size= 2196344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11972
involuntary context switches= 23416


# summary of solver processes directly reported to runsolver:
#   pid: 20524
#   total CPU time (s): 2013.98
#   total CPU user time (s): 2012.74
#   total CPU system time (s): 1.23707

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.48686 second user time and 2.61602 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml
MD5SUM	bcb3f3ceeead4664bdf41fd123f1defa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	310
Best CPU time to get the best result obtained on this benchmark	91.9938
Satisfiable
(Un)Satisfiability was proved
Number of variables	660
Number of constraints	5350
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":660}]
Minimum variable degree	3
Maximum variable degree	107
Distribution of variable degrees	[{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":5350}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4404706

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
