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	OPT	3	12.4469	4.02539
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 (13070 MiB free)
  memory of node 1: 16384 MiB (15515 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399129-1568688338/watcher-4399129-1568688338 -o /tmp/evaluation-result-4399129-1568688338/solver-4399129-1568688338 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1237813267 HOME/instance-4399129-1568688338.xml 

running on 4 cores: 1,3,5,7

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

solver pid=22566, runsolver pid=22563

[startup+0.102103 s]*
/proc/loadavg: 8.58 8.38 8.41 6/236 22582
/proc/meminfo: memFree=29255972/32770624 swapFree=66997372/67108860
[pid=22566] ppid=22563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22566/stat : 22566 (xcsp3-exec) S 22563 22566 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445086881 115843072 363 33554432000 4194304 5098028 140728796976400 140728796974504 139757123109500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13238272 140728796984186 140728796984429 140728796984429 140728796987338 0
/proc/22566/statm: 28282 363 304 221 0 87 0
[pid=22568] ppid=22566 vsize=15144776 memory=28932 CPUtime=0.14 cores=1,3,5,7
/proc/22568/stat : 22568 (java) S 22566 22566 14983 0 -1 1077944320 5716 0 0 0 13 1 0 0 20 0 15 0 445086881 15508250624 7233 33554432000 4194304 4196468 140725944844432 140725944826976 139845199449847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
/proc/22568/statm: 3786194 7233 3155 1 0 3748377 0
[pid=22568/tid=22569] ppid=22566 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/22568/task/22569/stat : 22569 (java) R 22566 22566 14983 0 -1 4202560 3578 0 0 0 9 0 0 0 20 0 15 0 445086881 15508250624 7233 33554432000 4194304 4196468 140725944844432 139845203671904 139845199461782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22570] ppid=22566 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22570/stat : 22570 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15508250624 7233 33554432000 4194304 4196468 140725944844432 139845152070800 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22571] ppid=22566 vsize=15144776 memory=139679839749760 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22571/stat : 22571 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15508250624 7233 33554432000 4194304 4196468 140725944844432 139845151018000 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22572] ppid=22566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22572/stat : 22572 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15508250624 7233 33554432000 4194304 4196468 140725944844432 139845149965200 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22573] ppid=22566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22573/stat : 22573 (java) S 22566 22566 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445086882 15508250624 7233 33554432000 4194304 4196468 140725944844432 139845148912400 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22574] ppid=22566 vsize=15144776 memory=139679839749760 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22574/stat : 22574 (java) S 22566 22566 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445086883 15508250624 7233 33554432000 4194304 4196468 140725944844432 139844667812208 139845199460994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22575] ppid=22566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22575/stat : 22575 (java) S 22566 22566 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445086884 15508250624 7233 33554432000 4194304 4196468 140725944844432 139844666758176 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22576] ppid=22566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22576/stat : 22576 (java) S 22566 22566 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445086884 15508250624 7233 33554432000 4194304 4196468 140725944844432 139844665705328 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22577] ppid=22566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22577/stat : 22577 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445086887 15508250624 7233 33554432000 4194304 4196468 140725944844432 139844664653648 139845199468443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22578] ppid=22566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22578/stat : 22578 (java) R 22566 22566 14983 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 445086887 15508250624 7233 33554432000 4194304 4196468 140725944844432 139844663602128 139845199460053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22579] ppid=22566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22579/stat : 22579 (java) R 22566 22566 14983 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 15 0 445086887 15508250624 7233 33554432000 4194304 4196468 140725944844432 139844662541040 139845178598536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22580] ppid=22566 vsize=15144776 memory=139679839749760 CPUtime=0.02 cores=1,3,5,7
/proc/22568/task/22580/stat : 22580 (java) R 22566 22566 14983 0 -1 4202560 387 0 0 0 2 0 0 0 20 0 15 0 445086887 15508250624 7233 33554432000 4194304 4196468 140725944844432 139844661496560 139845178848511 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22581] ppid=22566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22581/stat : 22581 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445086887 15508250624 7233 33554432000 4194304 4196468 140725944844432 139844660443872 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22582] ppid=22566 vsize=15144776 memory=139679839749760 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22582/stat : 22582 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086887 15508250624 7233 33554432000 4194304 4196468 140725944844432 139844659391152 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30384 KiB

