2017 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 5a (2017-08-18)	OPT	3	6.0786099	2.4928701
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 (14943 MiB free)
  memory of node 1: 16384 MiB (15133 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283329-1503186277/watcher-4283329-1503186277 -o /tmp/evaluation-result-4283329-1503186277/solver-4283329-1503186277 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9102 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 313925211 HOME/instance-4283329-1503186277.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100133 s]*
/proc/loadavg: 1.99 1.76 1.64 2/199 11472
/proc/meminfo: memFree=30799040/32770624 swapFree=67108860/67108860
[pid=11471] ppid=11468 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11471/stat : 11471 (xcsp3-exec) S 11468 11471 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120820647 9740288 345 18446744073709551615 4194304 5098028 140733424973088 140733424971192 140341647950460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 13451264 140733424976249 140733424976453 140733424976453 140733424979947 0
/proc/11471/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.209675 s]*
/proc/loadavg: 1.99 1.76 1.64 2/213 11487
/proc/meminfo: memFree=30789624/32770624 swapFree=67108860/67108860
[pid=11471] ppid=11468 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11471/stat : 11471 (xcsp3-exec) S 11468 11471 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120820647 9740288 345 18446744073709551615 4194304 5098028 140733424973088 140733424971192 140341647950460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 13451264 140733424976249 140733424976453 140733424976453 140733424979947 0
/proc/11471/statm: 2378 345 289 221 0 87 0
[pid=11474] ppid=11471 vsize=13974352 memory=23500 CPUtime=0.06 cores=0,2,4,6
/proc/11474/stat : 11474 (java) S 11471 11471 28892 0 -1 1077944320 4783 0 0 0 5 1 0 0 20 0 15 0 120820658 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 140734251411664 139682359742199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
/proc/11474/statm: 3493588 5875 2714 1 0 3482964 0
[pid=11474/tid=11475] ppid=11471 vsize=13974352 memory=8390339637985935414 CPUtime=0.05 cores=0,2,4,6
/proc/11474/task/11475/stat : 11475 (java) R 11471 11471 28892 0 -1 4202560 2932 0 0 0 4 1 0 0 20 0 15 0 120820658 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139682363976032 139682359764125 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11476] ppid=11471 vsize=13974352 memory=288230604708001210 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11476/stat : 11476 (java) S 11471 11471 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120820659 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139682279156624 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11477] ppid=11471 vsize=13974352 memory=140179593755312 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11477/stat : 11477 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820659 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139682278103824 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11478] ppid=11471 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11478/stat : 11478 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820659 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139682277051536 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11479] ppid=11471 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11479/stat : 11479 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820659 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139682275998736 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11480] ppid=11471 vsize=13974352 memory=140179592595072 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11480/stat : 11480 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820660 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139681837074544 139682359753346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11481] ppid=11471 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11481/stat : 11481 (java) S 11471 11471 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120820660 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139681836020512 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11482] ppid=11471 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11482/stat : 11482 (java) S 11471 11471 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120820661 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139681834968176 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11483] ppid=11471 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11483/stat : 11483 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139681833916496 139682359760795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11484] ppid=11471 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11484/stat : 11484 (java) S 11471 11471 28892 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 120820663 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139681832864368 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11485] ppid=11471 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11485/stat : 11485 (java) S 11471 11471 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120820663 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139681831811568 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11486] ppid=11471 vsize=13974352 memory=140179592595072 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11486/stat : 11486 (java) R 11471 11471 28892 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 15 0 120820663 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139681830759280 139682359763546 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11487] ppid=11471 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11487/stat : 11487 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139681829706720 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11488] ppid=11471 vsize=13974352 memory=140179592595072 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11488/stat : 11488 (java) S 11471 11471 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120820668 14309736448 5875 18446744073709551615 4194304 4196468 140734251429120 139681828653488 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24880 KiB

