Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | UNSAT | 707.526 | 707.768 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb |
MD5SUM | e3ac612b47921d8ce26a7ef2a453205c |
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 | 1.40279 |
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 | 779 |
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/432331-1177942772/instance-432331-1177942772.opb 0.00/0.00 c File size is 83389 bytes. 0.00/0.02 c Highest Coefficient sum: 779 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.016 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.027 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 5474 1880 0 0 0.03 0.00/0.03 c Switching off LPR mode. 707.45/707.76 c 101 231 2687 13681 5 5677 2069 101 2729 0.04 707.45/707.76 c 251 231 2837 22927 8 5977 2276 251 4482 0.06 707.45/707.76 c 476 231 3062 32239 10 6429 2504 476 5666 0.08 707.45/707.76 c 814 231 3400 44187 12 7104 2755 814 6213 0.13 707.45/707.76 c 1324 231 3910 66431 16 8125 3031 1324 6158 0.21 707.45/707.76 c 2089 231 4675 94352 20 9654 3335 2089 5676 0.37 707.45/707.76 c 3236 231 5822 137310 23 11949 3669 3236 5048 0.64 707.45/707.76 c 4958 231 5592 126005 22 11489 4036 3006 4540 1.09 707.45/707.76 c 7544 231 6035 138434 22 12374 4440 3449 4393 1.72 707.45/707.76 c 11423 231 5314 110942 20 10931 4885 2728 4138 2.76 707.45/707.76 c 17246 231 6036 135002 22 12377 5374 3450 3885 4.44 707.45/707.76 c 25983 231 6412 154074 24 13128 5912 3826 3619 7.18 707.45/707.76 c 39094 231 7242 191303 26 14788 6504 4656 3399 11.50 707.45/707.76 c 58767 231 6686 167657 25 13677 7155 4100 3241 18.13 707.45/707.76 c 88277 231 6670 162445 24 13645 7871 4084 3028 29.15 707.45/707.76 c 132547 231 6523 148502 22 13351 8659 3937 2755 48.10 707.45/707.76 c 198957 231 10823 299645 27 21949 9525 8237 2554 77.87 707.45/707.76 c 298579 231 8354 215884 25 17013 10478 5768 2289 130.43 707.45/707.76 c 448015 231 8285 220914 26 16875 11526 5699 2087 214.59 707.45/707.76 c 672175 231 9684 273641 28 19673 12679 7098 1900 353.66 707.45/707.76 c 1008422 231 10715 314982 29 21734 13947 8129 1691 596.13 707.45/707.76 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 707.45/707.76 c 21 1158375 239443 1612884 11928 310829 9342 1637 707.52 707.45/707.76 s UNSATISFIABLE 707.45/707.76 c Total time: 707.519 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-432331-1177942772 -o ROOT/results/node59/solver-432331-1177942772 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432331-1177942772/instance-432331-1177942772.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.00 0.00 0.00 3/64 29670 /proc/meminfo: memFree=1778808/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=19632 CPUtime=0 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 242186816 20103168 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 4908 332 279 324 0 3957 0 [startup+0.0983121 s] /proc/loadavg: 0.00 0.00 0.00 3/64 29670 /proc/meminfo: memFree=1778808/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=4852 CPUtime=0.09 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 627 0 0 0 9 0 0 0 18 0 1 0 242186816 4968448 576 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 1213 576 308 324 0 283 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4852 [startup+0.101312 s] /proc/loadavg: 0.00 0.00 0.00 3/64 29670 /proc/meminfo: memFree=1778808/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=4852 CPUtime=0.09 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 630 0 0 0 9 0 0 0 18 0 1 0 242186816 4968448 579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 1213 579 308 324 0 283 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4852 [startup+0.301349 s] /proc/loadavg: 0.00 0.00 0.00 3/64 29670 /proc/meminfo: memFree=1778808/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=5508 CPUtime=0.29 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 815 0 0 0 29 0 0 0 19 0 1 0 242186816 5640192 764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 1377 764 309 324 0 447 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5508 [startup+0.702426 s] /proc/loadavg: 0.00 0.00 0.00 3/64 29670 /proc/meminfo: memFree=1778808/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=6544 CPUtime=0.69 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 1064 0 0 0 69 0 0 0 22 0 1 0 242186816 6701056 1013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 1636 1014 309 324 0 706 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6544 [startup+1.50158 s] /proc/loadavg: 0.00 0.00 0.00 2/65 29671 /proc/meminfo: memFree=1775664/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=6940 CPUtime=1.49 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 1177 0 0 0 149 0 0 0 25 0 1 0 242186816 7106560 1126 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 1735 1126 309 324 0 805 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6940 [startup+3.10188 s] /proc/loadavg: 0.08 0.02 0.01 2/65 29671 /proc/meminfo: memFree=1775280/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=7192 CPUtime=3.09 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 1213 0 0 0 309 0 0 0 25 0 1 0 242186816 7364608 1162 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 1798 1162 309 324 0 868 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7192 [startup+6.30149 s] /proc/loadavg: 0.08 0.02 0.01 2/65 29671 /proc/meminfo: memFree=1774576/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=7696 CPUtime=6.29 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 1339 0 0 0 629 0 0 0 25 0 1 0 242186816 7880704 1288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 1924 1288 309 324 0 994 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7696 [startup+12.7017 s] /proc/loadavg: 0.22 0.05 0.02 2/65 29671 /proc/meminfo: memFree=1774008/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=8596 CPUtime=12.69 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 1566 0 0 0 1268 1 0 0 25 0 1 0 242186816 8802304 1515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9715710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 2149 1515 309 324 0 1219 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8596 [startup+25.5011 s] /proc/loadavg: 0.34 0.08 0.02 2/65 29671 /proc/meminfo: memFree=1773240/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=9092 CPUtime=25.49 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 1690 0 0 0 2548 1 0 0 25 0 1 0 242186816 9310208 1639 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 2273 1639 309 324 0 1343 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9092 [startup+51.102 s] /proc/loadavg: 0.56 0.15 0.05 2/65 29671 /proc/meminfo: memFree=1772536/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=9748 CPUtime=51.07 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 1865 0 0 0 5106 1 0 0 25 0 1 0 242186816 9981952 1814 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 2437 1814 309 324 0 1507 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9748 [startup+102.306 s] /proc/loadavg: 0.82 0.29 0.10 2/65 29671 /proc/meminfo: memFree=1771704/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=10604 CPUtime=102.26 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2078 0 0 0 10224 2 0 0 25 0 1 0 242186816 10858496 2027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 2651 2027 309 324 0 1721 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10604 [startup+162.301 s] /proc/loadavg: 0.93 0.42 0.15 2/65 29671 /proc/meminfo: memFree=1771320/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=10964 CPUtime=162.23 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2166 0 0 0 16221 2 0 0 25 0 1 0 242186816 11227136 2115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9727717 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 2741 2115 309 324 0 1811 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 10964 [startup+222.302 s] /proc/loadavg: 0.97 0.52 0.20 2/65 29671 /proc/meminfo: memFree=1771000/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=11336 CPUtime=222.21 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2255 0 0 0 22219 2 0 0 25 0 1 0 242186816 11608064 2204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 2834 2204 309 324 0 1904 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 11336 [startup+282.302 s] /proc/loadavg: 0.99 0.61 0.25 2/65 29671 /proc/meminfo: memFree=1770424/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=11928 CPUtime=282.2 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2405 0 0 0 28217 3 0 0 25 0 1 0 242186816 12214272 2354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 2982 2354 309 324 0 2052 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 11928 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.30 2/65 29671 /proc/meminfo: memFree=1770360/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=11928 CPUtime=342.18 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2407 0 0 0 34215 3 0 0 25 0 1 0 242186816 12214272 2356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 2982 2356 309 324 0 2052 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 11928 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.34 2/65 29671 /proc/meminfo: memFree=1769976/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=12368 CPUtime=402.15 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2522 0 0 0 40212 3 0 0 25 0 1 0 242186816 12664832 2471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3092 2471 309 324 0 2162 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 12368 [startup+462.301 s] /proc/loadavg: 0.99 0.78 0.38 2/65 29671 /proc/meminfo: memFree=1769464/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=12844 CPUtime=462.13 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2635 0 0 0 46210 3 0 0 25 0 1 0 242186816 13152256 2584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9719635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3211 2584 309 324 0 2281 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 12844 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/65 29671 /proc/meminfo: memFree=1769464/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=12832 CPUtime=522.11 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2635 0 0 0 52208 3 0 0 25 0 1 0 242186816 13139968 2584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3208 2584 309 324 0 2278 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 12832 [startup+582.302 s] /proc/loadavg: 0.99 0.85 0.45 2/65 29671 /proc/meminfo: memFree=1769464/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=12828 CPUtime=582.09 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2635 0 0 0 58206 3 0 0 25 0 1 0 242186816 13135872 2584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3207 2584 309 324 0 2277 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 12828 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.48 2/65 29671 /proc/meminfo: memFree=1769208/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=13072 CPUtime=642.08 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2697 0 0 0 64204 4 0 0 25 0 1 0 242186816 13385728 2646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3268 2646 309 324 0 2338 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 13072 [startup+702.302 s] /proc/loadavg: 0.99 0.89 0.51 2/65 29671 /proc/meminfo: memFree=1768760/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=13552 CPUtime=702.05 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2812 0 0 0 70201 4 0 0 25 0 1 0 242186816 13877248 2761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3388 2761 309 324 0 2458 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 13552 Solver just ended. Dumping a history of the last processes samples [startup+703.901 s] /proc/loadavg: 0.99 0.89 0.51 2/65 29671 /proc/meminfo: memFree=1768760/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=13552 CPUtime=703.66 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2812 0 0 0 70362 4 0 0 25 0 1 0 242186816 13877248 2761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9732924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3388 2761 309 324 0 2458 0 Current children cumulated CPU time (s) 703.66 Current children cumulated vsize (KiB) 13552 [startup+705.501 s] /proc/loadavg: 0.99 0.89 0.51 2/65 29671 /proc/meminfo: memFree=1768760/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=13552 CPUtime=705.25 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2812 0 0 0 70521 4 0 0 25 0 1 0 242186816 13877248 2761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3388 2761 309 324 0 2458 0 Current children cumulated CPU time (s) 705.25 Current children cumulated vsize (KiB) 13552 [startup+707.102 s] /proc/loadavg: 0.99 0.89 0.51 2/65 29671 /proc/meminfo: memFree=1768760/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=13552 CPUtime=706.85 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2812 0 0 0 70681 4 0 0 25 0 1 0 242186816 13877248 2761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3388 2761 309 324 0 2458 0 Current children cumulated CPU time (s) 706.85 Current children cumulated vsize (KiB) 13552 [startup+707.502 s] /proc/loadavg: 0.99 0.89 0.51 2/65 29671 /proc/meminfo: memFree=1768760/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=13552 CPUtime=707.25 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2812 0 0 0 70721 4 0 0 25 0 1 0 242186816 13877248 2761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3388 2761 309 324 0 2458 0 Current children cumulated CPU time (s) 707.25 Current children cumulated vsize (KiB) 13552 [startup+707.702 s] /proc/loadavg: 0.99 0.89 0.51 2/65 29671 /proc/meminfo: memFree=1768760/2055920 swapFree=4184616/4192956 [pid=29670] ppid=29668 vsize=13552 CPUtime=707.45 /proc/29670/stat : 29670 (bsolo3.0.17) R 29668 29670 29607 0 -1 4194304 2812 0 0 0 70741 4 0 0 25 0 1 0 242186816 13877248 2761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29670/statm: 3388 2761 309 324 0 2458 0 Current children cumulated CPU time (s) 707.45 Current children cumulated vsize (KiB) 13552 Child status: 0 Real time (s): 707.768 CPU time (s): 707.526 CPU user time (s): 707.479 CPU system time (s): 0.046992 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 13556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 707.479 system time used= 0.046992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2816 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= 1086 runsolver used 0.535918 second user time and 1.40279 second system time The end
Begin job on node59 on Mon Apr 30 14:19:32 UTC 2007 IDJOB= 432331 IDBENCH= 1318 IDSOLVER= 199 FILE ID= node59/432331-1177942772 PBS_JOBID= 4727810 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.1900552423.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432331-1177942772/instance-432331-1177942772.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-432331-1177942772 -o ROOT/results/node59/solver-432331-1177942772 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432331-1177942772/instance-432331-1177942772.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= e3ac612b47921d8ce26a7ef2a453205c RANDOM SEED= 790166396 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1779280 kB Buffers: 32388 kB Cached: 165236 kB SwapCached: 2364 kB Active: 79724 kB Inactive: 127372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1779280 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 6660 kB Writeback: 0 kB Mapped: 16240 kB Slab: 55536 kB Committed_AS: 3195588 kB PageTables: 1472 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 node59 on Mon Apr 30 14:31:20 UTC 2007