Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | UNSAT | 1106.47 | 1106.86 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb |
MD5SUM | a7f9415d82387c85347e0216376f3dfd |
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 | 13.9579 |
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 | 695 |
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-1878429-1245119577.opb 0.00/0.00 c File size is 83373 bytes. 0.00/0.01 c Highest Coefficient sum: 695 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: 5707 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.02/0.02 c Pre-processing Time: 0.022 s 0.02/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.02 c 0 231 2586 8096 3 5473 1880 0 0 0.02 0.02/0.02 c Switching off lower bounding mode. 1106.41/1106.85 c 101 231 2687 11466 4 5679 2069 101 3156 0.03 1106.41/1106.85 c 252 231 2838 17420 6 5981 2276 252 5142 0.05 1106.41/1106.85 c 478 231 3064 25280 8 6431 2504 478 5901 0.08 1106.41/1106.85 c 817 231 3403 39790 11 7110 2755 817 5713 0.14 1106.41/1106.85 c 1326 231 3912 61208 15 8128 3031 1326 5241 0.25 1106.41/1106.85 c 2090 231 4676 92338 19 9655 3335 2090 4686 0.45 1106.41/1106.85 c 3238 231 5824 135450 23 11952 3669 3238 3778 0.86 1106.41/1106.85 c 4960 231 5632 112742 20 11567 4036 3046 3570 1.39 1106.41/1106.85 c 7546 231 6098 121262 19 12499 4440 3512 3509 2.15 1106.41/1106.85 c 11428 231 5292 106317 20 10889 4885 2706 3285 3.48 1106.41/1106.85 c 17250 231 6037 112909 18 12377 5374 3451 3191 5.41 1106.41/1106.85 c 25988 231 6388 134395 21 13079 5912 3802 3077 8.45 1106.41/1106.85 c 39098 231 7246 166558 22 14796 6504 4660 2957 13.22 1106.41/1106.85 c 58768 231 6867 146205 21 14037 7155 4281 2716 21.64 1106.41/1106.85 c 88279 231 6903 143179 20 14110 7871 4317 2463 35.83 1106.41/1106.85 c 132549 231 6659 151617 22 13622 8659 4073 2266 58.47 1106.41/1106.85 c 198959 231 10965 309446 28 22234 9525 8379 2061 96.51 1106.41/1106.85 c 298580 231 8301 203652 24 16907 10478 5715 1853 161.08 1106.41/1106.85 c 448015 231 8102 196361 24 16507 11526 5516 1700 263.52 1106.41/1106.85 c 672174 231 9291 241952 26 18887 12679 6705 1530 439.16 1106.41/1106.85 c 1008418 231 10042 262451 26 20388 13947 7456 1369 736.56 1106.41/1106.85 c Backtracks by Clause: 0 1106.41/1106.85 c Backtracks by PB constraint: 0 1106.41/1106.85 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1106.41/1106.85 c 21 1393448 319975 1992744 12903 304232 10317 1259 1106.47 1106.41/1106.85 s UNSATISFIABLE 1106.41/1106.85 c Total time: 1106.47 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-1878429-1245119577/watcher-1878429-1245119577 -o /tmp/evaluation-result-1878429-1245119577/solver-1878429-1245119577 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878429-1245119577.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.99 0.98 0.99 3/64 1797 /proc/meminfo: memFree=1241272/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=10792 CPUtime=0 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 179558628 11051008 234 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 2698 235 175 640 0 2033 0 [startup+0.021565 s] /proc/loadavg: 0.99 0.98 0.99 3/64 1797 /proc/meminfo: memFree=1241272/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=11244 CPUtime=0.02 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 414 0 0 0 2 0 0 0 18 0 1 0 179558628 11513856 377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 2811 377 190 640 0 2167 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11244 [startup+0.101581 s] /proc/loadavg: 0.99 0.98 0.99 3/64 1797 /proc/meminfo: memFree=1241272/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=11368 CPUtime=0.09 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 469 0 0 0 9 0 0 0 18 0 1 0 179558628 11640832 432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 2842 432 195 640 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11368 [startup+0.301618 s] /proc/loadavg: 0.99 0.98 0.99 3/64 1797 /proc/meminfo: memFree=1241272/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=12012 CPUtime=0.29 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 624 0 0 0 29 0 0 0 19 0 1 0 179558628 12300288 587 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 3003 587 195 640 0 2359 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12012 [startup+0.701694 s] /proc/loadavg: 0.99 0.98 0.99 3/64 1797 /proc/meminfo: memFree=1241272/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=12780 CPUtime=0.69 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 826 0 0 0 69 0 0 0 22 0 1 0 179558628 13086720 789 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 3195 789 195 640 0 2551 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12780 [startup+1.50185 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1238384/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=13292 CPUtime=1.49 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 956 0 0 0 149 0 0 0 25 0 1 0 179558628 13611008 919 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 3323 919 195 640 0 2679 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13292 [startup+3.10115 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1238128/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=13552 CPUtime=3.09 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 999 0 0 0 308 1 0 0 25 0 1 0 179558628 13877248 962 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 3388 962 195 640 0 2744 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13552 [startup+6.30177 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1237552/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=14060 CPUtime=6.29 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 1122 0 0 0 627 2 0 0 25 0 1 0 179558628 14397440 1085 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 3515 1085 195 640 0 2871 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14060 [startup+12.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1236784/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=14560 CPUtime=12.68 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 1254 0 0 0 1264 4 0 0 25 0 1 0 179558628 14909440 1217 1992294400 134512640 137136520 4294956256 18446744073709551615 134556621 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 3640 1217 195 640 0 2996 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14560 [startup+25.5014 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1235824/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=15588 CPUtime=25.49 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 1522 0 0 0 2541 8 0 0 25 0 1 0 179558628 15962112 1485 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 3897 1485 195 640 0 3253 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15588 [startup+51.1014 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1235312/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=15976 CPUtime=51.08 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 1627 0 0 0 5093 15 0 0 25 0 1 0 179558628 16359424 1590 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 3994 1590 195 640 0 3350 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15976 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1234800/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=16584 CPUtime=102.26 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 1775 0 0 0 10198 28 0 0 25 0 1 0 179558628 16982016 1738 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4146 1738 195 640 0 3502 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16584 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1234544/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=16840 CPUtime=162.23 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 1836 0 0 0 16183 40 0 0 25 0 1 0 179558628 17244160 1799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4210 1799 195 640 0 3566 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 16840 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1234096/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=17332 CPUtime=222.22 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 1945 0 0 0 22170 52 0 0 25 0 1 0 179558628 17747968 1908 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4333 1908 195 640 0 3689 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 17332 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1233392/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=17968 CPUtime=282.2 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2121 0 0 0 28155 65 0 0 25 0 1 0 179558628 18399232 2084 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4492 2084 195 640 0 3848 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 17968 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1233456/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=17968 CPUtime=342.17 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2121 0 0 0 34141 76 0 0 25 0 1 0 179558628 18399232 2084 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4492 2084 195 640 0 3848 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 17968 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1233392/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=17968 CPUtime=402.15 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2121 0 0 0 40126 89 0 0 25 0 1 0 179558628 18399232 2084 1992294400 134512640 137136520 4294956256 18446744073709551615 136498156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4492 2084 195 640 0 3848 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 17968 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19116 CPUtime=462.13 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2413 0 0 0 46112 101 0 0 25 0 1 0 179558628 19574784 2376 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4779 2376 195 640 0 4135 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 19116 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232304/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19116 CPUtime=522.12 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2413 0 0 0 52100 112 0 0 25 0 1 0 179558628 19574784 2376 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4779 2376 195 640 0 4135 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 19116 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19116 CPUtime=582.09 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2413 0 0 0 58088 121 0 0 25 0 1 0 179558628 19574784 2376 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4779 2376 195 640 0 4135 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 19116 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232176/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19116 CPUtime=642.08 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2413 0 0 0 64076 132 0 0 25 0 1 0 179558628 19574784 2376 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4779 2376 195 640 0 4135 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 19116 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232176/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19116 CPUtime=702.05 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2413 0 0 0 70064 141 0 0 25 0 1 0 179558628 19574784 2376 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4779 2376 195 640 0 4135 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 19116 [startup+762.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232112/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19120 CPUtime=762.03 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 76053 150 0 0 25 0 1 0 179558628 19578880 2377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4780 2377 195 640 0 4136 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 19120 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232176/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19120 CPUtime=822.01 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 82040 161 0 0 25 0 1 0 179558628 19578880 2377 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4780 2377 195 640 0 4136 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 19120 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19108 CPUtime=881.99 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 88028 171 0 0 25 0 1 0 179558628 19566592 2374 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4777 2374 195 640 0 4133 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 19108 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232176/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19104 CPUtime=941.96 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 94015 181 0 0 25 0 1 0 179558628 19562496 2373 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4776 2373 195 640 0 4132 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 19104 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19104 CPUtime=1001.95 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 100005 190 0 0 25 0 1 0 179558628 19562496 2373 1992294400 134512640 137136520 4294956256 18446744073709551615 136295685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4776 2373 195 640 0 4132 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 19104 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19100 CPUtime=1061.93 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 105993 200 0 0 25 0 1 0 179558628 19558400 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4775 2372 195 640 0 4131 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 19100 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19100 CPUtime=1074.72 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 107271 201 0 0 25 0 1 0 179558628 19558400 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4775 2372 195 640 0 4131 0 Current children cumulated CPU time (s) 1074.72 Current children cumulated vsize (KiB) 19100 [startup+1087.91 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19100 CPUtime=1087.52 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 108548 204 0 0 25 0 1 0 179558628 19558400 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4775 2372 195 640 0 4131 0 Current children cumulated CPU time (s) 1087.52 Current children cumulated vsize (KiB) 19100 [startup+1094.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19100 CPUtime=1093.92 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 109187 205 0 0 25 0 1 0 179558628 19558400 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4775 2372 195 640 0 4131 0 Current children cumulated CPU time (s) 1093.92 Current children cumulated vsize (KiB) 19100 [startup+1100.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19100 CPUtime=1100.32 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 109826 206 0 0 25 0 1 0 179558628 19558400 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4775 2372 195 640 0 4131 0 Current children cumulated CPU time (s) 1100.32 Current children cumulated vsize (KiB) 19100 [startup+1103.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19100 CPUtime=1103.51 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 110145 206 0 0 25 0 1 0 179558628 19558400 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4775 2372 195 640 0 4131 0 Current children cumulated CPU time (s) 1103.51 Current children cumulated vsize (KiB) 19100 [startup+1105.51 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19100 CPUtime=1105.11 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 110305 206 0 0 25 0 1 0 179558628 19558400 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4775 2372 195 640 0 4131 0 Current children cumulated CPU time (s) 1105.11 Current children cumulated vsize (KiB) 19100 [startup+1106.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19100 CPUtime=1105.91 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 110385 206 0 0 25 0 1 0 179558628 19558400 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4775 2372 195 640 0 4131 0 Current children cumulated CPU time (s) 1105.91 Current children cumulated vsize (KiB) 19100 [startup+1106.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19100 CPUtime=1106.31 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 110425 206 0 0 25 0 1 0 179558628 19558400 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4775 2372 195 640 0 4131 0 Current children cumulated CPU time (s) 1106.31 Current children cumulated vsize (KiB) 19100 [startup+1106.8 s] /proc/loadavg: 0.99 0.98 0.99 2/65 1798 /proc/meminfo: memFree=1232240/2055920 swapFree=4183064/4192956 [pid=1797] ppid=1795 vsize=19100 CPUtime=1106.41 /proc/1797/stat : 1797 (bsolo) R 1795 1797 32550 0 -1 4194304 2414 0 0 0 110435 206 0 0 25 0 1 0 179558628 19558400 2372 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1797/statm: 4775 2372 195 640 0 4131 0 Current children cumulated CPU time (s) 1106.41 Current children cumulated vsize (KiB) 19100 Child status: 0 Real time (s): 1106.86 CPU time (s): 1106.47 CPU user time (s): 1104.41 CPU system time (s): 2.06869 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 19120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1104.41 system time used= 2.06868 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2416 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= 1722 runsolver used 0.963853 second user time and 2.11268 second system time The end
Begin job on node5 at 2009-06-16 04:32:57 IDJOB=1878429 IDBENCH=1312 IDSOLVER=700 FILE ID=node5/1878429-1245119577 PBS_JOBID= 9363644 Free space on /tmp= 66256 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878429-1245119577/watcher-1878429-1245119577 -o /tmp/evaluation-result-1878429-1245119577/solver-1878429-1245119577 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878429-1245119577.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7f9415d82387c85347e0216376f3dfd RANDOM SEED=1344126662 node5.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.259 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 : 5931.00 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.259 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: 1241688 kB Buffers: 80632 kB Cached: 634528 kB SwapCached: 4008 kB Active: 63500 kB Inactive: 659904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1241688 kB SwapTotal: 4192956 kB SwapFree: 4183064 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 14580 kB Slab: 76880 kB Committed_AS: 142072 kB PageTables: 1392 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= 66252 MiB End job on node5 at 2009-06-16 04:51:24