[startup+0.310372 s]*
/proc/loadavg: 1.99 1.76 1.64 4/214 11488
/proc/meminfo: memFree=30776316/32770624 swapFree=67108860/67108860
[pid=11471] ppid=11468 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11471/stat : 11471 (xcsp3-exec) S 11468 11471 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120820647 9740288 345 18446744073709551615 4194304 5098028 140733424973088 140733424971192 140341647950460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 13451264 140733424976249 140733424976453 140733424976453 140733424979947 0
/proc/11471/statm: 2378 345 289 221 0 87 0
[pid=11474] ppid=11471 vsize=13974352 memory=36708 CPUtime=0.24 cores=0,2,4,6
/proc/11474/stat : 11474 (java) S 11471 11471 28892 0 -1 1077944320 8309 0 0 0 21 3 0 0 20 0 15 0 120820658 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 140734251411664 139682359742199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
/proc/11474/statm: 3493588 9177 2954 1 0 3482964 0
[pid=11474/tid=11475] ppid=11471 vsize=13974352 memory=-7677926825137650786 CPUtime=0.15 cores=0,2,4,6
/proc/11474/task/11475/stat : 11475 (java) R 11471 11471 28892 0 -1 4202560 5625 0 0 0 13 2 0 0 20 0 15 0 120820658 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139682363977072 139682343822686 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11476] ppid=11471 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11476/stat : 11476 (java) S 11471 11471 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120820659 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139682279156624 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11477] ppid=11471 vsize=13974352 memory=140179592595072 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11477/stat : 11477 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820659 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139682278103824 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11478] ppid=11471 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11478/stat : 11478 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820659 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139682277051536 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11479] ppid=11471 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11479/stat : 11479 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820659 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139682275998736 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11480] ppid=11471 vsize=13974352 memory=140179592595072 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11480/stat : 11480 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820660 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139681837074544 139682359753346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11481] ppid=11471 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11481/stat : 11481 (java) S 11471 11471 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120820660 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139681836020512 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11482] ppid=11471 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11482/stat : 11482 (java) S 11471 11471 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120820661 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139681834968176 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11483] ppid=11471 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11483/stat : 11483 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139681833916496 139682359760795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11484] ppid=11471 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11474/task/11484/stat : 11484 (java) S 11471 11471 28892 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 120820663 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139681832864368 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11485] ppid=11471 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11474/task/11485/stat : 11485 (java) S 11471 11471 28892 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 15 0 120820663 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139681831811568 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11486] ppid=11471 vsize=13974352 memory=140179592595072 CPUtime=0.05 cores=0,2,4,6
/proc/11474/task/11486/stat : 11486 (java) R 11471 11471 28892 0 -1 4202560 701 0 0 0 5 0 0 0 20 0 15 0 120820663 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139681830759280 139682359763546 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11487] ppid=11471 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11487/stat : 11487 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139681829706720 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11488] ppid=11471 vsize=13974352 memory=140179592595072 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11488/stat : 11488 (java) S 11471 11471 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120820668 14309736448 9177 18446744073709551615 4194304 4196468 140734251429120 139681828653488 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38088 KiB

