Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PicatSAT 2019-09-12 | OPT | 6 | 58.2779 | 58.274 |
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.2779 |
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.20/58.26 c xcsp_picat version 2.7b12 (9/12/2019) 58.20/58.26 o 228 58.20/58.26 o 64 58.20/58.26 o 14 58.20/58.26 o 7 58.20/58.26 o 6 58.20/58.26 s OPTIMUM FOUND 58.20/58.26 v <instantiation> 58.20/58.26 v <list> x[] </list> 58.20/58.26 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.20/58.26 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 (15151 MiB free) memory of node 1: 16384 MiB (15640 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395244-1568323579/watcher-4395244-1568323579 -o /tmp/evaluation-result-4395244-1568323579/solver-4395244-1568323579 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16008 --watchdog 2580 xcsp_picat HOME/instance-4395244-1568323579.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=16287, runsolver pid=16284 [startup+0.100121 s]* /proc/loadavg: 1.84 1.94 2.02 3/199 16288 /proc/meminfo: memFree=31511812/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2031716 memory=23760 CPUtime=0.1 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 2064 0 0 0 10 0 0 0 20 0 1 0 408609399 2080477184 5940 33554432000 4194304 5870510 140727581069328 140727581066472 4351468 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 507929 5940 839 410 0 503402 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 23760 KiB [startup+0.209781 s]* /proc/loadavg: 1.84 1.94 2.02 3/199 16288 /proc/meminfo: memFree=31490972/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2050448 memory=44996 CPUtime=0.21 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 6077 0 0 0 20 1 0 0 20 0 1 0 408609399 2099658752 11184 33554432000 4194304 5870510 140727581069328 140727581068632 5307553 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 512612 11184 886 410 0 508085 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2050448 KiB Current children cumulated memory: 44996 KiB [startup+0.309685 s]* /proc/loadavg: 1.84 1.94 2.02 3/199 16288 /proc/meminfo: memFree=31462512/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2078332 memory=72824 CPUtime=0.31 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 13483 0 0 0 29 2 0 0 20 0 1 0 408609399 2128211968 18206 33554432000 4194304 5870510 140727581069328 140727581068632 139733449464805 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 519583 18206 886 410 0 515056 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2078332 KiB Current children cumulated memory: 72824 KiB [startup+0.700339 s] /proc/loadavg: 1.84 1.94 2.02 3/199 16288 /proc/meminfo: memFree=31420344/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2123104 memory=111656 CPUtime=0.69 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 22373 0 0 0 66 3 0 0 20 0 1 0 408609399 2174058496 27914 33554432000 4194304 5870510 140727581069328 140727581068632 5261103 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 530776 27914 889 410 0 526249 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2123104 KiB Current children cumulated memory: 111656 KiB [startup+1.50036 s] /proc/loadavg: 1.84 1.94 2.02 3/199 16288 /proc/meminfo: memFree=31519208/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2148804 memory=137168 CPUtime=1.49 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 26233 0 0 0 145 4 0 0 20 0 1 0 408609399 2200375296 34292 33554432000 4194304 5870510 140727581069328 140727581068632 5343854 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 537201 34292 895 410 0 532674 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2148804 KiB Current children cumulated memory: 137168 KiB [startup+3.10953 s] /proc/loadavg: 1.84 1.94 2.02 3/199 16288 /proc/meminfo: memFree=31396344/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2180740 memory=154468 CPUtime=3.1 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 49199 0 0 0 304 6 0 0 20 0 1 0 408609399 2233077760 38617 33554432000 4194304 5870510 140727581069328 140727581067656 5337166 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 545185 38617 896 410 0 540658 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2180740 KiB Current children cumulated memory: 154468 KiB [startup+6.30029 s] /proc/loadavg: 1.77 1.93 2.01 3/199 16289 /proc/meminfo: memFree=31281980/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2249980 memory=213204 CPUtime=6.29 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 74261 0 0 0 621 8 0 0 20 0 1 0 408609399 2303979520 53301 33554432000 4194304 5870510 140727581069328 140727581068024 5337607 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 562495 53301 896 410 0 557968 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 2249980 KiB Current children cumulated memory: 213204 KiB [startup+12.7003 s] /proc/loadavg: 1.79 1.93 2.01 3/199 16289 /proc/meminfo: memFree=31286552/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2228192 memory=221636 CPUtime=12.69 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 110114 0 0 0 1255 14 0 0 20 0 1 0 408609399 2281668608 55409 33554432000 4194304 5870510 140727581069328 140727581067496 5337449 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 557048 55409 926 410 0 552521 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2228192 KiB Current children cumulated memory: 221636 KiB [startup+25.5003 s] /proc/loadavg: 1.84 1.93 2.01 3/199 16289 /proc/meminfo: memFree=31401280/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2203728 memory=185832 CPUtime=25.49 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 134133 0 0 0 2530 19 0 0 20 0 1 0 408609399 2256617472 46458 33554432000 4194304 5870510 140727581069328 140727581067752 5337389 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 550932 46458 926 410 0 546405 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 2203728 KiB Current children cumulated memory: 185832 KiB [startup+51.1094 s] /proc/loadavg: 1.89 1.94 2.01 3/199 16291 /proc/meminfo: memFree=31427464/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2178872 memory=156796 CPUtime=51.1 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 172301 0 0 0 5084 26 0 0 20 0 1 0 408609399 2231164928 39199 33554432000 4194304 5870510 140727581069328 140727581067496 5272204 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 544718 39199 977 410 0 540191 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 156796 KiB [startup+58.274 s] # the end of solver process 16287 was just reported to runsolver # cumulated CPU time of all completed processes: user=57.9929 s, system=0.285019 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+51.2003 s] /proc/loadavg: 1.89 1.94 2.01 3/199 16291 /proc/meminfo: memFree=31427464/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2178872 memory=156796 CPUtime=51.2 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 172308 0 0 0 5094 26 0 0 20 0 1 0 408609399 2231164928 39199 33554432000 4194304 5870510 140727581069328 140727581067496 5272443 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 544718 39199 977 410 0 540191 0 Current children cumulated CPU time: 51.2 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 156796 KiB [startup+54.4002 s] /proc/loadavg: 1.90 1.94 2.01 3/199 16291 /proc/meminfo: memFree=31427772/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2178872 memory=156796 CPUtime=54.4 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 172826 0 0 0 5414 26 0 0 20 0 1 0 408609399 2231164928 39199 33554432000 4194304 5870510 140727581069328 140727581067496 5274723 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 544718 39199 977 410 0 540191 0 Current children cumulated CPU time: 54.4 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 156796 KiB [startup+56.0002 s]* /proc/loadavg: 1.90 1.94 2.01 3/199 16291 /proc/meminfo: memFree=31427772/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2178872 memory=156796 CPUtime=56 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 173518 0 0 0 5574 26 0 0 20 0 1 0 408609399 2231164928 39199 33554432000 4194304 5870510 140727581069328 140727581067496 5281854 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 544718 39199 977 410 0 540191 0 Current children cumulated CPU time: 56 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 156796 KiB [startup+57.6003 s] /proc/loadavg: 1.90 1.94 2.01 3/199 16291 /proc/meminfo: memFree=31492304/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2148412 memory=143808 CPUtime=57.59 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 181480 0 0 0 5732 27 0 0 20 0 1 0 408609399 2199973888 35952 33554432000 4194304 5870510 140727581069328 140727581067496 5287642 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 537103 35952 977 410 0 532576 0 Current children cumulated CPU time: 57.59 s Current children cumulated vsize: 2148412 KiB Current children cumulated memory: 143808 KiB [startup+58.0003 s]* /proc/loadavg: 1.90 1.94 2.01 3/199 16291 /proc/meminfo: memFree=31432800/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2178872 memory=151924 CPUtime=58.01 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 181989 0 0 0 5773 28 0 0 20 0 1 0 408609399 2231164928 37981 33554432000 4194304 5870510 140727581069328 140727581067496 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 544718 37981 977 410 0 540191 0 Current children cumulated CPU time: 58.01 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 151924 KiB [startup+58.2003 s] /proc/loadavg: 1.90 1.94 2.01 3/199 16291 /proc/meminfo: memFree=31432800/32770624 swapFree=66993492/67108860 [pid=16287] ppid=16284 vsize=2178872 memory=153972 CPUtime=58.2 cores=1,3,5,7 /proc/16287/stat : 16287 (xcsp_picat) R 16284 16287 15976 0 -1 4202496 181990 0 0 0 5792 28 0 0 20 0 1 0 408609399 2231164928 38493 33554432000 4194304 5870510 140727581069328 140727581067496 5331061 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35778560 140727581070367 140727581070445 140727581070445 140727581073354 0 /proc/16287/statm: 544718 38493 977 410 0 540191 0 Current children cumulated CPU time: 58.2 s Current children cumulated vsize: 2178872 KiB Current children cumulated memory: 153972 KiB Child status: 0 Real time (s): 58.274 CPU time (s): 58.2779 CPU user time (s): 57.9929 CPU system time (s): 0.285019 CPU usage (%): 100.007 Max. virtual memory (cumulated for all children) (KiB): 2299300 Max. memory (cumulated for all children) (KiB): 252076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 57.9929 system time used= 0.285019 maximum resident set size= 254124 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 182076 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= 4 involuntary context switches= 49 # summary of solver processes directly reported to runsolver: # pid: 16287 # total CPU time (s): 58.2779 # total CPU user time (s): 57.9929 # total CPU system time (s): 0.285019 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.258611 second user time and 0.446679 second system time The end
Begin job on node102 at 2019-09-12 23:25:34 IDJOB=4395244 IDBENCH=120609 IDSOLVER=2844 FILE ID=node102/4395244-1568323579 RUNJOBID= node102-1568323474-16008 PBS_JOBID= 21701144 Free space on /tmp= 56900 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-4395244-1568323579/watcher-4395244-1568323579 -o /tmp/evaluation-result-4395244-1568323579/solver-4395244-1568323579 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16008 --watchdog 2580 xcsp_picat HOME/instance-4395244-1568323579.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33 RANDOM SEED=935345770 node102.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.13 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.54 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.13 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.54 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.13 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.54 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.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31531004 kB MemAvailable: 31694472 kB Buffers: 118588 kB Cached: 334540 kB SwapCached: 11256 kB Active: 436460 kB Inactive: 255280 kB Active(anon): 234516 kB Inactive(anon): 33380 kB Active(file): 201944 kB Inactive(file): 221900 kB Unevictable: 110460 kB Mlocked: 110460 kB SwapTotal: 67108860 kB SwapFree: 66993492 kB Dirty: 3588 kB Writeback: 0 kB AnonPages: 353108 kB Mapped: 33888 kB Shmem: 20536 kB Slab: 139960 kB SReclaimable: 110916 kB SUnreclaim: 29044 kB KernelStack: 3568 kB PageTables: 6248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2748608 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 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= 56896 MiB End job on node102 at 2019-09-12 23:26:33