Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 | UNSAT | 1405.36 | 1405.7 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb |
MD5SUM | c0dce06d795e831bf046e609ad2fb3fd |
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 | 4.19836 |
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 | 719 |
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-1877397-1245121486.opb 0.00/0.00 c File size is 83387 bytes. 0.00/0.01 c Highest Coefficient sum: 719 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.012 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5706 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 5473 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1405.25/1405.70 c 101 231 2758 13022 4 5822 2069 172 2589 0.04 1405.25/1405.70 c 251 231 2948 20946 7 6205 2276 362 3391 0.07 1405.25/1405.70 c 477 231 3196 31254 9 6699 2504 610 3456 0.14 1405.25/1405.70 c 815 231 3565 45865 12 7442 2755 979 3171 0.26 1405.25/1405.70 c 1324 231 4122 66924 16 8577 3031 1536 2922 0.45 1405.25/1405.70 c 2087 231 4914 94424 19 10189 3335 2328 2713 0.77 1405.25/1405.70 c 3235 231 4362 74927 17 9127 3669 1776 2335 1.39 1405.25/1405.70 c 4958 231 6165 145833 23 12892 4036 3579 2235 2.22 1405.25/1405.70 c 7544 231 4645 85914 18 9619 4440 2059 2140 3.52 1405.25/1405.70 c 11423 231 6481 164182 25 13436 4885 3895 2060 5.54 1405.25/1405.70 c 17245 231 5056 98974 19 10547 5374 2470 1985 8.69 1405.25/1405.70 c 25984 231 5900 149172 25 12261 5912 3314 1914 13.57 1405.25/1405.70 c 39098 231 7947 172885 21 16215 6504 5361 1850 21.13 1405.25/1405.70 c 58768 231 8736 244720 28 17987 7155 6150 1760 33.39 1405.25/1405.70 c 88280 231 7277 181006 24 14924 7871 4691 1695 52.05 1405.25/1405.70 c 132551 231 10185 261018 25 20758 8659 7599 1579 83.90 1405.25/1405.70 c 198961 231 10022 319753 31 20546 9525 7436 1472 135.16 1405.25/1405.70 c 298582 231 8799 280892 31 18142 10478 6213 1301 229.49 1405.25/1405.70 c 448019 231 8116 234616 28 16668 11526 5530 1176 380.69 1405.25/1405.70 c 672177 231 10095 274907 27 20534 12679 7509 1081 621.76 1405.25/1405.70 c 1008420 231 14979 453561 30 30461 13947 12393 992 1016.46 1405.25/1405.70 c Backtracks by Clause: 1308828 1405.25/1405.70 c Backtracks by PB constraint: 1755 1405.25/1405.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1405.25/1405.70 c 21 1310583 280679 1851316 15148 429506 12562 932 1405.36 1405.25/1405.70 s UNSATISFIABLE 1405.25/1405.70 c Total time: 1405.36 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-1877397-1245121486/watcher-1877397-1245121486 -o /tmp/evaluation-result-1877397-1245121486/solver-1877397-1245121486 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877397-1245121486.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: 0.94 0.98 0.99 2/64 31983 /proc/meminfo: memFree=1783328/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=10796 CPUtime=0 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 179748108 11055104 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136295583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 2699 244 176 640 0 2034 0 [startup+0.04409 s] /proc/loadavg: 0.94 0.98 0.99 2/64 31983 /proc/meminfo: memFree=1783328/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=11244 CPUtime=0.04 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 420 0 0 0 4 0 0 0 18 0 1 0 179748108 11513856 383 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 2811 383 196 640 0 2167 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11244 [startup+0.101093 s] /proc/loadavg: 0.94 0.98 0.99 2/64 31983 /proc/meminfo: memFree=1783328/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=11360 CPUtime=0.09 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 454 0 0 0 9 0 0 0 18 0 1 0 179748108 11632640 417 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 2840 417 196 640 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11360 [startup+0.301105 s] /proc/loadavg: 0.94 0.98 0.99 2/64 31983 /proc/meminfo: memFree=1783328/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=11732 CPUtime=0.29 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 551 0 0 0 29 0 0 0 19 0 1 0 179748108 12013568 514 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 2933 514 196 640 0 2289 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11732 [startup+0.701129 s] /proc/loadavg: 0.94 0.98 0.99 2/64 31983 /proc/meminfo: memFree=1783328/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=12356 CPUtime=0.69 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 702 0 0 0 69 0 0 0 22 0 1 0 179748108 12652544 665 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 3089 665 196 640 0 2445 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12356 [startup+1.50118 s] /proc/loadavg: 0.94 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1781080/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=13092 CPUtime=1.49 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 904 0 0 0 149 0 0 0 25 0 1 0 179748108 13406208 867 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 3273 867 196 640 0 2629 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13092 [startup+3.10128 s] /proc/loadavg: 0.94 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1780440/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=13584 CPUtime=3.09 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 1022 0 0 0 308 1 0 0 25 0 1 0 179748108 13910016 985 1992294400 134512640 137136520 4294956256 18446744073709551615 134616680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 3396 985 196 640 0 2752 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13584 [startup+6.30148 s] /proc/loadavg: 0.94 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1779608/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=14208 CPUtime=6.29 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 1160 0 0 0 628 1 0 0 25 0 1 0 179748108 14548992 1123 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 3552 1123 196 640 0 2908 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14208 [startup+12.7019 s] /proc/loadavg: 0.95 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1778712/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=14816 CPUtime=12.69 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 1314 0 0 0 1267 2 0 0 25 0 1 0 179748108 15171584 1277 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 3704 1277 196 640 0 3060 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14816 [startup+25.5017 s] /proc/loadavg: 0.96 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1778584/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=14944 CPUtime=25.48 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 1359 0 0 0 2544 4 0 0 25 0 1 0 179748108 15302656 1322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 3736 1322 196 640 0 3092 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14944 [startup+51.1013 s] /proc/loadavg: 0.97 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1777688/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=15912 CPUtime=51.08 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 1595 0 0 0 5096 12 0 0 25 0 1 0 179748108 16293888 1558 1992294400 134512640 137136520 4294956256 18446744073709551615 134616684 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 3978 1558 197 640 0 3334 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15912 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1777048/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=16512 CPUtime=102.27 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 1743 0 0 0 10206 21 0 0 25 0 1 0 179748108 16908288 1706 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4128 1706 197 640 0 3484 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16512 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1775320/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=18188 CPUtime=162.25 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2160 0 0 0 16194 31 0 0 25 0 1 0 179748108 18624512 2123 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4547 2123 197 640 0 3903 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 18188 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1775320/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=18180 CPUtime=222.23 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2160 0 0 0 22184 39 0 0 25 0 1 0 179748108 18616320 2123 1992294400 134512640 137136520 4294956256 18446744073709551615 134545035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4545 2123 197 640 0 3901 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18180 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1774808/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=18552 CPUtime=282.22 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2265 0 0 0 28173 49 0 0 25 0 1 0 179748108 18997248 2228 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4638 2228 197 640 0 3994 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 18552 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1774552/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=18796 CPUtime=342.21 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2333 0 0 0 34165 56 0 0 25 0 1 0 179748108 19247104 2296 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4699 2296 197 640 0 4055 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 18796 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1774360/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19004 CPUtime=402.2 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2374 0 0 0 40156 64 0 0 25 0 1 0 179748108 19460096 2337 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4751 2337 197 640 0 4107 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 19004 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1774296/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19004 CPUtime=462.17 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2374 0 0 0 46145 72 0 0 25 0 1 0 179748108 19460096 2337 1992294400 134512640 137136520 4294956256 18446744073709551615 136509131 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4751 2337 197 640 0 4107 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 19004 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1774360/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19004 CPUtime=522.16 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2374 0 0 0 52135 81 0 0 25 0 1 0 179748108 19460096 2337 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4751 2337 197 640 0 4107 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 19004 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1774232/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19128 CPUtime=582.15 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2410 0 0 0 58123 92 0 0 25 0 1 0 179748108 19587072 2373 1992294400 134512640 137136520 4294956256 18446744073709551615 134544592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4782 2373 197 640 0 4138 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 19128 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1774168/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19136 CPUtime=642.13 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2412 0 0 0 64114 99 0 0 25 0 1 0 179748108 19595264 2375 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4784 2375 197 640 0 4140 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 19136 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1774040/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19136 CPUtime=762.11 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2412 0 0 0 76092 119 0 0 25 0 1 0 179748108 19595264 2375 1992294400 134512640 137136520 4294956256 18446744073709551615 134600770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4784 2375 197 640 0 4140 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 19136 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1773976/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19136 CPUtime=822.09 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2412 0 0 0 82081 128 0 0 25 0 1 0 179748108 19595264 2375 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4784 2375 197 640 0 4140 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 19136 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1773720/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19380 CPUtime=882.08 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2465 0 0 0 88071 137 0 0 25 0 1 0 179748108 19845120 2428 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4845 2428 197 640 0 4201 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 19380 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1773400/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19744 CPUtime=942.07 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2560 0 0 0 94062 145 0 0 25 0 1 0 179748108 20217856 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4936 2523 197 640 0 4292 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 19744 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1773336/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19744 CPUtime=1002.05 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2560 0 0 0 100053 152 0 0 25 0 1 0 179748108 20217856 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4936 2523 197 640 0 4292 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 19744 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1773144/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=19868 CPUtime=1062.04 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2599 0 0 0 106043 161 0 0 25 0 1 0 179748108 20344832 2562 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 4967 2562 197 640 0 4323 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 19868 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772760/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20236 CPUtime=1122.01 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2677 0 0 0 112033 168 0 0 25 0 1 0 179748108 20721664 2640 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5059 2640 197 640 0 4415 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 20236 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772696/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20336 CPUtime=1182 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2702 0 0 0 118024 176 0 0 25 0 1 0 179748108 20824064 2665 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5084 2665 197 640 0 4440 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 20336 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772504/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20460 CPUtime=1241.99 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 124015 184 0 0 25 0 1 0 179748108 20951040 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5115 2696 197 640 0 4471 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 20460 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772440/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20460 CPUtime=1301.98 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 130008 190 0 0 25 0 1 0 179748108 20951040 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5115 2696 197 640 0 4471 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 20460 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772440/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20452 CPUtime=1361.96 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 135998 198 0 0 25 0 1 0 179748108 20942848 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5113 2696 197 640 0 4469 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 20452 Solver just ended. Dumping a history of the last processes samples [startup+1382.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772440/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20452 CPUtime=1381.96 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 137995 201 0 0 25 0 1 0 179748108 20942848 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 134544001 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5113 2696 197 640 0 4469 0 Current children cumulated CPU time (s) 1381.96 Current children cumulated vsize (KiB) 20452 [startup+1395.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772376/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20452 CPUtime=1394.76 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 139273 203 0 0 25 0 1 0 179748108 20942848 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5113 2696 197 640 0 4469 0 Current children cumulated CPU time (s) 1394.76 Current children cumulated vsize (KiB) 20452 [startup+1401.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772376/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20452 CPUtime=1401.15 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 139912 203 0 0 25 0 1 0 179748108 20942848 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5113 2696 197 640 0 4469 0 Current children cumulated CPU time (s) 1401.15 Current children cumulated vsize (KiB) 20452 [startup+1403.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772376/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20452 CPUtime=1402.75 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 140071 204 0 0 25 0 1 0 179748108 20942848 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5113 2696 197 640 0 4469 0 Current children cumulated CPU time (s) 1402.75 Current children cumulated vsize (KiB) 20452 [startup+1404.71 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772376/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20452 CPUtime=1404.36 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 140232 204 0 0 25 0 1 0 179748108 20942848 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5113 2696 197 640 0 4469 0 Current children cumulated CPU time (s) 1404.36 Current children cumulated vsize (KiB) 20452 [startup+1405.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772376/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20452 CPUtime=1404.75 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 140271 204 0 0 25 0 1 0 179748108 20942848 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5113 2696 197 640 0 4469 0 Current children cumulated CPU time (s) 1404.75 Current children cumulated vsize (KiB) 20452 [startup+1405.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772376/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20452 CPUtime=1405.15 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 140311 204 0 0 25 0 1 0 179748108 20942848 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5113 2696 197 640 0 4469 0 Current children cumulated CPU time (s) 1405.15 Current children cumulated vsize (KiB) 20452 [startup+1405.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31984 /proc/meminfo: memFree=1772376/2055920 swapFree=4191900/4192956 [pid=31983] ppid=31981 vsize=20452 CPUtime=1405.25 /proc/31983/stat : 31983 (bsolo) R 31981 31983 30908 0 -1 4194304 2733 0 0 0 140321 204 0 0 25 0 1 0 179748108 20942848 2696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31983/statm: 5113 2696 197 640 0 4469 0 Current children cumulated CPU time (s) 1405.25 Current children cumulated vsize (KiB) 20452 Child status: 0 Real time (s): 1405.7 CPU time (s): 1405.36 CPU user time (s): 1403.32 CPU system time (s): 2.04669 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 20460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1403.32 system time used= 2.04669 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2734 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= 2596 runsolver used 1.08483 second user time and 2.83657 second system time The end
Begin job on node29 at 2009-06-16 05:04:46 IDJOB=1877397 IDBENCH=1336 IDSOLVER=699 FILE ID=node29/1877397-1245121486 PBS_JOBID= 9363669 Free space on /tmp= 66244 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877397-1245121486/watcher-1877397-1245121486 -o /tmp/evaluation-result-1877397-1245121486/solver-1877397-1245121486 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877397-1245121486.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c0dce06d795e831bf046e609ad2fb3fd RANDOM SEED=1928683360 node29.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.237 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.237 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: 1783872 kB Buffers: 27392 kB Cached: 180896 kB SwapCached: 268 kB Active: 63764 kB Inactive: 157272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1783872 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4236 kB Writeback: 0 kB Mapped: 21252 kB Slab: 36992 kB Committed_AS: 161472 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= 66240 MiB End job on node29 at 2009-06-16 05:28:11