[startup+0.210878 s]*
/proc/loadavg: 8.58 8.38 8.41 7/236 22582
/proc/meminfo: memFree=29242992/32770624 swapFree=66997372/67108860
[pid=22566] ppid=22563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22566/stat : 22566 (xcsp3-exec) S 22563 22566 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445086881 115843072 363 33554432000 4194304 5098028 140728796976400 140728796974504 139757123109500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13238272 140728796984186 140728796984429 140728796984429 140728796987338 0
/proc/22566/statm: 28282 363 304 221 0 87 0
[pid=22568] ppid=22566 vsize=15144776 memory=40600 CPUtime=0.35 cores=1,3,5,7
/proc/22568/stat : 22568 (java) S 22566 22566 14983 0 -1 1077944320 9453 0 0 0 32 3 0 0 20 0 15 0 445086881 15508250624 10150 33554432000 4194304 4196468 140725944844432 140725944826976 139845199449847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
/proc/22568/statm: 3786194 10150 3280 1 0 3748377 0
[pid=22568/tid=22569] ppid=22566 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22568/task/22569/stat : 22569 (java) R 22566 22566 14983 0 -1 4202560 6604 0 0 0 19 1 0 0 20 0 15 0 445086881 15508250624 10150 33554432000 4194304 4196468 140725944844432 139845203683584 139845185130992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22570] ppid=22566 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22570/stat : 22570 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15508250624 10150 33554432000 4194304 4196468 140725944844432 139845152070800 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22571] ppid=22566 vsize=15144776 memory=288370055991461504 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22571/stat : 22571 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15508250624 10150 33554432000 4194304 4196468 140725944844432 139845151018000 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22572] ppid=22566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22572/stat : 22572 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15508250624 10150 33554432000 4194304 4196468 140725944844432 139845149965200 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22573] ppid=22566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22573/stat : 22573 (java) S 22566 22566 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445086882 15508250624 10150 33554432000 4194304 4196468 140725944844432 139845148912400 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22574] ppid=22566 vsize=15144776 memory=139679839749760 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22574/stat : 22574 (java) S 22566 22566 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445086883 15508250624 10150 33554432000 4194304 4196468 140725944844432 139844667812208 139845199460994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22575] ppid=22566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22575/stat : 22575 (java) S 22566 22566 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445086884 15508250624 10150 33554432000 4194304 4196468 140725944844432 139844666758176 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22576] ppid=22566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22576/stat : 22576 (java) S 22566 22566 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445086884 15508250624 10150 33554432000 4194304 4196468 140725944844432 139844665705328 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22577] ppid=22566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22577/stat : 22577 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445086887 15508250624 10150 33554432000 4194304 4196468 140725944844432 139844664653648 139845199468443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22578] ppid=22566 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22568/task/22578/stat : 22578 (java) S 22566 22566 14983 0 -1 1077944384 435 0 0 0 3 0 0 0 20 0 15 0 445086887 15508250624 10150 33554432000 4194304 4196468 140725944844432 139844663602032 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22579] ppid=22566 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22568/task/22579/stat : 22579 (java) S 22566 22566 14983 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 15 0 445086887 15508250624 10150 33554432000 4194304 4196468 140725944844432 139844662549232 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22580] ppid=22566 vsize=15144776 memory=139679839749760 CPUtime=0.08 cores=1,3,5,7
/proc/22568/task/22580/stat : 22580 (java) R 22566 22566 14983 0 -1 4202560 792 0 0 0 8 0 0 0 20 0 15 0 445086887 15508250624 10150 33554432000 4194304 4196468 140725944844432 139844661496432 139845199471194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22581] ppid=22566 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22581/stat : 22581 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445086887 15508250624 10150 33554432000 4194304 4196468 140725944844432 139844660443872 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22582] ppid=22566 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22582/stat : 22582 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086887 15508250624 10150 33554432000 4194304 4196468 140725944844432 139844659391152 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42052 KiB

