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-Hybrid	SAT	1381.41	1381.5

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391529-1568310232/watcher-4391529-1568310232 -o /tmp/evaluation-result-4391529-1568310232/solver-4391529-1568310232 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11109 --watchdog 2560 nacre_mini_release HOME/instance-4391529-1568310232.xml -ca -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=12708, runsolver pid=12705

[startup+0.100321 s]*
/proc/loadavg: 2.05 2.05 1.98 3/205 12709
/proc/meminfo: memFree=27990500/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=68848 memory=42200 CPUtime=0.09 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 11166 0 0 0 9 0 0 0 20 0 1 0 406945893 70500352 10550 33554432000 4194304 4935366 140720389933200 140720389927768 140575629544421 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 17212 10550 574 181 0 10829 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68848 KiB
Current children cumulated memory: 42200 KiB

[startup+0.210014 s]*
/proc/loadavg: 2.05 2.05 1.98 3/205 12709
/proc/meminfo: memFree=27966376/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=93344 memory=66488 CPUtime=0.2 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 17251 0 0 0 19 1 0 0 20 0 1 0 406945893 95584256 16622 33554432000 4194304 4935366 140720389933200 140720389927768 140575629536793 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 23336 16622 574 181 0 16953 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93344 KiB
Current children cumulated memory: 66488 KiB

[startup+0.309954 s]*
/proc/loadavg: 2.05 2.05 1.98 3/205 12709
/proc/meminfo: memFree=27944428/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=115548 memory=88664 CPUtime=0.31 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 22766 0 0 0 29 2 0 0 20 0 1 0 406945893 118321152 22166 33554432000 4194304 4935366 140720389933200 140720389927768 140575629553529 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 28887 22166 574 181 0 22504 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 115548 KiB
Current children cumulated memory: 88664 KiB

[startup+0.70034 s]
/proc/loadavg: 2.05 2.05 1.98 3/205 12709
/proc/meminfo: memFree=27900160/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=201680 memory=173936 CPUtime=0.69 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 44065 0 0 0 64 5 0 0 20 0 1 0 406945893 206520320 43418 33554432000 4194304 4935366 140720389933200 140720389927768 140575629544421 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 50420 43484 574 181 0 44037 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 201680 KiB
Current children cumulated memory: 173936 KiB

[startup+1.50034 s]
/proc/loadavg: 2.05 2.05 1.98 3/205 12709
/proc/meminfo: memFree=27789500/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=379988 memory=351344 CPUtime=1.49 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 88462 0 0 0 138 11 0 0 20 0 1 0 406945893 389107712 87836 33554432000 4194304 4935366 140720389933200 140720389927768 4271941 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 94997 87836 574 181 0 88614 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 379988 KiB
Current children cumulated memory: 351344 KiB

[startup+3.10987 s]
/proc/loadavg: 2.05 2.05 1.98 3/205 12709
/proc/meminfo: memFree=27347248/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=735268 memory=704352 CPUtime=3.1 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 179491 0 0 0 287 23 0 0 20 0 1 0 406945893 752914432 176088 33554432000 4194304 4935366 140720389933200 140720389927768 140575629537051 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 183817 176088 574 181 0 177434 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 735268 KiB
Current children cumulated memory: 704352 KiB

[startup+6.30032 s]
/proc/loadavg: 2.04 2.05 1.98 3/205 12709
/proc/meminfo: memFree=26696792/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=1430496 memory=1394792 CPUtime=6.28 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 353996 0 0 0 587 41 0 0 20 0 1 0 406945893 1464827904 348632 33554432000 4194304 4935366 140720389933200 140720389927768 140575629544421 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 357624 348632 574 181 0 351241 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1430496 KiB
Current children cumulated memory: 1394792 KiB

