Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.09 | 1802.62 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb |
MD5SUM | 9f20f031d3068edba1350cbde5c721b5 |
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 | 65.752 |
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 | 641 |
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/432283-1177941822/instance-432283-1177941822.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.02 c Highest Coefficient sum: 641 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: 5707 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 5470 1880 0 0 0.03 0.00/0.03 c Switching off LPR mode. 1800.07/1800.60 c 102 231 2688 13867 5 5681 2069 102 2756 0.04 1800.07/1800.60 c 254 231 2840 22274 7 5983 2276 254 4535 0.06 1800.07/1800.60 c 481 231 3067 34655 11 6437 2504 481 5404 0.09 1800.07/1800.60 c 826 231 3412 55965 16 7128 2755 826 5657 0.15 1800.07/1800.60 c 1337 231 3923 76158 19 8149 3031 1337 5713 0.23 1800.07/1800.60 c 2101 231 4687 110328 23 9678 3335 2101 5149 0.41 1800.07/1800.60 c 3251 231 5837 163920 28 11979 3669 3251 4340 0.75 1800.07/1800.60 c 4972 231 5630 137839 24 11564 4036 3044 3961 1.25 1800.07/1800.60 c 7557 231 6118 160193 26 12539 4440 3532 3742 2.02 1800.07/1800.60 c 11436 231 5353 127277 23 11009 4885 2767 3550 3.22 1800.07/1800.60 c 17258 231 6059 167333 27 12423 5374 3473 3396 5.08 1800.07/1800.60 c 25999 231 6417 190877 29 13137 5912 3831 3170 8.20 1800.07/1800.60 c 39109 231 7245 202728 27 14794 6504 4659 3069 12.74 1800.07/1800.60 c 58782 231 6726 190052 28 13756 7155 4140 2831 20.76 1800.07/1800.60 c 88293 231 6829 184721 27 13961 7871 4243 2627 33.60 1800.07/1800.60 c 132564 231 6606 184622 27 13517 8659 4020 2468 53.71 1800.07/1800.60 c 198975 231 10640 371918 34 21585 9525 8054 2323 85.63 1800.07/1800.60 c 298595 231 7878 225424 28 16059 10478 5292 2163 138.03 1800.07/1800.60 c 448030 231 12913 450636 34 26128 11526 10327 1994 224.69 1800.07/1800.60 c 672190 231 13661 493386 36 27626 12679 11075 1789 375.55 1800.07/1800.60 c 1008433 231 14482 513098 35 29267 13947 11896 1614 624.42 1800.07/1800.60 c 1512805 231 15589 568803 36 31482 15342 13003 1447 1045.15 1800.07/1800.60 c 2269368 227 17566 607760 34 35432 16877 14980 1329 1707.31 1800.07/1800.60 c Caught signal: 15 1800.07/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.60 c 23 2368495 421128 3079815 14177 498313 11591 1315 1800.08 1800.07/1800.60 s UNKNOWN 1800.07/1800.60 c Total time: 1800.08 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-432283-1177941822 -o ROOT/results/node9/solver-432283-1177941822 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432283-1177941822/instance-432283-1177941822.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.49 0.17 0.06 3/77 19791 /proc/meminfo: memFree=1749984/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=19632 CPUtime=0 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 270219765 20103168 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 4908 333 279 324 0 3957 0 [startup+0.012394 s] /proc/loadavg: 0.49 0.17 0.06 3/77 19791 /proc/meminfo: memFree=1749984/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=4144 CPUtime=0 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 413 0 0 0 0 0 0 0 18 0 1 0 270219765 4243456 383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 1036 383 290 324 0 85 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4144 [startup+0.101404 s] /proc/loadavg: 0.49 0.17 0.06 3/77 19791 /proc/meminfo: memFree=1749984/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=4848 CPUtime=0.09 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 636 0 0 0 9 0 0 0 18 0 1 0 270219765 4964352 585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 1212 585 308 324 0 282 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4848 [startup+0.301425 s] /proc/loadavg: 0.49 0.17 0.06 3/77 19791 /proc/meminfo: memFree=1749984/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=5632 CPUtime=0.29 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 829 0 0 0 29 0 0 0 19 0 1 0 270219765 5767168 778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134592768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 1408 778 309 324 0 478 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5632 [startup+0.701472 s] /proc/loadavg: 0.49 0.17 0.06 3/77 19791 /proc/meminfo: memFree=1749984/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=6672 CPUtime=0.69 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 1086 0 0 0 69 0 0 0 23 0 1 0 270219765 6832128 1035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 1668 1035 309 324 0 738 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6672 [startup+1.50156 s] /proc/loadavg: 0.49 0.17 0.06 2/78 19792 /proc/meminfo: memFree=1746584/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=7068 CPUtime=1.49 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 1199 0 0 0 149 0 0 0 25 0 1 0 270219765 7237632 1148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 1767 1148 309 324 0 837 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7068 [startup+3.10175 s] /proc/loadavg: 0.53 0.18 0.06 2/78 19792 /proc/meminfo: memFree=1746328/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=7592 CPUtime=3.09 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 1311 0 0 0 309 0 0 0 25 0 1 0 270219765 7774208 1260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 1898 1260 309 324 0 968 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7592 [startup+6.30211 s] /proc/loadavg: 0.53 0.18 0.06 2/78 19792 /proc/meminfo: memFree=1745432/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=8500 CPUtime=6.29 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 1540 0 0 0 628 1 0 0 25 0 1 0 270219765 8704000 1489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9094515 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 2125 1489 309 324 0 1195 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8500 [startup+12.7018 s] /proc/loadavg: 0.60 0.21 0.07 2/78 19792 /proc/meminfo: memFree=1744664/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=8760 CPUtime=12.69 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 1606 0 0 0 1268 1 0 0 25 0 1 0 270219765 8970240 1555 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 2190 1555 309 324 0 1260 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8760 [startup+25.5013 s] /proc/loadavg: 0.66 0.24 0.08 2/78 19792 /proc/meminfo: memFree=1743448/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=9912 CPUtime=25.48 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 1908 0 0 0 2547 1 0 0 25 0 1 0 270219765 10149888 1857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 2478 1857 309 324 0 1548 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9912 [startup+51.1012 s] /proc/loadavg: 0.78 0.30 0.10 2/78 19792 /proc/meminfo: memFree=1742744/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=10556 CPUtime=51.08 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 2078 0 0 0 5106 2 0 0 25 0 1 0 270219765 10809344 2027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 2639 2027 309 324 0 1709 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10556 [startup+102.305 s] /proc/loadavg: 0.91 0.41 0.15 2/78 19792 /proc/meminfo: memFree=1742360/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=11080 CPUtime=102.26 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 2208 0 0 0 10224 2 0 0 25 0 1 0 270219765 11345920 2157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 2770 2157 309 324 0 1840 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11080 [startup+162.302 s] /proc/loadavg: 0.96 0.52 0.20 2/78 19792 /proc/meminfo: memFree=1741656/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=11692 CPUtime=162.25 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 2359 0 0 0 16222 3 0 0 25 0 1 0 270219765 11972608 2308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 2923 2308 309 324 0 1993 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 11692 [startup+222.302 s] /proc/loadavg: 0.98 0.60 0.25 2/78 19792 /proc/meminfo: memFree=1741400/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=12032 CPUtime=222.22 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 2429 0 0 0 22219 3 0 0 25 0 1 0 270219765 12320768 2378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3008 2378 309 324 0 2078 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 12032 [startup+282.302 s] /proc/loadavg: 0.99 0.67 0.29 2/78 19792 /proc/meminfo: memFree=1740632/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=12736 CPUtime=282.21 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 2607 0 0 0 28217 4 0 0 25 0 1 0 270219765 13041664 2556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3184 2556 309 324 0 2254 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 12736 [startup+342.301 s] /proc/loadavg: 0.99 0.73 0.34 2/78 19792 /proc/meminfo: memFree=1740632/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=12712 CPUtime=342.19 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 2616 0 0 0 34214 5 0 0 25 0 1 0 270219765 13017088 2565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3178 2565 309 324 0 2248 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 12712 [startup+402.301 s] /proc/loadavg: 0.99 0.77 0.37 2/78 19792 /proc/meminfo: memFree=1740056/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=13368 CPUtime=402.17 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 2776 0 0 0 40212 5 0 0 25 0 1 0 270219765 13688832 2725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9096661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3342 2725 309 324 0 2412 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 13368 [startup+462.301 s] /proc/loadavg: 0.99 0.81 0.41 2/78 19792 /proc/meminfo: memFree=1739992/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=13368 CPUtime=462.16 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 2776 0 0 0 46210 6 0 0 25 0 1 0 270219765 13688832 2725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3342 2725 309 324 0 2412 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 13368 [startup+522.302 s] /proc/loadavg: 0.99 0.84 0.45 2/78 19792 /proc/meminfo: memFree=1739992/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=13368 CPUtime=522.13 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 2776 0 0 0 52207 6 0 0 25 0 1 0 270219765 13688832 2725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3342 2725 309 324 0 2412 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 13368 [startup+582.302 s] /proc/loadavg: 0.99 0.87 0.48 2/78 19792 /proc/meminfo: memFree=1739992/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=13368 CPUtime=582.12 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 2776 0 0 0 58205 7 0 0 25 0 1 0 270219765 13688832 2725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3342 2725 309 324 0 2412 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 13368 [startup+642.302 s] /proc/loadavg: 0.99 0.89 0.51 2/78 19792 /proc/meminfo: memFree=1739096/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=14360 CPUtime=642.11 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3013 0 0 0 64203 8 0 0 25 0 1 0 270219765 14704640 2962 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3590 2962 309 324 0 2660 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 14360 ################ # More data... # ################ /proc/meminfo: memFree=1738840/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=14576 CPUtime=1002 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3079 0 0 0 100189 11 0 0 25 0 1 0 270219765 14925824 3028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9096935 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3644 3028 309 324 0 2714 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 14576 [startup+1062.3 s] /proc/loadavg: 0.99 0.96 0.67 2/78 19792 /proc/meminfo: memFree=1738776/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=14668 CPUtime=1061.98 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3109 0 0 0 106187 11 0 0 25 0 1 0 270219765 15020032 3058 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3667 3058 309 324 0 2737 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 14668 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.69 2/78 19792 /proc/meminfo: memFree=1738008/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15376 CPUtime=1121.96 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3272 0 0 0 112184 12 0 0 25 0 1 0 270219765 15745024 3221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3844 3221 309 324 0 2914 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 15376 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.70 2/78 19792 /proc/meminfo: memFree=1738072/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15372 CPUtime=1181.95 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3272 0 0 0 118182 13 0 0 25 0 1 0 270219765 15740928 3221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3843 3221 309 324 0 2913 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 15372 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.72 2/78 19792 /proc/meminfo: memFree=1738072/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15360 CPUtime=1241.93 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3272 0 0 0 124180 13 0 0 25 0 1 0 270219765 15728640 3221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3840 3221 309 324 0 2910 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 15360 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.73 2/78 19792 /proc/meminfo: memFree=1738072/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15360 CPUtime=1301.92 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3272 0 0 0 130178 14 0 0 25 0 1 0 270219765 15728640 3221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550794 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3840 3221 309 324 0 2910 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 15360 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.75 2/78 19792 /proc/meminfo: memFree=1738072/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15360 CPUtime=1361.89 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3272 0 0 0 136175 14 0 0 25 0 1 0 270219765 15728640 3221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9096941 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3840 3221 309 324 0 2910 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 15360 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.76 2/78 19792 /proc/meminfo: memFree=1738008/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15356 CPUtime=1421.88 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3272 0 0 0 142173 15 0 0 25 0 1 0 270219765 15724544 3221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3839 3221 309 324 0 2909 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 15356 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.77 2/78 19792 /proc/meminfo: memFree=1738008/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15356 CPUtime=1481.86 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3272 0 0 0 148171 15 0 0 25 0 1 0 270219765 15724544 3221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3839 3221 309 324 0 2909 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 15356 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.78 2/78 19792 /proc/meminfo: memFree=1738072/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15356 CPUtime=1541.84 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3272 0 0 0 154168 16 0 0 25 0 1 0 270219765 15724544 3221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3839 3221 309 324 0 2909 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 15356 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.79 2/78 19792 /proc/meminfo: memFree=1738072/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15356 CPUtime=1601.83 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3272 0 0 0 160166 17 0 0 25 0 1 0 270219765 15724544 3221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3839 3221 309 324 0 2909 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 15356 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.81 2/78 19792 /proc/meminfo: memFree=1738072/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15356 CPUtime=1661.81 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3272 0 0 0 166164 17 0 0 25 0 1 0 270219765 15724544 3221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3839 3221 309 324 0 2909 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 15356 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.82 2/78 19792 /proc/meminfo: memFree=1737944/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15484 CPUtime=1721.79 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3299 0 0 0 172161 18 0 0 25 0 1 0 270219765 15855616 3248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3871 3248 309 324 0 2941 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 15484 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/78 19792 /proc/meminfo: memFree=1737880/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15584 CPUtime=1781.77 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3324 0 0 0 178159 18 0 0 25 0 1 0 270219765 15958016 3273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3896 3273 309 324 0 2966 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 15584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.83 2/78 19792 /proc/meminfo: memFree=1737752/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15684 CPUtime=1800.07 /proc/19791/stat : 19791 (bsolo3.0.17) R 19789 19791 19555 0 -1 4194304 3354 0 0 0 179989 18 0 0 25 0 1 0 270219765 16060416 3303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3921 3303 309 324 0 2991 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 15684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.83 2/78 19792 /proc/meminfo: memFree=1737752/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15684 CPUtime=1800.07 /proc/19791/stat : 19791 (bsolo3.0.17) S 19789 19791 19555 0 -1 4194304 3354 0 0 0 179989 18 0 0 25 0 1 0 270219765 16060416 3303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3921 3303 309 324 0 2991 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 15684 [startup+1802.2 s] /proc/loadavg: 0.91 0.95 0.82 1/79 19793 /proc/meminfo: memFree=1737744/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15684 CPUtime=1800.07 /proc/19791/stat : 19791 (bsolo3.0.17) S 19789 19791 19555 0 -1 4194304 3354 0 0 0 179989 18 0 0 25 0 1 0 270219765 16060416 3303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3921 3303 309 324 0 2991 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 15684 [startup+1802.6 s] /proc/loadavg: 0.91 0.95 0.82 1/79 19793 /proc/meminfo: memFree=1737744/2055920 swapFree=4145500/4192956 [pid=19791] ppid=19789 vsize=15684 CPUtime=1800.07 /proc/19791/stat : 19791 (bsolo3.0.17) S 19789 19791 19555 0 -1 4194304 3354 0 0 0 179989 18 0 0 25 0 1 0 270219765 16060416 3303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19791/statm: 3921 3303 309 324 0 2991 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 15684 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.62 CPU time (s): 1800.09 CPU user time (s): 1799.9 CPU system time (s): 0.19097 CPU usage (%): 99.8594 Max. virtual memory (cumulated for all children) (KiB): 15684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.19097 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3354 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= 13 involuntary context switches= 36905 runsolver used 1.42978 second user time and 3.74643 second system time The end
Begin job on node9 on Mon Apr 30 14:03:42 UTC 2007 IDJOB= 432283 IDBENCH= 1270 IDSOLVER= 199 FILE ID= node9/432283-1177941822 PBS_JOBID= 4727658 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.1900581320.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432283-1177941822/instance-432283-1177941822.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-432283-1177941822 -o ROOT/results/node9/solver-432283-1177941822 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432283-1177941822/instance-432283-1177941822.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 9f20f031d3068edba1350cbde5c721b5 RANDOM SEED= 204138148 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1750456 kB Buffers: 39188 kB Cached: 194480 kB SwapCached: 15688 kB Active: 125568 kB Inactive: 131180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1750456 kB SwapTotal: 4192956 kB SwapFree: 4145500 kB Dirty: 6676 kB Writeback: 0 kB Mapped: 29940 kB Slab: 34272 kB Committed_AS: 6730020 kB PageTables: 1784 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 node9 on Mon Apr 30 14:33:45 UTC 2007