Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | UNSAT | 616.659 | 616.82 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb |
MD5SUM | 8170439ba832b251137a16b29cd20ba3 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 72.336 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 801 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432343-1177942799/instance-432343-1177942799.opb 0.00/0.00 c File size is 83385 bytes. 0.01/0.02 c Highest Coefficient sum: 801 0.01/0.02 c Parsing was ok!! 0.01/0.02 c Total parsing time: 0.016 s 0.01/0.02 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5710 0.01/0.02 c Obj. Vars: 0 (0 % of total variables) 0.01/0.03 c Pre-processing Time: 0.027 s 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 231 2586 8096 3 5473 1880 0 0 0.03 0.01/0.03 c Switching off LPR mode. 616.63/616.81 c 101 231 2687 13358 4 5678 2069 101 2729 0.04 616.63/616.81 c 254 231 2840 23682 8 5985 2276 254 4535 0.06 616.63/616.81 c 481 231 3067 34981 11 6437 2504 481 5658 0.09 616.63/616.81 c 819 231 3405 48555 14 7114 2755 819 6348 0.13 616.63/616.81 c 1327 231 3913 69043 17 8130 3031 1327 6087 0.22 616.63/616.81 c 2090 231 4676 97696 20 9657 3335 2090 5618 0.37 616.63/616.81 c 3237 231 5823 141790 24 11951 3669 3237 4781 0.68 616.63/616.81 c 4958 231 5620 128377 22 11544 4036 3034 4462 1.11 616.63/616.81 c 7543 231 6075 158579 26 12454 4440 3489 4153 1.82 616.63/616.81 c 11423 231 5327 131166 24 10959 4885 2741 3808 3.00 616.63/616.81 c 17247 231 6083 162621 26 12471 5374 3497 3558 4.85 616.63/616.81 c 25984 231 6494 204269 31 13291 5912 3908 3132 8.30 616.63/616.81 c 39094 231 7354 196521 26 15012 6504 4768 3036 12.87 616.63/616.81 c 58765 231 6904 183664 26 14112 7155 4318 2970 19.78 616.63/616.81 c 88275 231 7122 226204 31 14548 7871 4536 2620 33.69 616.63/616.81 c 132545 231 7034 179666 25 14372 8659 4448 2491 53.19 616.63/616.81 c 198956 231 6916 168442 24 14134 9525 4330 2363 84.18 616.63/616.81 c 298576 231 9300 271976 29 18905 10478 6714 2214 134.81 616.63/616.81 c 448012 231 9042 231020 25 18389 11526 6456 2025 221.19 616.63/616.81 c 672172 231 10378 301596 29 21061 12679 7792 1857 361.89 616.63/616.81 c 1008416 210 11320 294083 25 22944 13947 8734 1688 597.11 616.63/616.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 616.63/616.81 c 21 1032154 217794 1452112 13821 365600 11235 1673 616.65 616.63/616.81 s UNSATISFIABLE 616.63/616.81 c Total time: 616.655 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-432343-1177942799 -o ROOT/results/node63/solver-432343-1177942799 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432343-1177942799/instance-432343-1177942799.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.13 0.04 0.01 3/64 13191 /proc/meminfo: memFree=1785732/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=19632 CPUtime=0 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 270269831 20103168 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 4908 333 279 324 0 3957 0 [startup+0.0158881 s] /proc/loadavg: 0.13 0.04 0.01 3/64 13191 /proc/meminfo: memFree=1785732/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=4280 CPUtime=0.01 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 435 0 0 0 1 0 0 0 18 0 1 0 270269831 4382720 405 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134520408 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 1070 406 294 324 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4280 [startup+0.102897 s] /proc/loadavg: 0.13 0.04 0.01 3/64 13191 /proc/meminfo: memFree=1785732/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=4848 CPUtime=0.09 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 640 0 0 0 9 0 0 0 18 0 1 0 270269831 4964352 589 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 1212 589 309 324 0 282 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4848 [startup+0.302918 s] /proc/loadavg: 0.13 0.04 0.01 3/64 13191 /proc/meminfo: memFree=1785732/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=5636 CPUtime=0.29 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 822 0 0 0 29 0 0 0 19 0 1 0 270269831 5771264 771 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 1409 771 309 324 0 479 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5636 [startup+0.701958 s] /proc/loadavg: 0.13 0.04 0.01 3/64 13191 /proc/meminfo: memFree=1785732/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=6552 CPUtime=0.69 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 1052 0 0 0 69 0 0 0 23 0 1 0 270269831 6709248 1001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 1638 1001 309 324 0 708 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6552 [startup+1.50104 s] /proc/loadavg: 0.13 0.04 0.01 2/65 13192 /proc/meminfo: memFree=1782588/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=7076 CPUtime=1.49 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 1183 0 0 0 149 0 0 0 25 0 1 0 270269831 7245824 1132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 1769 1132 309 324 0 839 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7076 [startup+3.10121 s] /proc/loadavg: 0.20 0.06 0.02 2/65 13192 /proc/meminfo: memFree=1781948/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=7596 CPUtime=3.09 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 1337 0 0 0 309 0 0 0 25 0 1 0 270269831 7778304 1286 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 1899 1286 309 324 0 969 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7596 [startup+6.30154 s] /proc/loadavg: 0.20 0.06 0.02 2/65 13192 /proc/meminfo: memFree=1781052/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=8244 CPUtime=6.29 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 1487 0 0 0 629 0 0 0 25 0 1 0 270269831 8441856 1436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3404366 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 2061 1436 309 324 0 1131 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8244 [startup+12.7012 s] /proc/loadavg: 0.27 0.07 0.02 2/65 13192 /proc/meminfo: memFree=1780092/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=9016 CPUtime=12.69 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 1674 0 0 0 1268 1 0 0 25 0 1 0 270269831 9232384 1623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 2254 1623 309 324 0 1324 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9016 [startup+25.5025 s] /proc/loadavg: 0.43 0.12 0.04 2/65 13192 /proc/meminfo: memFree=1779836/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=9284 CPUtime=25.49 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 1748 0 0 0 2548 1 0 0 25 0 1 0 270269831 9506816 1697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 2321 1697 309 324 0 1391 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9284 [startup+51.1022 s] /proc/loadavg: 0.62 0.19 0.06 2/65 13192 /proc/meminfo: memFree=1778940/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=10188 CPUtime=51.08 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 1971 0 0 0 5107 1 0 0 25 0 1 0 270269831 10432512 1920 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551326 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 2547 1920 309 324 0 1617 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10188 [startup+102.306 s] /proc/loadavg: 0.85 0.32 0.11 2/65 13192 /proc/meminfo: memFree=1778748/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=10324 CPUtime=102.26 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2022 0 0 0 10225 1 0 0 25 0 1 0 270269831 10571776 1971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 2581 1971 309 324 0 1651 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10324 [startup+162.302 s] /proc/loadavg: 0.94 0.43 0.16 2/65 13192 /proc/meminfo: memFree=1777852/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=11224 CPUtime=162.25 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2245 0 0 0 16223 2 0 0 25 0 1 0 270269831 11493376 2194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 2806 2194 309 324 0 1876 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 11224 [startup+222.303 s] /proc/loadavg: 0.98 0.54 0.21 2/65 13192 /proc/meminfo: memFree=1777788/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=11224 CPUtime=222.24 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2245 0 0 0 22222 2 0 0 25 0 1 0 270269831 11493376 2194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 2806 2194 309 324 0 1876 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 11224 [startup+282.302 s] /proc/loadavg: 0.99 0.62 0.26 2/65 13192 /proc/meminfo: memFree=1777084/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12000 CPUtime=282.22 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2422 0 0 0 28220 2 0 0 25 0 1 0 270269831 12288000 2371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3000 2371 309 324 0 2070 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 12000 [startup+342.303 s] /proc/loadavg: 0.99 0.68 0.30 2/65 13192 /proc/meminfo: memFree=1777020/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=11996 CPUtime=342.2 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2422 0 0 0 34218 2 0 0 25 0 1 0 270269831 12283904 2371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 2999 2371 309 324 0 2069 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 11996 [startup+402.303 s] /proc/loadavg: 0.99 0.74 0.34 2/65 13192 /proc/meminfo: memFree=1776444/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12572 CPUtime=402.19 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2566 0 0 0 40216 3 0 0 25 0 1 0 270269831 12873728 2515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3143 2515 309 324 0 2213 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 12572 [startup+462.303 s] /proc/loadavg: 0.99 0.78 0.38 2/65 13192 /proc/meminfo: memFree=1776444/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12552 CPUtime=462.17 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2566 0 0 0 46214 3 0 0 25 0 1 0 270269831 12853248 2515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3138 2515 309 324 0 2208 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 12552 [startup+522.301 s] /proc/loadavg: 0.99 0.82 0.41 2/65 13192 /proc/meminfo: memFree=1776380/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12544 CPUtime=522.15 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2573 0 0 0 52212 3 0 0 25 0 1 0 270269831 12845056 2522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3136 2522 309 324 0 2206 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 12544 [startup+582.302 s] /proc/loadavg: 0.99 0.85 0.45 2/65 13192 /proc/meminfo: memFree=1776444/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12544 CPUtime=582.14 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2573 0 0 0 58211 3 0 0 25 0 1 0 270269831 12845056 2522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3136 2522 309 324 0 2206 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 12544 Solver just ended. Dumping a history of the last processes samples [startup+588.701 s] /proc/loadavg: 0.99 0.85 0.46 2/65 13192 /proc/meminfo: memFree=1776444/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12544 CPUtime=588.53 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2573 0 0 0 58850 3 0 0 25 0 1 0 270269831 12845056 2522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3136 2522 309 324 0 2206 0 Current children cumulated CPU time (s) 588.53 Current children cumulated vsize (KiB) 12544 [startup+601.502 s] /proc/loadavg: 0.99 0.86 0.46 2/65 13192 /proc/meminfo: memFree=1776380/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12544 CPUtime=601.33 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2573 0 0 0 60130 3 0 0 25 0 1 0 270269831 12845056 2522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3136 2522 309 324 0 2206 0 Current children cumulated CPU time (s) 601.33 Current children cumulated vsize (KiB) 12544 [startup+607.901 s] /proc/loadavg: 0.99 0.86 0.47 2/65 13192 /proc/meminfo: memFree=1776380/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12548 CPUtime=607.73 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2574 0 0 0 60770 3 0 0 25 0 1 0 270269831 12849152 2523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3137 2523 309 324 0 2207 0 Current children cumulated CPU time (s) 607.73 Current children cumulated vsize (KiB) 12548 [startup+611.102 s] /proc/loadavg: 0.99 0.86 0.47 2/65 13192 /proc/meminfo: memFree=1776380/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12548 CPUtime=610.93 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2574 0 0 0 61090 3 0 0 25 0 1 0 270269831 12849152 2523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3137 2523 309 324 0 2207 0 Current children cumulated CPU time (s) 610.93 Current children cumulated vsize (KiB) 12548 [startup+614.302 s] /proc/loadavg: 0.99 0.86 0.47 2/65 13192 /proc/meminfo: memFree=1776380/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12548 CPUtime=614.13 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2574 0 0 0 61410 3 0 0 25 0 1 0 270269831 12849152 2523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3137 2523 309 324 0 2207 0 Current children cumulated CPU time (s) 614.13 Current children cumulated vsize (KiB) 12548 [startup+615.903 s] /proc/loadavg: 0.99 0.86 0.47 2/65 13192 /proc/meminfo: memFree=1776380/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12548 CPUtime=615.73 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2574 0 0 0 61570 3 0 0 25 0 1 0 270269831 12849152 2523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3137 2523 309 324 0 2207 0 Current children cumulated CPU time (s) 615.73 Current children cumulated vsize (KiB) 12548 [startup+616.302 s] /proc/loadavg: 0.99 0.86 0.47 2/65 13192 /proc/meminfo: memFree=1776380/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12548 CPUtime=616.13 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2574 0 0 0 61610 3 0 0 25 0 1 0 270269831 12849152 2523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551451 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3137 2523 309 324 0 2207 0 Current children cumulated CPU time (s) 616.13 Current children cumulated vsize (KiB) 12548 [startup+616.701 s] /proc/loadavg: 0.99 0.86 0.47 2/65 13192 /proc/meminfo: memFree=1776380/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12548 CPUtime=616.53 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2574 0 0 0 61650 3 0 0 25 0 1 0 270269831 12849152 2523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3137 2523 309 324 0 2207 0 Current children cumulated CPU time (s) 616.53 Current children cumulated vsize (KiB) 12548 [startup+616.801 s] /proc/loadavg: 0.99 0.86 0.47 2/65 13192 /proc/meminfo: memFree=1776380/2055920 swapFree=4182936/4192956 [pid=13191] ppid=13189 vsize=12548 CPUtime=616.63 /proc/13191/stat : 13191 (bsolo3.0.17) R 13189 13191 13080 0 -1 4194304 2574 0 0 0 61660 3 0 0 25 0 1 0 270269831 12849152 2523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13191/statm: 3137 2523 309 324 0 2207 0 Current children cumulated CPU time (s) 616.63 Current children cumulated vsize (KiB) 12548 Child status: 0 Real time (s): 616.82 CPU time (s): 616.659 CPU user time (s): 616.618 CPU system time (s): 0.040993 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 12624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 616.618 system time used= 0.040993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2578 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= 11 involuntary context switches= 1579 runsolver used 0.450931 second user time and 1.23681 second system time The end
Begin job on node63 on Mon Apr 30 14:19:59 UTC 2007 IDJOB= 432343 IDBENCH= 1330 IDSOLVER= 199 FILE ID= node63/432343-1177942799 PBS_JOBID= 4727808 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432343-1177942799/instance-432343-1177942799.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-432343-1177942799 -o ROOT/results/node63/solver-432343-1177942799 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432343-1177942799/instance-432343-1177942799.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 8170439ba832b251137a16b29cd20ba3 RANDOM SEED= 449402899 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1786140 kB Buffers: 30728 kB Cached: 158996 kB SwapCached: 4076 kB Active: 87520 kB Inactive: 111904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786140 kB SwapTotal: 4192956 kB SwapFree: 4182936 kB Dirty: 6792 kB Writeback: 0 kB Mapped: 15544 kB Slab: 56308 kB Committed_AS: 2341172 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node63 on Mon Apr 30 14:30:16 UTC 2007