[startup+12.7003 s]
/proc/loadavg: 2.04 2.05 1.98 3/205 12709
/proc/meminfo: memFree=25431744/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=2783108 memory=2739084 CPUtime=12.68 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 694048 0 0 0 1186 82 0 0 20 0 1 0 406945893 2849902592 684771 33554432000 4194304 4935366 140720389933200 140720389927768 4321844 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 695810 684771 574 181 0 689427 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2783108 KiB
Current children cumulated memory: 2739084 KiB

[startup+25.5003 s]
/proc/loadavg: 2.03 2.04 1.98 3/205 12711
/proc/meminfo: memFree=22841220/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=5331680 memory=5272160 CPUtime=25.48 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 1331026 0 0 0 2393 155 0 0 20 0 1 0 406945893 5459640320 1318040 33554432000 4194304 4935366 140720389933200 140720389927768 140575635743644 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1332920 1318040 574 181 0 1326537 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 5331680 KiB
Current children cumulated memory: 5272160 KiB

[startup+51.1099 s]
/proc/loadavg: 2.02 2.04 1.98 3/205 12713
/proc/meminfo: memFree=22423124/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=5656304 memory=5595840 CPUtime=51.09 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 2322138 0 0 0 4909 200 0 0 20 0 1 0 406945893 5792055296 1398960 33554432000 4194304 4935366 140720389933200 140720389930968 4390308 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1414076 1398960 611 181 0 1407693 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 5656304 KiB
Current children cumulated memory: 5595840 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.04 1.98 3/205 12717
/proc/meminfo: memFree=22409692/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=5669700 memory=5608980 CPUtime=102.28 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 2383100 0 0 0 10025 203 0 0 20 0 1 0 406945893 5805772800 1402245 33554432000 4194304 4935366 140720389933200 140720389930952 4390112 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1417425 1402245 611 181 0 1411042 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 5669700 KiB
Current children cumulated memory: 5608980 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/206 12723
/proc/meminfo: memFree=22393356/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=5685104 memory=5624620 CPUtime=162.28 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 2457632 0 0 0 16019 209 0 0 20 0 1 0 406945893 5821546496 1406155 33554432000 4194304 4935366 140720389933200 140720389930968 4390147 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1421276 1406155 611 181 0 1414893 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 5685104 KiB
Current children cumulated memory: 5624620 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/205 12727
/proc/meminfo: memFree=22379348/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=5699568 memory=5638840 CPUtime=222.27 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 2534224 0 0 0 22014 213 0 0 20 0 1 0 406945893 5836357632 1409710 33554432000 4194304 4935366 140720389933200 140720389930968 4450164 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1424892 1409710 611 181 0 1418509 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 5699568 KiB
Current children cumulated memory: 5638840 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/205 12732
/proc/meminfo: memFree=22364340/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=5714356 memory=5653792 CPUtime=282.27 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 2613406 0 0 0 28008 219 0 0 20 0 1 0 406945893 5851500544 1413448 33554432000 4194304 4935366 140720389933200 140720389930952 4450339 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1428589 1413448 611 181 0 1422206 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 5714356 KiB
Current children cumulated memory: 5653792 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/205 12738
/proc/meminfo: memFree=22348324/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=5730352 memory=5669580 CPUtime=342.26 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 2695178 0 0 0 34002 224 0 0 20 0 1 0 406945893 5867880448 1417395 33554432000 4194304 4935366 140720389933200 140720389930952 4390485 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1432588 1417395 611 181 0 1426205 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 5730352 KiB
Current children cumulated memory: 5669580 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/206 12744
/proc/meminfo: memFree=22335064/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=5744728 memory=5683844 CPUtime=402.26 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 2778898 0 0 0 39996 230 0 0 20 0 1 0 406945893 5882601472 1420961 33554432000 4194304 4935366 140720389933200 140720389930968 4390471 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1436182 1420961 611 181 0 1429799 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 5744728 KiB
Current children cumulated memory: 5683844 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/206 12753
/proc/meminfo: memFree=22325844/32770624 swapFree=67008496/67108860
[pid=12708] ppid=12705 vsize=5754264 memory=5693520 CPUtime=462.26 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 2864148 0 0 0 45990 236 0 0 20 0 1 0 406945893 5892366336 1423380 33554432000 4194304 4935366 140720389933200 140720389930952 4390147 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1438566 1423380 611 181 0 1432183 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 5754264 KiB
Current children cumulated memory: 5693520 KiB


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


