Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PicatSAT 2018-08-02 | OPT | 6 | 403.757 | 403.714 |
Name | GraphColoring/ GraphColoring-2-fullins-5_c18.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 | 352.426 |
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 |
403.74/403.71 c xcsp_picat version 2.4#6 (8/1/2018) 403.74/403.71 o 336 403.74/403.71 o 166 403.74/403.71 o 57 403.74/403.71 o 22 403.74/403.71 o 10 403.74/403.71 o 7 403.74/403.71 o 6 403.74/403.71 s OPTIMUM FOUND 403.74/403.71 v <instantiation> 403.74/403.71 v <list> x[] </list> 403.74/403.71 v <values> 5 0 5 4 0 0 4 4 6 0 4 5 2 2 4 2 6 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 4 4 3 4 3 4 4 3 4 4 3 4 1 0 4 2 1 1 1 1 6 1 1 1 1 1 1 1 5 6 1 2 5 2 2 1 1 1 2 1 1 5 1 1 5 1 5 5 1 5 1 1 5 3 5 5 3 5 3 5 5 3 3 5 1 5 5 2 5 6 0 0 6 5 4 4 5 5 4 5 0 6 4 2 6 6 2 4 2 2 2 2 4 2 0 4 6 0 6 4 4 0 6 4 0 6 6 0 4 6 4 4 6 0 0 0 0 0 0 0 1 3 0 1 1 1 0 1 1 1 1 1 1 3 1 1 1 1 3 1 1 1 1 1 4 3 1 3 3 3 3 1 1 3 3 1 3 1 3 1 1 1 3 1 1 3 1 1 3 1 3 3 5 0 1 6 3 3 3 3 6 6 3 3 6 3 3 3 2 3 6 3 3 6 3 2 3 2 3 2 0 0 0 0 6 0 3 0 6 0 0 0 3 6 6 6 3 6 6 6 3 6 6 6 6 3 3 6 5 6 3 3 3 3 3 3 6 3 3 3 5 2 4 3 3 2 2 3 2 2 2 2 3 5 3 5 6 5 3 5 5 5 5 5 6 3 4 3 5 4 3 3 3 3 3 5 5 3 3 5 4 2 0 0 0 6 3 4 6 3 3 4 6 2 0 2 0 6 0 0 4 2 2 4 4 2 4 4 6 6 4 4 6 6 4 6 6 5 6 6 6 6 6 6 0 6 6 6 4 4 6 4 3 3 3 4 3 3 0 0 0 3 0 0 3 3 4 2 2 2 3 2 3 3 2 2 3 2 3 3 3 3 3 3 3 3 3 3 3 2 4 2 3 3 3 3 2 3 2 2 3 3 3 3 2 0 3 2 1 0 0 1 6 1 0 5 4 0 5 0 2 2 2 4 6 4 2 2 2 1 1 2 0 0 5 1 0 5 0 1 1 0 0 1 2 2 2 2 2 2 1 1 2 2 2 2 0 0 2 1 6 1 5 5 1 4 1 5 6 5 5 5 6 5 5 5 2 6 2 5 1 2 2 2 4 4 1 4 4 5 5 1 5 5 5 5 5 5 5 2 5 2 2 1 2 1 2 2 1 5 5 1 0 0 4 6 5 1 4 1 6 1 4 5 0 4 4 4 6 4 2 4 6 2 4 2 6 0 6 1 6 0 6 6 1 1 6 4 6 1 6 4 4 0 2 4 2 2 4 4 0 0 4 1 5 5 5 1 5 5 5 5 5 1 5 1 1 1 0 1 1 6 1 1 0 5 5 1 1 1 0 1 5 5 1 1 5 1 1 5 1 6 1 1 6 6 0 5 1 1 0 5 1 5 0 1 5 0 1 6 6 4 3 3 3 3 3 3 4 3 3 3 3 3 3 2 2 2 2 3 6 2 3 3 3 1 3 4 3 6 3 4 6 6 3 3 3 6 6 6 6 3 3 6 6 6 3 6 3 3 3 4 3 6 6 3 3 3 3 3 3 3 3 3 4 2 3 3 3 1 2 2 3 2 2 3 3 3 6 3 3 3 1 1 3 3 3 3 2 2 2 4 3 2 6 2 2 2 2 3 3 3 2 3 6 2 3 3 6 3 3 4 4 3 3 3 6 3 6 2 2 6 3 3 6 2 3 2 3 2 3 3 4 3 3 3 3 3 3 3 3 6 6 6 2 2 3 6 6 6 6 2 3 4 3 4 2 2 3 3 3 1 3 4 3 1 3 3 2 3 2 2 2 2 2 3 3 2 3 2 2 2 3 1 2 3 3 1 1 3 1 3 2 3 2 4 2 4 3 2 2 3 2 2 3 3 3 3 3 3 3 4 0 1 3 5 </values> 403.74/403.71 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 (6051 MiB free) memory of node 1: 16384 MiB (8378 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302984-1533998001/watcher-4302984-1533998001 -o /tmp/evaluation-result-4302984-1533998001/solver-4302984-1533998001 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1533991815-32498 --watchdog 2580 xcsp_picat HOME/instance-4302984-1533998001.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=1297, runsolver pid=1294 [startup+0.100129 s]* /proc/loadavg: 2.09 2.15 2.11 3/188 1298 /proc/meminfo: memFree=14756536/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2025744 memory=22100 CPUtime=0.09 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 1587 0 0 0 9 0 0 0 20 0 1 0 217363299 2074361856 5525 33554432000 4194304 5849708 140726970623920 140726970623224 4488566 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 506436 5525 595 405 0 503381 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 2025744 KiB Current children cumulated memory: 22100 KiB [startup+0.209661 s]* /proc/loadavg: 2.09 2.15 2.11 3/188 1298 /proc/meminfo: memFree=14735200/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2040936 memory=43560 CPUtime=0.21 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 5004 0 0 0 20 1 0 0 20 0 1 0 217363299 2089918464 10890 33554432000 4194304 5849708 140726970623920 140726970623224 5379739 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 510234 10890 649 405 0 507179 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2040936 KiB Current children cumulated memory: 43560 KiB [startup+0.30949 s]* /proc/loadavg: 2.09 2.15 2.11 3/188 1298 /proc/meminfo: memFree=14722236/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2053988 memory=56636 CPUtime=0.3 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 6736 0 0 0 29 1 0 0 20 0 1 0 217363299 2103283712 14159 33554432000 4194304 5849708 140726970623920 140726970623224 4534379 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 513497 14159 649 405 0 510442 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 2053988 KiB Current children cumulated memory: 56636 KiB [startup+0.700417 s] /proc/loadavg: 2.09 2.15 2.11 3/188 1298 /proc/meminfo: memFree=14699900/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2079332 memory=81892 CPUtime=0.69 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 12330 0 0 0 67 2 0 0 20 0 1 0 217363299 2129235968 20473 33554432000 4194304 5849708 140726970623920 140726970623224 5391947 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 519833 20473 665 405 0 516778 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2079332 KiB Current children cumulated memory: 81892 KiB [startup+1.50041 s] /proc/loadavg: 2.09 2.15 2.11 3/188 1298 /proc/meminfo: memFree=14689352/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2088868 memory=87860 CPUtime=1.49 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 13710 0 0 0 146 3 0 0 20 0 1 0 217363299 2139000832 21965 33554432000 4194304 5849708 140726970623920 140726970623224 5416714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 522217 21965 672 405 0 519162 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2088868 KiB Current children cumulated memory: 87860 KiB [startup+3.10933 s] /proc/loadavg: 2.09 2.15 2.11 3/188 1298 /proc/meminfo: memFree=14690716/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2088868 memory=88012 CPUtime=3.09 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 20620 0 0 0 306 3 0 0 20 0 1 0 217363299 2139000832 22003 33554432000 4194304 5849708 140726970623920 140726970622408 4205101 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 522217 22003 673 405 0 519162 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 2088868 KiB Current children cumulated memory: 88012 KiB [startup+6.30026 s] /proc/loadavg: 2.09 2.15 2.11 3/188 1298 /proc/meminfo: memFree=14688908/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2090420 memory=89580 CPUtime=6.28 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 21418 0 0 0 625 3 0 0 20 0 1 0 217363299 2140590080 22395 33554432000 4194304 5849708 140726970623920 140726970622408 4205101 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 522605 22395 676 405 0 519550 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 2090420 KiB Current children cumulated memory: 89580 KiB [startup+12.7003 s] /proc/loadavg: 2.07 2.14 2.11 3/188 1298 /proc/meminfo: memFree=14688440/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2090420 memory=89580 CPUtime=12.68 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 23152 0 0 0 1265 3 0 0 20 0 1 0 217363299 2140590080 22395 33554432000 4194304 5849708 140726970623920 140726970621464 5309947 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 522605 22395 676 405 0 519550 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 2090420 KiB Current children cumulated memory: 89580 KiB [startup+25.5004 s] /proc/loadavg: 2.06 2.14 2.11 3/188 1298 /proc/meminfo: memFree=14697684/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2078836 memory=80808 CPUtime=25.49 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 36800 0 0 0 2545 4 0 0 20 0 1 0 217363299 2128728064 20202 33554432000 4194304 5849708 140726970623920 140726970622920 5307672 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 519709 20202 679 405 0 516654 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 2078836 KiB Current children cumulated memory: 80808 KiB [startup+51.1089 s] /proc/loadavg: 2.04 2.13 2.10 3/188 1298 /proc/meminfo: memFree=14676820/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2103812 memory=95548 CPUtime=51.11 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 42226 0 0 0 5105 6 0 0 20 0 1 0 217363299 2154303488 23887 33554432000 4194304 5849708 140726970623920 140726970622408 4205055 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 525953 23887 692 405 0 522898 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 2103812 KiB Current children cumulated memory: 95548 KiB [startup+102.3 s] /proc/loadavg: 2.02 2.11 2.10 3/187 1299 /proc/meminfo: memFree=14679324/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2103812 memory=106264 CPUtime=102.3 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 47342 0 0 0 10223 7 0 0 20 0 1 0 217363299 2154303488 26566 33554432000 4194304 5849708 140726970623920 140726970622408 4205059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 525953 26566 692 405 0 522898 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 2103812 KiB Current children cumulated memory: 106264 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.09 2.09 3/186 1300 /proc/meminfo: memFree=14662356/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2106680 memory=109520 CPUtime=162.3 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 48733 0 0 0 16223 7 0 0 20 0 1 0 217363299 2157240320 27380 33554432000 4194304 5849708 140726970623920 140726970622184 4205087 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 526670 27380 692 405 0 523615 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 2106680 KiB Current children cumulated memory: 109520 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.07 2.09 3/187 1302 /proc/meminfo: memFree=14657936/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2106680 memory=109500 CPUtime=222.31 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 53475 0 0 0 22223 8 0 0 20 0 1 0 217363299 2157240320 27375 33554432000 4194304 5849708 140726970623920 140726970622408 4205101 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 526670 27375 692 405 0 523615 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 2106680 KiB Current children cumulated memory: 109500 KiB [startup+282.3 s] /proc/loadavg: 2.08 2.08 2.09 3/187 1325 /proc/meminfo: memFree=14684216/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2106680 memory=109716 CPUtime=282.32 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 54025 0 0 0 28222 10 0 0 20 0 1 0 217363299 2157240320 27429 33554432000 4194304 5849708 140726970623920 140726970622408 4205083 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 526670 27429 692 405 0 523615 0 Current children cumulated CPU time: 282.32 s Current children cumulated vsize: 2106680 KiB Current children cumulated memory: 109716 KiB [startup+342.3 s] /proc/loadavg: 1.99 2.05 2.08 3/187 1386 /proc/meminfo: memFree=14743052/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2078008 memory=81076 CPUtime=342.33 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 55896 0 0 0 34213 20 0 0 20 0 1 0 217363299 2127880192 20269 33554432000 4194304 5849708 140726970623920 140726970623080 140264176844679 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 519502 20269 692 405 0 516447 0 Current children cumulated CPU time: 342.33 s Current children cumulated vsize: 2078008 KiB Current children cumulated memory: 81076 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.04 2.07 3/187 1394 /proc/meminfo: memFree=14716448/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2082104 memory=88684 CPUtime=402.34 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 61546 0 0 0 40166 68 0 0 20 0 1 0 217363299 2132074496 22171 33554432000 4194304 5849708 140726970623920 140726970622920 140264176844679 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 520526 22171 692 405 0 517471 0 Current children cumulated CPU time: 402.34 s Current children cumulated vsize: 2082104 KiB Current children cumulated memory: 88684 KiB [startup+403.714 s] # the end of solver process 1297 was just reported to runsolver # cumulated CPU time of all completed processes: user=403.065 s, system=0.692082 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+402.4 s] /proc/loadavg: 2.00 2.04 2.07 3/187 1394 /proc/meminfo: memFree=14716448/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2082104 memory=88684 CPUtime=402.44 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 61546 0 0 0 40176 68 0 0 20 0 1 0 217363299 2132074496 22171 33554432000 4194304 5849708 140726970623920 140726970622920 140264176844679 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 520526 22171 692 405 0 517471 0 Current children cumulated CPU time: 402.44 s Current children cumulated vsize: 2082104 KiB Current children cumulated memory: 88684 KiB [startup+403.2 s] /proc/loadavg: 2.00 2.04 2.07 3/187 1394 /proc/meminfo: memFree=14716448/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2073912 memory=80492 CPUtime=403.23 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 61546 0 0 0 40255 68 0 0 20 0 1 0 217363299 2123685888 20123 33554432000 4194304 5849708 140726970623920 140726970622920 140264176844679 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 518478 20123 692 405 0 515423 0 Current children cumulated CPU time: 403.23 s Current children cumulated vsize: 2073912 KiB Current children cumulated memory: 80492 KiB [startup+403.6 s] /proc/loadavg: 2.00 2.04 2.07 3/187 1394 /proc/meminfo: memFree=14716448/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2073912 memory=80492 CPUtime=403.64 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 61546 0 0 0 40295 69 0 0 20 0 1 0 217363299 2123685888 20123 33554432000 4194304 5849708 140726970623920 140726970622920 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 518478 20123 692 405 0 515423 0 Current children cumulated CPU time: 403.64 s Current children cumulated vsize: 2073912 KiB Current children cumulated memory: 80492 KiB [startup+403.7 s] /proc/loadavg: 2.00 2.04 2.07 3/187 1394 /proc/meminfo: memFree=14716448/32770624 swapFree=67108504/67108860 [pid=1297] ppid=1294 vsize=2073912 memory=80492 CPUtime=403.74 cores=1,3,5,7 /proc/1297/stat : 1297 (xcsp_picat) R 1294 1297 32466 0 -1 4202496 61546 0 0 0 40305 69 0 0 20 0 1 0 217363299 2123685888 20123 33554432000 4194304 5849708 140726970623920 140726970622920 5307719 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31563776 140726970627254 140726970627332 140726970627332 140726970630090 0 /proc/1297/statm: 518478 20123 692 405 0 515423 0 Current children cumulated CPU time: 403.74 s Current children cumulated vsize: 2073912 KiB Current children cumulated memory: 80492 KiB Child status: 0 Real time (s): 403.714 CPU time (s): 403.757 CPU user time (s): 403.065 CPU system time (s): 0.692082 CPU usage (%): 100.011 Max. virtual memory (cumulated for all children) (KiB): 2117588 Max. memory (cumulated for all children) (KiB): 124164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 403.065 system time used= 0.692082 maximum resident set size= 124164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61561 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= 104 # summary of solver processes directly reported to runsolver: # pid: 1297 # total CPU time (s): 403.757 # total CPU user time (s): 403.065 # total CPU system time (s): 0.692082 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.43297 second user time and 2.66873 second system time The end
Begin job on node104 at 2018-08-11 16:33:21 IDJOB=4302984 IDBENCH=141143 IDSOLVER=2778 FILE ID=node104/4302984-1533998001 RUNJOBID= node104-1533991815-32498 PBS_JOBID= 21036946 Free space on /tmp= 37256 MiB SOLVER NAME= PicatSAT 2018-08-02 BENCH NAME= XCSP18/GraphColoring/GraphColoring-2-fullins-5_c18.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302984-1533998001/watcher-4302984-1533998001 -o /tmp/evaluation-result-4302984-1533998001/solver-4302984-1533998001 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1533991815-32498 --watchdog 2580 xcsp_picat HOME/instance-4302984-1533998001.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33 RANDOM SEED=1591908731 node104.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.11 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.11 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.11 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.11 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: 14777120 kB MemAvailable: 31803212 kB Buffers: 144456 kB Cached: 16889864 kB SwapCached: 8 kB Active: 8489972 kB Inactive: 8701232 kB Active(anon): 105288 kB Inactive(anon): 103916 kB Active(file): 8384684 kB Inactive(file): 8597316 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108504 kB Dirty: 3532 kB Writeback: 0 kB AnonPages: 123540 kB Mapped: 52772 kB Shmem: 49636 kB Slab: 500932 kB SReclaimable: 472552 kB SUnreclaim: 28380 kB KernelStack: 3312 kB PageTables: 5448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2468936 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 47104 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 37252 MiB End job on node104 at 2018-08-11 16:40:05