Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PicatSAT 2019-09-12 | OPT | 6 | 58.1955 | 58.2103 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml |
MD5SUM | 7175cc64c8263572fa1d1d1459976d33 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 58.1955 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 852 |
Number of constraints | 12201 |
Number of domains | 1 |
Minimum domain size | 852 |
Maximum domain size | 852 |
Distribution of domain sizes | [{"size":852,"count":852}] |
Minimum variable degree | 9 |
Maximum variable degree | 216 |
Distribution of variable degrees | [{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":12201}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 12201 |
Distribution of constraint types | [{"type":"intension","count":12201}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
58.18/58.20 c xcsp_picat version 2.7b12 (9/12/2019) 58.18/58.20 o 228 58.18/58.20 o 64 58.18/58.20 o 14 58.18/58.20 o 7 58.18/58.20 o 6 58.18/58.20 s OPTIMUM FOUND 58.18/58.20 v <instantiation> 58.18/58.20 v <list> x[] </list> 58.18/58.20 v <values> 3 0 5 5 1 6 0 0 5 6 0 1 3 2 5 2 3 6 3 3 3 6 3 3 1 1 5 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 3 3 0 3 3 3 5 0 3 6 1 2 5 2 6 1 2 2 2 6 2 2 2 2 5 5 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 0 2 0 2 0 2 2 2 0 2 2 2 1 1 2 1 0 3 0 3 0 3 3 3 0 3 3 1 0 0 0 3 0 0 0 0 0 0 0 0 0 1 0 3 0 1 1 1 0 3 1 1 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 2 0 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 4 4 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 6 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 2 4 0 </values> 58.18/58.20 v </instantiation>
OK 6
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 (11779 MiB free) memory of node 1: 16384 MiB (14385 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395544-1568328338/watcher-4395544-1568328338 -o /tmp/evaluation-result-4395544-1568328338/solver-4395544-1568328338 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22069 --watchdog 2560 xcsp_picat HOME/instance-4395544-1568328338.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=22162, runsolver pid=22159 [startup+0.100113 s]* /proc/loadavg: 1.40 1.13 1.40 3/200 22163 /proc/meminfo: memFree=26773436/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2031716 memory=22448 CPUtime=0.1 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 1738 0 0 0 10 0 0 0 20 0 1 0 408747690 2080477184 5612 33554432000 4194304 5870510 140730797116304 140730797113448 4475198 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 507929 5612 839 410 0 503402 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 22448 KiB [startup+0.209777 s]* /proc/loadavg: 1.40 1.13 1.40 3/200 22163 /proc/meminfo: memFree=26754828/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2048740 memory=43928 CPUtime=0.21 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 5279 0 0 0 21 0 0 0 20 0 1 0 408747690 2097909760 10982 33554432000 4194304 5870510 140730797116304 140730797113448 5287596 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 512185 10982 886 410 0 507658 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2048740 KiB Current children cumulated memory: 43928 KiB [startup+0.309671 s]* /proc/loadavg: 1.40 1.13 1.40 3/200 22163 /proc/meminfo: memFree=26726736/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2078888 memory=72012 CPUtime=0.31 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 11833 0 0 0 30 1 0 0 20 0 1 0 408747690 2128781312 18003 33554432000 4194304 5870510 140730797116304 140730797113448 5328447 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 519722 18003 886 410 0 515195 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2078888 KiB Current children cumulated memory: 72012 KiB [startup+0.700282 s] /proc/loadavg: 1.44 1.15 1.40 3/200 22163 /proc/meminfo: memFree=26696920/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2123104 memory=111744 CPUtime=0.69 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 20765 0 0 0 67 2 0 0 20 0 1 0 408747690 2174058496 27936 33554432000 4194304 5870510 140730797116304 140730797113448 5261111 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 530776 27936 889 410 0 526249 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2123104 KiB Current children cumulated memory: 111744 KiB [startup+1.50032 s] /proc/loadavg: 1.44 1.15 1.40 4/213 22192 /proc/meminfo: memFree=26719048/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2148804 memory=137212 CPUtime=1.49 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 25156 0 0 0 146 3 0 0 20 0 1 0 408747690 2200375296 34303 33554432000 4194304 5870510 140730797116304 140730797114616 5343854 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 537201 34303 895 410 0 532674 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2148804 KiB Current children cumulated memory: 137212 KiB [startup+3.1093 s] /proc/loadavg: 1.44 1.15 1.40 3/200 22224 /proc/meminfo: memFree=26675696/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2180740 memory=154512 CPUtime=3.1 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 48373 0 0 0 305 5 0 0 20 0 1 0 408747690 2233077760 38628 33554432000 4194304 5870510 140730797116304 140730797114456 5337468 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 545185 38628 896 410 0 540658 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2180740 KiB Current children cumulated memory: 154512 KiB [startup+6.30028 s] /proc/loadavg: 1.33 1.13 1.39 3/200 22225 /proc/meminfo: memFree=26614520/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2249980 memory=213144 CPUtime=6.29 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 70513 0 0 0 620 9 0 0 20 0 1 0 408747690 2303979520 53286 33554432000 4194304 5870510 140730797116304 140730797115000 5337610 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 562495 53286 896 410 0 557968 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 2249980 KiB Current children cumulated memory: 213144 KiB [startup+12.7003 s] /proc/loadavg: 1.38 1.14 1.40 3/199 22286 /proc/meminfo: memFree=26449632/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2228192 memory=221532 CPUtime=12.68 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 101855 0 0 0 1253 15 0 0 20 0 1 0 408747690 2281668608 55383 33554432000 4194304 5870510 140730797116304 140730797114472 5337497 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 557048 55383 926 410 0 552521 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 2228192 KiB Current children cumulated memory: 221532 KiB [startup+25.5003 s] /proc/loadavg: 1.48 1.17 1.40 3/200 22288 /proc/meminfo: memFree=26504260/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2203728 memory=186636 CPUtime=25.48 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 120403 0 0 0 2529 19 0 0 20 0 1 0 408747690 2256617472 46659 33554432000 4194304 5870510 140730797116304 140730797114728 5337497 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 550932 46659 926 410 0 546405 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 2203728 KiB Current children cumulated memory: 186636 KiB [startup+51.1096 s] /proc/loadavg: 1.68 1.25 1.42 3/199 22410 /proc/meminfo: memFree=26622900/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2178872 memory=157128 CPUtime=51.08 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 144064 0 0 0 5082 26 0 0 20 0 1 0 408747690 2231164928 39282 33554432000 4194304 5870510 140730797116304 140730797114472 5272880 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 544718 39282 977 410 0 540191 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 157128 KiB [startup+58.2102 s] # the end of solver process 22162 was just reported to runsolver # cumulated CPU time of all completed processes: user=57.9095 s, system=0.285972 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+51.2004 s] /proc/loadavg: 1.68 1.25 1.42 3/199 22410 /proc/meminfo: memFree=26622900/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2178872 memory=157128 CPUtime=51.17 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 144064 0 0 0 5091 26 0 0 20 0 1 0 408747690 2231164928 39282 33554432000 4194304 5870510 140730797116304 140730797114472 5272904 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 544718 39282 977 410 0 540191 0 Current children cumulated CPU time: 51.17 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 157128 KiB [startup+54.4003 s] /proc/loadavg: 1.68 1.25 1.42 3/199 22410 /proc/meminfo: memFree=26619424/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2178872 memory=157800 CPUtime=54.37 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 145932 0 0 0 5411 26 0 0 20 0 1 0 408747690 2231164928 39450 33554432000 4194304 5870510 140730797116304 140730797114472 5270993 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 544718 39450 977 410 0 540191 0 Current children cumulated CPU time: 54.37 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 157800 KiB [startup+56.0003 s]* /proc/loadavg: 1.71 1.26 1.42 3/199 22410 /proc/meminfo: memFree=26643312/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2178872 memory=157800 CPUtime=55.98 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 146693 0 0 0 5572 26 0 0 20 0 1 0 408747690 2231164928 39450 33554432000 4194304 5870510 140730797116304 140730797114472 5282555 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 544718 39450 977 410 0 540191 0 Current children cumulated CPU time: 55.98 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 157800 KiB [startup+57.6004 s] /proc/loadavg: 1.71 1.26 1.42 3/199 22410 /proc/meminfo: memFree=26709708/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2178872 memory=150196 CPUtime=57.58 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 151921 0 0 0 5730 28 0 0 20 0 1 0 408747690 2231164928 37549 33554432000 4194304 5870510 140730797116304 140730797114472 5337497 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 544718 37549 977 410 0 540191 0 Current children cumulated CPU time: 57.58 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 150196 KiB [startup+58.0004 s]* /proc/loadavg: 1.71 1.26 1.42 3/199 22410 /proc/meminfo: memFree=26649024/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2178872 memory=152244 CPUtime=57.99 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 151922 0 0 0 5771 28 0 0 20 0 1 0 408747690 2231164928 38061 33554432000 4194304 5870510 140730797116304 140730797114472 5337297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 544718 38061 977 410 0 540191 0 Current children cumulated CPU time: 57.99 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 152244 KiB [startup+58.2004 s] /proc/loadavg: 1.71 1.26 1.42 3/199 22410 /proc/meminfo: memFree=26649024/32770624 swapFree=66957008/67108860 [pid=22162] ppid=22159 vsize=2178872 memory=156340 CPUtime=58.18 cores=0,2,4,6 /proc/22162/stat : 22162 (xcsp_picat) R 22159 22162 22038 0 -1 4202496 151924 0 0 0 5790 28 0 0 20 0 1 0 408747690 2231164928 39085 33554432000 4194304 5870510 140730797116304 140730797114472 139691558909788 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42201088 140730797118495 140730797118573 140730797118573 140730797121482 0 /proc/22162/statm: 544718 39085 977 410 0 540191 0 Current children cumulated CPU time: 58.18 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 156340 KiB Child status: 0 Real time (s): 58.2103 CPU time (s): 58.1955 CPU user time (s): 57.9095 CPU system time (s): 0.285972 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 2299300 Max. memory (cumulated for all children) (KiB): 250900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 57.9095 system time used= 0.285972 maximum resident set size= 253296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152023 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= 19 involuntary context switches= 86 # summary of solver processes directly reported to runsolver: # pid: 22162 # total CPU time (s): 58.1955 # total CPU user time (s): 57.9095 # total CPU system time (s): 0.285972 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.225694 second user time and 0.47054 second system time The end
Begin job on node147 at 2019-09-13 00:44:55 IDJOB=4395544 IDBENCH=120609 IDSOLVER=2845 FILE ID=node147/4395544-1568328338 RUNJOBID= node147-1568328264-22069 PBS_JOBID= 21701153 Free space on /tmp= 56540 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-2-fullins-5.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395544-1568328338/watcher-4395544-1568328338 -o /tmp/evaluation-result-4395544-1568328338/solver-4395544-1568328338 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22069 --watchdog 2560 xcsp_picat HOME/instance-4395544-1568328338.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33 RANDOM SEED=1317425509 node147.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.52 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.52 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.52 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.52 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: 26793044 kB MemAvailable: 31761048 kB Buffers: 127248 kB Cached: 5064920 kB SwapCached: 48504 kB Active: 2127640 kB Inactive: 3169556 kB Active(anon): 57320 kB Inactive(anon): 89348 kB Active(file): 2070320 kB Inactive(file): 3080208 kB Unevictable: 107768 kB Mlocked: 107768 kB SwapTotal: 67108860 kB SwapFree: 66957008 kB Dirty: 3500 kB Writeback: 0 kB AnonPages: 164280 kB Mapped: 45872 kB Shmem: 32764 kB Slab: 274592 kB SReclaimable: 245936 kB SUnreclaim: 28656 kB KernelStack: 3680 kB PageTables: 5032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2582620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 56540 MiB End job on node147 at 2019-09-13 00:45:54