Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PicatSAT 2018-08-02 | OPT | 45 | 342.352 | 342.35 |
Name | LowAutocorrelation/ LowAutocorrelation-026_c18.xml |
MD5SUM | 4805ee3407b1bb595f0e8cbeb6f1f78a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 45 |
Best CPU time to get the best result obtained on this benchmark | 341.811 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 701 |
Number of constraints | 375 |
Number of domains | 51 |
Minimum domain size | 2 |
Maximum domain size | 51 |
Distribution of domain sizes | [{"size":2,"count":352},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":0,"count":300},{"degree":2,"count":375},{"degree":25,"count":26}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":2,"count":26},{"arity":3,"count":326},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 350 |
Distribution of constraint types | [{"type":"intension","count":350},{"type":"sum","count":25}] |
Optimization problem | YES |
Type of objective | min SUM |
342.29/342.34 c xcsp_picat version 2.4#6 (8/1/2018) 342.29/342.34 o 821 342.29/342.34 o 253 342.29/342.34 o 117 342.29/342.34 o 53 342.29/342.34 o 45 342.29/342.34 s OPTIMUM FOUND 342.29/342.34 v <instantiation> 342.29/342.34 v <list> s[] c[] y[][] x[] </list> 342.29/342.34 v <values> 1 4 1 4 9 0 1 0 1 0 1 0 1 4 1 4 1 4 1 4 1 0 1 0 1 -1 2 -1 -2 3 0 1 0 -1 0 -1 0 -1 2 -1 2 -1 -2 1 -2 -1 0 -1 0 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 </values> 342.29/342.34 v </instantiation>
OK 45
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 (12985 MiB free) memory of node 1: 16384 MiB (11155 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303213-1534015723/watcher-4303213-1534015723 -o /tmp/evaluation-result-4303213-1534015723/solver-4303213-1534015723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5740 --watchdog 2580 xcsp_picat HOME/instance-4303213-1534015723.xml running on 4 cores: 0,2,4,6 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=8921, runsolver pid=8918 Current StackSize limit: 8192 KiB [startup+0.100199 s]* /proc/loadavg: 2.00 2.01 1.98 3/187 8922 /proc/meminfo: memFree=24706492/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2026972 memory=17256 CPUtime=0.1 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 1959 0 0 0 9 1 0 0 20 0 1 0 219135448 2075619328 4314 33554432000 4194304 5849708 140730707584160 140730707584160 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 506743 4314 711 405 0 503688 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2026972 KiB Current children cumulated memory: 17256 KiB [startup+0.209763 s]* /proc/loadavg: 2.00 2.01 1.98 3/187 8922 /proc/meminfo: memFree=24706120/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2027476 memory=17744 CPUtime=0.21 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 2155 0 0 0 20 1 0 0 20 0 1 0 219135448 2076135424 4436 33554432000 4194304 5849708 140730707584160 140730707582632 5399709 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 506869 4436 726 405 0 503814 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2027476 KiB Current children cumulated memory: 17744 KiB [startup+0.309462 s]* /proc/loadavg: 2.00 2.01 1.98 3/187 8922 /proc/meminfo: memFree=24706012/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2028756 memory=18608 CPUtime=0.31 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 2430 0 0 0 30 1 0 0 20 0 1 0 219135448 2077446144 4652 33554432000 4194304 5849708 140730707584160 140730707582632 5362068 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 507189 4652 729 405 0 504134 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2028756 KiB Current children cumulated memory: 18608 KiB [startup+0.700337 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8922 /proc/meminfo: memFree=24705400/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2026072 memory=16496 CPUtime=0.69 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 2541 0 0 0 68 1 0 0 20 0 1 0 219135448 2074697728 4124 33554432000 4194304 5849708 140730707584160 140730707582632 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 506518 4124 749 405 0 503463 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2026072 KiB Current children cumulated memory: 16496 KiB [startup+1.50035 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8922 /proc/meminfo: memFree=24705772/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2028424 memory=18496 CPUtime=1.49 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 3772 0 0 0 146 3 0 0 20 0 1 0 219135448 2077106176 4624 33554432000 4194304 5849708 140730707584160 140730707582648 5355922 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 507106 4624 749 405 0 504051 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2028424 KiB Current children cumulated memory: 18496 KiB [startup+3.10932 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8922 /proc/meminfo: memFree=24673208/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2028440 memory=18756 CPUtime=3.1 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 5070 0 0 0 306 4 0 0 20 0 1 0 219135448 2077122560 4689 33554432000 4194304 5849708 140730707584160 140730707583160 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 507110 4689 751 405 0 504055 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2028440 KiB Current children cumulated memory: 18756 KiB [startup+6.30034 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8922 /proc/meminfo: memFree=24671844/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2029548 memory=19960 CPUtime=6.3 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 6064 0 0 0 622 8 0 0 20 0 1 0 219135448 2078257152 4990 33554432000 4194304 5849708 140730707584160 140730707583160 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 507387 4990 751 405 0 504332 0 Current children cumulated CPU time: 6.3 s Current children cumulated vsize: 2029548 KiB Current children cumulated memory: 19960 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8922 /proc/meminfo: memFree=24668000/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2034200 memory=23972 CPUtime=12.69 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 10903 0 0 0 1255 14 0 0 20 0 1 0 219135448 2083020800 5993 33554432000 4194304 5849708 140730707584160 140730707583160 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 508550 5993 751 405 0 505495 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2034200 KiB Current children cumulated memory: 23972 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8922 /proc/meminfo: memFree=24664588/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2034552 memory=24448 CPUtime=25.49 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 19806 0 0 0 2521 28 0 0 20 0 1 0 219135448 2083381248 6112 33554432000 4194304 5849708 140730707584160 140730707583160 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 508638 6112 751 405 0 505583 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 2034552 KiB Current children cumulated memory: 24448 KiB [startup+51.1095 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8922 /proc/meminfo: memFree=24599612/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2033848 memory=24000 CPUtime=51.1 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 26113 0 0 0 5054 56 0 0 20 0 1 0 219135448 2082660352 6000 33554432000 4194304 5849708 140730707584160 140730707583160 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 508462 6000 751 405 0 505407 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 2033848 KiB Current children cumulated memory: 24000 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8930 /proc/meminfo: memFree=24658164/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2040176 memory=30352 CPUtime=102.29 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 37312 0 0 0 10128 101 0 0 20 0 1 0 219135448 2089140224 7588 33554432000 4194304 5849708 140730707584160 140730707583160 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 510044 7588 751 405 0 506989 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 2040176 KiB Current children cumulated memory: 30352 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8931 /proc/meminfo: memFree=24669104/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2029804 memory=19456 CPUtime=162.29 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 51363 0 0 0 16078 151 0 0 20 0 1 0 219135448 2078519296 4864 33554432000 4194304 5849708 140730707584160 140730707583160 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 507451 4864 751 405 0 504396 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 2029804 KiB Current children cumulated memory: 19456 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8932 /proc/meminfo: memFree=24660284/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2038180 memory=28556 CPUtime=222.29 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 69892 0 0 0 22023 206 0 0 20 0 1 0 219135448 2087096320 7139 33554432000 4194304 5849708 140730707584160 140730707583160 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 509545 7139 751 405 0 506490 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 2038180 KiB Current children cumulated memory: 28556 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 8933 /proc/meminfo: memFree=24728768/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2042256 memory=32668 CPUtime=282.29 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 84095 0 0 0 27978 251 0 0 20 0 1 0 219135448 2091270144 8167 33554432000 4194304 5849708 140730707584160 140730707583160 140543448575879 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 510564 8167 751 405 0 507509 0 Current children cumulated CPU time: 282.29 s Current children cumulated vsize: 2042256 KiB Current children cumulated memory: 32668 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.98 4/187 8934 /proc/meminfo: memFree=24739104/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2030276 memory=20732 CPUtime=342.29 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 98269 0 0 0 33936 293 0 0 20 0 1 0 219135448 2079002624 5183 33554432000 4194304 5849708 140730707584160 140730707582648 4209316 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 507569 5183 751 405 0 504514 0 Current children cumulated CPU time: 342.29 s Current children cumulated vsize: 2030276 KiB Current children cumulated memory: 20732 KiB [startup+342.35 s] # the end of solver process 8921 was just reported to runsolver # cumulated CPU time of all completed processes: user=339.416 s, system=2.93602 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.98 4/187 8934 /proc/meminfo: memFree=24739104/32770624 swapFree=67108860/67108860 [pid=8921] ppid=8918 vsize=2030276 memory=20732 CPUtime=342.29 cores=0,2,4,6 /proc/8921/stat : 8921 (xcsp_picat) R 8918 8921 5709 0 -1 4202496 98269 0 0 0 33936 293 0 0 20 0 1 0 219135448 2079002624 5183 33554432000 4194304 5849708 140730707584160 140730707582648 4209316 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46850048 140730707588278 140730707588356 140730707588356 140730707591114 0 /proc/8921/statm: 507569 5183 751 405 0 504514 0 Current children cumulated CPU time: 342.29 s Current children cumulated vsize: 2030276 KiB Current children cumulated memory: 20732 KiB Child status: 0 Real time (s): 342.35 CPU time (s): 342.352 CPU user time (s): 339.416 CPU system time (s): 2.93602 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 2049672 Max. memory (cumulated for all children) (KiB): 40028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 339.416 system time used= 2.93602 maximum resident set size= 40028 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98317 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= 2 involuntary context switches= 540 # summary of solver processes directly reported to runsolver: # pid: 8921 # total CPU time (s): 342.352 # total CPU user time (s): 339.416 # total CPU system time (s): 2.93602 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.23494 second user time and 2.40241 second system time The end
Begin job on node107 at 2018-08-11 21:28:43 IDJOB=4303213 IDBENCH=141425 IDSOLVER=2778 FILE ID=node107/4303213-1534015723 RUNJOBID= node107-1533993611-5740 PBS_JOBID= 21036955 Free space on /tmp= 39332 MiB SOLVER NAME= PicatSAT 2018-08-02 BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-026_c18.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303213-1534015723/watcher-4303213-1534015723 -o /tmp/evaluation-result-4303213-1534015723/solver-4303213-1534015723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5740 --watchdog 2580 xcsp_picat HOME/instance-4303213-1534015723.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4805ee3407b1bb595f0e8cbeb6f1f78a RANDOM SEED=323159233 node107.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.40 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.40 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.40 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.40 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: 24720576 kB MemAvailable: 31663884 kB Buffers: 138912 kB Cached: 7012436 kB SwapCached: 0 kB Active: 3804444 kB Inactive: 3641808 kB Active(anon): 241048 kB Inactive(anon): 106352 kB Active(file): 3563396 kB Inactive(file): 3535456 kB Unevictable: 6976 kB Mlocked: 6976 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3188 kB Writeback: 0 kB AnonPages: 315748 kB Mapped: 53324 kB Shmem: 49804 kB Slab: 300852 kB SReclaimable: 272916 kB SUnreclaim: 27936 kB KernelStack: 3568 kB PageTables: 5816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2604120 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 225280 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 39328 MiB End job on node107 at 2018-08-11 21:34:25