Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | UNSAT | 1545.21 | 1545.6 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb |
MD5SUM | 2e08c1ce998ee58627c81926b9e65d57 |
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 | 22.0716 |
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 | 739 |
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-1878819-1245121075.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.01 c Highest Coefficient sum: 739 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: 5711 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. 1545.10/1545.59 c 101 231 2687 12083 4 5678 2069 101 3060 0.03 1545.10/1545.59 c 251 231 2837 19040 6 5978 2276 251 4482 0.06 1545.10/1545.59 c 476 231 3062 30709 10 6427 2504 476 5063 0.09 1545.10/1545.59 c 815 231 3401 45798 13 7107 2755 815 5326 0.15 1545.10/1545.59 c 1325 231 3911 64348 16 8126 3031 1325 4981 0.27 1545.10/1545.59 c 2088 231 4674 92972 19 9652 3335 2088 4461 0.47 1545.10/1545.59 c 3236 231 5822 125624 21 11949 3669 3236 4004 0.81 1545.10/1545.59 c 4958 231 5603 100640 17 11510 4036 3017 3819 1.30 1545.10/1545.59 c 7543 231 6059 152462 25 12422 4440 3473 3455 2.18 1545.10/1545.59 c 11422 231 5327 127950 24 10959 4885 2741 2971 3.84 1545.10/1545.59 c 17245 231 6107 160529 26 12519 5374 3521 2704 6.38 1545.10/1545.59 c 25982 231 6485 167736 25 13274 5912 3899 2463 10.55 1545.10/1545.59 c 39093 231 7378 217549 29 15060 6504 4792 2349 16.64 1545.10/1545.59 c 58764 231 6927 145217 20 14158 7155 4341 2256 26.04 1545.10/1545.59 c 88276 231 6993 147205 21 14291 7871 4407 2155 40.96 1545.10/1545.59 c 132546 231 6820 155575 22 13944 8659 4234 2087 63.49 1545.10/1545.59 c 198957 231 11145 305307 27 22594 9525 8559 1935 102.78 1545.10/1545.59 c 298579 231 8489 207585 24 17282 10478 5903 1812 164.75 1545.10/1545.59 c 448017 231 8319 204359 24 16943 11526 5733 1597 280.54 1545.10/1545.59 c 672177 231 9430 220321 23 19165 12679 6844 1452 462.70 1545.10/1545.59 c 1008421 231 10460 280497 26 21225 13947 7874 1323 761.91 1545.10/1545.59 c 1512792 231 12037 342236 28 24378 15342 9451 1184 1276.73 1545.10/1545.59 c Backtracks by Clause: 0 1545.10/1545.59 c Backtracks by PB constraint: 0 1545.10/1545.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1545.10/1545.59 c 22 1750907 369404 2433909 17026 428441 14440 1133 1545.21 1545.10/1545.59 s UNSATISFIABLE 1545.10/1545.59 c Total time: 1545.21 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-1878819-1245121075/watcher-1878819-1245121075 -o /tmp/evaluation-result-1878819-1245121075/solver-1878819-1245121075 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878819-1245121075.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.99 0.99 3/64 29122 /proc/meminfo: memFree=1818544/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=10792 CPUtime=0 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 179707276 11051008 234 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 2698 235 175 640 0 2033 0 [startup+0.0446 s] /proc/loadavg: 0.99 0.99 0.99 3/64 29122 /proc/meminfo: memFree=1818544/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=11244 CPUtime=0.03 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 419 0 0 0 3 0 0 0 18 0 1 0 179707276 11513856 382 1992294400 134512640 137136520 4294956256 18446744073709551615 136503150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 2811 382 195 640 0 2167 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11244 [startup+0.101604 s] /proc/loadavg: 0.99 0.99 0.99 3/64 29122 /proc/meminfo: memFree=1818544/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=11368 CPUtime=0.09 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 473 0 0 0 9 0 0 0 18 0 1 0 179707276 11640832 436 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 2842 436 195 640 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11368 [startup+0.301622 s] /proc/loadavg: 0.99 0.99 0.99 3/64 29122 /proc/meminfo: memFree=1818544/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=12012 CPUtime=0.29 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 616 0 0 0 29 0 0 0 19 0 1 0 179707276 12300288 579 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 3003 579 195 640 0 2359 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12012 [startup+0.701658 s] /proc/loadavg: 0.99 0.99 0.99 3/64 29122 /proc/meminfo: memFree=1818544/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=12784 CPUtime=0.69 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 805 0 0 0 68 1 0 0 22 0 1 0 179707276 13090816 768 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 3196 768 195 640 0 2552 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12784 [startup+1.50173 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29123 /proc/meminfo: memFree=1815720/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=13172 CPUtime=1.49 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 923 0 0 0 148 1 0 0 25 0 1 0 179707276 13488128 886 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 3293 886 195 640 0 2649 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13172 [startup+3.10188 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29123 /proc/meminfo: memFree=1815464/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=14200 CPUtime=3.09 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 1156 0 0 0 308 1 0 0 25 0 1 0 179707276 14540800 1119 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 3550 1119 195 640 0 2906 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14200 [startup+6.30117 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29123 /proc/meminfo: memFree=1814248/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=14456 CPUtime=6.28 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 1241 0 0 0 626 2 0 0 25 0 1 0 179707276 14802944 1204 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 3614 1204 195 640 0 2970 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14456 [startup+12.7017 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29123 /proc/meminfo: memFree=1813616/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=15088 CPUtime=12.68 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 1381 0 0 0 1264 4 0 0 25 0 1 0 179707276 15450112 1344 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 3772 1344 195 640 0 3128 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15088 [startup+25.5029 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29123 /proc/meminfo: memFree=1813040/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=15600 CPUtime=25.48 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 1521 0 0 0 2540 8 0 0 25 0 1 0 179707276 15974400 1484 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 3900 1484 195 640 0 3256 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15600 [startup+51.1022 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29123 /proc/meminfo: memFree=1813040/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=15608 CPUtime=51.07 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 1523 0 0 0 5093 14 0 0 25 0 1 0 179707276 15982592 1486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 3902 1486 195 640 0 3258 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15608 [startup+102.306 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29123 /proc/meminfo: memFree=1812336/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=16360 CPUtime=102.26 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 1716 0 0 0 10201 25 0 0 25 0 1 0 179707276 16752640 1679 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4090 1679 195 640 0 3446 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16360 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29123 /proc/meminfo: memFree=1812016/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=16624 CPUtime=162.25 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 1777 0 0 0 16187 38 0 0 25 0 1 0 179707276 17022976 1740 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4156 1740 195 640 0 3512 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 16624 [startup+222.303 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1810864/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=17588 CPUtime=222.23 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2014 0 0 0 22173 50 0 0 25 0 1 0 179707276 18010112 1977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4397 1977 195 640 0 3753 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17588 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1810864/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=17588 CPUtime=282.2 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2014 0 0 0 28160 60 0 0 25 0 1 0 179707276 18010112 1977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544597 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4397 1977 195 640 0 3753 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 17588 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1810416/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=18104 CPUtime=342.19 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2154 0 0 0 34148 71 0 0 25 0 1 0 179707276 18538496 2117 1992294400 134512640 137136520 4294956256 18446744073709551615 134544019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4526 2117 195 640 0 3882 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 18104 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1810416/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=18104 CPUtime=402.18 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2154 0 0 0 40136 82 0 0 25 0 1 0 179707276 18538496 2117 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4526 2117 195 640 0 3882 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 18104 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1810416/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=18104 CPUtime=462.16 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2154 0 0 0 46122 94 0 0 25 0 1 0 179707276 18538496 2117 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4526 2117 195 640 0 3882 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 18104 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1809976/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=18548 CPUtime=522.15 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2252 0 0 0 52109 106 0 0 25 0 1 0 179707276 18993152 2215 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4637 2215 195 640 0 3993 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 18548 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1809976/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=18524 CPUtime=582.13 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2252 0 0 0 58096 117 0 0 25 0 1 0 179707276 18968576 2215 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4631 2215 195 640 0 3987 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 18524 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1809336/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19104 CPUtime=642.12 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2403 0 0 0 64085 127 0 0 25 0 1 0 179707276 19562496 2366 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4776 2366 195 640 0 4132 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 19104 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1809272/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19104 CPUtime=702.1 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2403 0 0 0 70071 139 0 0 25 0 1 0 179707276 19562496 2366 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4776 2366 195 640 0 4132 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 19104 [startup+762.306 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1809208/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19104 CPUtime=762.1 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2403 0 0 0 76061 149 0 0 25 0 1 0 179707276 19562496 2366 1992294400 134512640 137136520 4294956256 18446744073709551615 136509148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4776 2366 195 640 0 4132 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 19104 [startup+822.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1808696/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19676 CPUtime=822.08 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2535 0 0 0 82047 161 0 0 25 0 1 0 179707276 20148224 2498 1992294400 134512640 137136520 4294956256 18446744073709551615 136502210 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4919 2498 195 640 0 4275 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 19676 [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1808696/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19672 CPUtime=882.06 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2535 0 0 0 88036 170 0 0 25 0 1 0 179707276 20144128 2498 1992294400 134512640 137136520 4294956256 18446744073709551615 136500598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4918 2498 195 640 0 4274 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 19672 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1808632/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19672 CPUtime=942.05 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2535 0 0 0 94024 181 0 0 25 0 1 0 179707276 20144128 2498 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4918 2498 195 640 0 4274 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 19672 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1808632/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19672 CPUtime=1002.04 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2535 0 0 0 100015 189 0 0 25 0 1 0 179707276 20144128 2498 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4918 2498 195 640 0 4274 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 19672 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1808440/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19800 CPUtime=1062.02 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2580 0 0 0 106005 197 0 0 25 0 1 0 179707276 20275200 2543 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4950 2543 195 640 0 4306 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 19800 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1808440/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19800 CPUtime=1122 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2580 0 0 0 111993 207 0 0 25 0 1 0 179707276 20275200 2543 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4950 2543 195 640 0 4306 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 19800 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1808376/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19800 CPUtime=1181.99 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2580 0 0 0 117984 215 0 0 25 0 1 0 179707276 20275200 2543 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4950 2543 195 640 0 4306 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 19800 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1808248/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19800 CPUtime=1241.98 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2580 0 0 0 123972 226 0 0 25 0 1 0 179707276 20275200 2543 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4950 2543 195 640 0 4306 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 19800 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1808120/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=19932 CPUtime=1301.96 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2613 0 0 0 129962 234 0 0 25 0 1 0 179707276 20410368 2576 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 4983 2576 195 640 0 4339 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 19932 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1807736/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=20312 CPUtime=1361.95 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2698 0 0 0 135950 245 0 0 25 0 1 0 179707276 20799488 2661 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 5078 2661 195 640 0 4434 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 20312 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29129 /proc/meminfo: memFree=1807736/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=20312 CPUtime=1421.94 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2698 0 0 0 141940 254 0 0 25 0 1 0 179707276 20799488 2661 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 5078 2661 195 640 0 4434 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 20312 [startup+1482.3 s] /proc/loadavg: 1.03 1.00 1.00 2/65 29129 /proc/meminfo: memFree=1807672/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=20312 CPUtime=1481.92 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2698 0 0 0 147931 261 0 0 25 0 1 0 179707276 20799488 2661 1992294400 134512640 137136520 4294956256 18446744073709551615 134544184 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 5078 2661 195 640 0 4434 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 20312 [startup+1542.3 s] /proc/loadavg: 1.10 1.03 1.01 2/65 29129 /proc/meminfo: memFree=1807672/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=20292 CPUtime=1541.91 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2698 0 0 0 153919 272 0 0 25 0 1 0 179707276 20779008 2661 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 5073 2661 195 640 0 4429 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 20292 Solver just ended. Dumping a history of the last processes samples [startup+1543.9 s] /proc/loadavg: 1.10 1.03 1.01 2/65 29129 /proc/meminfo: memFree=1807672/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=20292 CPUtime=1543.5 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2698 0 0 0 154078 272 0 0 25 0 1 0 179707276 20779008 2661 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 5073 2661 195 640 0 4429 0 Current children cumulated CPU time (s) 1543.5 Current children cumulated vsize (KiB) 20292 [startup+1544.7 s] /proc/loadavg: 1.10 1.03 1.01 2/65 29129 /proc/meminfo: memFree=1807672/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=20292 CPUtime=1544.3 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2698 0 0 0 154158 272 0 0 25 0 1 0 179707276 20779008 2661 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 5073 2661 195 640 0 4429 0 Current children cumulated CPU time (s) 1544.3 Current children cumulated vsize (KiB) 20292 [startup+1545.1 s] /proc/loadavg: 1.10 1.03 1.01 2/65 29129 /proc/meminfo: memFree=1807672/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=20292 CPUtime=1544.7 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2698 0 0 0 154198 272 0 0 25 0 1 0 179707276 20779008 2661 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 5073 2661 195 640 0 4429 0 Current children cumulated CPU time (s) 1544.7 Current children cumulated vsize (KiB) 20292 [startup+1545.51 s] /proc/loadavg: 1.17 1.05 1.01 2/65 29129 /proc/meminfo: memFree=1807672/2055920 swapFree=4192812/4192956 [pid=29122] ppid=29120 vsize=20292 CPUtime=1545.1 /proc/29122/stat : 29122 (bsolo) R 29120 29122 28357 0 -1 4194304 2698 0 0 0 154238 272 0 0 25 0 1 0 179707276 20779008 2661 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29122/statm: 5073 2661 195 640 0 4429 0 Current children cumulated CPU time (s) 1545.1 Current children cumulated vsize (KiB) 20292 Child status: 0 Real time (s): 1545.6 CPU time (s): 1545.21 CPU user time (s): 1542.48 CPU system time (s): 2.72858 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 20312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1542.48 system time used= 2.72858 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2700 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= 2917 runsolver used 1.14783 second user time and 3.18851 second system time The end
Begin job on node25 at 2009-06-16 04:57:55 IDJOB=1878819 IDBENCH=1328 IDSOLVER=700 FILE ID=node25/1878819-1245121075 PBS_JOBID= 9363656 Free space on /tmp= 66312 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878819-1245121075/watcher-1878819-1245121075 -o /tmp/evaluation-result-1878819-1245121075/solver-1878819-1245121075 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878819-1245121075.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2e08c1ce998ee58627c81926b9e65d57 RANDOM SEED=2027530023 node25.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.238 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.238 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: 1819024 kB Buffers: 14508 kB Cached: 156512 kB SwapCached: 0 kB Active: 53040 kB Inactive: 131888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1819024 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4020 kB Writeback: 0 kB Mapped: 23700 kB Slab: 37992 kB Committed_AS: 186344 kB PageTables: 1464 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= 66308 MiB End job on node25 at 2009-06-16 05:23:41