Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
BTD 19.07.01 | ? | 2520.03 | 2520 |
Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07-2_X2.xml |
MD5SUM | bca347db5d1c552995f700e5a754db73 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 165.879 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 1262 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] |
Minimum variable degree | 0 |
Maximum variable degree | 56 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1262}] |
Number of extensional constraints | 1262 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1262}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Version 19.07.01 2519.92/2519.99 s UNKNOWN
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: 16375 MiB (10149 MiB free) memory of node 1: 16384 MiB (13567 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386847-1568282685/watcher-4386847-1568282685 -o /tmp/evaluation-result-4386847-1568282685/solver-4386847-1568282685 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568280873-31189 --watchdog 2580 BTD 2520 HOME/instance-4386847-1568282685.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=31464, runsolver pid=31461 Current StackSize limit: 8192 KiB [startup+0.100997 s]* /proc/loadavg: 2.00 2.04 1.76 3/199 31465 /proc/meminfo: memFree=24280376/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=38888 memory=8696 CPUtime=0.1 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 2317 0 0 0 10 0 0 0 20 0 1 0 404210253 39821312 2174 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9722 2174 486 7937 0 1750 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 38888 KiB Current children cumulated memory: 8696 KiB [startup+0.210828 s]* /proc/loadavg: 2.00 2.04 1.76 3/199 31465 /proc/meminfo: memFree=24279644/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=38888 memory=8696 CPUtime=0.21 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 2317 0 0 0 21 0 0 0 20 0 1 0 404210253 39821312 2174 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9722 2174 486 7937 0 1750 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 38888 KiB Current children cumulated memory: 8696 KiB [startup+0.310057 s]* /proc/loadavg: 2.00 2.04 1.76 3/199 31465 /proc/meminfo: memFree=24279680/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=38888 memory=8696 CPUtime=0.31 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 2318 0 0 0 31 0 0 0 20 0 1 0 404210253 39821312 2174 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9722 2174 486 7937 0 1750 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38888 KiB Current children cumulated memory: 8696 KiB [startup+0.700293 s] /proc/loadavg: 2.00 2.04 1.76 3/199 31465 /proc/meminfo: memFree=24279448/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8696 CPUtime=0.68 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 2321 0 0 0 68 0 0 0 20 0 1 0 404210253 39956480 2174 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2174 486 7937 0 1783 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8696 KiB [startup+1.50029 s] /proc/loadavg: 1.92 2.02 1.76 3/199 31465 /proc/meminfo: memFree=24279448/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8696 CPUtime=1.49 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 2326 0 0 0 148 1 0 0 20 0 1 0 404210253 39956480 2174 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2174 486 7937 0 1783 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8696 KiB [startup+3.11011 s] /proc/loadavg: 1.92 2.02 1.76 3/199 31465 /proc/meminfo: memFree=24279448/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8800 CPUtime=3.09 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 3807 0 0 0 307 2 0 0 20 0 1 0 404210253 39956480 2200 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2200 497 7937 0 1783 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8800 KiB [startup+6.30028 s] /proc/loadavg: 1.93 2.02 1.76 3/199 31465 /proc/meminfo: memFree=24279280/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8808 CPUtime=6.28 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 5290 0 0 0 622 6 0 0 20 0 1 0 404210253 39956480 2202 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2202 497 7937 0 1783 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8808 KiB [startup+12.7003 s] /proc/loadavg: 1.93 2.02 1.76 3/199 31465 /proc/meminfo: memFree=24279076/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8820 CPUtime=12.69 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 6781 0 0 0 1258 11 0 0 20 0 1 0 404210253 39956480 2205 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2205 497 7937 0 1783 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8820 KiB [startup+25.5003 s] /proc/loadavg: 1.95 2.02 1.77 3/199 31466 /proc/meminfo: memFree=24279324/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8848 CPUtime=25.48 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 9767 0 0 0 2528 20 0 0 20 0 1 0 404210253 39956480 2212 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2212 497 7937 0 1783 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8848 KiB [startup+51.1101 s] /proc/loadavg: 1.97 2.01 1.77 3/199 31468 /proc/meminfo: memFree=24278900/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8860 CPUtime=51.09 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 10269 0 0 0 5069 40 0 0 20 0 1 0 404210253 39956480 2215 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2215 497 7937 0 1783 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8860 KiB [startup+102.3 s] /proc/loadavg: 1.99 2.01 1.78 3/200 31473 /proc/meminfo: memFree=24279256/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8872 CPUtime=102.28 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 10774 0 0 0 10143 85 0 0 20 0 1 0 404210253 39956480 2218 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2218 497 7937 0 1783 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8872 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.01 1.80 3/201 31479 /proc/meminfo: memFree=24278700/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8888 CPUtime=162.27 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 11282 0 0 0 16091 136 0 0 20 0 1 0 404210253 39956480 2222 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2222 497 7937 0 1783 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8888 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.81 3/200 31483 /proc/meminfo: memFree=24279088/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8892 CPUtime=222.26 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 11790 0 0 0 22015 211 0 0 20 0 1 0 404210253 39956480 2223 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2223 497 7937 0 1783 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8892 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.82 3/200 31487 /proc/meminfo: memFree=24279056/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39020 memory=8904 CPUtime=282.26 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 12280 0 0 0 27926 300 0 0 20 0 1 0 404210253 39956480 2226 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9755 2226 497 7937 0 1783 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 39020 KiB Current children cumulated memory: 8904 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.83 3/201 31493 /proc/meminfo: memFree=24278332/32770688 swapFree=66960392/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8904 CPUtime=342.26 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 12790 0 0 0 33839 387 0 0 20 0 1 0 404210253 40091648 2226 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2226 497 7937 0 1816 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8904 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.84 3/199 31504 /proc/meminfo: memFree=24278548/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8908 CPUtime=402.26 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 13292 0 0 0 39731 495 0 0 20 0 1 0 404210253 40091648 2227 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2227 497 7937 0 1816 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8908 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.85 3/199 31508 /proc/meminfo: memFree=24278548/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8908 CPUtime=462.25 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 13801 0 0 0 45627 598 0 0 20 0 1 0 404210253 40091648 2227 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2227 497 7937 0 1816 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8908 KiB ################ # More data... # ################ Current children cumulated memory: 8940 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.02 2.01 3/199 31713 /proc/meminfo: memFree=24251236/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2082.28 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 23936 0 0 0 204594 3634 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2082.28 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.01 3/199 31717 /proc/meminfo: memFree=24250956/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2142.29 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 23937 0 0 0 210503 3726 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2142.29 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.01 3/199 31730 /proc/meminfo: memFree=24251540/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2202.29 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 24445 0 0 0 216403 3826 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2202.29 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.01 3/199 31734 /proc/meminfo: memFree=24251464/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2262.3 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 24447 0 0 0 222302 3928 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2262.3 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2322.3 s] /proc/loadavg: 2.76 2.21 2.08 3/200 31740 /proc/meminfo: memFree=24250268/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2322.3 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 24958 0 0 0 228184 4046 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2322.3 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2382.3 s] /proc/loadavg: 2.34 2.20 2.09 3/199 31744 /proc/meminfo: memFree=24250992/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2382.31 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 24958 0 0 0 234069 4162 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2382.31 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2442.3 s] /proc/loadavg: 2.13 2.17 2.08 3/199 31748 /proc/meminfo: memFree=24251060/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2442.31 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 25457 0 0 0 239962 4269 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2442.31 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2502.3 s] /proc/loadavg: 2.05 2.14 2.07 3/200 31754 /proc/meminfo: memFree=24250756/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2502.31 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 25475 0 0 0 245862 4369 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2502.31 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2520 s] # the end of solver process 31464 was just reported to runsolver # cumulated CPU time of all completed processes: user=2476.01 s, system=44.0225 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2508.8 s] /proc/loadavg: 2.04 2.13 2.07 3/199 31754 /proc/meminfo: memFree=24251128/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2508.81 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 25475 0 0 0 246500 4381 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2508.81 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2515.2 s] /proc/loadavg: 2.04 2.13 2.07 3/199 31754 /proc/meminfo: memFree=24251328/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2515.22 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 25475 0 0 0 247131 4391 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2515.22 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2518.4 s] /proc/loadavg: 2.04 2.13 2.07 3/199 31754 /proc/meminfo: memFree=24251328/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2518.41 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 25975 0 0 0 247444 4397 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2518.41 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2519.2 s] /proc/loadavg: 2.04 2.13 2.07 3/199 31754 /proc/meminfo: memFree=24251328/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2519.21 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 25975 0 0 0 247522 4399 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2519.21 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2519.6 s] /proc/loadavg: 2.04 2.13 2.07 3/199 31754 /proc/meminfo: memFree=24251328/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2519.61 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 25980 0 0 0 247561 4400 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2519.61 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2519.8 s] /proc/loadavg: 2.04 2.13 2.07 3/199 31754 /proc/meminfo: memFree=24251328/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2519.82 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 25980 0 0 0 247581 4401 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2519.82 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB [startup+2519.9 s] /proc/loadavg: 2.04 2.13 2.07 3/199 31754 /proc/meminfo: memFree=24251328/32770688 swapFree=66960400/67108860 [pid=31464] ppid=31461 vsize=39152 memory=8940 CPUtime=2519.92 cores=4-7 /proc/31464/stat : 31464 (BTD) R 31461 31464 31157 0 -1 4202496 25980 0 0 0 247591 4401 0 0 20 0 1 0 404210253 40091648 2235 33554432000 4194304 36700936 140735652316432 140735652315480 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 69705728 140735652320296 140735652320372 140735652320372 140735652323281 0 /proc/31464/statm: 9788 2235 497 7937 0 1816 0 Current children cumulated CPU time: 2519.92 s Current children cumulated vsize: 39152 KiB Current children cumulated memory: 8940 KiB Child status: 0 Real time (s): 2520 CPU time (s): 2520.03 CPU user time (s): 2476.01 CPU system time (s): 44.0225 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 39152 Max. memory (cumulated for all children) (KiB): 8940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2476.01 system time used= 44.0225 maximum resident set size= 8960 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26056 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= 4 involuntary context switches= 1250 # summary of solver processes directly reported to runsolver: # pid: 31464 # total CPU time (s): 2520.03 # total CPU user time (s): 2476.01 # total CPU system time (s): 44.0225 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.81736 second user time and 18.1135 second system time The end
Begin job on node116 at 2019-09-12 12:04:05 IDJOB=4386847 IDBENCH=134577 IDSOLVER=2822 FILE ID=node116/4386847-1568282685 RUNJOBID= node116-1568280873-31189 PBS_JOBID= 21701086 Free space on /tmp= 54268 MiB SOLVER NAME= BTD 19.07.01 BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-2_X2.xml COMMAND LINE= BTD TIMELIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4386847-1568282685/watcher-4386847-1568282685 -o /tmp/evaluation-result-4386847-1568282685/solver-4386847-1568282685 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568280873-31189 --watchdog 2580 BTD 2520 HOME/instance-4386847-1568282685.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bca347db5d1c552995f700e5a754db73 RANDOM SEED=641112728 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 24286604 kB MemAvailable: 31813156 kB Buffers: 92276 kB Cached: 7646268 kB SwapCached: 46392 kB Active: 1446040 kB Inactive: 6344708 kB Active(anon): 16184 kB Inactive(anon): 76696 kB Active(file): 1429856 kB Inactive(file): 6268012 kB Unevictable: 110104 kB Mlocked: 110104 kB SwapTotal: 67108860 kB SwapFree: 66960392 kB Dirty: 61348 kB Writeback: 0 kB AnonPages: 116928 kB Mapped: 43144 kB Shmem: 31776 kB Slab: 285876 kB SReclaimable: 257144 kB SUnreclaim: 28732 kB KernelStack: 3472 kB PageTables: 5532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 529772 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 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: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 54208 MiB End job on node116 at 2019-09-12 12:46:05