Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | UNSAT | 981.044 | 981.347 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb |
MD5SUM | d9d7c99a4b01b1207d32721f3efdc2ab |
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 | 48.6206 |
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 | 761 |
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: Clause 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-1878803-1245119470.opb 0.00/0.00 c File size is 83385 bytes. 0.00/0.01 c Highest Coefficient sum: 761 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 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.023 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 5474 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 980.98/981.34 c 101 231 2687 12242 4 5678 2069 101 3060 0.03 980.98/981.34 c 251 231 2837 18639 6 5978 2276 251 4735 0.05 980.98/981.34 c 478 231 3064 29881 9 6432 2504 478 5370 0.09 980.98/981.34 c 816 231 3402 46046 13 7108 2755 816 5403 0.15 980.98/981.34 c 1324 231 3910 66326 16 8123 3031 1324 5233 0.25 980.98/981.34 c 2092 231 4678 100789 21 9660 3335 2092 4358 0.48 980.98/981.34 c 3238 231 5824 146568 25 11951 3669 3238 3854 0.84 980.98/981.34 c 4960 231 5606 116389 20 11517 4036 3020 3578 1.39 980.98/981.34 c 7544 231 6036 118486 19 12376 4440 3450 3433 2.20 980.98/981.34 c 11428 231 5271 111805 21 10846 4885 2685 3234 3.53 980.98/981.34 c 17251 231 6013 155015 25 12329 5374 3427 2881 5.99 980.98/981.34 c 25988 231 6350 153777 24 13003 5912 3764 2552 10.18 980.98/981.34 c 39099 231 7271 181819 25 14847 6504 4685 2460 15.89 980.98/981.34 c 58771 231 6746 143770 21 13795 7155 4160 2400 24.48 980.98/981.34 c 88281 231 6801 140958 20 13907 7871 4215 2279 38.73 980.98/981.34 c 132552 231 6694 149046 22 13692 8659 4108 2218 59.76 980.98/981.34 c 198962 231 11055 260115 23 22415 9525 8469 2071 96.04 980.98/981.34 c 298584 231 8563 194746 22 17430 10478 5977 1900 157.07 980.98/981.34 c 448020 231 8232 193143 23 16768 11526 5646 1734 258.29 980.98/981.34 c 672182 231 9172 236435 25 18648 12679 6586 1548 434.13 980.98/981.34 c 1008426 231 10270 265932 25 20844 13947 7684 1355 744.01 980.98/981.34 c Backtracks by Clause: 0 980.98/981.34 c Backtracks by PB constraint: 0 980.98/981.34 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 980.98/981.34 c 21 1256611 303574 1840862 11099 235082 8513 1280 981.04 980.98/981.34 s UNSATISFIABLE 980.98/981.34 c Total time: 981.041 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-1878803-1245119470/watcher-1878803-1245119470 -o /tmp/evaluation-result-1878803-1245119470/solver-1878803-1245119470 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878803-1245119470.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.01 1.02 1.00 3/64 4917 /proc/meminfo: memFree=1382904/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=10792 CPUtime=0 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 179546241 11051008 233 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 2698 234 174 640 0 2033 0 [startup+0.0401389 s] /proc/loadavg: 1.01 1.02 1.00 3/64 4917 /proc/meminfo: memFree=1382904/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=11244 CPUtime=0.03 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 419 0 0 0 3 0 0 0 18 0 1 0 179546241 11513856 382 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 2811 382 195 640 0 2167 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11244 [startup+0.101148 s] /proc/loadavg: 1.01 1.02 1.00 3/64 4917 /proc/meminfo: memFree=1382904/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=11368 CPUtime=0.09 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 476 0 0 0 9 0 0 0 18 0 1 0 179546241 11640832 439 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 2842 439 195 640 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11368 [startup+0.301178 s] /proc/loadavg: 1.01 1.02 1.00 3/64 4917 /proc/meminfo: memFree=1382904/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=12012 CPUtime=0.29 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 630 0 0 0 29 0 0 0 19 0 1 0 179546241 12300288 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 3003 593 195 640 0 2359 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12012 [startup+0.701239 s] /proc/loadavg: 1.01 1.02 1.00 3/64 4917 /proc/meminfo: memFree=1382904/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=12908 CPUtime=0.69 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 852 0 0 0 69 0 0 0 23 0 1 0 179546241 13217792 815 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 3227 815 195 640 0 2583 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12908 [startup+1.50137 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4918 /proc/meminfo: memFree=1379888/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=13552 CPUtime=1.49 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 997 0 0 0 148 1 0 0 25 0 1 0 179546241 13877248 960 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 3388 960 195 640 0 2744 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13552 [startup+3.10161 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4918 /proc/meminfo: memFree=1379632/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=13556 CPUtime=3.09 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 998 0 0 0 308 1 0 0 25 0 1 0 179546241 13881344 961 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 3389 961 195 640 0 2745 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13556 [startup+6.30109 s] /proc/loadavg: 1.01 1.01 1.00 2/65 4918 /proc/meminfo: memFree=1378672/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=14448 CPUtime=6.29 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 1228 0 0 0 626 3 0 0 25 0 1 0 179546241 14794752 1191 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 3612 1191 195 640 0 2968 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14448 [startup+12.7011 s] /proc/loadavg: 1.01 1.01 1.00 2/65 4918 /proc/meminfo: memFree=1378168/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=14832 CPUtime=12.68 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 1326 0 0 0 1264 4 0 0 25 0 1 0 179546241 15187968 1289 1992294400 134512640 137136520 4294956256 18446744073709551615 134544550 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 3708 1289 195 640 0 3064 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14832 [startup+25.502 s] /proc/loadavg: 1.01 1.01 1.00 2/65 4918 /proc/meminfo: memFree=1377848/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=15208 CPUtime=25.48 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 1413 0 0 0 2540 8 0 0 25 0 1 0 179546241 15572992 1376 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 3802 1376 195 640 0 3158 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15208 [startup+51.1019 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4918 /proc/meminfo: memFree=1377464/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=15468 CPUtime=51.07 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 1489 0 0 0 5092 15 0 0 25 0 1 0 179546241 15839232 1452 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 3867 1452 195 640 0 3223 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15468 [startup+102.306 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4918 /proc/meminfo: memFree=1376824/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=16204 CPUtime=102.26 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 1670 0 0 0 10199 27 0 0 25 0 1 0 179546241 16592896 1633 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4051 1633 195 640 0 3407 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16204 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1376120/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=16848 CPUtime=162.24 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 1826 0 0 0 16184 40 0 0 25 0 1 0 179546241 17252352 1789 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4212 1789 195 640 0 3568 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16848 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1375608/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=17332 CPUtime=222.21 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 1958 0 0 0 22171 50 0 0 25 0 1 0 179546241 17747968 1921 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4333 1921 195 640 0 3689 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 17332 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1375608/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=17336 CPUtime=282.2 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 1959 0 0 0 28157 63 0 0 25 0 1 0 179546241 17752064 1922 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4334 1922 195 640 0 3690 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 17336 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1375288/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=17596 CPUtime=342.18 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2015 0 0 0 34145 73 0 0 25 0 1 0 179546241 18018304 1978 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4399 1978 195 640 0 3755 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 17596 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1375096/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=17788 CPUtime=402.16 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2060 0 0 0 40132 84 0 0 25 0 1 0 179546241 18214912 2023 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4447 2023 195 640 0 3803 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 17788 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1374328/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=18500 CPUtime=462.14 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2254 0 0 0 46119 95 0 0 25 0 1 0 179546241 18944000 2217 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4625 2217 195 640 0 3981 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 18500 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1373944/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=18976 CPUtime=522.13 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2359 0 0 0 52107 106 0 0 25 0 1 0 179546241 19431424 2322 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4744 2322 195 640 0 4100 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 18976 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1373880/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=18976 CPUtime=582.11 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2359 0 0 0 58096 115 0 0 25 0 1 0 179546241 19431424 2322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4744 2322 195 640 0 4100 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 18976 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1373880/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=18976 CPUtime=642.1 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2359 0 0 0 64085 125 0 0 25 0 1 0 179546241 19431424 2322 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4744 2322 195 640 0 4100 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 18976 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1373816/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=18976 CPUtime=702.07 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2359 0 0 0 70073 134 0 0 25 0 1 0 179546241 19431424 2322 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4744 2322 195 640 0 4100 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 18976 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372984/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=762.06 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 76062 144 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 19740 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372984/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=822.04 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 82050 154 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 19740 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372920/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=882.02 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 88040 162 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 19740 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372920/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=942 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 94027 173 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 19740 Solver just ended. Dumping a history of the last processes samples [startup+947.106 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372920/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=946.8 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 94507 173 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 946.8 Current children cumulated vsize (KiB) 19740 [startup+959.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372920/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=959.59 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 95784 175 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 959.59 Current children cumulated vsize (KiB) 19740 [startup+972.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372920/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=972.39 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 97061 178 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 972.39 Current children cumulated vsize (KiB) 19740 [startup+975.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372920/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=975.59 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 97380 179 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 975.59 Current children cumulated vsize (KiB) 19740 [startup+979.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372920/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=978.79 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 97700 179 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 978.79 Current children cumulated vsize (KiB) 19740 [startup+980.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372920/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=980.39 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 97860 179 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544338 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 980.39 Current children cumulated vsize (KiB) 19740 [startup+981.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372920/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=980.79 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 97900 179 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 980.79 Current children cumulated vsize (KiB) 19740 [startup+981.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4918 /proc/meminfo: memFree=1372920/2055920 swapFree=4191900/4192956 [pid=4917] ppid=4915 vsize=19740 CPUtime=980.98 /proc/4917/stat : 4917 (bsolo) R 4915 4917 3578 0 -1 4194304 2560 0 0 0 97919 179 0 0 25 0 1 0 179546241 20213760 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4917/statm: 4935 2523 195 640 0 4291 0 Current children cumulated CPU time (s) 980.98 Current children cumulated vsize (KiB) 19740 Child status: 0 Real time (s): 981.347 CPU time (s): 981.044 CPU user time (s): 979.243 CPU system time (s): 1.80073 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 19740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 979.243 system time used= 1.80073 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2562 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= 1741 runsolver used 0.884865 second user time and 1.83272 second system time The end
Begin job on node34 at 2009-06-16 04:31:10 IDJOB=1878803 IDBENCH=1310 IDSOLVER=700 FILE ID=node34/1878803-1245119470 PBS_JOBID= 9363634 Free space on /tmp= 66252 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878803-1245119470/watcher-1878803-1245119470 -o /tmp/evaluation-result-1878803-1245119470/solver-1878803-1245119470 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878803-1245119470.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d9d7c99a4b01b1207d32721f3efdc2ab RANDOM SEED=958413370 node34.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.263 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.263 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: 1383320 kB Buffers: 46600 kB Cached: 542088 kB SwapCached: 260 kB Active: 62676 kB Inactive: 539288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1383320 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4020 kB Writeback: 0 kB Mapped: 21784 kB Slab: 56592 kB Committed_AS: 154844 kB PageTables: 1384 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= 66248 MiB End job on node34 at 2009-06-16 04:47:31