[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/206 12791
/proc/meminfo: memFree=22281020/32770624 swapFree=67008500/67108860
[pid=12708] ppid=12705 vsize=5797744 memory=5737168 CPUtime=882.24 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 3483786 0 0 0 87952 272 0 0 20 0 1 0 406945893 5936889856 1434292 33554432000 4194304 4935366 140720389933200 140720389930904 4390147 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1449436 1434292 611 181 0 1443053 0
Current children cumulated CPU time: 882.24 s
Current children cumulated vsize: 5797744 KiB
Current children cumulated memory: 5737168 KiB

[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/205 12796
/proc/meminfo: memFree=22277676/32770624 swapFree=67008500/67108860
[pid=12708] ppid=12705 vsize=5801340 memory=5740740 CPUtime=942.23 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 3571098 0 0 0 93945 278 0 0 20 0 1 0 406945893 5940572160 1435185 33554432000 4194304 4935366 140720389933200 140720389930952 4390360 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1450335 1435185 611 181 0 1443952 0
Current children cumulated CPU time: 942.23 s
Current children cumulated vsize: 5801340 KiB
Current children cumulated memory: 5740740 KiB

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/205 12800
/proc/meminfo: memFree=22273148/32770624 swapFree=67008500/67108860
[pid=12708] ppid=12705 vsize=5805868 memory=5745276 CPUtime=1002.23 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 3659705 0 0 0 99940 283 0 0 20 0 1 0 406945893 5945208832 1436319 33554432000 4194304 4935366 140720389933200 140720389930952 4390011 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1451467 1436319 611 181 0 1445084 0
Current children cumulated CPU time: 1002.23 s
Current children cumulated vsize: 5805868 KiB
Current children cumulated memory: 5745276 KiB

[startup+1062.3 s]
/proc/loadavg: 2.43 2.13 2.04 3/206 12812
/proc/meminfo: memFree=22268460/32770624 swapFree=67008500/67108860
[pid=12708] ppid=12705 vsize=5810432 memory=5749924 CPUtime=1062.22 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 3747962 0 0 0 105933 289 0 0 20 0 1 0 406945893 5949882368 1437481 33554432000 4194304 4935366 140720389933200 140720389930904 4390079 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1452608 1437481 611 181 0 1446225 0
Current children cumulated CPU time: 1062.22 s
Current children cumulated vsize: 5810432 KiB
Current children cumulated memory: 5749924 KiB

[startup+1122.3 s]
/proc/loadavg: 2.26 2.15 2.05 3/205 12836
/proc/meminfo: memFree=22265116/32770624 swapFree=67008512/67108860
[pid=12708] ppid=12705 vsize=5813744 memory=5753204 CPUtime=1122.22 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 3837419 0 0 0 111927 295 0 0 20 0 1 0 406945893 5953273856 1438301 33554432000 4194304 4935366 140720389933200 140720389930952 4390343 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1453436 1438301 611 181 0 1447053 0
Current children cumulated CPU time: 1122.22 s
Current children cumulated vsize: 5813744 KiB
Current children cumulated memory: 5753204 KiB

[startup+1182.3 s]
/proc/loadavg: 2.10 2.12 2.05 3/205 12841
/proc/meminfo: memFree=22262024/32770624 swapFree=67008512/67108860
[pid=12708] ppid=12705 vsize=5817116 memory=5756452 CPUtime=1182.22 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 3926564 0 0 0 117921 301 0 0 20 0 1 0 406945893 5956726784 1439113 33554432000 4194304 4935366 140720389933200 140720389930952 4390011 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1454279 1439113 611 181 0 1447896 0
Current children cumulated CPU time: 1182.22 s
Current children cumulated vsize: 5817116 KiB
Current children cumulated memory: 5756452 KiB

[startup+1242.3 s]
/proc/loadavg: 2.07 2.11 2.05 3/206 12847
/proc/meminfo: memFree=22258048/32770624 swapFree=67008512/67108860
[pid=12708] ppid=12705 vsize=5820968 memory=5760384 CPUtime=1242.21 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 4016462 0 0 0 123916 305 0 0 20 0 1 0 406945893 5960671232 1440096 33554432000 4194304 4935366 140720389933200 140720389930904 4420960 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1455242 1440096 611 181 0 1448859 0
Current children cumulated CPU time: 1242.21 s
Current children cumulated vsize: 5820968 KiB
Current children cumulated memory: 5760384 KiB

[startup+1302.3 s]
/proc/loadavg: 2.03 2.09 2.05 3/205 12851
/proc/meminfo: memFree=22254680/32770624 swapFree=67008512/67108860
[pid=12708] ppid=12705 vsize=5823724 memory=5763148 CPUtime=1302.21 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 4106239 0 0 0 129911 310 0 0 20 0 1 0 406945893 5963493376 1440787 33554432000 4194304 4935366 140720389933200 140720389930952 4390325 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1455931 1440787 611 181 0 1449548 0
Current children cumulated CPU time: 1302.21 s
Current children cumulated vsize: 5823724 KiB
Current children cumulated memory: 5763148 KiB

[startup+1362.3 s]
/proc/loadavg: 2.01 2.08 2.05 3/205 12856
/proc/meminfo: memFree=22249472/32770624 swapFree=67008512/67108860
[pid=12708] ppid=12705 vsize=5827868 memory=5767920 CPUtime=1362.2 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 4197114 0 0 0 135906 314 0 0 20 0 1 0 406945893 5967736832 1441980 33554432000 4194304 4935366 140720389933200 140720389930904 4390147 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1456967 1441980 611 181 0 1450584 0
Current children cumulated CPU time: 1362.2 s
Current children cumulated vsize: 5827868 KiB
Current children cumulated memory: 5767920 KiB

[startup+1381.5 s]
# the end of solver process 12708 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1377.93 s, system=3.47279 s

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

[startup+1369.6 s]
/proc/loadavg: 2.01 2.07 2.05 3/205 12856
/proc/meminfo: memFree=22249272/32770624 swapFree=67008512/67108860
[pid=12708] ppid=12705 vsize=5828000 memory=5768124 CPUtime=1369.5 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 4203625 0 0 0 136635 315 0 0 20 0 1 0 406945893 5967872000 1442031 33554432000 4194304 4935366 140720389933200 140720389930904 4390360 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1457000 1442031 611 181 0 1450617 0
Current children cumulated CPU time: 1369.5 s
Current children cumulated vsize: 5828000 KiB
Current children cumulated memory: 5768124 KiB

[startup+1376 s]*
/proc/loadavg: 2.01 2.07 2.05 3/205 12858
/proc/meminfo: memFree=22247892/32770624 swapFree=67008512/67108860
[pid=12708] ppid=12705 vsize=5828424 memory=5768684 CPUtime=1375.9 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 4213233 0 0 0 137275 315 0 0 20 0 1 0 406945893 5968306176 1442171 33554432000 4194304 4935366 140720389933200 140720389930952 4390079 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1457106 1442171 611 181 0 1450723 0
Current children cumulated CPU time: 1375.9 s
Current children cumulated vsize: 5828424 KiB
Current children cumulated memory: 5768684 KiB

[startup+1379.2 s]
/proc/loadavg: 2.01 2.07 2.05 3/205 12858
/proc/meminfo: memFree=22248108/32770624 swapFree=67008512/67108860
[pid=12708] ppid=12705 vsize=5828716 memory=5768976 CPUtime=1379.09 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 4216469 0 0 0 137594 315 0 0 20 0 1 0 406945893 5968605184 1442244 33554432000 4194304 4935366 140720389933200 140720389930904 4389978 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1457179 1442244 611 181 0 1450796 0
Current children cumulated CPU time: 1379.09 s
Current children cumulated vsize: 5828716 KiB
Current children cumulated memory: 5768976 KiB

[startup+1380.8 s]
/proc/loadavg: 2.01 2.07 2.05 3/205 12858
/proc/meminfo: memFree=22248356/32770624 swapFree=67008512/67108860
[pid=12708] ppid=12705 vsize=5828860 memory=5769040 CPUtime=1380.69 cores=1,3,5,7
/proc/12708/stat : 12708 (nacre_mini_rele) R 12705 12708 11077 0 -1 4202496 4216670 0 0 0 137754 315 0 0 20 0 1 0 406945893 5968752640 1442260 33554432000 4194304 4935366 140720389933200 140720389930904 4390130 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28835840 140720389940225 140720389940325 140720389940325 140720389943234 0
/proc/12708/statm: 1457215 1442260 611 181 0 1450832 0
Current children cumulated CPU time: 1380.69 s
Current children cumulated vsize: 5828860 KiB
Current children cumulated memory: 5769040 KiB

[startup+1381.2 s]*
/proc/loadavg: 2.01 2.07 2.05 3/205 12858
/proc/meminfo: memFree=22515064/32770624 swapFree=67008512/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+1381.4 s]
/proc/loadavg: 2.01 2.07 2.05 3/205 12858
/proc/meminfo: memFree=22515064/32770624 swapFree=67008512/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+1381.5 s]
/proc/loadavg: 2.01 2.07 2.05 3/205 12858
/proc/meminfo: memFree=22515064/32770624 swapFree=67008512/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): 1381.5
CPU time (s): 1381.41
CPU user time (s): 1377.93
CPU system time (s): 3.47279
CPU usage (%): 99.9931
Max. virtual memory (cumulated for all children) (KiB): 5828860
Max. memory (cumulated for all children) (KiB): 5769040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1377.93
system time used= 3.47279
maximum resident set size= 5769120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4219745
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= 15
involuntary context switches= 381