[startup+0.310623 s]*
/proc/loadavg: 8.58 8.38 8.41 7/236 22582
/proc/meminfo: memFree=29235212/32770624 swapFree=66997372/67108860
[pid=22566] ppid=22563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22566/stat : 22566 (xcsp3-exec) S 22563 22566 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445086881 115843072 363 33554432000 4194304 5098028 140728796976400 140728796974504 139757123109500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13238272 140728796984186 140728796984429 140728796984429 140728796987338 0
/proc/22566/statm: 28282 363 304 221 0 87 0
[pid=22568] ppid=22566 vsize=15149032 memory=50152 CPUtime=0.53 cores=1,3,5,7
/proc/22568/stat : 22568 (java) S 22566 22566 14983 0 -1 1077944320 10918 0 0 0 50 3 0 0 20 0 15 0 445086881 15512608768 12538 33554432000 4194304 4196468 140725944844432 140725944826976 139845199449847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
/proc/22568/statm: 3787258 12538 3335 1 0 3748377 0
[pid=22568/tid=22569] ppid=22566 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/22568/task/22569/stat : 22569 (java) R 22566 22566 14983 0 -1 4202560 7811 0 0 0 28 2 0 0 20 0 15 0 445086881 15512608768 12538 33554432000 4194304 4196468 140725944844432 139845203683632 139845183530334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22570] ppid=22566 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22570/stat : 22570 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15512608768 12538 33554432000 4194304 4196468 140725944844432 139845152070800 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22571] ppid=22566 vsize=15149032 memory=288230376155155389 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22571/stat : 22571 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15512608768 12538 33554432000 4194304 4196468 140725944844432 139845151018000 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22572] ppid=22566 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22572/stat : 22572 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15512608768 12538 33554432000 4194304 4196468 140725944844432 139845149965200 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22573] ppid=22566 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22573/stat : 22573 (java) S 22566 22566 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445086882 15512608768 12538 33554432000 4194304 4196468 140725944844432 139845148912400 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22574] ppid=22566 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22574/stat : 22574 (java) S 22566 22566 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445086883 15512608768 12538 33554432000 4194304 4196468 140725944844432 139844667812208 139845199460994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22575] ppid=22566 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22575/stat : 22575 (java) S 22566 22566 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445086884 15512608768 12538 33554432000 4194304 4196468 140725944844432 139844666758176 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22576] ppid=22566 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22576/stat : 22576 (java) S 22566 22566 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445086884 15512608768 12538 33554432000 4194304 4196468 140725944844432 139844665705328 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22577] ppid=22566 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22577/stat : 22577 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445086887 15512608768 12538 33554432000 4194304 4196468 140725944844432 139844664653648 139845199468443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22578] ppid=22566 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22568/task/22578/stat : 22578 (java) S 22566 22566 14983 0 -1 1077944384 457 0 0 0 5 0 0 0 20 0 15 0 445086887 15512608768 12538 33554432000 4194304 4196468 140725944844432 139844663602032 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22579] ppid=22566 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22568/task/22579/stat : 22579 (java) S 22566 22566 14983 0 -1 1077944384 458 0 0 0 4 0 0 0 20 0 15 0 445086887 15512608768 12538 33554432000 4194304 4196468 140725944844432 139844662549232 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22580] ppid=22566 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22568/task/22580/stat : 22580 (java) S 22566 22566 14983 0 -1 1077944384 905 0 0 0 12 0 0 0 20 0 15 0 445086887 15512608768 12538 33554432000 4194304 4196468 140725944844432 139844661496432 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22581] ppid=22566 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22581/stat : 22581 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445086887 15512608768 12538 33554432000 4194304 4196468 140725944844432 139844660443872 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22582] ppid=22566 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22582/stat : 22582 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086887 15512608768 12538 33554432000 4194304 4196468 140725944844432 139844659391152 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51604 KiB