[startup+0.700762 s]
/proc/loadavg: 1.99 1.76 1.64 6/214 11488
/proc/meminfo: memFree=30759716/32770624 swapFree=67108860/67108860
[pid=11471] ppid=11468 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11471/stat : 11471 (xcsp3-exec) S 11468 11471 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120820647 9740288 345 18446744073709551615 4194304 5098028 140733424973088 140733424971192 140341647950460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 13451264 140733424976249 140733424976453 140733424976453 140733424979947 0
/proc/11471/statm: 2378 345 289 221 0 87 0
[pid=11474] ppid=11471 vsize=13978684 memory=78568 CPUtime=1.28 cores=0,2,4,6
/proc/11474/stat : 11474 (java) S 11471 11471 28892 0 -1 1077944320 12771 0 0 0 123 5 0 0 20 0 15 0 120820658 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 140734251411664 139682359742199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
/proc/11474/statm: 3494671 19642 3166 1 0 3482964 0
[pid=11474/tid=11475] ppid=11471 vsize=13978684 memory=4048 CPUtime=0.52 cores=0,2,4,6
/proc/11474/task/11475/stat : 11475 (java) R 11471 11471 28892 0 -1 4202560 7384 0 0 0 49 3 0 0 20 0 15 0 120820658 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139682363976112 139682359764125 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11476] ppid=11471 vsize=13978684 memory=37036 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11476/stat : 11476 (java) S 11471 11471 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120820659 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139682279156624 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11477] ppid=11471 vsize=13978684 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11477/stat : 11477 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820659 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139682278103824 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11478] ppid=11471 vsize=13978684 memory=640 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11478/stat : 11478 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820659 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139682277051536 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11479] ppid=11471 vsize=13978684 memory=960 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11479/stat : 11479 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820659 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139682275998736 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11480] ppid=11471 vsize=13978684 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11480/stat : 11480 (java) S 11471 11471 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120820660 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139681837074544 139682359753346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11481] ppid=11471 vsize=13978684 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11481/stat : 11481 (java) S 11471 11471 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120820660 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139681836020512 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11482] ppid=11471 vsize=13978684 memory=4300 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11482/stat : 11482 (java) S 11471 11471 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120820661 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139681834968176 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11483] ppid=11471 vsize=13978684 memory=932 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11483/stat : 11483 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139681833916496 139682359760795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11484] ppid=11471 vsize=13978684 memory=1624 CPUtime=0.21 cores=0,2,4,6
/proc/11474/task/11484/stat : 11484 (java) R 11471 11471 28892 0 -1 4202560 1168 0 0 0 21 0 0 0 20 0 15 0 120820663 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139681832843616 139682340378132 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11485] ppid=11471 vsize=13978684 memory=2160 CPUtime=0.24 cores=0,2,4,6
/proc/11474/task/11485/stat : 11485 (java) R 11471 11471 28892 0 -1 4202560 1386 0 0 0 24 0 0 0 20 0 15 0 120820663 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139681831802896 139682343242397 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11486] ppid=11471 vsize=13978684 memory=844 CPUtime=0.27 cores=0,2,4,6
/proc/11474/task/11486/stat : 11486 (java) S 11471 11471 28892 0 -1 1077944384 1522 0 0 0 27 0 0 0 20 0 15 0 120820663 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139681830759280 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11487] ppid=11471 vsize=13978684 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11487/stat : 11487 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139681829706720 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11488] ppid=11471 vsize=13978684 memory=-7677926825137650786 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11488/stat : 11488 (java) S 11471 11471 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120820668 14314172416 19642 18446744073709551615 4194304 4196468 140734251429120 139681828653488 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 79948 KiB

