Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
(reference) PicatSAT 2019-09-12 | OPT | 503 | 226.188 | 226.191 |
Name | PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e5.xml |
MD5SUM | 09b37649e722f1a7e8efbcfa22777a90 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 503 |
Best CPU time to get the best result obtained on this benchmark | 226.188 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1044 |
Number of constraints | 12158 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1044}] |
Minimum variable degree | 3 |
Maximum variable degree | 182 |
Distribution of variable degrees | [{"degree":3,"count":330},{"degree":25,"count":3},{"degree":30,"count":3},{"degree":32,"count":3},{"degree":34,"count":333},{"degree":43,"count":3},{"degree":46,"count":6},{"degree":48,"count":3},{"degree":50,"count":3},{"degree":52,"count":15},{"degree":53,"count":9},{"degree":54,"count":9},{"degree":55,"count":12},{"degree":56,"count":6},{"degree":57,"count":18},{"degree":59,"count":18},{"degree":60,"count":6},{"degree":61,"count":12},{"degree":62,"count":9},{"degree":63,"count":9},{"degree":64,"count":15},{"degree":66,"count":3},{"degree":68,"count":3},{"degree":70,"count":6},{"degree":73,"count":3},"...",{"degree":140,"count":9}, {"degree":142,"count":3}, {"degree":143,"count":3}, {"degree":144,"count":12}, {"degree":145,"count":12}, {"degree":146,"count":3}, {"degree":147,"count":12}, {"degree":148,"count":3}, {"degree":149,"count":12}, {"degree":150,"count":12}, {"degree":151,"count":3}, {"degree":152,"count":3}, {"degree":154,"count":9}, {"degree":155,"count":3}, {"degree":156,"count":9}, {"degree":157,"count":6}, {"degree":158,"count":3}, {"degree":159,"count":3}, {"degree":160,"count":3}, {"degree":163,"count":6}, {"degree":165,"count":3}, {"degree":166,"count":3}, {"degree":172,"count":3}, {"degree":175,"count":3}, {"degree":182,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 32 |
Distribution of constraint arities | [{"arity":2,"count":11178},{"arity":3,"count":110},{"arity":32,"count":870}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":12158}] |
Optimization problem | YES |
Type of objective | min SUM |
126.49/126.50 c xcsp_picat version 2.7b12 (9/12/2019) 126.49/126.50 o 516 218.29/218.36 o 506 218.29/218.36 o 503 226.10/226.19 s OPTIMUM FOUND 226.10/226.19 v <instantiation> 226.10/226.19 v <list> x[] </list> 226.10/226.19 v <values> 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 </values> 226.10/226.19 v </instantiation>
OK 503
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 (13824 MiB free) memory of node 1: 16384 MiB (11034 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407771-1569512561/watcher-4407771-1569512561 -o /tmp/evaluation-result-4407771-1569512561/solver-4407771-1569512561 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569509600-8665 --watchdog 2560 xcsp_picat HOME/instance-4407771-1569512561.xml running on 4 cores: 0,2,4,6 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=9721, runsolver pid=9718 [startup+0.100147 s]* /proc/loadavg: 2.18 2.07 1.95 3/200 9722 /proc/meminfo: memFree=25441428/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2031716 memory=18344 CPUtime=0.1 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 1677 0 0 0 10 0 0 0 20 0 1 0 527527353 2080477184 4586 33554432000 4194304 5870510 140724509971312 140724509968456 4461514 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 507929 4586 837 410 0 503402 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 18344 KiB [startup+0.209847 s]* /proc/loadavg: 2.18 2.07 1.95 3/200 9722 /proc/meminfo: memFree=25431632/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2037560 memory=28748 CPUtime=0.21 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 2272 0 0 0 21 0 0 0 20 0 1 0 527527353 2086461440 7187 33554432000 4194304 5870510 140724509971312 140724509961800 139685940866951 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 509390 7187 936 410 0 504863 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2037560 KiB Current children cumulated memory: 28748 KiB [startup+0.309497 s]* /proc/loadavg: 2.18 2.07 1.95 3/200 9722 /proc/meminfo: memFree=25431632/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2037560 memory=28748 CPUtime=0.31 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 2275 0 0 0 31 0 0 0 20 0 1 0 527527353 2086461440 7187 33554432000 4194304 5870510 140724509971312 140724509961800 139685940866951 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 509390 7187 936 410 0 504863 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2037560 KiB Current children cumulated memory: 28748 KiB [startup+0.700271 s] /proc/loadavg: 2.18 2.07 1.95 3/200 9722 /proc/meminfo: memFree=25431632/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2037656 memory=28952 CPUtime=0.69 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 2310 0 0 0 69 0 0 0 20 0 1 0 527527353 2086559744 7238 33554432000 4194304 5870510 140724509971312 140724509961800 139685940866951 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 509414 7238 953 410 0 504887 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2037656 KiB Current children cumulated memory: 28952 KiB [startup+1.50032 s] /proc/loadavg: 2.18 2.07 1.95 3/200 9722 /proc/meminfo: memFree=25431632/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2035512 memory=30896 CPUtime=1.49 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 3128 0 0 0 149 0 0 0 20 0 1 0 527527353 2084364288 7724 33554432000 4194304 5870510 140724509971312 140724509970552 5267727 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 508878 7724 984 410 0 504351 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2035512 KiB Current children cumulated memory: 30896 KiB [startup+3.10955 s] /proc/loadavg: 2.16 2.07 1.95 3/200 9722 /proc/meminfo: memFree=25425308/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2040992 memory=35532 CPUtime=3.1 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 5516 0 0 0 309 1 0 0 20 0 1 0 527527353 2089975808 8883 33554432000 4194304 5870510 140724509971312 140724509969672 5298780 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 510248 8883 984 410 0 505721 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2040992 KiB Current children cumulated memory: 35532 KiB [startup+6.30025 s] /proc/loadavg: 2.16 2.07 1.95 3/200 9722 /proc/meminfo: memFree=25416928/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2048932 memory=43972 CPUtime=6.29 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 8224 0 0 0 628 1 0 0 20 0 1 0 527527353 2098106368 10993 33554432000 4194304 5870510 140724509971312 140724509969752 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 512233 10993 984 410 0 507706 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 2048932 KiB Current children cumulated memory: 43972 KiB [startup+12.7003 s] /proc/loadavg: 2.14 2.06 1.95 3/200 9723 /proc/meminfo: memFree=25410628/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2060512 memory=49320 CPUtime=12.69 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 13401 0 0 0 1267 2 0 0 20 0 1 0 527527353 2109964288 12330 33554432000 4194304 5870510 140724509971312 140724509969752 5272920 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 515128 12330 984 410 0 510601 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2060512 KiB Current children cumulated memory: 49320 KiB [startup+25.5003 s] /proc/loadavg: 2.12 2.06 1.95 3/200 9725 /proc/meminfo: memFree=25411904/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2054780 memory=47004 CPUtime=25.49 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 20684 0 0 0 2546 3 0 0 20 0 1 0 527527353 2104094720 11751 33554432000 4194304 5870510 140724509971312 140724509969752 5282617 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 513695 11751 984 410 0 509168 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 2054780 KiB Current children cumulated memory: 47004 KiB [startup+51.1097 s] /proc/loadavg: 2.08 2.06 1.95 3/200 9725 /proc/meminfo: memFree=25405972/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2057512 memory=49340 CPUtime=51.1 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 29273 0 0 0 5103 7 0 0 20 0 1 0 527527353 2106892288 12335 33554432000 4194304 5870510 140724509971312 140724509969752 5272962 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 514378 12335 991 410 0 509851 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 2057512 KiB Current children cumulated memory: 49340 KiB [startup+102.3 s] /proc/loadavg: 2.03 2.05 1.95 3/200 9790 /proc/meminfo: memFree=25464156/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2072032 memory=66200 CPUtime=102.28 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 34565 0 0 0 10220 8 0 0 20 0 1 0 527527353 2121760768 16550 33554432000 4194304 5870510 140724509971312 140724509969880 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 518008 16550 991 410 0 513481 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 2072032 KiB Current children cumulated memory: 66200 KiB [startup+162.3 s] /proc/loadavg: 2.09 2.06 1.96 3/199 9796 /proc/meminfo: memFree=25438744/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2090388 memory=89780 CPUtime=162.29 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 36890 0 0 0 16219 10 0 0 20 0 1 0 527527353 2140557312 22445 33554432000 4194304 5870510 140724509971312 140724509969752 5282627 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 522597 22445 991 410 0 518070 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 2090388 KiB Current children cumulated memory: 89780 KiB [startup+222.3 s] /proc/loadavg: 2.03 2.04 1.96 3/199 9860 /proc/meminfo: memFree=25349452/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2111264 memory=91828 CPUtime=222.29 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 36963 0 0 0 22219 10 0 0 20 0 1 0 527527353 2161934336 22957 33554432000 4194304 5870510 140724509971312 140724509970424 5272175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 527816 22957 991 410 0 523289 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 2111264 KiB Current children cumulated memory: 91828 KiB [startup+226.191 s] # the end of solver process 9721 was just reported to runsolver # cumulated CPU time of all completed processes: user=226.081 s, system=0.107 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+224 s]* /proc/loadavg: 2.03 2.04 1.96 3/199 9860 /proc/meminfo: memFree=25349444/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2111264 memory=91828 CPUtime=223.99 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 36963 0 0 0 22389 10 0 0 20 0 1 0 527527353 2161934336 22957 33554432000 4194304 5870510 140724509971312 140724509970424 5282421 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 527816 22957 991 410 0 523289 0 Current children cumulated CPU time: 223.99 s Current children cumulated vsize: 2111264 KiB Current children cumulated memory: 91828 KiB [startup+224.8 s] /proc/loadavg: 2.03 2.04 1.96 3/199 9860 /proc/meminfo: memFree=25349444/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2111264 memory=91828 CPUtime=224.79 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 36963 0 0 0 22469 10 0 0 20 0 1 0 527527353 2161934336 22957 33554432000 4194304 5870510 140724509971312 140724509970424 5262575 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 527816 22957 991 410 0 523289 0 Current children cumulated CPU time: 224.79 s Current children cumulated vsize: 2111264 KiB Current children cumulated memory: 91828 KiB [startup+225.6 s] /proc/loadavg: 2.03 2.04 1.96 3/199 9861 /proc/meminfo: memFree=25349452/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2111264 memory=91828 CPUtime=225.59 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 36963 0 0 0 22549 10 0 0 20 0 1 0 527527353 2161934336 22957 33554432000 4194304 5870510 140724509971312 140724509970424 5262639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 527816 22957 991 410 0 523289 0 Current children cumulated CPU time: 225.59 s Current children cumulated vsize: 2111264 KiB Current children cumulated memory: 91828 KiB [startup+226 s]* /proc/loadavg: 2.03 2.04 1.96 3/199 9861 /proc/meminfo: memFree=25349436/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2111264 memory=91828 CPUtime=225.99 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 36963 0 0 0 22589 10 0 0 20 0 1 0 527527353 2161934336 22957 33554432000 4194304 5870510 140724509971312 140724509970424 5282336 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 527816 22957 991 410 0 523289 0 Current children cumulated CPU time: 225.99 s Current children cumulated vsize: 2111264 KiB Current children cumulated memory: 91828 KiB [startup+226.11 s] /proc/loadavg: 2.03 2.04 1.96 3/199 9861 /proc/meminfo: memFree=25349436/32770624 swapFree=66956692/67108860 [pid=9721] ppid=9718 vsize=2111264 memory=91828 CPUtime=226.1 cores=0,2,4,6 /proc/9721/stat : 9721 (xcsp_picat) R 9718 9721 8634 0 -1 4202496 36963 0 0 0 22600 10 0 0 20 0 1 0 527527353 2161934336 22957 33554432000 4194304 5870510 140724509971312 140724509970424 5262639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 40321024 140724509979679 140724509979757 140724509979757 140724509982666 0 /proc/9721/statm: 527816 22957 991 410 0 523289 0 Current children cumulated CPU time: 226.1 s Current children cumulated vsize: 2111264 KiB Current children cumulated memory: 91828 KiB Child status: 0 Real time (s): 226.191 CPU time (s): 226.188 CPU user time (s): 226.081 CPU system time (s): 0.107 CPU usage (%): 99.9986 Max. virtual memory (cumulated for all children) (KiB): 2111264 Max. memory (cumulated for all children) (KiB): 93692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 226.081 system time used= 0.107 maximum resident set size= 93692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36985 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= 10 involuntary context switches= 167 # summary of solver processes directly reported to runsolver: # pid: 9721 # total CPU time (s): 226.188 # total CPU user time (s): 226.081 # total CPU system time (s): 0.107 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.920077 second user time and 1.59614 second system time The end
Begin job on node151 at 2019-09-26 17:42:00 IDJOB=4407771 IDBENCH=134968 IDSOLVER=2873 FILE ID=node151/4407771-1569512561 RUNJOBID= node151-1569509600-8665 PBS_JOBID= 21705776 Free space on /tmp= 12408 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-ii32e5.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407771-1569512561/watcher-4407771-1569512561 -o /tmp/evaluation-result-4407771-1569512561/solver-4407771-1569512561 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569509600-8665 --watchdog 2560 xcsp_picat HOME/instance-4407771-1569512561.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 09b37649e722f1a7e8efbcfa22777a90 RANDOM SEED=69802630 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25456524 kB MemAvailable: 31675404 kB Buffers: 100636 kB Cached: 6322468 kB SwapCached: 50572 kB Active: 2827636 kB Inactive: 3758488 kB Active(anon): 130660 kB Inactive(anon): 103652 kB Active(file): 2696976 kB Inactive(file): 3654836 kB Unevictable: 108108 kB Mlocked: 108108 kB SwapTotal: 67108860 kB SwapFree: 66956692 kB Dirty: 3884 kB Writeback: 0 kB AnonPages: 220892 kB Mapped: 24096 kB Shmem: 62540 kB Slab: 324088 kB SReclaimable: 295528 kB SUnreclaim: 28560 kB KernelStack: 3568 kB PageTables: 5648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2662820 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 12404 MiB End job on node151 at 2019-09-26 17:45:46