[startup+0.700769 s]
/proc/loadavg: 8.58 8.38 8.41 8/236 22582
/proc/meminfo: memFree=29215404/32770624 swapFree=66997372/67108860
[pid=22566] ppid=22563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22566/stat : 22566 (xcsp3-exec) S 22563 22566 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445086881 115843072 363 33554432000 4194304 5098028 140728796976400 140728796974504 139757123109500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13238272 140728796984186 140728796984429 140728796984429 140728796987338 0
/proc/22566/statm: 28282 363 304 221 0 87 0
[pid=22568] ppid=22566 vsize=15151156 memory=108428 CPUtime=1.74 cores=1,3,5,7
/proc/22568/stat : 22568 (java) S 22566 22566 14983 0 -1 1077944320 14688 0 0 0 169 5 0 0 20 0 15 0 445086881 15514783744 27107 33554432000 4194304 4196468 140725944844432 140725944826976 139845199449847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
/proc/22568/statm: 3787789 27107 3447 1 0 3748889 0
[pid=22568/tid=22569] ppid=22566 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/22568/task/22569/stat : 22569 (java) R 22566 22566 14983 0 -1 4202560 8353 0 0 0 65 3 0 0 20 0 15 0 445086881 15514783744 27107 33554432000 4194304 4196468 140725944844432 139845203688256 139844826780201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22570] ppid=22566 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22570/stat : 22570 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15514783744 27619 33554432000 4194304 4196468 140725944844432 139845152070800 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22571] ppid=22566 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22571/stat : 22571 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15514783744 27619 33554432000 4194304 4196468 140725944844432 139845151018000 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22572] ppid=22566 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22572/stat : 22572 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086882 15514783744 27619 33554432000 4194304 4196468 140725944844432 139845149965200 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22573] ppid=22566 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22573/stat : 22573 (java) S 22566 22566 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445086882 15514783744 27619 33554432000 4194304 4196468 140725944844432 139845148912400 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22574] ppid=22566 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22574/stat : 22574 (java) S 22566 22566 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445086883 15514783744 27619 33554432000 4194304 4196468 140725944844432 139844667812208 139845199460994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22575] ppid=22566 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22575/stat : 22575 (java) S 22566 22566 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445086884 15514783744 27619 33554432000 4194304 4196468 140725944844432 139844666758176 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22576] ppid=22566 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22576/stat : 22576 (java) S 22566 22566 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445086884 15514783744 27619 33554432000 4194304 4196468 140725944844432 139844665705328 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22577] ppid=22566 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22577/stat : 22577 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445086887 15514783744 27619 33554432000 4194304 4196468 140725944844432 139844664653648 139845199468443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22578] ppid=22566 vsize=15151156 memory=1764 CPUtime=0.36 cores=1,3,5,7
/proc/22568/task/22578/stat : 22578 (java) R 22566 22566 14983 0 -1 4202560 1671 0 0 0 36 0 0 0 20 0 15 0 445086887 15514783744 27619 33554432000 4194304 4196468 140725944844432 139844663588056 139845177044624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22579] ppid=22566 vsize=15151156 memory=111628 CPUtime=0.35 cores=1,3,5,7
/proc/22568/task/22579/stat : 22579 (java) R 22566 22566 14983 0 -1 4202560 1523 0 0 0 35 0 0 0 20 0 15 0 445086887 15514783744 27619 33554432000 4194304 4196468 140725944844432 139844662541720 139845182944051 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22580] ppid=22566 vsize=15151156 memory=796 CPUtime=0.32 cores=1,3,5,7
/proc/22568/task/22580/stat : 22580 (java) S 22566 22566 14983 0 -1 1077944384 1835 0 0 0 31 1 0 0 20 0 15 0 445086887 15514783744 27619 33554432000 4194304 4196468 140725944844432 139844661496432 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22581] ppid=22566 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22581/stat : 22581 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445086887 15514783744 27619 33554432000 4194304 4196468 140725944844432 139844660443872 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22582] ppid=22566 vsize=15151156 memory=920 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22582/stat : 22582 (java) S 22566 22566 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445086887 15514783744 27619 33554432000 4194304 4196468 140725944844432 139844659391152 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 109880 KiB

[startup+1.50182 s]
/proc/loadavg: 8.58 8.38 8.41 7/236 22582
/proc/meminfo: memFree=29135044/32770624 swapFree=66997372/67108860
[pid=22566] ppid=22563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22566/stat : 22566 (xcsp3-exec) S 22563 22566 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445086881 115843072 363 33554432000 4194304 5098028 140728796976400 140728796974504 139757123109500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13238272 140728796984186 140728796984429 140728796984429 140728796987338 0
/proc/22566/statm: 28282 363 304 221 0 87 0

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

/proc/22568/task/22577/stat : 22577 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445086887 15789527040 94405 33554432000 4194304 4196468 140725944844432 139844664653648 139845199468443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22578] ppid=22566 vsize=15419460 memory=199532 CPUtime=2.52 cores=1,3,5,7
/proc/22568/task/22578/stat : 22578 (java) R 22566 22566 14983 0 -1 4202560 7467 0 0 0 252 0 0 0 20 0 19 0 445086887 15789527040 94405 33554432000 4194304 4196468 140725944844432 139844663581208 139845184560505 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22579] ppid=22566 vsize=15419460 memory=139679718490022 CPUtime=2.46 cores=1,3,5,7
/proc/22568/task/22579/stat : 22579 (java) R 22566 22566 14983 0 -1 4202560 5754 0 0 0 245 1 0 0 20 0 19 0 445086887 15789527040 94405 33554432000 4194304 4196468 140725944844432 139844662527872 139845184559928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22580] ppid=22566 vsize=15419460 memory=-9001733975035308135 CPUtime=0.73 cores=1,3,5,7
/proc/22568/task/22580/stat : 22580 (java) S 22566 22566 14983 0 -1 1077944384 3652 0 0 0 72 1 0 0 20 0 19 0 445086887 15789527040 94405 33554432000 4194304 4196468 140725944844432 139844661496432 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22581] ppid=22566 vsize=15419460 memory=-7385037589438827369 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22581/stat : 22581 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445086887 15789527040 94405 33554432000 4194304 4196468 140725944844432 139844660443872 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22582] ppid=22566 vsize=15419460 memory=-7385037589438827369 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22582/stat : 22582 (java) S 22566 22566 14983 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445086887 15789527040 94405 33554432000 4194304 4196468 140725944844432 139844659391152 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22589] ppid=22566 vsize=15419460 memory=7088771780662946468 CPUtime=0.1 cores=1,3,5,7
/proc/22568/task/22589/stat : 22589 (java) S 22566 22566 14983 0 -1 1077944384 19 0 0 0 10 0 0 0 20 0 19 0 445087158 15789527040 94405 33554432000 4194304 4196468 140725944844432 139844648308736 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22590] ppid=22566 vsize=15419460 memory=-6586668835053300882 CPUtime=0.06 cores=1,3,5,7
/proc/22568/task/22590/stat : 22590 (java) S 22566 22566 14983 0 -1 1077944384 66 0 0 0 6 0 0 0 20 0 19 0 445087158 15789527040 94405 33554432000 4194304 4196468 140725944844432 139844650415440 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22591] ppid=22566 vsize=15419460 memory=1452 CPUtime=0.25 cores=1,3,5,7
/proc/22568/task/22591/stat : 22591 (java) R 22566 22566 14983 0 -1 4202560 59 0 0 0 25 0 0 0 20 0 19 0 445087158 15789527040 94405 33554432000 4194304 4196468 140725944844432 139844649358200 139844828768711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22592] ppid=22566 vsize=15419460 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/22568/task/22592/stat : 22592 (java) S 22566 22566 14983 0 -1 1077944384 17 0 0 0 7 0 0 0 20 0 19 0 445087158 15789527040 94405 33554432000 4194304 4196468 140725944844432 139844647257168 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 379072 KiB