[startup+1.50079 s]
/proc/loadavg: 1.99 1.76 1.64 9/214 11488
/proc/meminfo: memFree=30700148/32770624 swapFree=67108860/67108860
[pid=11471] ppid=11468 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11471/stat : 11471 (xcsp3-exec) S 11468 11471 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120820647 9740288 345 18446744073709551615 4194304 5098028 140733424973088 140733424971192 140341647950460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 13451264 140733424976249 140733424976453 140733424976453 140733424979947 0
/proc/11471/statm: 2378 345 289 221 0 87 0
[pid=11474] ppid=11471 vsize=13982632 memory=155368 CPUtime=3.89 cores=0,2,4,6
/proc/11474/stat : 11474 (java) S 11471 11471 28892 0 -1 1077944320 27235 0 0 0 381 8 0 0 20 0 15 0 120820658 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 140734251411664 139682359742199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
/proc/11474/statm: 3495658 38842 3198 1 0 3483951 0
[pid=11474/tid=11475] ppid=11471 vsize=13982632 memory=6944656592387989600 CPUtime=1.32 cores=0,2,4,6
/proc/11474/task/11475/stat : 11475 (java) R 11471 11471 28892 0 -1 4202560 9356 0 0 0 127 5 0 0 20 0 15 0 120820658 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139682363978904 139682337736963 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11476] ppid=11471 vsize=13982632 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11476/stat : 11476 (java) S 11471 11471 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120820659 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139682279156624 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11477] ppid=11471 vsize=13982632 memory=64784 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11477/stat : 11477 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820659 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139682278103824 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11478] ppid=11471 vsize=13982632 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11478/stat : 11478 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820659 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139682277051536 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11479] ppid=11471 vsize=13982632 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11479/stat : 11479 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820659 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139682275998736 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11480] ppid=11471 vsize=13982632 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11480/stat : 11480 (java) S 11471 11471 28892 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 120820660 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139681837074544 139682359753346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11481] ppid=11471 vsize=13982632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11481/stat : 11481 (java) S 11471 11471 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120820660 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139681836020512 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11482] ppid=11471 vsize=13982632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11482/stat : 11482 (java) S 11471 11471 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120820661 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139681834968176 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11483] ppid=11471 vsize=13982632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11483/stat : 11483 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139681833916496 139682359760795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11484] ppid=11471 vsize=13982632 memory=0 CPUtime=0.94 cores=0,2,4,6
/proc/11474/task/11484/stat : 11484 (java) R 11471 11471 28892 0 -1 4202560 4966 0 0 0 94 0 0 0 20 0 15 0 120820663 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139681832850424 139682344849704 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11485] ppid=11471 vsize=13982632 memory=6944656592455097440 CPUtime=1.01 cores=0,2,4,6
/proc/11474/task/11485/stat : 11485 (java) R 11471 11471 28892 0 -1 4202560 7482 0 0 0 100 1 0 0 20 0 15 0 120820663 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139681831797592 139682341286433 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11486] ppid=11471 vsize=13982632 memory=1489 CPUtime=0.59 cores=0,2,4,6
/proc/11474/task/11486/stat : 11486 (java) S 11471 11471 28892 0 -1 1077944384 4077 0 0 0 58 1 0 0 20 0 15 0 120820663 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139681830759280 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11487] ppid=11471 vsize=13982632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11487/stat : 11487 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139681829706720 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11488] ppid=11471 vsize=13982632 memory=-6948614817169703622 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11488/stat : 11488 (java) S 11471 11471 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120820668 14318215168 38842 18446744073709551615 4194304 4196468 140734251429120 139681828653488 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
Current children cumulated CPU time: 3.89 s
Current children cumulated vsize: 13992144 KiB
Current children cumulated memory: 156748 KiB

[startup+2.49282 s]
# the end of solver process 11471 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.96198 s, system=0.116628 s

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