# summary of solver processes directly reported to runsolver:
#   pid: 12708
#   total CPU time (s): 1381.41
#   total CPU user time (s): 1377.93
#   total CPU system time (s): 3.47279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96419 second user time and 10.4318 second system time

The end

Begin job on node132 at 2019-09-12 19:43:02
IDJOB=4391529
IDBENCH=131696
IDSOLVER=2834
FILE ID=node132/4391529-1568310232
RUNJOBID= node132-1568304897-11109
PBS_JOBID= 21701117
Free space on /tmp= 60304 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-rand/Subisomorphism-si4-r005-m600-07.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391529-1568310232/watcher-4391529-1568310232 -o /tmp/evaluation-result-4391529-1568310232/solver-4391529-1568310232 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11109 --watchdog 2560  nacre_mini_release HOME/instance-4391529-1568310232.xml -ca -l100 -cm

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

MD5SUM BENCH= 1982aa996c838b28e3c9b82540ec3331
RANDOM SEED=1667297540

node132.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.95
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.95
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.95
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.95
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:        28028248 kB
MemAvailable:   29369688 kB
Buffers:          113884 kB
Cached:          1498100 kB
SwapCached:         8796 kB
Active:          2845876 kB
Inactive:        1310876 kB
Active(anon):    2544524 kB
Inactive(anon):    26968 kB
Active(file):     301352 kB
Inactive(file):  1283908 kB
Unevictable:      110200 kB
Mlocked:          110200 kB
SwapTotal:      67108860 kB
SwapFree:       67008496 kB
Dirty:              1188 kB
Writeback:             0 kB
AnonPages:       2660628 kB
Mapped:            30888 kB
Shmem:             18368 kB
Slab:             173512 kB
SReclaimable:     144032 kB
SUnreclaim:        29480 kB
KernelStack:        3856 kB
PageTables:        10712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3073704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2011136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 60304 MiB
End job on node132 at 2019-09-12 20:06:04

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 4391529

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data