[startup+4.02533 s]
# the end of solver process 22566 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.2505 s, system=0.196435 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20109 s]
/proc/loadavg: 8.46 8.35 8.40 8/241 22592
/proc/meminfo: memFree=28906388/32770624 swapFree=66997372/67108860
[pid=22566] ppid=22563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22566/stat : 22566 (xcsp3-exec) S 22563 22566 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445086881 115843072 363 33554432000 4194304 5098028 140728796976400 140728796974504 139757123109500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13238272 140728796984186 140728796984429 140728796984429 140728796987338 0
/proc/22566/statm: 28282 363 304 221 0 87 0
[pid=22568] ppid=22566 vsize=15419460 memory=377768 CPUtime=9.82 cores=1,3,5,7
/proc/22568/stat : 22568 (java) S 22566 22566 14983 0 -1 1077944320 31109 0 0 0 968 14 0 0 20 0 19 0 445086881 15789527040 94442 33554432000 4194304 4196468 140725944844432 140725944826976 139845199449847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
/proc/22568/statm: 3854865 94442 3520 1 0 3815965 0
[pid=22568/tid=22569] ppid=22566 vsize=15419460 memory=0 CPUtime=2.28 cores=1,3,5,7
/proc/22568/task/22569/stat : 22569 (java) S 22566 22566 14983 0 -1 1077944384 11074 0 0 0 222 6 0 0 20 0 19 0 445086881 15789527040 94442 33554432000 4194304 4196468 140725944844432 139845203690624 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22570] ppid=22566 vsize=15419460 memory=6944656592455097440 CPUtime=0.04 cores=1,3,5,7
/proc/22568/task/22570/stat : 22570 (java) S 22566 22566 14983 0 -1 1077944384 127 0 0 0 3 1 0 0 20 0 19 0 445086882 15789527040 94442 33554432000 4194304 4196468 140725944844432 139845152070800 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22571] ppid=22566 vsize=15419460 memory=6656426216303648864 CPUtime=0.03 cores=1,3,5,7
/proc/22568/task/22571/stat : 22571 (java) S 22566 22566 14983 0 -1 1077944384 270 0 0 0 2 1 0 0 20 0 19 0 445086882 15789527040 94442 33554432000 4194304 4196468 140725944844432 139845151018000 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22572] ppid=22566 vsize=15419460 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22568/task/22572/stat : 22572 (java) S 22566 22566 14983 0 -1 1077944384 517 0 0 0 3 1 0 0 20 0 19 0 445086882 15789527040 94442 33554432000 4194304 4196468 140725944844432 139845149965200 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22573] ppid=22566 vsize=15419460 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22568/task/22573/stat : 22573 (java) S 22566 22566 14983 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 19 0 445086882 15789527040 94442 33554432000 4194304 4196468 140725944844432 139845148912400 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22574] ppid=22566 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22574/stat : 22574 (java) S 22566 22566 14983 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 19 0 445086883 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844667812208 139845199460994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22575] ppid=22566 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22575/stat : 22575 (java) S 22566 22566 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445086884 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844666758240 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22576] ppid=22566 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22576/stat : 22576 (java) S 22566 22566 14983 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445086884 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844665705344 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22577] ppid=22566 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22577/stat : 22577 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445086887 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844664653648 139845199468443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22578] ppid=22566 vsize=15419460 memory=0 CPUtime=2.61 cores=1,3,5,7
/proc/22568/task/22578/stat : 22578 (java) R 22566 22566 14983 0 -1 4202560 7499 0 0 0 261 0 0 0 20 0 19 0 445086887 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844663581208 139845180993139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22579] ppid=22566 vsize=15419460 memory=0 CPUtime=2.55 cores=1,3,5,7
/proc/22568/task/22579/stat : 22579 (java) R 22566 22566 14983 0 -1 4202560 5771 0 0 0 254 1 0 0 20 0 19 0 445086887 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844662537664 139845177312961 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22580] ppid=22566 vsize=15419460 memory=4347 CPUtime=0.74 cores=1,3,5,7
/proc/22568/task/22580/stat : 22580 (java) S 22566 22566 14983 0 -1 1077944384 3660 0 0 0 73 1 0 0 20 0 19 0 445086887 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844661496432 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22581] ppid=22566 vsize=15419460 memory=386 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22581/stat : 22581 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445086887 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844660443872 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22582] ppid=22566 vsize=15419460 memory=328 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22582/stat : 22582 (java) S 22566 22566 14983 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445086887 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844659391152 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22589] ppid=22566 vsize=15419460 memory=1025 CPUtime=0.1 cores=1,3,5,7
/proc/22568/task/22589/stat : 22589 (java) S 22566 22566 14983 0 -1 1077944384 19 0 0 0 10 0 0 0 20 0 19 0 445087158 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844648308736 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22590] ppid=22566 vsize=15419460 memory=11 CPUtime=0.06 cores=1,3,5,7
/proc/22568/task/22590/stat : 22590 (java) S 22566 22566 14983 0 -1 1077944384 66 0 0 0 6 0 0 0 20 0 19 0 445087158 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844650415440 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22591] ppid=22566 vsize=15419460 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/22568/task/22591/stat : 22591 (java) R 22566 22566 14983 0 -1 4202560 59 0 0 0 34 0 0 0 20 0 19 0 445087158 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844649358944 139844831273603 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22592] ppid=22566 vsize=15419460 memory=1483 CPUtime=0.07 cores=1,3,5,7
/proc/22568/task/22592/stat : 22592 (java) S 22566 22566 14983 0 -1 1077944384 17 0 0 0 7 0 0 0 20 0 19 0 445087158 15789527040 94442 33554432000 4194304 4196468 140725944844432 139844647257168 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
Current children cumulated CPU time: 9.82 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 379220 KiB

