Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 | UNSAT | 1334.05 | 1334.42 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb |
MD5SUM | 46461f0e86cd2c07d09bc154a5f6739a |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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 | 18.9031 |
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 | 715 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 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 HOME/instance-1876995-1245123628.opb 0.00/0.00 c File size is 83377 bytes. 0.00/0.01 c Highest Coefficient sum: 715 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.011 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.021 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 231 2586 8096 3 5473 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1334.02/1334.41 c 101 231 2754 13322 4 5816 2069 168 2657 0.04 1334.02/1334.41 c 254 231 2947 20523 6 6202 2276 361 3386 0.07 1334.02/1334.41 c 480 231 3217 31842 9 6742 2504 631 3609 0.13 1334.02/1334.41 c 819 231 3616 50666 14 7544 2755 1030 3356 0.24 1334.02/1334.41 c 1327 231 4185 76016 18 8689 3031 1599 3064 0.43 1334.02/1334.41 c 2090 231 5004 104782 20 10329 3335 2418 2851 0.73 1334.02/1334.41 c 3237 231 4476 74030 16 9260 3669 1890 2633 1.23 1334.02/1334.41 c 4958 231 4422 72696 16 9156 4036 1836 2534 1.96 1334.02/1334.41 c 7542 231 5118 118782 23 10584 4440 2532 2397 3.15 1334.02/1334.41 c 11421 231 6983 204317 29 14332 4885 4397 2194 5.20 1334.02/1334.41 c 17243 231 5482 123985 22 11334 5374 2896 2063 8.36 1334.02/1334.41 c 25981 231 6390 157734 24 13203 5912 3804 1997 13.01 1334.02/1334.41 c 39092 231 8109 244762 30 16753 6504 5523 1881 20.78 1334.02/1334.41 c 58762 231 6219 142852 22 12751 7155 3633 1801 32.61 1334.02/1334.41 c 88278 231 8764 225333 25 17930 7871 6178 1711 51.58 1334.02/1334.41 c 132548 231 7901 223793 28 16204 8659 5315 1627 81.47 1334.02/1334.41 c 198958 231 8843 238500 26 18042 9525 6257 1472 135.09 1334.02/1334.41 c 298579 231 8817 270304 30 18087 10478 6231 1386 215.39 1334.02/1334.41 c 448020 231 9577 253367 26 19464 11526 6991 1296 345.51 1334.02/1334.41 c 672178 231 10624 305208 28 21592 12679 8038 1194 562.58 1334.02/1334.41 c 1008421 231 9887 333122 33 20158 13947 7301 1090 924.77 1334.02/1334.41 c Backtracks by Clause: 1360126 1334.02/1334.41 c Backtracks by PB constraint: 1057 1334.02/1334.41 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1334.02/1334.41 c 21 1361183 287597 1900921 11607 254673 9021 1020 1334.05 1334.02/1334.41 s UNSATISFIABLE 1334.02/1334.41 c Total time: 1334.05 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876995-1245123628/watcher-1876995-1245123628 -o /tmp/evaluation-result-1876995-1245123628/solver-1876995-1245123628 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876995-1245123628.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/65 1086 /proc/meminfo: memFree=889360/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=10792 CPUtime=0 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 252 0 0 0 0 0 0 0 20 0 1 0 168889226 11051008 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136394356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 2698 236 175 640 0 2033 0 [startup+0.0934581 s] /proc/loadavg: 1.00 1.00 1.00 3/65 1086 /proc/meminfo: memFree=889360/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=11364 CPUtime=0.08 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 446 0 0 0 8 0 0 0 20 0 1 0 168889226 11636736 409 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 2841 409 196 640 0 2197 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11364 [startup+0.101458 s] /proc/loadavg: 1.00 1.00 1.00 3/65 1086 /proc/meminfo: memFree=889360/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=11364 CPUtime=0.09 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 452 0 0 0 9 0 0 0 20 0 1 0 168889226 11636736 415 1992294400 134512640 137136520 4294956256 18446744073709551615 134551552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 2841 415 196 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301476 s] /proc/loadavg: 1.00 1.00 1.00 3/65 1086 /proc/meminfo: memFree=889360/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=11860 CPUtime=0.29 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 584 0 0 0 29 0 0 0 22 0 1 0 168889226 12144640 547 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 2965 547 196 640 0 2321 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11860 [startup+0.701514 s] /proc/loadavg: 1.00 1.00 1.00 3/65 1086 /proc/meminfo: memFree=889360/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=12484 CPUtime=0.69 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 751 0 0 0 69 0 0 0 25 0 1 0 168889226 12783616 714 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 3121 714 196 640 0 2477 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12484 [startup+1.50159 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=886792/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=13232 CPUtime=1.49 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 915 0 0 0 149 0 0 0 25 0 1 0 168889226 13549568 878 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 3308 878 196 640 0 2664 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13232 [startup+3.10174 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=886408/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=13604 CPUtime=3.09 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 1028 0 0 0 308 1 0 0 25 0 1 0 168889226 13930496 991 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 3401 991 196 640 0 2757 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13604 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=885192/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=14472 CPUtime=6.29 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 1232 0 0 0 627 2 0 0 25 0 1 0 168889226 14819328 1195 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 3618 1195 196 640 0 2974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14472 [startup+12.7026 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=884816/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=14584 CPUtime=12.69 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 1274 0 0 0 1265 4 0 0 25 0 1 0 168889226 14934016 1237 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 3646 1237 196 640 0 3002 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14584 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=883984/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=15444 CPUtime=25.48 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 1493 0 0 0 2542 6 0 0 25 0 1 0 168889226 15814656 1456 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 3861 1456 197 640 0 3217 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15444 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=883792/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=15696 CPUtime=51.08 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 1556 0 0 0 5096 12 0 0 25 0 1 0 168889226 16072704 1519 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 3924 1519 197 640 0 3280 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15696 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=882832/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=16688 CPUtime=102.27 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 1789 0 0 0 10204 23 0 0 25 0 1 0 168889226 17088512 1752 1992294400 134512640 137136520 4294956256 18446744073709551615 134544192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4172 1752 197 640 0 3528 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16688 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=882448/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=17056 CPUtime=162.25 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 1893 0 0 0 16191 34 0 0 25 0 1 0 168889226 17465344 1856 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4264 1856 197 640 0 3620 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 17056 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=881488/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=18028 CPUtime=222.23 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2121 0 0 0 22179 44 0 0 25 0 1 0 168889226 18460672 2084 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4507 2084 197 640 0 3863 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18028 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=881360/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=18028 CPUtime=282.21 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2140 0 0 0 28166 55 0 0 25 0 1 0 168889226 18460672 2103 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4507 2103 197 640 0 3863 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 18028 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=881360/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=18028 CPUtime=342.2 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2140 0 0 0 34153 67 0 0 25 0 1 0 168889226 18460672 2103 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4507 2103 197 640 0 3863 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 18028 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=881168/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=18156 CPUtime=402.18 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2174 0 0 0 40143 75 0 0 25 0 1 0 168889226 18591744 2137 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4539 2137 197 640 0 3895 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 18156 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=881168/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=18156 CPUtime=462.17 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2174 0 0 0 46131 86 0 0 25 0 1 0 168889226 18591744 2137 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4539 2137 197 640 0 3895 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 18156 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=881296/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=18156 CPUtime=522.15 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2174 0 0 0 52119 96 0 0 25 0 1 0 168889226 18591744 2137 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4539 2137 197 640 0 3895 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 18156 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=880784/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=18728 CPUtime=582.13 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2299 0 0 0 58108 105 0 0 25 0 1 0 168889226 19177472 2262 1992294400 134512640 137136520 4294956256 18446744073709551615 136501952 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4682 2262 197 640 0 4038 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 18728 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=880784/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=18704 CPUtime=642.12 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2299 0 0 0 64095 117 0 0 25 0 1 0 168889226 19152896 2262 1992294400 134512640 137136520 4294956256 18446744073709551615 134598711 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4676 2262 197 640 0 4032 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 18704 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=880080/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=19396 CPUtime=762.09 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2479 0 0 0 76075 134 0 0 25 0 1 0 168889226 19861504 2442 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4849 2442 197 640 0 4205 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 19396 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=879632/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=19760 CPUtime=822.07 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2575 0 0 0 82065 142 0 0 25 0 1 0 168889226 20234240 2538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 4940 2538 197 640 0 4296 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 19760 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=879376/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20004 CPUtime=882.05 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2635 0 0 0 88052 153 0 0 25 0 1 0 168889226 20484096 2598 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5001 2598 197 640 0 4357 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 20004 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=879184/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20252 CPUtime=942.04 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 94042 162 0 0 25 0 1 0 168889226 20738048 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5063 2655 197 640 0 4419 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 20252 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=879184/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20252 CPUtime=1002.02 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 100034 168 0 0 25 0 1 0 168889226 20738048 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5063 2655 197 640 0 4419 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 20252 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=879120/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20252 CPUtime=1062 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 106026 174 0 0 25 0 1 0 168889226 20738048 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5063 2655 197 640 0 4419 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 20252 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=879184/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20252 CPUtime=1121.99 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 112015 184 0 0 25 0 1 0 168889226 20738048 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5063 2655 197 640 0 4419 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 20252 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1087 /proc/meminfo: memFree=879184/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1181.97 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 118004 193 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 20248 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879120/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1241.95 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 123995 200 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 20248 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879120/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1301.94 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 129985 209 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 20248 Solver just ended. Dumping a history of the last processes samples [startup+1305.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879120/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1305.13 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 130304 209 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1305.13 Current children cumulated vsize (KiB) 20248 [startup+1318.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879120/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1317.93 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 131582 211 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1317.93 Current children cumulated vsize (KiB) 20248 [startup+1324.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879120/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1324.33 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 132222 211 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1324.33 Current children cumulated vsize (KiB) 20248 [startup+1331.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879120/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1330.73 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 132860 213 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1330.73 Current children cumulated vsize (KiB) 20248 [startup+1332.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879184/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1332.33 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 133020 213 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1332.33 Current children cumulated vsize (KiB) 20248 [startup+1333.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879184/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1333.12 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 133099 213 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1333.12 Current children cumulated vsize (KiB) 20248 [startup+1333.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879184/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1333.52 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 133139 213 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1333.52 Current children cumulated vsize (KiB) 20248 [startup+1334.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879184/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1333.93 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 133180 213 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1333.93 Current children cumulated vsize (KiB) 20248 [startup+1334.4 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1093 /proc/meminfo: memFree=879184/2055920 swapFree=4192812/4192956 [pid=1086] ppid=1084 vsize=20248 CPUtime=1334.02 /proc/1086/stat : 1086 (bsolo) R 1084 1086 32018 0 -1 4194304 2692 0 0 0 133189 213 0 0 25 0 1 0 168889226 20733952 2655 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1086/statm: 5062 2655 197 640 0 4418 0 Current children cumulated CPU time (s) 1334.02 Current children cumulated vsize (KiB) 20248 Child status: 0 Real time (s): 1334.42 CPU time (s): 1334.05 CPU user time (s): 1331.91 CPU system time (s): 2.13867 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 20252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1331.91 system time used= 2.13867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2693 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2638 runsolver used 1.51177 second user time and 3.18152 second system time The end
Begin job on node8 at 2009-06-16 05:40:28 IDJOB=1876995 IDBENCH=1360 IDSOLVER=699 FILE ID=node8/1876995-1245123628 PBS_JOBID= 9363662 Free space on /tmp= 66316 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876995-1245123628/watcher-1876995-1245123628 -o /tmp/evaluation-result-1876995-1245123628/solver-1876995-1245123628 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876995-1245123628.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 46461f0e86cd2c07d09bc154a5f6739a RANDOM SEED=1279015841 node8.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.234 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.234 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 889776 kB Buffers: 90004 kB Cached: 965896 kB SwapCached: 140 kB Active: 177512 kB Inactive: 893336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 889776 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4024 kB Writeback: 0 kB Mapped: 24600 kB Slab: 81076 kB Committed_AS: 159796 kB PageTables: 1376 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= 66312 MiB End job on node8 at 2009-06-16 06:02:42