2017 XCSP3 competition: mini-solver track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
cosoco-mini 1.1 (2017-06-27)	No Cert.		2400.09	2400.1

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253394-1500929673/watcher-4253394-1500929673 -o /tmp/evaluation-result-4253394-1500929673/solver-4253394-1500929673 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500914920-3606 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253394-1500929673.xml 

pid=9551
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9554
/proc/meminfo: memFree=31997916/32770624 swapFree=5780/126468
[pid=9554] ppid=9551 vsize=26904 CPUtime=0 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 2526579 27549696 759 33554432000 4194304 5744392 140735910822592 140735910819240 139887137319909 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 6726 759 676 379 0 145 0

[startup+0.100108 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9554
/proc/meminfo: memFree=31997916/32770624 swapFree=5780/126468
[pid=9554] ppid=9551 vsize=29464 CPUtime=0.09 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 1663 0 0 0 9 0 0 0 20 0 1 0 2526579 30171136 1460 33554432000 4194304 5744392 140735910822592 140735910819240 4946094 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7366 1460 757 379 0 785 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29464

[startup+0.200228 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9554
/proc/meminfo: memFree=31997916/32770624 swapFree=5780/126468
[pid=9554] ppid=9551 vsize=29596 CPUtime=0.19 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 1726 0 0 0 19 0 0 0 20 0 1 0 2526579 30306304 1526 33554432000 4194304 5744392 140735910822592 140735910819240 4946156 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7399 1526 758 379 0 818 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29596

[startup+0.300203 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9554
/proc/meminfo: memFree=31997916/32770624 swapFree=5780/126468
[pid=9554] ppid=9551 vsize=29728 CPUtime=0.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 1741 0 0 0 29 0 0 0 20 0 1 0 2526579 30441472 1526 33554432000 4194304 5744392 140735910822592 140735910819240 5024241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7432 1526 758 379 0 851 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29728

[startup+0.700175 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9554
/proc/meminfo: memFree=31997916/32770624 swapFree=5780/126468
[pid=9554] ppid=9551 vsize=29728 CPUtime=0.69 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 1760 0 0 0 69 0 0 0 20 0 1 0 2526579 30441472 1592 33554432000 4194304 5744392 140735910822592 140735910819240 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7432 1592 758 379 0 851 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29728

[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9555
/proc/meminfo: memFree=31994368/32770624 swapFree=5780/126468
[pid=9554] ppid=9551 vsize=29860 CPUtime=1.49 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 1766 0 0 0 149 0 0 0 20 0 1 0 2526579 30576640 1592 33554432000 4194304 5744392 140735910822592 140735910819240 4946207 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1592 758 379 0 884 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29860

[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9555
/proc/meminfo: memFree=31994104/32770624 swapFree=5780/126468
[pid=9554] ppid=9551 vsize=29860 CPUtime=3.09 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 2539 0 0 0 309 0 0 0 20 0 1 0 2526579 30576640 1608 33554432000 4194304 5744392 140735910822592 140735910819416 5140986 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1608 758 379 0 884 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29860

[startup+6.30018 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9555
/proc/meminfo: memFree=31993824/32770624 swapFree=5780/126468
[pid=9554] ppid=9551 vsize=29860 CPUtime=6.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 3315 0 0 0 629 0 0 0 20 0 1 0 2526579 30576640 1611 33554432000 4194304 5744392 140735910822592 140735910819416 5024413 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1611 758 379 0 884 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29860

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9555
/proc/meminfo: memFree=31993824/32770624 swapFree=5780/126468
[pid=9554] ppid=9551 vsize=29860 CPUtime=12.69 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 4088 0 0 0 1269 0 0 0 20 0 1 0 2526579 30576640 1611 33554432000 4194304 5744392 140735910822592 140735910819416 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1611 758 379 0 884 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29860

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9555
/proc/meminfo: memFree=31993824/32770624 swapFree=5780/126468
[pid=9554] ppid=9551 vsize=29860 CPUtime=25.49 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 5632 0 0 0 2549 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29860

[startup+51.1002 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 9556
/proc/meminfo: memFree=31993484/32770624 swapFree=5780/126308
[pid=9554] ppid=9551 vsize=29860 CPUtime=51.09 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 6405 0 0 0 5109 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4872540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29860

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 9557
/proc/meminfo: memFree=31993848/32770624 swapFree=5780/126364
[pid=9554] ppid=9551 vsize=29860 CPUtime=102.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 7176 0 0 0 10229 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024419 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 29860

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9558
/proc/meminfo: memFree=31993888/32770624 swapFree=5780/126372
[pid=9554] ppid=9551 vsize=29860 CPUtime=162.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 7947 0 0 0 16229 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 29860

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9560
/proc/meminfo: memFree=31993512/32770624 swapFree=5780/126432
[pid=9554] ppid=9551 vsize=29860 CPUtime=222.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 8718 0 0 0 22229 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4946023 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 29860

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9561
/proc/meminfo: memFree=31993628/32770624 swapFree=5780/126484
[pid=9554] ppid=9551 vsize=29860 CPUtime=282.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 9488 0 0 0 28229 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4993991 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 29860

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9569
/proc/meminfo: memFree=31992624/32770624 swapFree=5780/126536
[pid=9554] ppid=9551 vsize=29860 CPUtime=342.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 10258 0 0 0 34229 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 29860

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9592
/proc/meminfo: memFree=31991200/32770624 swapFree=5780/126588
[pid=9554] ppid=9551 vsize=29860 CPUtime=402.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 11029 0 0 0 40229 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4946584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 29860

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9593
/proc/meminfo: memFree=31991460/32770624 swapFree=5780/126588
[pid=9554] ppid=9551 vsize=29860 CPUtime=462.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 11798 0 0 0 46229 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4946296 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 29860

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9594
/proc/meminfo: memFree=31991432/32770624 swapFree=5780/126672
[pid=9554] ppid=9551 vsize=29860 CPUtime=522.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 12566 0 0 0 52229 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4947892 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 29860

[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 9595
/proc/meminfo: memFree=31991472/32770624 swapFree=5780/126700
[pid=9554] ppid=9551 vsize=29860 CPUtime=582.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 13137 0 0 0 58229 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4872742 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 29860


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9626
/proc/meminfo: memFree=31991232/32770624 swapFree=5760/127264
[pid=9554] ppid=9551 vsize=29860 CPUtime=1542.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 24165 0 0 0 154228 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4872571 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 29860

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9627
/proc/meminfo: memFree=31991728/32770624 swapFree=5760/127312
[pid=9554] ppid=9551 vsize=29860 CPUtime=1602.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 24953 0 0 0 160228 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4946584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 29860

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9628
/proc/meminfo: memFree=31991352/32770624 swapFree=5760/127312
[pid=9554] ppid=9551 vsize=29860 CPUtime=1662.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 25523 0 0 0 166228 0 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024176 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 29860

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9629
/proc/meminfo: memFree=31990992/32770624 swapFree=5760/127360
[pid=9554] ppid=9551 vsize=29860 CPUtime=1722.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 26299 0 0 0 172228 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 29860

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9630
/proc/meminfo: memFree=31991196/32770624 swapFree=5760/127372
[pid=9554] ppid=9551 vsize=29860 CPUtime=1782.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 26852 0 0 0 178228 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024176 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 29860

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9632
/proc/meminfo: memFree=31990688/32770624 swapFree=5760/127428
[pid=9554] ppid=9551 vsize=29860 CPUtime=1842.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 27405 0 0 0 184227 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4993968 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 29860

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9633
/proc/meminfo: memFree=31991528/32770624 swapFree=5760/127468
[pid=9554] ppid=9551 vsize=29860 CPUtime=1902.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 28176 0 0 0 190227 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4947896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 1902.28
Current children cumulated vsize (KiB) 29860

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9634
/proc/meminfo: memFree=31991628/32770624 swapFree=5760/127504
[pid=9554] ppid=9551 vsize=29860 CPUtime=1962.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 28736 0 0 0 196227 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4946156 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 1962.28
Current children cumulated vsize (KiB) 29860

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9636
/proc/meminfo: memFree=31991104/32770624 swapFree=5760/127516
[pid=9554] ppid=9551 vsize=29860 CPUtime=2022.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 29293 0 0 0 202227 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024239 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 29860

[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9637
/proc/meminfo: memFree=31991740/32770624 swapFree=5760/127564
[pid=9554] ppid=9551 vsize=29860 CPUtime=2082.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 30064 0 0 0 208228 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4946169 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 2082.29
Current children cumulated vsize (KiB) 29860

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9645
/proc/meminfo: memFree=31990500/32770624 swapFree=5760/127600
[pid=9554] ppid=9551 vsize=29860 CPUtime=2142.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 30626 0 0 0 214227 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024411 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 29860

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9646
/proc/meminfo: memFree=31990892/32770624 swapFree=5760/127644
[pid=9554] ppid=9551 vsize=29860 CPUtime=2202.29 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 31179 0 0 0 220228 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4946348 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 29860

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9707
/proc/meminfo: memFree=32076052/32770624 swapFree=5760/127748
[pid=9554] ppid=9551 vsize=29860 CPUtime=2262.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 31960 0 0 0 226227 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4946485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 2262.28
Current children cumulated vsize (KiB) 29860

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9708
/proc/meminfo: memFree=32076312/32770624 swapFree=5760/127748
[pid=9554] ppid=9551 vsize=29860 CPUtime=2322.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 32525 0 0 0 232227 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 2322.28
Current children cumulated vsize (KiB) 29860

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9709
/proc/meminfo: memFree=32076028/32770624 swapFree=5760/127796
[pid=9554] ppid=9551 vsize=29860 CPUtime=2382.28 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 33086 0 0 0 238227 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 5024402 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 2382.28
Current children cumulated vsize (KiB) 29860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9710
/proc/meminfo: memFree=32075916/32770624 swapFree=5760/127796
[pid=9554] ppid=9551 vsize=29860 CPUtime=2400.08 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 33631 0 0 0 240007 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4946204 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 29860

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9554 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9710
/proc/meminfo: memFree=32075916/32770624 swapFree=5760/127796
[pid=9554] ppid=9551 vsize=29860 CPUtime=2400.08 cores=1,3,5,7
/proc/9554/stat : 9554 (cosoco) R 9551 9554 3574 0 -1 4202496 33631 0 0 0 240007 1 0 0 20 0 1 0 2526579 30576640 1612 33554432000 4194304 5744392 140735910822592 140735910819416 4946204 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 34308096 140735910831297 140735910831427 140735910831427 140735910834126 0
/proc/9554/statm: 7465 1612 758 379 0 884 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 29860

Child status: 1
Real time (s): 2400.1
CPU time (s): 2400.09
CPU user time (s): 2400.08
CPU system time (s): 0.011999
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 29860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.011999
maximum resident set size= 6496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54294 second user time and 8.29275 second system time

The end

Begin job on node141 at 2017-07-24 22:54:33
IDJOB=4253394
IDBENCH=134818
IDSOLVER=2633
FILE ID=node141/4253394-1500929673
RUNJOBID= node141-1500914920-3606
PBS_JOBID= 20625403
Free space on /tmp= 61712 MiB

SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-domset/Pb-domset-v500-e2000-w30-mw19-11.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4253394-1500929673/watcher-4253394-1500929673 -o /tmp/evaluation-result-4253394-1500929673/solver-4253394-1500929673 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500914920-3606 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4253394-1500929673.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4a86fdd9abdf3f491c5a6082e8161c48
RANDOM SEED=1320194031

node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31997656 kB
MemAvailable:   31956832 kB
Buffers:           39796 kB
Cached:           233556 kB
SwapCached:            0 kB
Active:           286236 kB
Inactive:         135112 kB
Active(anon):     150892 kB
Inactive(anon):     8644 kB
Active(file):     135344 kB
Inactive(file):   126468 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1944 kB
Writeback:             0 kB
AnonPages:        153140 kB
Mapped:            28996 kB
Shmem:              8848 kB
Slab:              52248 kB
SReclaimable:      26396 kB
SUnreclaim:        25852 kB
KernelStack:        3280 kB
PageTables:         4656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     390744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61720 MiB
End job on node141 at 2017-07-24 23:34:33

Name	PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml
MD5SUM	4a86fdd9abdf3f491c5a6082e8161c48
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	225
Best CPU time to get the best result obtained on this benchmark	2400.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables	473
Number of constraints	473
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":473}]
Minimum variable degree	5
Maximum variable degree	18
Distribution of variable degrees	[{"degree":5,"count":4},{"degree":6,"count":18},{"degree":7,"count":57},{"degree":8,"count":74},{"degree":9,"count":73},{"degree":10,"count":67},{"degree":11,"count":50},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":21},{"degree":15,"count":15},{"degree":16,"count":7},{"degree":17,"count":3},{"degree":18,"count":2}]
Minimum constraint arity	4
Maximum constraint arity	17
Distribution of constraint arities	[{"arity":4,"count":4},{"arity":5,"count":18},{"arity":6,"count":57},{"arity":7,"count":74},{"arity":8,"count":73},{"arity":9,"count":67},{"arity":10,"count":50},{"arity":11,"count":46},{"arity":12,"count":36},{"arity":13,"count":21},{"arity":14,"count":15},{"arity":15,"count":7},{"arity":16,"count":3},{"arity":17,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":473}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4253394

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data