[startup+3.60177 s]
/proc/loadavg: 8.46 8.35 8.40 8/241 22592
/proc/meminfo: memFree=28906388/32770624 swapFree=66997372/67108860
[pid=22566] ppid=22563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22566/stat : 22566 (xcsp3-exec) S 22563 22566 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445086881 115843072 363 33554432000 4194304 5098028 140728796976400 140728796974504 139757123109500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13238272 140728796984186 140728796984429 140728796984429 140728796987338 0
/proc/22566/statm: 28282 363 304 221 0 87 0
[pid=22568] ppid=22566 vsize=15419460 memory=378888 CPUtime=11.05 cores=1,3,5,7
/proc/22568/stat : 22568 (java) S 22566 22566 14983 0 -1 1077944320 31499 0 0 0 1091 14 0 0 20 0 19 0 445086881 15789527040 94722 33554432000 4194304 4196468 140725944844432 140725944826976 139845199449847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
/proc/22568/statm: 3854865 94722 3521 1 0 3815965 0
[pid=22568/tid=22569] ppid=22566 vsize=15419460 memory=1388 CPUtime=2.29 cores=1,3,5,7
/proc/22568/task/22569/stat : 22569 (java) S 22566 22566 14983 0 -1 1077944384 11076 0 0 0 223 6 0 0 20 0 19 0 445086881 15789527040 94722 33554432000 4194304 4196468 140725944844432 139845203690624 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22570] ppid=22566 vsize=15419460 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22568/task/22570/stat : 22570 (java) S 22566 22566 14983 0 -1 1077944384 127 0 0 0 3 1 0 0 20 0 19 0 445086882 15789527040 94722 33554432000 4194304 4196468 140725944844432 139845152070800 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22571] ppid=22566 vsize=15419460 memory=13412 CPUtime=0.03 cores=1,3,5,7
/proc/22568/task/22571/stat : 22571 (java) S 22566 22566 14983 0 -1 1077944384 270 0 0 0 2 1 0 0 20 0 19 0 445086882 15789527040 94722 33554432000 4194304 4196468 140725944844432 139845151018000 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22572] ppid=22566 vsize=15419460 memory=2244 CPUtime=0.04 cores=1,3,5,7
/proc/22568/task/22572/stat : 22572 (java) S 22566 22566 14983 0 -1 1077944384 517 0 0 0 3 1 0 0 20 0 19 0 445086882 15789527040 94722 33554432000 4194304 4196468 140725944844432 139845149965200 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22573] ppid=22566 vsize=15419460 memory=139679718889440 CPUtime=0.02 cores=1,3,5,7
/proc/22568/task/22573/stat : 22573 (java) S 22566 22566 14983 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 19 0 445086882 15789527040 94722 33554432000 4194304 4196468 140725944844432 139845148912400 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22574] ppid=22566 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22574/stat : 22574 (java) S 22566 22566 14983 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 19 0 445086883 15789527040 94722 33554432000 4194304 4196468 140725944844432 139844667812208 139845199460994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22575] ppid=22566 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22575/stat : 22575 (java) S 22566 22566 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445086884 15789527040 94722 33554432000 4194304 4196468 140725944844432 139844666758240 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22576] ppid=22566 vsize=15419460 memory=7163354974217332310 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22576/stat : 22576 (java) S 22566 22566 14983 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445086884 15789527040 94722 33554432000 4194304 4196468 140725944844432 139844665705344 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22577] ppid=22566 vsize=15419460 memory=6082223921131114857 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22577/stat : 22577 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445086887 15789527040 94722 33554432000 4194304 4196468 140725944844432 139844664653648 139845199468443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22578] ppid=22566 vsize=15419460 memory=7956849417517951076 CPUtime=2.95 cores=1,3,5,7
/proc/22568/task/22578/stat : 22578 (java) R 22566 22566 14983 0 -1 4202560 7565 0 0 0 295 0 0 0 20 0 19 0 445086887 15789527040 94722 33554432000 4194304 4196468 140725944844432 139844663602328 139845177616328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22579] ppid=22566 vsize=15419460 memory=4639948313719891052 CPUtime=2.88 cores=1,3,5,7
/proc/22568/task/22579/stat : 22579 (java) R 22566 22566 14983 0 -1 4202560 5826 0 0 0 287 1 0 0 20 0 19 0 445086887 15789527040 94722 33554432000 4194304 4196468 140725944844432 139844662537792 139845180150684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22580] ppid=22566 vsize=15419460 memory=7523937643706741098 CPUtime=0.81 cores=1,3,5,7
/proc/22568/task/22580/stat : 22580 (java) R 22566 22566 14983 0 -1 4202560 3781 0 0 0 80 1 0 0 20 0 19 0 445086887 15789527040 94722 33554432000 4194304 4196468 140725944844432 139844661493368 139845178415152 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22581] ppid=22566 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22581/stat : 22581 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445086887 15789527040 94722 33554432000 4194304 4196468 140725944844432 139844660443872 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22582] ppid=22566 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22582/stat : 22582 (java) S 22566 22566 14983 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445086887 15789527040 94722 33554432000 4194304 4196468 140725944844432 139844659391152 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
Current children cumulated CPU time: 11.05 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 380340 KiB

