Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | SAT | 10.687 | 10.6867 |
Name | Crossword/Crossword-m1c-words-herald/ Crossword-m1c-words-h1510.xml |
MD5SUM | 15f94e8f7f6e887d379f43c98217641b |
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 | 3.75579 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 72 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":190}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":35},{"degree":2,"count":190}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":4,"count":38},{"arity":5,"count":18},{"arity":6,"count":2},{"arity":7,"count":4},{"arity":9,"count":2},{"arity":10,"count":8}] |
Number of extensional constraints | 72 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":72}] |
Optimization problem | NO |
Type of objective |
0.21/0.27 c root propagations : 181 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c This is cosoco 2.00 -- 0.21/0.27 c 0.21/0.27 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408628-1569809354.xml 0.21/0.27 c ========================================[ Problem Statistics ]=========================================== 0.21/0.27 c | 0.21/0.27 c | Parse time : 0.26 s 0.21/0.27 c | 0.21/0.27 c | Variables: 225 0.21/0.27 c | Domain Sizes: 26..26 0.21/0.27 c | 0.21/0.27 c | Constraints: 72 0.21/0.27 c | Arity: 4..10 0.21/0.27 c | 0.21/0.27 c | Types: 0.21/0.27 c | Extension: 72 (nb tuples: 2237..7360) -- (shared: 66) 0.21/0.27 c | 0.21/0.27 c ========================================================================================================= 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.27 c remove useless variable x[0][4] 0.21/0.27 c remove useless variable x[0][10] 0.21/0.27 c remove useless variable x[1][4] 0.21/0.27 c remove useless variable x[1][10] 0.21/0.27 c remove useless variable x[2][10] 0.21/0.27 c remove useless variable x[3][10] 0.21/0.27 c remove useless variable x[4][0] 0.21/0.27 c remove useless variable x[4][1] 0.21/0.27 c remove useless variable x[4][2] 0.21/0.27 c remove useless variable x[4][3] 0.21/0.27 c remove useless variable x[4][8] 0.21/0.27 c remove useless variable x[5][5] 0.21/0.27 c remove useless variable x[5][6] 0.21/0.27 c remove useless variable x[5][12] 0.21/0.27 c remove useless variable x[5][13] 0.21/0.27 c remove useless variable x[5][14] 0.21/0.27 c remove useless variable x[6][4] 0.21/0.27 c remove useless variable x[7][7] 0.21/0.27 c remove useless variable x[8][10] 0.21/0.27 c remove useless variable x[9][0] 0.21/0.27 c remove useless variable x[9][1] 0.21/0.27 c remove useless variable x[9][2] 0.21/0.27 c remove useless variable x[9][8] 0.21/0.27 c remove useless variable x[9][9] 0.21/0.27 c remove useless variable x[10][6] 0.21/0.27 c remove useless variable x[10][11] 0.21/0.27 c remove useless variable x[10][12] 0.21/0.27 c remove useless variable x[10][13] 0.21/0.27 c remove useless variable x[10][14] 0.21/0.27 c remove useless variable x[11][4] 0.21/0.27 c remove useless variable x[12][4] 0.21/0.27 c remove useless variable x[13][4] 0.21/0.27 c remove useless variable x[13][10] 0.21/0.27 c remove useless variable x[14][4] 0.21/0.27 c remove useless variable x[14][10] 0.31/0.36 c 101 425 6084 44127 114 0 23 102 80 0.60/0.61 c 211 1005 15116 112759 114 0 6 93 53 0.69/0.78 c 332 1482 24017 178286 114 0 39 85 66 0.89/1.00 c 465 1839 32768 246594 114 0 12 48 17 1.10/1.19 c 611 2565 43245 324818 114 0 13 143 109 1.49/1.51 c 771 2901 53961 416146 114 0 8 51 31 1.79/1.85 c 947 3547 68051 521357 114 0 9 88 46 2.10/2.17 c 1140 4364 82083 628213 114 0 9 107 38 2.29/2.39 c 1352 4973 95740 737339 114 0 22 66 57 2.89/2.91 c 1585 5690 112202 870668 114 0 3 81 49 3.10/3.19 c 1841 6801 130194 1006752 114 0 9 129 110 3.59/3.68 c 2122 7439 149060 1165576 114 0 5 96 64 4.39/4.46 c 2431 9201 178303 1409841 114 0 15 118 65 4.69/4.77 c 2770 10190 200643 1579087 114 0 30 75 60 5.49/5.59 c 3142 11985 233374 1852270 114 0 13 129 63 6.29/6.35 c 3551 13628 266852 2104940 114 0 42 132 95 7.10/7.13 c 4000 15439 301790 2378491 114 0 6 124 69 7.69/7.74 c 4493 16807 337460 2667726 114 0 16 90 63 8.39/8.49 c 5035 19204 378132 2997802 114 0 15 131 109 9.39/9.40 c 5631 20883 418504 3289108 114 0 3 114 60 10.19/10.24 c 6286 23001 462537 3645069 114 0 8 121 96 10.59/10.68 c First solution is found 10.59/10.68 s SATISFIABLE 10.59/10.68 c restarts : 21 10.59/10.68 c conflicts : 6709 (628 /sec) 10.59/10.68 c decisions : 24486 (2292 /sec) 10.59/10.68 c propagations : 3842580 (359726 /sec) 10.59/10.68 c root propagations : 181 10.59/10.68 c filter calls : 489856 (45858 /sec) 10.59/10.68 c useless filter calls : 143398 (29 %) 10.59/10.68 c Memory used : 30.88 MB 10.59/10.68 c CPU time : 10.6819 s 10.59/10.68 c real time : 10.6824 s 10.59/10.68 10.59/10.68 c solution 1 10.59/10.68 10.59/10.68 v <instantiation type='solution'> 10.59/10.68 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] </list> 10.59/10.68 v <values>4 6 0 13 * 12 0 8 12 18 * 15 17 4 24 1 0 17 4 * 0 13 13 14 24 * 17 0 17 4 1 8 15 0 17 19 8 18 0 13 * 14 15 0 11 18 19 0 11 0 2 19 8 19 4 * 11 8 18 15 * * * * 2 7 0 3 * 17 7 14 3 4 18 18 15 14 17 4 * * 4 0 6 0 13 * * * 7 20 12 4 * 1 20 17 11 8 13 6 0 12 4 14 12 8 2 17 14 13 * 0 18 18 0 24 4 3 15 0 19 17 8 14 19 8 18 12 * 19 4 13 3 * * * 4 11 19 14 13 * * 12 4 18 18 24 18 19 4 0 11 18 * 19 7 0 8 * * * * 11 4 13 19 * 19 7 4 0 19 17 8 2 0 11 0 13 18 8 * 17 4 6 20 11 0 19 14 17 24 13 14 20 13 * 0 17 4 13 0 * 4 3 4 13 6 17 4 6 * 15 0 17 19 18 * 11 4 0 13 </values> 10.59/10.68 v </instantiation> 10.59/10.68
OK
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 (15382 MiB free) memory of node 1: 16384 MiB (15327 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408628-1569809354/watcher-4408628-1569809354 -o /tmp/evaluation-result-4408628-1569809354/solver-4408628-1569809354 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408628-1569809354.xml running on 4 cores: 4-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=31227, runsolver pid=31224 [startup+0.100158 s]* /proc/loadavg: 2.40 2.10 2.07 3/199 31228 /proc/meminfo: memFree=31446112/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=28840 memory=5004 CPUtime=0.1 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 1453 0 0 0 10 0 0 0 20 0 1 0 556876895 29532160 1251 33554432000 4194304 6211132 140725743068288 140725743064824 5689262 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7210 1251 814 493 0 515 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28840 KiB Current children cumulated memory: 5004 KiB [startup+0.210775 s]* /proc/loadavg: 2.40 2.10 2.07 3/199 31228 /proc/meminfo: memFree=31444996/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=30100 memory=6324 CPUtime=0.21 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 1770 0 0 0 21 0 0 0 20 0 1 0 556876895 30822400 1581 33554432000 4194304 6211132 140725743068288 140725743064824 5818472 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7525 1581 814 493 0 830 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 30100 KiB Current children cumulated memory: 6324 KiB [startup+0.310439 s]* /proc/loadavg: 2.40 2.10 2.07 3/199 31228 /proc/meminfo: memFree=31443508/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=31484 memory=7908 CPUtime=0.31 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 2173 0 0 0 31 0 0 0 20 0 1 0 556876895 32239616 1977 33554432000 4194304 6211132 140725743068288 140725743064824 5039132 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7871 1977 856 493 0 1176 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 31484 KiB Current children cumulated memory: 7908 KiB [startup+0.700299 s] /proc/loadavg: 2.40 2.10 2.07 3/199 31228 /proc/meminfo: memFree=31443144/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=31484 memory=7908 CPUtime=0.69 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 2177 0 0 0 69 0 0 0 20 0 1 0 556876895 32239616 1977 33554432000 4194304 6211132 140725743068288 140725743064824 5039014 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7871 1977 856 493 0 1176 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 31484 KiB Current children cumulated memory: 7908 KiB [startup+1.5003 s] /proc/loadavg: 2.40 2.10 2.07 3/199 31228 /proc/meminfo: memFree=31443012/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=31484 memory=7908 CPUtime=1.49 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 2191 0 0 0 149 0 0 0 20 0 1 0 556876895 32239616 1977 33554432000 4194304 6211132 140725743068288 140725743066248 5039038 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7871 1977 856 493 0 1176 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 31484 KiB Current children cumulated memory: 7908 KiB [startup+3.11064 s] /proc/loadavg: 2.40 2.10 2.07 3/200 31230 /proc/meminfo: memFree=31442700/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=31484 memory=8016 CPUtime=3.1 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 3145 0 0 0 310 0 0 0 20 0 1 0 556876895 32239616 2004 33554432000 4194304 6211132 140725743068288 140725743066248 5038990 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7871 2004 858 493 0 1176 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 31484 KiB Current children cumulated memory: 8016 KiB [startup+6.30028 s] /proc/loadavg: 2.37 2.10 2.07 3/200 31230 /proc/meminfo: memFree=31443148/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=31616 memory=8016 CPUtime=6.29 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 4358 0 0 0 629 0 0 0 20 0 1 0 556876895 32374784 2004 33554432000 4194304 6211132 140725743068288 140725743065800 5039193 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7904 2004 858 493 0 1209 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 31616 KiB Current children cumulated memory: 8016 KiB [startup+10.6867 s] # the end of solver process 31227 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.682 s, system=0.005 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.4003 s] /proc/loadavg: 2.37 2.10 2.07 3/200 31230 /proc/meminfo: memFree=31443148/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=31616 memory=8016 CPUtime=6.39 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 4358 0 0 0 639 0 0 0 20 0 1 0 556876895 32374784 2004 33554432000 4194304 6211132 140725743068288 140725743065800 5039125 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7904 2004 858 493 0 1209 0 Current children cumulated CPU time: 6.39 s Current children cumulated vsize: 31616 KiB Current children cumulated memory: 8016 KiB [startup+8.00026 s]* /proc/loadavg: 2.37 2.10 2.07 3/200 31230 /proc/meminfo: memFree=31443344/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=31616 memory=8016 CPUtime=8 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 4358 0 0 0 800 0 0 0 20 0 1 0 556876895 32374784 2004 33554432000 4194304 6211132 140725743068288 140725743066248 5038999 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7904 2004 858 493 0 1209 0 Current children cumulated CPU time: 8 s Current children cumulated vsize: 31616 KiB Current children cumulated memory: 8016 KiB [startup+9.60027 s] /proc/loadavg: 2.37 2.10 2.07 3/199 31230 /proc/meminfo: memFree=31443380/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=31616 memory=8032 CPUtime=9.59 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 5443 0 0 0 959 0 0 0 20 0 1 0 556876895 32374784 2008 33554432000 4194304 6211132 140725743068288 140725743066248 5038990 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7904 2008 858 493 0 1209 0 Current children cumulated CPU time: 9.59 s Current children cumulated vsize: 31616 KiB Current children cumulated memory: 8032 KiB [startup+10.4003 s] /proc/loadavg: 2.34 2.09 2.07 3/199 31230 /proc/meminfo: memFree=31443336/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=31616 memory=8032 CPUtime=10.39 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 5445 0 0 0 1039 0 0 0 20 0 1 0 556876895 32374784 2008 33554432000 4194304 6211132 140725743068288 140725743066248 5039022 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7904 2008 858 493 0 1209 0 Current children cumulated CPU time: 10.39 s Current children cumulated vsize: 31616 KiB Current children cumulated memory: 8032 KiB [startup+10.6003 s] /proc/loadavg: 2.34 2.09 2.07 3/199 31230 /proc/meminfo: memFree=31443336/32770688 swapFree=67001380/67108860 [pid=31227] ppid=31224 vsize=31616 memory=8032 CPUtime=10.59 cores=4-7 /proc/31227/stat : 31227 (cosoco) R 31224 31227 26332 0 -1 4202496 5445 0 0 0 1059 0 0 0 20 0 1 0 556876895 32374784 2008 33554432000 4194304 6211132 140725743068288 140725743066248 5186318 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41340928 140725743072267 140725743072369 140725743072369 140725743075278 0 /proc/31227/statm: 7904 2008 858 493 0 1209 0 Current children cumulated CPU time: 10.59 s Current children cumulated vsize: 31616 KiB Current children cumulated memory: 8032 KiB Child status: 0 Real time (s): 10.6867 CPU time (s): 10.687 CPU user time (s): 10.682 CPU system time (s): 0.005 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 31616 Max. memory (cumulated for all children) (KiB): 8032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.682 system time used= 0.005 maximum resident set size= 8148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5496 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= 6 involuntary context switches= 11 # summary of solver processes directly reported to runsolver: # pid: 31227 # total CPU time (s): 10.687 # total CPU user time (s): 10.682 # total CPU system time (s): 0.005 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.055416 second user time and 0.13741 second system time The end
Begin job on node116 at 2019-09-30 04:08:31 IDJOB=4408628 IDBENCH=140338 IDSOLVER=2875 FILE ID=node116/4408628-1569809354 RUNJOBID= node116-1569787351-26364 PBS_JOBID= 21705835 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Crossword/Crossword-m1c-words-herald/Crossword-m1c-words-h1510.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408628-1569809354/watcher-4408628-1569809354 -o /tmp/evaluation-result-4408628-1569809354/solver-4408628-1569809354 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408628-1569809354.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 15f94e8f7f6e887d379f43c98217641b RANDOM SEED=649316346 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: 31447180 kB MemAvailable: 31814300 kB Buffers: 195968 kB Cached: 491608 kB SwapCached: 3344 kB Active: 417052 kB Inactive: 316560 kB Active(anon): 63776 kB Inactive(anon): 63420 kB Active(file): 353276 kB Inactive(file): 253140 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001380 kB Dirty: 3284 kB Writeback: 0 kB AnonPages: 232700 kB Mapped: 28260 kB Shmem: 72416 kB Slab: 183616 kB SReclaimable: 153076 kB SUnreclaim: 30540 kB KernelStack: 3808 kB PageTables: 5728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 608240 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 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= 62024 MiB End job on node116 at 2019-09-30 04:08:42