Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PicatSAT 2018-08-14 | OPT | 37 | 190.42 | 190.431 |
Name | LowAutocorrelation/ LowAutocorrelation-027_c18.xml |
MD5SUM | 3b4f2db8288176648c1ae256edb285c5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 190.42 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 755 |
Number of constraints | 403 |
Number of domains | 53 |
Minimum domain size | 2 |
Maximum domain size | 53 |
Distribution of domain sizes | [{"size":2,"count":379},{"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":2},{"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},{"size":53,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":0,"count":325},{"degree":2,"count":403},{"degree":26,"count":27}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 27 |
Distribution of constraint arities | [{"arity":2,"count":27},{"arity":3,"count":352},{"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},{"arity":27,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 377 |
Distribution of constraint types | [{"type":"intension","count":377},{"type":"sum","count":26}] |
Optimization problem | YES |
Type of objective | min SUM |
190.38/190.43 c xcsp_picat version 2.4#7 (8/14/2018) 190.38/190.43 o 469 190.38/190.43 o 229 190.38/190.43 o 101 190.38/190.43 o 37 190.38/190.43 s OPTIMUM FOUND 190.38/190.43 v <instantiation> 190.38/190.43 v <list> c[] y[][] x[] s[] </list> 190.38/190.43 v <values> 0 -1 0 -1 0 -1 0 3 0 -1 0 -1 0 -1 0 -1 0 3 0 3 0 -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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 0 1 0 1 0 1 0 9 0 1 0 1 0 1 0 1 0 9 0 9 0 1 0 1 0 1 </values> 190.38/190.43 v </instantiation>
OK 37
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 (10713 MiB free) memory of node 1: 16384 MiB (12387 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309554-1534308192/watcher-4309554-1534308192 -o /tmp/evaluation-result-4309554-1534308192/solver-4309554-1534308192 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-324 --watchdog 2580 xcsp_picat HOME/instance-4309554-1534308192.xml running on 4 cores: 1,3,5,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 Current StackSize limit: 8192 KiB solver pid=3300, runsolver pid=3297 [startup+0.100129 s]* /proc/loadavg: 1.97 1.98 2.03 3/187 3301 /proc/meminfo: memFree=23642136/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2026520 memory=16700 CPUtime=0.1 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 1816 0 0 0 9 1 0 0 20 0 1 0 248382393 2075156480 4175 33554432000 4194304 5849940 140734497666352 140734497666352 4828849 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 506630 4175 710 405 0 503574 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2026520 KiB Current children cumulated memory: 16700 KiB [startup+0.209582 s]* /proc/loadavg: 1.97 1.98 2.03 3/187 3301 /proc/meminfo: memFree=23640276/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2027528 memory=17828 CPUtime=0.21 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 2192 0 0 0 20 1 0 0 20 0 1 0 248382393 2076188672 4457 33554432000 4194304 5849940 140734497666352 140734497664840 5375386 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 506882 4457 726 405 0 503826 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2027528 KiB Current children cumulated memory: 17828 KiB [startup+0.308931 s]* /proc/loadavg: 1.97 1.98 2.03 3/187 3301 /proc/meminfo: memFree=23639532/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2028716 memory=18660 CPUtime=0.31 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 2475 0 0 0 30 1 0 0 20 0 1 0 248382393 2077405184 4665 33554432000 4194304 5849940 140734497666352 140734497664840 5361934 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 507179 4665 729 405 0 504123 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2028716 KiB Current children cumulated memory: 18660 KiB [startup+0.700279 s] /proc/loadavg: 1.97 1.98 2.03 3/187 3301 /proc/meminfo: memFree=23639244/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2028868 memory=19156 CPUtime=0.69 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 2594 0 0 0 68 1 0 0 20 0 1 0 248382393 2077560832 4789 33554432000 4194304 5849940 140734497666352 140734497664840 4211389 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 507217 4789 738 405 0 504161 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2028868 KiB Current children cumulated memory: 19156 KiB [startup+1.50028 s] /proc/loadavg: 1.97 1.98 2.03 3/187 3301 /proc/meminfo: memFree=23638732/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2027984 memory=18280 CPUtime=1.49 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 3781 0 0 0 146 3 0 0 20 0 1 0 248382393 2076655616 4570 33554432000 4194304 5849940 140734497666352 140734497665464 140606527334304 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 506996 4570 749 405 0 503940 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2027984 KiB Current children cumulated memory: 18280 KiB [startup+3.10915 s] /proc/loadavg: 1.97 1.98 2.03 3/187 3301 /proc/meminfo: memFree=23638548/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2029008 memory=19368 CPUtime=3.1 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 5076 0 0 0 305 5 0 0 20 0 1 0 248382393 2077704192 4842 33554432000 4194304 5849940 140734497666352 140734497665000 140606527745927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 507252 4842 751 405 0 504196 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2029008 KiB Current children cumulated memory: 19368 KiB [startup+6.30027 s] /proc/loadavg: 1.97 1.98 2.03 3/187 3301 /proc/meminfo: memFree=23636772/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2030712 memory=20832 CPUtime=6.29 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 6301 0 0 0 619 10 0 0 20 0 1 0 248382393 2079449088 5208 33554432000 4194304 5849940 140734497666352 140734497665352 140606527745927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 507678 5208 751 405 0 504622 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 2030712 KiB Current children cumulated memory: 20832 KiB [startup+12.7003 s] /proc/loadavg: 1.97 1.98 2.03 3/187 3301 /proc/meminfo: memFree=23635396/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2033256 memory=23656 CPUtime=12.69 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 10606 0 0 0 1253 16 0 0 20 0 1 0 248382393 2082054144 5914 33554432000 4194304 5849940 140734497666352 140734497665352 140606527745927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 508314 5914 751 405 0 505258 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2033256 KiB Current children cumulated memory: 23656 KiB [startup+25.5003 s] /proc/loadavg: 1.98 1.98 2.03 3/187 3301 /proc/meminfo: memFree=23633224/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2032576 memory=22876 CPUtime=25.49 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 18897 0 0 0 2520 29 0 0 20 0 1 0 248382393 2081357824 5719 33554432000 4194304 5849940 140734497666352 140734497665352 140606527745927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 508144 5719 751 405 0 505088 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 2032576 KiB Current children cumulated memory: 22876 KiB [startup+51.1092 s] /proc/loadavg: 1.99 1.99 2.03 3/187 3301 /proc/meminfo: memFree=23631248/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2036312 memory=26576 CPUtime=51.09 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 29368 0 0 0 5058 51 0 0 20 0 1 0 248382393 2085183488 6644 33554432000 4194304 5849940 140734497666352 140734497665352 140606527745927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 509078 6644 751 405 0 506022 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 2036312 KiB Current children cumulated memory: 26576 KiB [startup+102.3 s] /proc/loadavg: 1.99 1.99 2.03 3/187 3302 /proc/meminfo: memFree=23633452/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2033864 memory=24140 CPUtime=102.28 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 40388 0 0 0 10128 100 0 0 20 0 1 0 248382393 2082676736 6035 33554432000 4194304 5849940 140734497666352 140734497665352 5360893 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 508466 6035 751 405 0 505410 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 2033864 KiB Current children cumulated memory: 24140 KiB [startup+162.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 3303 /proc/meminfo: memFree=23627264/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2039344 memory=29500 CPUtime=162.28 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 44685 0 0 0 16072 156 0 0 20 0 1 0 248382393 2088288256 7375 33554432000 4194304 5849940 140734497666352 140734497665352 140606527745927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 509836 7375 751 405 0 506780 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 2039344 KiB Current children cumulated memory: 29500 KiB [startup+190.431 s] # the end of solver process 3300 was just reported to runsolver # cumulated CPU time of all completed processes: user=188.622 s, system=1.7979 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+166.4 s] /proc/loadavg: 2.00 1.99 2.03 3/187 3303 /proc/meminfo: memFree=23627264/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2039344 memory=29500 CPUtime=166.38 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 44685 0 0 0 16478 160 0 0 20 0 1 0 248382393 2088288256 7375 33554432000 4194304 5849940 140734497666352 140734497665352 140606527745927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 509836 7375 751 405 0 506780 0 Current children cumulated CPU time: 166.38 s Current children cumulated vsize: 2039344 KiB Current children cumulated memory: 29500 KiB [startup+179.2 s] /proc/loadavg: 2.14 2.02 2.04 3/187 3303 /proc/meminfo: memFree=23618336/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2042888 memory=33112 CPUtime=179.18 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 45060 0 0 0 17749 169 0 0 20 0 1 0 248382393 2091917312 8278 33554432000 4194304 5849940 140734497666352 140734497665512 140606527745927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 510722 8278 751 405 0 507666 0 Current children cumulated CPU time: 179.18 s Current children cumulated vsize: 2042888 KiB Current children cumulated memory: 33112 KiB [startup+185.6 s] /proc/loadavg: 2.13 2.02 2.04 3/187 3304 /proc/meminfo: memFree=23617124/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2045888 memory=33904 CPUtime=185.58 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 45266 0 0 0 18384 174 0 0 20 0 1 0 248382393 2094989312 8476 33554432000 4194304 5849940 140734497666352 140734497665352 140606527745927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 511472 8476 751 405 0 508416 0 Current children cumulated CPU time: 185.58 s Current children cumulated vsize: 2045888 KiB Current children cumulated memory: 33904 KiB [startup+188.8 s] /proc/loadavg: 2.12 2.02 2.04 3/187 3304 /proc/meminfo: memFree=23617132/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2045888 memory=33904 CPUtime=188.78 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 45266 0 0 0 18701 177 0 0 20 0 1 0 248382393 2094989312 8476 33554432000 4194304 5849940 140734497666352 140734497665352 140606527745927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 511472 8476 751 405 0 508416 0 Current children cumulated CPU time: 188.78 s Current children cumulated vsize: 2045888 KiB Current children cumulated memory: 33904 KiB [startup+189.6 s] /proc/loadavg: 2.12 2.02 2.04 3/187 3304 /proc/meminfo: memFree=23617256/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2033308 memory=23796 CPUtime=189.58 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 45270 0 0 0 18780 178 0 0 20 0 1 0 248382393 2082107392 5949 33554432000 4194304 5849940 140734497666352 140734497665352 4235072 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 508327 5949 751 405 0 505271 0 Current children cumulated CPU time: 189.58 s Current children cumulated vsize: 2033308 KiB Current children cumulated memory: 23796 KiB [startup+190 s]* /proc/loadavg: 2.12 2.02 2.04 3/187 3304 /proc/meminfo: memFree=23627056/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2033308 memory=23796 CPUtime=189.99 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 45270 0 0 0 18820 179 0 0 20 0 1 0 248382393 2082107392 5949 33554432000 4194304 5849940 140734497666352 140734497664840 5376477 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 508327 5949 751 405 0 505271 0 Current children cumulated CPU time: 189.99 s Current children cumulated vsize: 2033308 KiB Current children cumulated memory: 23796 KiB [startup+190.4 s] /proc/loadavg: 2.12 2.02 2.04 3/187 3304 /proc/meminfo: memFree=23627056/32770624 swapFree=67108196/67108860 [pid=3300] ppid=3297 vsize=2033308 memory=23796 CPUtime=190.38 cores=1,3,5,7 /proc/3300/stat : 3300 (xcsp_picat) R 3297 3300 32759 0 -1 4202496 45270 0 0 0 18859 179 0 0 20 0 1 0 248382393 2082107392 5949 33554432000 4194304 5849940 140734497666352 140734497664840 5307286 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 29155328 140734497670326 140734497670404 140734497670404 140734497673162 0 /proc/3300/statm: 508327 5949 751 405 0 505271 0 Current children cumulated CPU time: 190.38 s Current children cumulated vsize: 2033308 KiB Current children cumulated memory: 23796 KiB Child status: 0 Real time (s): 190.431 CPU time (s): 190.42 CPU user time (s): 188.622 CPU system time (s): 1.7979 CPU usage (%): 99.9942 Max. virtual memory (cumulated for all children) (KiB): 2045888 Max. memory (cumulated for all children) (KiB): 33904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 188.622 system time used= 1.7979 maximum resident set size= 33904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45331 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= 148 # summary of solver processes directly reported to runsolver: # pid: 3300 # total CPU time (s): 190.42 # total CPU user time (s): 188.622 # total CPU system time (s): 1.7979 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.615089 second user time and 1.35694 second system time The end
Begin job on node151 at 2018-08-15 06:43:12 IDJOB=4309554 IDBENCH=141423 IDSOLVER=2794 FILE ID=node151/4309554-1534308192 RUNJOBID= node151-1534293053-324 PBS_JOBID= 21038135 Free space on /tmp= 43896 MiB SOLVER NAME= PicatSAT 2018-08-14 BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-027_c18.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309554-1534308192/watcher-4309554-1534308192 -o /tmp/evaluation-result-4309554-1534308192/solver-4309554-1534308192 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-324 --watchdog 2580 xcsp_picat HOME/instance-4309554-1534308192.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3b4f2db8288176648c1ae256edb285c5 RANDOM SEED=564836035 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.87 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.87 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.87 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.87 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: 23655108 kB MemAvailable: 31514180 kB Buffers: 170560 kB Cached: 7919180 kB SwapCached: 12 kB Active: 4513252 kB Inactive: 4013288 kB Active(anon): 386400 kB Inactive(anon): 110776 kB Active(file): 4126852 kB Inactive(file): 3902512 kB Unevictable: 7820 kB Mlocked: 7820 kB SwapTotal: 67108860 kB SwapFree: 67108196 kB Dirty: 3304 kB Writeback: 0 kB AnonPages: 466876 kB Mapped: 58868 kB Shmem: 57716 kB Slab: 286560 kB SReclaimable: 258168 kB SUnreclaim: 28392 kB KernelStack: 3568 kB PageTables: 6184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2595148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 401408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 43892 MiB End job on node151 at 2018-08-15 06:46:23