[startup+4.00071 s]*
/proc/loadavg: 8.46 8.35 8.40 9/239 22604
/proc/meminfo: memFree=28872808/32770624 swapFree=66997372/67108860
[pid=22566] ppid=22563 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22566/stat : 22566 (xcsp3-exec) S 22563 22566 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445086881 115843072 363 33554432000 4194304 5098028 140728796976400 140728796974504 139757123109500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13238272 140728796984186 140728796984429 140728796984429 140728796987338 0
/proc/22566/statm: 28282 363 304 221 0 87 0
[pid=22568] ppid=22566 vsize=15419460 memory=411564 CPUtime=12.42 cores=1,3,5,7
/proc/22568/stat : 22568 (java) S 22566 22566 14983 0 -1 1077944320 32101 0 0 0 1224 18 0 0 20 0 14 0 445086881 15789527040 102891 33554432000 4194304 4196468 140725944844432 140725944826976 139845199449847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
/proc/22568/statm: 3854865 102891 3522 1 0 3815965 0
[pid=22568/tid=22569] ppid=22566 vsize=15419460 memory=111628 CPUtime=2.29 cores=1,3,5,7
/proc/22568/task/22569/stat : 22569 (java) S 22566 22566 14983 0 -1 1077944384 11080 0 0 0 223 6 0 0 20 0 14 0 445086881 15789527040 102891 33554432000 4194304 4196468 140725944844432 139845203692688 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22570] ppid=22566 vsize=15419460 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/22568/task/22570/stat : 22570 (java) S 22566 22566 14983 0 -1 1077944384 201 0 0 0 5 2 0 0 20 0 14 0 445086882 15789527040 102891 33554432000 4194304 4196468 140725944844432 139845152070800 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22571] ppid=22566 vsize=15419460 memory=279359436882160 CPUtime=0.06 cores=1,3,5,7
/proc/22568/task/22571/stat : 22571 (java) S 22566 22566 14983 0 -1 1077944384 350 0 0 0 4 2 0 0 20 0 14 0 445086882 15789527040 102891 33554432000 4194304 4196468 140725944844432 139845151018000 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22572] ppid=22566 vsize=15419460 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/22568/task/22572/stat : 22572 (java) S 22566 22566 14983 0 -1 1077944384 632 0 0 0 5 2 0 0 20 0 14 0 445086882 15789527040 102891 33554432000 4194304 4196468 140725944844432 139845149965200 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22573] ppid=22566 vsize=15419460 memory=111628 CPUtime=0.05 cores=1,3,5,7
/proc/22568/task/22573/stat : 22573 (java) S 22566 22566 14983 0 -1 1077944384 164 0 0 0 4 1 0 0 20 0 14 0 445086882 15789527040 102891 33554432000 4194304 4196468 140725944844432 139845148912400 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22574] ppid=22566 vsize=15419460 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/22568/task/22574/stat : 22574 (java) S 22566 22566 14983 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 14 0 445086883 15789527040 102891 33554432000 4194304 4196468 140725944844432 139844667812416 139845199460994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22575] ppid=22566 vsize=15419460 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22575/stat : 22575 (java) S 22566 22566 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 14 0 445086884 15789527040 102891 33554432000 4194304 4196468 140725944844432 139844666758240 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22576] ppid=22566 vsize=15419460 memory=920 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22576/stat : 22576 (java) S 22566 22566 14983 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 14 0 445086884 15789527040 102891 33554432000 4194304 4196468 140725944844432 139844665705344 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22577] ppid=22566 vsize=15419460 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22577/stat : 22577 (java) S 22566 22566 14983 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 445086887 15789527040 102891 33554432000 4194304 4196468 140725944844432 139844664653296 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22578] ppid=22566 vsize=15419460 memory=0 CPUtime=3.21 cores=1,3,5,7
/proc/22568/task/22578/stat : 22578 (java) R 22566 22566 14983 0 -1 4202560 7598 0 0 0 321 0 0 0 20 0 14 0 445086887 15789527040 102891 33554432000 4194304 4196468 140725944844432 139844663602328 139845180971018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22579] ppid=22566 vsize=15419460 memory=0 CPUtime=3.2 cores=1,3,5,7
/proc/22568/task/22579/stat : 22579 (java) S 22566 22566 14983 0 -1 1077944384 5875 0 0 0 319 1 0 0 20 0 14 0 445086887 15789527040 102891 33554432000 4194304 4196468 140725944844432 139844662540336 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22580] ppid=22566 vsize=15419460 memory=3184237599794662832 CPUtime=0.84 cores=1,3,5,7
/proc/22568/task/22580/stat : 22580 (java) S 22566 22566 14983 0 -1 1077944384 3831 0 0 0 83 1 0 0 20 0 14 0 445086887 15789527040 102891 33554432000 4194304 4196468 140725944844432 139844661496432 139845199460994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
[pid=22568/tid=22581] ppid=22566 vsize=15419460 memory=139679839765105 CPUtime=0 cores=1,3,5,7
/proc/22568/task/22581/stat : 22581 (java) S 22566 22566 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 445086887 15789527040 102891 33554432000 4194304 4196468 140725944844432 139844660443872 139845199460053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22843392 140725944853487 140725944853658 140725944853658 140725944856527 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 413016 KiB

Child status: 0
Real time (s): 4.02539
CPU time (s): 12.4469
CPU user time (s): 12.2505
CPU system time (s): 0.196435
CPU usage (%): 309.21
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 413016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2505
system time used= 0.196435
maximum resident set size= 412232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2737
involuntary context switches= 211


# summary of solver processes directly reported to runsolver:
#   pid: 22566
#   total CPU time (s): 12.4469
#   total CPU user time (s): 12.2505
#   total CPU system time (s): 0.196435

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050936 second user time and 0.089693 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash608GPIA.xml
MD5SUM	0df69417c613ef889e63c8df69e0b506
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	1.33999
Satisfiable
(Un)Satisfiability was proved
Number of variables	1216
Number of constraints	7844
Number of domains	1
Minimum domain size	1216
Maximum domain size	1216
Distribution of domain sizes	[{"size":1216,"count":1216}]
Minimum variable degree	2
Maximum variable degree	21
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":7844}]
Number of extensional constraints	0
Number of intensional constraints	7844
Distribution of constraint types	[{"type":"intension","count":7844}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399129

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