[startup+1.60093 s]
/proc/loadavg: 1.99 1.76 1.64 9/214 11488
/proc/meminfo: memFree=30700148/32770624 swapFree=67108860/67108860
[pid=11471] ppid=11468 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11471/stat : 11471 (xcsp3-exec) S 11468 11471 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120820647 9740288 345 18446744073709551615 4194304 5098028 140733424973088 140733424971192 140341647950460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 13451264 140733424976249 140733424976453 140733424976453 140733424979947 0
/proc/11471/statm: 2378 345 289 221 0 87 0
[pid=11474] ppid=11471 vsize=13980732 memory=163112 CPUtime=4.2 cores=0,2,4,6
/proc/11474/stat : 11474 (java) S 11471 11471 28892 0 -1 1077944320 28296 0 0 0 412 8 0 0 20 0 15 0 120820658 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 140734251411664 139682359742199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
/proc/11474/statm: 3495183 40778 3198 1 0 3483476 0
[pid=11474/tid=11475] ppid=11471 vsize=13980732 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/11474/task/11475/stat : 11475 (java) R 11471 11471 28892 0 -1 4202560 9362 0 0 0 137 5 0 0 20 0 15 0 120820658 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139682363978520 139681955895392 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11476] ppid=11471 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11476/stat : 11476 (java) S 11471 11471 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120820659 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139682279156624 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11477] ppid=11471 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11477/stat : 11477 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820659 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139682278103824 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11478] ppid=11471 vsize=13980732 memory=7524216902430058853 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11478/stat : 11478 (java) S 11471 11471 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120820659 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139682277051536 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11479] ppid=11471 vsize=13980732 memory=7811896427668465763 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11479/stat : 11479 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820659 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139682275998736 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11480] ppid=11471 vsize=13980732 memory=7444839687737403218 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11480/stat : 11480 (java) S 11471 11471 28892 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 120820660 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139681837074544 139682359753346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11481] ppid=11471 vsize=13980732 memory=7301857172715104592 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11481/stat : 11481 (java) S 11471 11471 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120820660 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139681836020512 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11482] ppid=11471 vsize=13980732 memory=6153395269873979984 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11482/stat : 11482 (java) S 11471 11471 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120820661 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139681834968176 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11483] ppid=11471 vsize=13980732 memory=280358956386352 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11483/stat : 11483 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139681833916496 139682359760795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11484] ppid=11471 vsize=13980732 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/11474/task/11484/stat : 11484 (java) R 11471 11471 28892 0 -1 4202560 5758 0 0 0 104 1 0 0 20 0 15 0 120820663 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139681832848840 139682345782805 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11485] ppid=11471 vsize=13980732 memory=140179478199488 CPUtime=1.11 cores=0,2,4,6
/proc/11474/task/11485/stat : 11485 (java) R 11471 11471 28892 0 -1 4202560 7678 0 0 0 110 1 0 0 20 0 15 0 120820663 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139681831797592 139682338988536 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11486] ppid=11471 vsize=13980732 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/11474/task/11486/stat : 11486 (java) S 11471 11471 28892 0 -1 1077944384 4144 0 0 0 59 1 0 0 20 0 15 0 120820663 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139681830759280 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11487] ppid=11471 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11487/stat : 11487 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139681829706720 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11488] ppid=11471 vsize=13980732 memory=280358956302576 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11488/stat : 11488 (java) S 11471 11471 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120820668 14316269568 40778 18446744073709551615 4194304 4196468 140734251429120 139681828653488 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 164492 KiB

[startup+2.00157 s]*
/proc/loadavg: 1.99 1.76 1.64 5/214 11488
/proc/meminfo: memFree=30593400/32770624 swapFree=67108860/67108860
[pid=11471] ppid=11468 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11471/stat : 11471 (xcsp3-exec) S 11468 11471 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120820647 9740288 345 18446744073709551615 4194304 5098028 140733424973088 140733424971192 140341647950460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 13451264 140733424976249 140733424976453 140733424976453 140733424979947 0
/proc/11471/statm: 2378 345 289 221 0 87 0
[pid=11474] ppid=11471 vsize=13980732 memory=220220 CPUtime=5.39 cores=0,2,4,6
/proc/11474/stat : 11474 (java) S 11471 11471 28892 0 -1 1077944320 29787 0 0 0 529 10 0 0 20 0 15 0 120820658 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 140734251411664 139682359742199 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
/proc/11474/statm: 3495183 55055 3221 1 0 3483476 0
[pid=11474/tid=11475] ppid=11471 vsize=13980732 memory=-7677926825137650786 CPUtime=1.82 cores=0,2,4,6
/proc/11474/task/11475/stat : 11475 (java) R 11471 11471 28892 0 -1 4202560 9425 0 0 0 176 6 0 0 20 0 15 0 120820658 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139682363981272 139681956514570 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11476] ppid=11471 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11476/stat : 11476 (java) S 11471 11471 28892 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 120820659 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139682279156624 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11477] ppid=11471 vsize=13980732 memory=8329294824090543255 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11477/stat : 11477 (java) S 11471 11471 28892 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 120820659 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139682278103824 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11478] ppid=11471 vsize=13980732 memory=-7016451669704352956 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11478/stat : 11478 (java) S 11471 11471 28892 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 120820659 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139682277051536 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11479] ppid=11471 vsize=13980732 memory=280358956610104 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11479/stat : 11479 (java) S 11471 11471 28892 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 120820659 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139682275998736 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11480] ppid=11471 vsize=13980732 memory=280358956924384 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11480/stat : 11480 (java) S 11471 11471 28892 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 120820660 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139681837074544 139682359753346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11481] ppid=11471 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11481/stat : 11481 (java) S 11471 11471 28892 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 120820660 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139681836020512 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11482] ppid=11471 vsize=13980732 memory=288230583149278603 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11482/stat : 11482 (java) S 11471 11471 28892 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 120820661 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139681834968176 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11483] ppid=11471 vsize=13980732 memory=13566007214550426 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11483/stat : 11483 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139681833916496 139682359760795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11484] ppid=11471 vsize=13980732 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/11474/task/11484/stat : 11484 (java) R 11471 11471 28892 0 -1 4202560 5808 0 0 0 138 1 0 0 20 0 15 0 120820663 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139681832851920 139682340378128 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11485] ppid=11471 vsize=13980732 memory=0 CPUtime=1.51 cores=0,2,4,6
/proc/11474/task/11485/stat : 11485 (java) R 11471 11471 28892 0 -1 4202560 8073 0 0 0 150 1 0 0 20 0 15 0 120820663 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139681831790608 139682343236377 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11486] ppid=11471 vsize=13980732 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/11474/task/11486/stat : 11486 (java) S 11471 11471 28892 0 -1 1077944384 4361 0 0 0 60 1 0 0 20 0 15 0 120820663 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139681830759280 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11487] ppid=11471 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11487/stat : 11487 (java) S 11471 11471 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120820663 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139681829706720 139682359752405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
[pid=11474/tid=11488] ppid=11471 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11474/task/11488/stat : 11488 (java) S 11471 11471 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120820668 14316269568 55055 18446744073709551615 4194304 4196468 140734251429120 139681828653488 139682359753346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28852224 140734251434417 140734251434593 140734251434593 140734251438031 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 221600 KiB

