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

Solver Name	Answer	CPU time	Wall clock time
NACRE 1.0.5	SAT	1662.46	1662.46

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 (9919 MiB free)
  memory of node 1: 16384 MiB (9644 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391729-1568311819/watcher-4391729-1568311819 -o /tmp/evaluation-result-4391729-1568311819/solver-4391729-1568311819 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568305966-12716 --watchdog 2560 nacre_mini_release HOME/instance-4391729-1568311819.xml -complete -l100 -cm 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14623, runsolver pid=14620

[startup+0.100531 s]*
/proc/loadavg: 2.69 2.22 2.11 3/199 14624
/proc/meminfo: memFree=19996228/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=69120 memory=42236 CPUtime=0.09 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 11173 0 0 0 8 1 0 0 20 0 1 0 407122096 70778880 10559 33554432000 4194304 4935366 140736832671424 140736832665992 140516055875487 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 17280 10559 574 181 0 10897 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69120 KiB
Current children cumulated memory: 42236 KiB

[startup+0.209789 s]*
/proc/loadavg: 2.69 2.22 2.11 3/199 14624
/proc/meminfo: memFree=19972148/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=93344 memory=66260 CPUtime=0.2 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 17193 0 0 0 19 1 0 0 20 0 1 0 407122096 95584256 16565 33554432000 4194304 4935366 140736832671424 140736832665992 140516055875597 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 23336 16565 574 181 0 16953 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93344 KiB
Current children cumulated memory: 66260 KiB

[startup+0.309599 s]*
/proc/loadavg: 2.69 2.22 2.11 3/199 14624
/proc/meminfo: memFree=19947968/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=117568 memory=90284 CPUtime=0.3 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 23210 0 0 0 28 2 0 0 20 0 1 0 407122096 120389632 22571 33554432000 4194304 4935366 140736832671424 140736832665992 4322665 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 29392 22571 574 181 0 23009 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 117568 KiB
Current children cumulated memory: 90284 KiB

[startup+0.700381 s]
/proc/loadavg: 2.69 2.22 2.11 3/199 14624
/proc/meminfo: memFree=19901840/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=206388 memory=178724 CPUtime=0.69 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 45276 0 0 0 64 5 0 0 20 0 1 0 407122096 211341312 44681 33554432000 4194304 4935366 140736832671424 140736832665992 140516055863895 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 51597 44681 574 181 0 45214 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 206388 KiB
Current children cumulated memory: 178724 KiB

[startup+1.50039 s]
/proc/loadavg: 2.69 2.22 2.11 3/199 14624
/proc/meminfo: memFree=19788940/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=391036 memory=361412 CPUtime=1.49 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 90983 0 0 0 139 10 0 0 20 0 1 0 407122096 400420864 90353 33554432000 4194304 4935366 140736832671424 140736832665992 4321836 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 97759 90353 574 181 0 91376 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 391036 KiB
Current children cumulated memory: 361412 KiB

[startup+3.10959 s]
/proc/loadavg: 2.69 2.22 2.11 3/199 14624
/proc/meminfo: memFree=19330228/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=759492 memory=729540 CPUtime=3.09 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 184279 0 0 0 288 21 0 0 20 0 1 0 407122096 777719808 182385 33554432000 4194304 4935366 140736832671424 140736832665992 4322561 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 189873 182385 574 181 0 183490 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 759492 KiB
Current children cumulated memory: 729540 KiB

[startup+6.30036 s]
/proc/loadavg: 2.64 2.21 2.11 3/199 14624
/proc/meminfo: memFree=18655916/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=1478944 memory=1443888 CPUtime=6.28 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 364167 0 0 0 585 43 0 0 20 0 1 0 407122096 1514438656 360906 33554432000 4194304 4935366 140736832671424 140736832666056 4321828 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 369736 360906 574 181 0 363353 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1478944 KiB
Current children cumulated memory: 1443888 KiB

[startup+12.7004 s]
/proc/loadavg: 2.51 2.19 2.10 3/199 14624
/proc/meminfo: memFree=17349436/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=2873812 memory=2829908 CPUtime=12.68 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 713571 0 0 0 1186 82 0 0 20 0 1 0 407122096 2942783488 707477 33554432000 4194304 4935366 140736832671424 140736832665992 4321828 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 718453 707477 574 181 0 712070 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2873812 KiB
Current children cumulated memory: 2829908 KiB

[startup+25.5004 s]
/proc/loadavg: 2.39 2.18 2.10 3/200 14633
/proc/meminfo: memFree=14689668/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5493172 memory=5433848 CPUtime=25.47 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 1367587 0 0 0 2385 162 0 0 20 0 1 0 407122096 5625008128 1358462 33554432000 4194304 4935366 140736832671424 140736832665992 4322320 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1373293 1358462 574 181 0 1366910 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 5493172 KiB
Current children cumulated memory: 5433848 KiB

[startup+51.1096 s]
/proc/loadavg: 2.26 2.17 2.10 3/200 14635
/proc/meminfo: memFree=14436232/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5588648 CPUtime=51.09 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 2202735 0 0 0 4910 199 0 0 20 0 1 0 407122096 5784178688 1397162 33554432000 4194304 4935366 140736832671424 140736832669672 4390136 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1397162 603 181 0 1405770 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5588648 KiB

[startup+102.3 s]
/proc/loadavg: 2.11 2.14 2.10 3/200 14639
/proc/meminfo: memFree=14435360/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5589260 CPUtime=102.27 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 2260201 0 0 0 10025 202 0 0 20 0 1 0 407122096 5784178688 1397315 33554432000 4194304 4935366 140736832671424 140736832669672 4390112 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1397315 603 181 0 1405770 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5589260 KiB

[startup+162.3 s]
/proc/loadavg: 2.09 2.13 2.09 3/200 14645
/proc/meminfo: memFree=14435524/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5589872 CPUtime=162.27 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 2323434 0 0 0 16022 205 0 0 20 0 1 0 407122096 5784178688 1397468 33554432000 4194304 4935366 140736832671424 140736832669672 4390370 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1397468 603 181 0 1405770 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5589872 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 2.11 2.09 3/200 14650
/proc/meminfo: memFree=14434260/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5590484 CPUtime=222.28 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 2385334 0 0 0 22019 209 0 0 20 0 1 0 407122096 5784178688 1397621 33554432000 4194304 4935366 140736832671424 140736832669672 4390489 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1397621 603 181 0 1405770 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5590484 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/200 14654
/proc/meminfo: memFree=14433236/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5591112 CPUtime=282.28 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 2446273 0 0 0 28016 212 0 0 20 0 1 0 407122096 5784178688 1397778 33554432000 4194304 4935366 140736832671424 140736832669672 4390360 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1397778 603 181 0 1405770 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5591112 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/200 14660
/proc/meminfo: memFree=14432464/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5591708 CPUtime=342.27 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 2506062 0 0 0 34012 215 0 0 20 0 1 0 407122096 5784178688 1397927 33554432000 4194304 4935366 140736832671424 140736832669672 4390147 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1397927 603 181 0 1405770 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5591708 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/199 14664
/proc/meminfo: memFree=14432448/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5592336 CPUtime=402.27 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 2564748 0 0 0 40010 217 0 0 20 0 1 0 407122096 5784178688 1398084 33554432000 4194304 4935366 140736832671424 140736832669672 4390147 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1398084 603 181 0 1405770 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5592336 KiB

[startup+462.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/199 14668
/proc/meminfo: memFree=14431860/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5592944 CPUtime=462.28 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 2622351 0 0 0 46008 220 0 0 20 0 1 0 407122096 5784178688 1398236 33554432000 4194304 4935366 140736832671424 140736832669672 4390147 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1398236 603 181 0 1405770 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5592944 KiB


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

[pid=14623] ppid=14620 vsize=5648612 memory=5596632 CPUtime=822.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 2945189 0 0 0 81994 235 0 0 20 0 1 0 407122096 5784178688 1399158 33554432000 4194304 4935366 140736832671424 140736832669672 4390485 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1399158 603 181 0 1405770 0
Current children cumulated CPU time: 822.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5596632 KiB

[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 14709
/proc/meminfo: memFree=14426712/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5597256 CPUtime=882.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 2995008 0 0 0 87991 238 0 0 20 0 1 0 407122096 5784178688 1399314 33554432000 4194304 4935366 140736832671424 140736832669672 4390079 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1399314 603 181 0 1405770 0
Current children cumulated CPU time: 882.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5597256 KiB

[startup+942.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 14714
/proc/meminfo: memFree=14426360/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5597860 CPUtime=942.28 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3043776 0 0 0 93989 239 0 0 20 0 1 0 407122096 5784178688 1399465 33554432000 4194304 4935366 140736832671424 140736832669672 4390489 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1399465 603 181 0 1405770 0
Current children cumulated CPU time: 942.28 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5597860 KiB

[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 14718
/proc/meminfo: memFree=14425848/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5598480 CPUtime=1002.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3091422 0 0 0 99987 242 0 0 20 0 1 0 407122096 5784178688 1399620 33554432000 4194304 4935366 140736832671424 140736832669672 4390308 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1399620 603 181 0 1405770 0
Current children cumulated CPU time: 1002.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5598480 KiB

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 14724
/proc/meminfo: memFree=14425240/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5599096 CPUtime=1062.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3137995 0 0 0 105984 245 0 0 20 0 1 0 407122096 5784178688 1399774 33554432000 4194304 4935366 140736832671424 140736832669672 140516062067566 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1399774 603 181 0 1405770 0
Current children cumulated CPU time: 1062.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5599096 KiB

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14729
/proc/meminfo: memFree=14425176/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5599704 CPUtime=1122.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3183479 0 0 0 111981 248 0 0 20 0 1 0 407122096 5784178688 1399926 33554432000 4194304 4935366 140736832671424 140736832669672 4390505 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1399926 603 181 0 1405770 0
Current children cumulated CPU time: 1122.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5599704 KiB

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14733
/proc/meminfo: memFree=14424240/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5600324 CPUtime=1182.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3227880 0 0 0 117979 250 0 0 20 0 1 0 407122096 5784178688 1400081 33554432000 4194304 4935366 140736832671424 140736832669672 4389920 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1400081 603 181 0 1405770 0
Current children cumulated CPU time: 1182.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5600324 KiB

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 14747
/proc/meminfo: memFree=14423488/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5600844 CPUtime=1242.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3271195 0 0 0 123976 253 0 0 20 0 1 0 407122096 5784178688 1400211 33554432000 4194304 4935366 140736832671424 140736832669672 4390147 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1400211 603 181 0 1405770 0
Current children cumulated CPU time: 1242.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5600844 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14751
/proc/meminfo: memFree=14423220/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5601440 CPUtime=1302.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3313435 0 0 0 129973 256 0 0 20 0 1 0 407122096 5784178688 1400360 33554432000 4194304 4935366 140736832671424 140736832669672 4390079 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1400360 603 181 0 1405770 0
Current children cumulated CPU time: 1302.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5601440 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14755
/proc/meminfo: memFree=14422324/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5602068 CPUtime=1362.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3354567 0 0 0 135971 258 0 0 20 0 1 0 407122096 5784178688 1400517 33554432000 4194304 4935366 140736832671424 140736832669672 4390386 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1400517 603 181 0 1405770 0
Current children cumulated CPU time: 1362.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5602068 KiB

[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/201 14761
/proc/meminfo: memFree=14421012/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5602680 CPUtime=1422.28 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3394624 0 0 0 141968 260 0 0 20 0 1 0 407122096 5784178688 1400670 33554432000 4194304 4935366 140736832671424 140736832669672 4390325 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1400670 603 181 0 1405770 0
Current children cumulated CPU time: 1422.28 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5602680 KiB

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 14765
/proc/meminfo: memFree=14420096/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5603292 CPUtime=1482.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3433434 0 0 0 147967 262 0 0 20 0 1 0 407122096 5784178688 1400823 33554432000 4194304 4935366 140736832671424 140736832669672 4420601 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1400823 603 181 0 1405770 0
Current children cumulated CPU time: 1482.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5603292 KiB

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 14769
/proc/meminfo: memFree=14420204/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5603904 CPUtime=1542.28 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3471132 0 0 0 153965 263 0 0 20 0 1 0 407122096 5784178688 1400976 33554432000 4194304 4935366 140736832671424 140736832669672 4390357 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1400976 603 181 0 1405770 0
Current children cumulated CPU time: 1542.28 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5603904 KiB

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14775
/proc/meminfo: memFree=14419048/32770624 swapFree=66959212/67108860
[pid=14623] ppid=14620 vsize=5648612 memory=5604528 CPUtime=1602.29 cores=1,3,5,7
/proc/14623/stat : 14623 (nacre_mini_rele) R 14620 14623 11693 0 -1 4202496 3507727 0 0 0 159964 265 0 0 20 0 1 0 407122096 5784178688 1401132 33554432000 4194304 4935366 140736832671424 140736832669672 4390357 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12492800 140736832676859 140736832676965 140736832676965 140736832679874 0
/proc/14623/statm: 1412153 1401132 603 181 0 1405770 0
Current children cumulated CPU time: 1602.29 s
Current children cumulated vsize: 5648612 KiB
Current children cumulated memory: 5604528 KiB

[startup+1662.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 14779
/proc/meminfo: memFree=15245008/32770624 swapFree=66959212/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
heavy processes:

[startup+1662.46 s]
# the end of solver process 14623 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1659.62 s, system=2.84006 s

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

[startup+1662.41 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14779
/proc/meminfo: memFree=15245008/32770624 swapFree=66959212/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10
Real time (s): 1662.46
CPU time (s): 1662.46
CPU user time (s): 1659.62
CPU system time (s): 2.84006
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 5648612
Max. memory (cumulated for all children) (KiB): 5605144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1659.62
system time used= 2.84006
maximum resident set size= 5605204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3543325
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= 81
involuntary context switches= 443


# summary of solver processes directly reported to runsolver:
#   pid: 14623
#   total CPU time (s): 1662.46
#   total CPU user time (s): 1659.62
#   total CPU system time (s): 2.84006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.92728 second user time and 14.3356 second system time

The end

Begin job on node124 at 2019-09-12 20:09:39
IDJOB=4391729
IDBENCH=131696
IDSOLVER=2835
FILE ID=node124/4391729-1568311819
RUNJOBID= node124-1568305966-12716
PBS_JOBID= 21701105
Free space on /tmp= 55364 MiB

SOLVER NAME= NACRE 1.0.5
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-rand/Subisomorphism-si4-r005-m600-07.xml
COMMAND LINE= nacre_mini_release BENCHNAME -complete -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391729-1568311819/watcher-4391729-1568311819 -o /tmp/evaluation-result-4391729-1568311819/solver-4391729-1568311819 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568305966-12716 --watchdog 2560  nacre_mini_release HOME/instance-4391729-1568311819.xml -complete -l100 -cm

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

MD5SUM BENCH= 1982aa996c838b28e3c9b82540ec3331
RANDOM SEED=768318460

node124.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.47
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.47
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.47
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.47
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:        20033584 kB
MemAvailable:   31815328 kB
Buffers:          150220 kB
Cached:         11795352 kB
SwapCached:        45868 kB
Active:           913588 kB
Inactive:       11083388 kB
Active(anon):       6688 kB
Inactive(anon):    85952 kB
Active(file):     906900 kB
Inactive(file): 10997436 kB
Unevictable:      108764 kB
Mlocked:          108764 kB
SwapTotal:      67108860 kB
SwapFree:       66959212 kB
Dirty:              1384 kB
Writeback:            32 kB
AnonPages:        115560 kB
Mapped:            43480 kB
Shmem:             32744 kB
Slab:             334192 kB
SReclaimable:     305868 kB
SUnreclaim:        28324 kB
KernelStack:        3488 kB
PageTables:         5528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     528292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55364 MiB
End job on node124 at 2019-09-12 20:37:22

Name	Subisomorphism/Subisomorphism-m1-si4-rand/ Subisomorphism-si4-r005-m600-07.xml
MD5SUM	1982aa996c838b28e3c9b82540ec3331
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1144.16
Satisfiable
(Un)Satisfiability was proved
Number of variables	240
Number of constraints	2771
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":240}]
Minimum variable degree	13
Maximum variable degree	36
Distribution of variable degrees	[{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":7},{"degree":17,"count":4},{"degree":18,"count":12},{"degree":19,"count":4},{"degree":20,"count":19},{"degree":21,"count":13},{"degree":22,"count":24},{"degree":23,"count":26},{"degree":24,"count":17},{"degree":25,"count":19},{"degree":26,"count":15},{"degree":27,"count":24},{"degree":28,"count":14},{"degree":29,"count":12},{"degree":30,"count":4},{"degree":31,"count":4},{"degree":32,"count":4},{"degree":33,"count":4},{"degree":34,"count":4},{"degree":35,"count":3},{"degree":36,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	240
Distribution of constraint arities	[{"arity":2,"count":2770},{"arity":240,"count":1}]
Number of extensional constraints	2770
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2770},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective

Trace number 4391729

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data