Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1800.65 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb |
MD5SUM | 7f91f8d08a20ca0a8483dc7b1c14e540 |
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 | 143.279 |
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 | 671 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/359279-1176925624/instance-359279-1176925624.opb 0.00/0.00 c File size is 83381 bytes. 0.00/0.01 c Highest Coefficient sum: 671 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.015 s 0.00/0.02 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5708 0.00/0.02 c Obj. Vars: 0 (0 % of total variables) 0.00/0.03 c Pre-processing Time: 0.026 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 231 2586 8096 3 5473 1880 0 0 0.03 0.00/0.03 c Switching off LPR mode. 1799.95/1800.64 c 100 231 2686 13886 5 5676 2069 100 2631 0.04 1799.95/1800.64 c 251 231 2837 20430 7 5979 2276 251 4735 0.05 1799.95/1800.64 c 477 231 3063 30012 9 6431 2504 477 5611 0.09 1799.95/1800.64 c 816 231 3402 45256 13 7108 2755 816 6135 0.13 1799.95/1800.64 c 1324 231 3910 66315 16 8124 3031 1324 5858 0.23 1799.95/1800.64 c 2087 231 4673 94973 20 9649 3335 2087 5580 0.37 1799.95/1800.64 c 3233 231 5819 145752 25 11941 3669 3233 4705 0.69 1799.95/1800.64 c 4955 231 5625 146491 26 11553 4036 3039 4061 1.22 1799.95/1800.64 c 7540 231 6106 174190 28 12514 4440 3520 3846 1.96 1799.95/1800.64 c 11420 231 5374 149038 27 11050 4885 2788 3462 3.30 1799.95/1800.64 c 17242 231 6059 183949 30 12420 5374 3473 3226 5.34 1799.95/1800.64 c 25981 231 6412 170600 26 13128 5912 3826 3094 8.40 1799.95/1800.64 c 39091 231 7208 196411 27 14720 6504 4622 3147 12.42 1799.95/1800.64 c 58762 231 6739 185211 27 13781 7155 4153 2965 19.82 1799.95/1800.64 c 88275 231 6651 188526 28 13606 7871 4065 2808 31.43 1799.95/1800.64 c 132545 231 10412 308103 29 21128 8659 7826 2615 50.68 1799.95/1800.64 c 198958 231 10209 329985 32 20722 9525 7623 2362 84.22 1799.95/1800.64 c 298579 231 7660 199343 26 15624 10478 5074 2094 142.58 1799.95/1800.64 c 448015 231 12587 427624 33 25478 11526 10001 1952 229.43 1799.95/1800.64 c 672174 231 13539 454176 33 27382 12679 10953 1763 381.13 1799.95/1800.64 c 1008418 231 14280 522930 36 28864 13947 11694 1568 643.09 1799.95/1800.64 c 1512790 231 15723 605414 38 31749 15342 13137 1399 1080.64 1799.95/1800.64 c 2269353 231 16984 626434 36 34271 16877 14398 1263 1795.52 1799.95/1800.64 c Resources Exceeded 1799.95/1800.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.64 c 23 2272678 389003 2923420 11740 378228 9154 1262 1800.00 1799.95/1800.64 s UNKNOWN 1799.95/1800.64 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-359279-1176925624 -o ROOT/results/node74/solver-359279-1176925624 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359279-1176925624/instance-359279-1176925624.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.91 0.97 0.96 3/66 23816 /proc/meminfo: memFree=1795096/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=4008 CPUtime=0 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 140477115 4104192 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 1002 337 282 324 0 50 0 [startup+0.0948379 s] /proc/loadavg: 0.91 0.97 0.96 3/66 23816 /proc/meminfo: memFree=1795096/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=4720 CPUtime=0.08 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 619 0 0 0 8 0 0 0 18 0 1 0 140477115 4833280 566 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 1180 566 311 324 0 249 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4720 [startup+0.102838 s] /proc/loadavg: 0.91 0.97 0.96 3/66 23816 /proc/meminfo: memFree=1795096/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=4848 CPUtime=0.09 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 628 0 0 0 9 0 0 0 18 0 1 0 140477115 4964352 575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 1212 575 311 324 0 281 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4848 [startup+0.302862 s] /proc/loadavg: 0.91 0.97 0.96 3/66 23816 /proc/meminfo: memFree=1795096/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=5500 CPUtime=0.29 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 811 0 0 0 28 1 0 0 19 0 1 0 140477115 5632000 758 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 1375 758 311 324 0 444 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5500 [startup+0.701907 s] /proc/loadavg: 0.91 0.97 0.96 3/66 23816 /proc/meminfo: memFree=1795096/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=6544 CPUtime=0.69 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1066 0 0 0 68 1 0 0 22 0 1 0 140477115 6701056 1013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 1636 1013 311 324 0 705 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6544 [startup+1.502 s] /proc/loadavg: 0.91 0.97 0.96 2/67 23817 /proc/meminfo: memFree=1791824/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=7200 CPUtime=1.49 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1218 0 0 0 148 1 0 0 25 0 1 0 140477115 7372800 1165 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 1800 1165 311 324 0 869 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7200 [startup+3.10118 s] /proc/loadavg: 0.91 0.97 0.96 2/67 23817 /proc/meminfo: memFree=1791312/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=7724 CPUtime=3.08 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1375 0 0 0 307 1 0 0 25 0 1 0 140477115 7909376 1322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134552167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 1931 1322 311 324 0 1000 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 7724 [startup+6.30155 s] /proc/loadavg: 0.92 0.97 0.96 2/67 23817 /proc/meminfo: memFree=1790096/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=8624 CPUtime=6.29 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1596 0 0 0 627 2 0 0 25 0 1 0 140477115 8830976 1543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 2156 1543 311 324 0 1225 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8624 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.96 2/67 23817 /proc/meminfo: memFree=1789776/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=8628 CPUtime=12.68 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1597 0 0 0 1266 2 0 0 25 0 1 0 140477115 8835072 1544 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 2157 1544 311 324 0 1226 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8628 [startup+25.5028 s] /proc/loadavg: 1.02 0.99 0.96 2/67 23817 /proc/meminfo: memFree=1789072/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=9412 CPUtime=25.49 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1774 0 0 0 2543 6 0 0 25 0 1 0 140477115 9637888 1721 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 2353 1721 311 324 0 1422 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9412 [startup+51.1027 s] /proc/loadavg: 1.09 1.00 0.97 2/67 23817 /proc/meminfo: memFree=1788624/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=9792 CPUtime=51.07 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 1889 0 0 0 5095 12 0 0 25 0 1 0 140477115 10027008 1836 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 2448 1836 311 324 0 1517 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9792 [startup+102.306 s] /proc/loadavg: 1.09 1.01 0.97 2/67 23817 /proc/meminfo: memFree=1787216/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=11312 CPUtime=102.26 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2252 0 0 0 10204 22 0 0 25 0 1 0 140477115 11583488 2199 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 2828 2199 311 324 0 1897 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11312 [startup+162.302 s] /proc/loadavg: 1.14 1.04 0.98 2/67 23817 /proc/meminfo: memFree=1787088/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=11308 CPUtime=162.24 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2269 0 0 0 16192 32 0 0 25 0 1 0 140477115 11579392 2216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 2827 2216 311 324 0 1896 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 11308 [startup+222.302 s] /proc/loadavg: 1.12 1.05 0.99 2/67 23817 /proc/meminfo: memFree=1786576/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=11828 CPUtime=222.22 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2401 0 0 0 22180 42 0 0 25 0 1 0 140477115 12111872 2348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 2957 2348 311 324 0 2026 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 11828 [startup+282.302 s] /proc/loadavg: 1.11 1.05 0.99 2/67 23817 /proc/meminfo: memFree=1786192/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=12220 CPUtime=282.21 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2491 0 0 0 28167 54 0 0 25 0 1 0 140477115 12513280 2438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3055 2438 311 324 0 2124 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 12220 [startup+342.302 s] /proc/loadavg: 1.13 1.07 1.00 2/67 23817 /proc/meminfo: memFree=1786192/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=12220 CPUtime=342.19 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2491 0 0 0 34157 62 0 0 25 0 1 0 140477115 12513280 2438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3055 2438 311 324 0 2124 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 12220 [startup+402.302 s] /proc/loadavg: 1.14 1.08 1.01 2/67 23817 /proc/meminfo: memFree=1785104/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=13204 CPUtime=402.17 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2745 0 0 0 40145 72 0 0 25 0 1 0 140477115 13520896 2692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3301 2692 311 324 0 2370 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 13204 [startup+462.302 s] /proc/loadavg: 1.13 1.09 1.01 2/67 23817 /proc/meminfo: memFree=1784656/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=13684 CPUtime=462.15 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2850 0 0 0 46135 80 0 0 25 0 1 0 140477115 14012416 2797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3421 2797 311 324 0 2490 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 13684 [startup+522.301 s] /proc/loadavg: 1.13 1.10 1.02 2/67 23817 /proc/meminfo: memFree=1784656/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=13684 CPUtime=522.14 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2850 0 0 0 52125 89 0 0 25 0 1 0 140477115 14012416 2797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134552178 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3421 2797 311 324 0 2490 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 13684 [startup+582.302 s] /proc/loadavg: 1.12 1.11 1.02 2/67 23817 /proc/meminfo: memFree=1784656/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=13676 CPUtime=582.11 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2850 0 0 0 58112 99 0 0 25 0 1 0 140477115 14004224 2797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3419 2797 311 324 0 2488 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 13676 [startup+642.302 s] /proc/loadavg: 1.08 1.10 1.02 2/67 23817 /proc/meminfo: memFree=1784656/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=13636 CPUtime=642.1 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 2850 0 0 0 64103 107 0 0 25 0 1 0 140477115 13963264 2797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3409 2797 311 324 0 2478 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 13636 ################ # More data... # ################ /proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15264 CPUtime=1121.85 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 112014 171 0 0 25 0 1 0 140477115 15630336 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3816 3193 311 324 0 2885 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 15264 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/67 24015 /proc/meminfo: memFree=1782672/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15256 CPUtime=1181.83 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 118005 178 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3814 3193 311 324 0 2883 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 15256 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/67 24015 /proc/meminfo: memFree=1782608/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15256 CPUtime=1241.81 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 123995 186 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3814 3193 311 324 0 2883 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 15256 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/67 24015 /proc/meminfo: memFree=1782608/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15256 CPUtime=1301.8 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 129986 194 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3814 3193 311 324 0 2883 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 15256 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/67 24015 /proc/meminfo: memFree=1782608/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15256 CPUtime=1361.78 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 135975 203 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3814 3193 311 324 0 2883 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 15256 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/67 24015 /proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15256 CPUtime=1421.77 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 141967 210 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3814 3193 311 324 0 2883 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 15256 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15256 CPUtime=1481.75 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 147957 218 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3814 3193 311 324 0 2883 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 15256 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15256 CPUtime=1541.73 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 153947 226 0 0 25 0 1 0 140477115 15622144 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3814 3193 311 324 0 2883 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 15256 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15252 CPUtime=1601.71 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 159938 233 0 0 25 0 1 0 140477115 15618048 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3813 3193 311 324 0 2882 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 15252 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782544/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15252 CPUtime=1661.69 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 165928 241 0 0 25 0 1 0 140477115 15618048 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3813 3193 311 324 0 2882 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 15252 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782480/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15248 CPUtime=1721.67 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 171918 249 0 0 25 0 1 0 140477115 15613952 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3812 3193 311 324 0 2881 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 15248 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782480/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15248 CPUtime=1781.66 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 177908 258 0 0 25 0 1 0 140477115 15613952 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3812 3193 311 324 0 2881 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 15248 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782480/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15248 CPUtime=1791.26 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 178867 259 0 0 25 0 1 0 140477115 15613952 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3812 3193 311 324 0 2881 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 15248 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782480/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15248 CPUtime=1794.46 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3246 0 0 0 179187 259 0 0 25 0 1 0 140477115 15613952 3193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3812 3193 311 324 0 2881 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (KiB) 15248 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782480/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15252 CPUtime=1797.66 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3247 0 0 0 179506 260 0 0 25 0 1 0 140477115 15618048 3194 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3813 3194 311 324 0 2882 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 15252 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782288/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15644 CPUtime=1799.25 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3350 0 0 0 179665 260 0 0 25 0 1 0 140477115 16019456 3297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3911 3297 311 324 0 2980 0 Current children cumulated CPU time (s) 1799.25 Current children cumulated vsize (KiB) 15644 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782288/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15764 CPUtime=1799.65 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3371 0 0 0 179705 260 0 0 25 0 1 0 140477115 16142336 3318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3941 3318 311 324 0 3010 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (KiB) 15764 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1782288/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15764 CPUtime=1799.85 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3371 0 0 0 179725 260 0 0 25 0 1 0 140477115 16142336 3318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547980 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3941 3318 311 324 0 3010 0 Current children cumulated CPU time (s) 1799.85 Current children cumulated vsize (KiB) 15764 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=1781968/2055920 swapFree=4183056/4192956 [pid=23816] ppid=23814 vsize=15764 CPUtime=1799.95 /proc/23816/stat : 23816 (bsolo3.0.16) R 23814 23816 22089 0 -1 4194304 3371 0 0 0 179735 260 0 0 25 0 1 0 140477115 16142336 3318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10190564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23816/statm: 3941 3318 311 324 0 3010 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 15764 Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.01 CPU user time (s): 1797.4 CPU system time (s): 2.6116 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 15764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.4 system time used= 2.6116 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3372 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= 12 involuntary context switches= 2445 runsolver used 1.43378 second user time and 3.9524 second system time The end
Begin job on node74 on Wed Apr 18 19:47:04 UTC 2007 IDJOB= 359279 IDBENCH= 1277 IDSOLVER= 163 FILE ID= node74/359279-1176925624 PBS_JOBID= 4595257 Free space on /tmp= 103201 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359279-1176925624/instance-359279-1176925624.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-359279-1176925624 -o ROOT/results/node74/solver-359279-1176925624 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359279-1176925624/instance-359279-1176925624.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 7f91f8d08a20ca0a8483dc7b1c14e540 RANDOM SEED= 479412968 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1795504 kB Buffers: 13268 kB Cached: 196776 kB SwapCached: 2796 kB Active: 80968 kB Inactive: 139188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1795504 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 4468 kB Writeback: 0 kB Mapped: 16276 kB Slab: 26080 kB Committed_AS: 1993216 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103201 MiB End job on node74 on Wed Apr 18 20:17:04 UTC 2007