[startup+2.40037 s]
/proc/loadavg: 1.99 1.76 1.64 5/214 11488
/proc/meminfo: memFree=30593400/32770624 swapFree=67108860/67108860
[pid=11471] ppid=11468 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11471/stat : 11471 (xcsp3-exec) S 11468 11471 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 120820647 9740288 345 18446744073709551615 4194304 5098028 140733424973088 140733424971192 140341647950460 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 13451264 140733424976249 140733424976453 140733424976453 140733424979947 0
/proc/11471/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

Child status: 0
Real time (s): 2.49287
CPU time (s): 6.07861
CPU user time (s): 5.96198
CPU system time (s): 0.116628
CPU usage (%): 243.84
Max. virtual memory (cumulated for all children) (KiB): 13992144
Max. memory (cumulated for all children) (KiB): 229784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.96198
system time used= 0.116628
maximum resident set size= 228764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1950
involuntary context switches= 25


# summary of solver processes directly reported to runsolver:
#   pid: 11471
#   total CPU time (s): 6.07861
#   total CPU user time (s): 5.96198
#   total CPU system time (s): 0.116628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043819 second user time and 0.060124 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml
MD5SUM	a2156ca8d664195666e0b5da895e2590
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	2.9995999
Satisfiable
(Un)Satisfiability was proved
Number of variables	662
Number of constraints	4181
Number of domains	1
Minimum domain size	662
Maximum domain size	662
Distribution of domain sizes	[{"size":662,"count":662}]
Minimum variable degree	2
Maximum variable degree	24
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":7,"count":6},{"degree":8,"count":4},{"degree":9,"count":32},{"degree":10,"count":59},{"degree":11,"count":48},{"degree":12,"count":58},{"degree":13,"count":88},{"degree":14,"count":129},{"degree":15,"count":115},{"degree":16,"count":41},{"degree":17,"count":31},{"degree":18,"count":16},{"degree":19,"count":14},{"degree":20,"count":4},{"degree":21,"count":6},{"degree":22,"count":4},{"degree":23,"count":4},{"degree":24,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4181}]
Number of extensional constraints	0
Number of intensional constraints	4181
Distribution of constraint types	[{"type":"intension","count":4181}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4283329

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
