Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | UNSAT | 1491.46 | 1491.82 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb |
MD5SUM | 46461f0e86cd2c07d09bc154a5f6739a |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 58.879 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 715 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656436-1276312266.opb 0.00/0.00 c File size is 83377 bytes. 0.00/0.01 c Highest Coefficient sum: 715 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.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.024 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. 1491.43/1491.81 c 101 231 2745 13627 4 5794 2069 159 2195 0.05 1491.43/1491.81 c 251 231 2948 21299 7 6201 2276 362 2988 0.08 1491.43/1491.81 c 477 231 3247 32522 10 6801 2504 661 3077 0.15 1491.43/1491.81 c 815 231 3671 49558 13 7658 2755 1085 3018 0.27 1491.43/1491.81 c 1323 231 4292 76586 17 8902 3031 1706 2630 0.50 1491.43/1491.81 c 2086 231 5207 115791 22 10771 3335 2621 2274 0.92 1491.43/1491.81 c 3232 231 4702 88331 18 9723 3669 2116 2050 1.58 1491.43/1491.81 c 4954 231 4642 77947 16 9607 4036 2056 2010 2.46 1491.43/1491.81 c 7539 231 5319 106004 19 10972 4440 2733 1988 3.79 1491.43/1491.81 c 11418 231 4841 82361 17 9989 4885 2255 1942 5.88 1491.43/1491.81 c 17240 231 5935 130525 21 12184 5374 3349 1901 9.06 1491.43/1491.81 c 25979 231 7067 168597 23 14476 5912 4481 1801 14.42 1491.43/1491.81 c 39091 231 5832 139601 23 12069 6504 3246 1655 23.61 1491.43/1491.81 c 58761 231 7316 188234 25 14985 7155 4730 1568 37.46 1491.43/1491.81 c 88275 231 9714 312416 32 20009 7871 7128 1451 60.80 1491.43/1491.81 c 132547 231 7774 220131 28 15997 8659 5188 1343 98.64 1491.43/1491.81 c 198957 231 7703 189777 24 15728 9525 5117 1293 153.86 1491.43/1491.81 c 298577 231 7950 190128 23 16233 10478 5364 1209 246.83 1491.43/1491.81 c 448013 231 8295 203669 24 16942 11526 5709 1142 392.25 1491.43/1491.81 c 672173 231 12756 389417 30 25921 12679 10170 1052 638.77 1491.43/1491.81 c 1008419 231 11549 337192 29 23470 13947 8963 975 1033.61 1491.43/1491.81 c Backtracks by Clause: 1355082 1491.43/1491.81 c Backtracks by PB constraint: 1139 1491.43/1491.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1491.43/1491.81 c 21 1356221 293857 1906294 15446 418658 12860 909 1491.45 1491.43/1491.81 s UNSATISFIABLE 1491.43/1491.81 c Total time: 1491.45 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-2656436-1276312266/watcher-2656436-1276312266 -o /tmp/evaluation-result-2656436-1276312266/solver-2656436-1276312266 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656436-1276312266.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/107 7151 /proc/meminfo: memFree=1494580/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=11012 CPUtime=0 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 341 0 0 0 0 0 0 0 24 0 1 0 4882324 11276288 259 1992294400 134512640 137138936 4292814448 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 2753 260 176 642 0 2088 0 [startup+0.0810999 s] /proc/loadavg: 1.00 1.00 1.00 3/107 7151 /proc/meminfo: memFree=1494580/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=11320 CPUtime=0.07 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 494 0 0 0 7 0 0 0 24 0 1 0 4882324 11591680 391 1992294400 134512640 137138936 4292814448 18446744073709551615 134600290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 2830 391 192 642 0 2186 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11320 [startup+0.101104 s] /proc/loadavg: 1.00 1.00 1.00 3/107 7151 /proc/meminfo: memFree=1494580/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=11452 CPUtime=0.09 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 511 0 0 0 9 0 0 0 24 0 1 0 4882324 11726848 408 1992294400 134512640 137138936 4292814448 18446744073709551615 134543524 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 2863 408 192 642 0 2219 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11452 [startup+0.301121 s] /proc/loadavg: 1.00 1.00 1.00 3/107 7151 /proc/meminfo: memFree=1494580/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=11828 CPUtime=0.29 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 624 0 0 0 29 0 0 0 24 0 1 0 4882324 12111872 521 1992294400 134512640 137138936 4292814448 18446744073709551615 134575891 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 2957 521 192 642 0 2313 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11828 [startup+0.701156 s] /proc/loadavg: 1.00 1.00 1.00 3/107 7151 /proc/meminfo: memFree=1494580/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=12452 CPUtime=0.69 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 786 0 0 0 68 1 0 0 25 0 1 0 4882324 12750848 683 1992294400 134512640 137138936 4292814448 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 3113 683 192 642 0 2469 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12452 [startup+1.50123 s] /proc/loadavg: 1.08 1.02 1.01 2/108 7152 /proc/meminfo: memFree=1491844/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=13324 CPUtime=1.49 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 994 0 0 0 148 1 0 0 25 0 1 0 4882324 13643776 891 1992294400 134512640 137138936 4292814448 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 3331 891 192 642 0 2687 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13324 [startup+3.10138 s] /proc/loadavg: 1.08 1.02 1.01 2/108 7152 /proc/meminfo: memFree=1491348/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=13328 CPUtime=3.09 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 1009 0 0 0 308 1 0 0 25 0 1 0 4882324 13647872 906 1992294400 134512640 137138936 4292814448 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 3332 906 192 642 0 2688 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13328 [startup+6.30067 s] /proc/loadavg: 1.07 1.02 1.00 2/108 7152 /proc/meminfo: memFree=1490736/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=13832 CPUtime=6.29 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 1122 0 0 0 627 2 0 0 25 0 1 0 4882324 14163968 1019 1992294400 134512640 137138936 4292814448 18446744073709551615 134599666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 3458 1019 192 642 0 2814 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13832 [startup+12.7013 s] /proc/loadavg: 1.07 1.02 1.00 2/108 7152 /proc/meminfo: memFree=1490116/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=14448 CPUtime=12.68 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 1281 0 0 0 1264 4 0 0 25 0 1 0 4882324 14794752 1178 1992294400 134512640 137138936 4292814448 18446744073709551615 134576564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 3612 1178 192 642 0 2968 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14448 [startup+25.5014 s] /proc/loadavg: 1.06 1.01 1.00 2/108 7152 /proc/meminfo: memFree=1489496/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=15192 CPUtime=25.48 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 1454 0 0 0 2540 8 0 0 25 0 1 0 4882324 15556608 1351 1992294400 134512640 137138936 4292814448 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 3798 1351 192 642 0 3154 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15192 [startup+51.1008 s] /proc/loadavg: 1.03 1.01 1.00 2/108 7152 /proc/meminfo: memFree=1488876/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=15792 CPUtime=51.08 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 1614 0 0 0 5093 15 0 0 25 0 1 0 4882324 16171008 1511 1992294400 134512640 137138936 4292814448 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 3948 1511 192 642 0 3304 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15792 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/108 7154 /proc/meminfo: memFree=1487636/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=16892 CPUtime=102.27 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 1878 0 0 0 10201 26 0 0 25 0 1 0 4882324 17297408 1775 1992294400 134512640 137138936 4292814448 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4223 1775 192 642 0 3579 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16892 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7156 /proc/meminfo: memFree=1487264/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=17136 CPUtime=162.25 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 1956 0 0 0 16184 41 0 0 25 0 1 0 4882324 17547264 1853 1992294400 134512640 137138936 4292814448 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4284 1853 192 642 0 3640 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 17136 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7158 /proc/meminfo: memFree=1487264/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=17136 CPUtime=222.23 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 1961 0 0 0 22171 52 0 0 25 0 1 0 4882324 17547264 1858 1992294400 134512640 137138936 4292814448 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4284 1858 192 642 0 3640 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17136 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7158 /proc/meminfo: memFree=1486892/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=17476 CPUtime=282.22 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2047 0 0 0 28158 64 0 0 25 0 1 0 4882324 17895424 1944 1992294400 134512640 137138936 4292814448 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4369 1944 192 642 0 3725 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 17476 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7160 /proc/meminfo: memFree=1486768/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=17720 CPUtime=342.2 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2098 0 0 0 34143 77 0 0 25 0 1 0 4882324 18145280 1995 1992294400 134512640 137138936 4292814448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4430 1995 192 642 0 3786 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 17720 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7162 /proc/meminfo: memFree=1486148/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=18208 CPUtime=402.19 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2220 0 0 0 40129 90 0 0 25 0 1 0 4882324 18644992 2117 1992294400 134512640 137138936 4292814448 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4552 2117 192 642 0 3908 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 18208 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7164 /proc/meminfo: memFree=1485900/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=18456 CPUtime=462.18 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2272 0 0 0 46114 104 0 0 25 0 1 0 4882324 18898944 2169 1992294400 134512640 137138936 4292814448 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4614 2169 192 642 0 3970 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 18456 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7166 /proc/meminfo: memFree=1485900/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=18440 CPUtime=522.17 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2272 0 0 0 52099 118 0 0 25 0 1 0 4882324 18882560 2169 1992294400 134512640 137138936 4292814448 18446744073709551615 134544865 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4610 2169 192 642 0 3966 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 18440 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7166 /proc/meminfo: memFree=1485776/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=18420 CPUtime=582.14 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2272 0 0 0 58084 130 0 0 25 0 1 0 4882324 18862080 2169 1992294400 134512640 137138936 4292814448 18446744073709551615 136504658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4605 2169 192 642 0 3961 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 18420 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7168 /proc/meminfo: memFree=1485280/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=18920 CPUtime=642.14 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2396 0 0 0 64071 143 0 0 25 0 1 0 4882324 19374080 2293 1992294400 134512640 137138936 4292814448 18446744073709551615 134555862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4730 2293 192 642 0 4086 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 18920 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1484288/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=19644 CPUtime=822.09 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2578 0 0 0 82030 179 0 0 25 0 1 0 4882324 20115456 2475 1992294400 134512640 137138936 4292814448 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4911 2475 192 642 0 4267 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 19644 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7174 /proc/meminfo: memFree=1484288/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=19644 CPUtime=882.08 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2578 0 0 0 88015 193 0 0 25 0 1 0 4882324 20115456 2475 1992294400 134512640 137138936 4292814448 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4911 2475 192 642 0 4267 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 19644 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7176 /proc/meminfo: memFree=1484164/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=19644 CPUtime=942.07 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2578 0 0 0 94003 204 0 0 25 0 1 0 4882324 20115456 2475 1992294400 134512640 137138936 4292814448 18446744073709551615 134573452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4911 2475 192 642 0 4267 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 19644 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7178 /proc/meminfo: memFree=1484164/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=19640 CPUtime=1002.04 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2578 0 0 0 99988 216 0 0 25 0 1 0 4882324 20111360 2475 1992294400 134512640 137138936 4292814448 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4910 2475 192 642 0 4266 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 19640 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7180 /proc/meminfo: memFree=1484040/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=19644 CPUtime=1062.03 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2579 0 0 0 105973 230 0 0 25 0 1 0 4882324 20115456 2476 1992294400 134512640 137138936 4292814448 18446744073709551615 134601072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4911 2476 192 642 0 4267 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 19644 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7182 /proc/meminfo: memFree=1484040/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=19640 CPUtime=1122.01 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2579 0 0 0 111956 245 0 0 25 0 1 0 4882324 20111360 2476 1992294400 134512640 137138936 4292814448 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 4910 2476 192 642 0 4266 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 19640 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7182 /proc/meminfo: memFree=1483792/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1182 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2675 0 0 0 117943 257 0 0 25 0 1 0 4882324 20484096 2572 1992294400 134512640 137138936 4292814448 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2572 192 642 0 4357 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 20004 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7184 /proc/meminfo: memFree=1483544/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1241.99 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 123932 267 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 20004 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7186 /proc/meminfo: memFree=1483420/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1301.99 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 129919 280 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 20004 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 1.00 3/108 7188 /proc/meminfo: memFree=1483420/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1361.96 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 135905 291 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 134599649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 20004 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/108 7190 /proc/meminfo: memFree=1483420/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1421.95 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 141892 303 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 20004 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7190 /proc/meminfo: memFree=1483296/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1481.93 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 147879 314 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 20004 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7192 /proc/meminfo: memFree=1483296/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1484.33 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 148119 314 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1484.33 Current children cumulated vsize (KiB) 20004 [startup+1487.9 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7192 /proc/meminfo: memFree=1483296/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1487.53 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 148438 315 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1487.53 Current children cumulated vsize (KiB) 20004 [startup+1489.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7192 /proc/meminfo: memFree=1483296/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1489.13 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 148598 315 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1489.13 Current children cumulated vsize (KiB) 20004 [startup+1491.1 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7192 /proc/meminfo: memFree=1483296/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1490.73 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 148758 315 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1490.73 Current children cumulated vsize (KiB) 20004 [startup+1491.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7192 /proc/meminfo: memFree=1483296/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1491.13 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 148798 315 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1491.13 Current children cumulated vsize (KiB) 20004 [startup+1491.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7192 /proc/meminfo: memFree=1483296/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1491.33 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 148818 315 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1491.33 Current children cumulated vsize (KiB) 20004 [startup+1491.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7192 /proc/meminfo: memFree=1483296/2059040 swapFree=4192956/4192956 [pid=7151] ppid=7149 vsize=20004 CPUtime=1491.43 /proc/7151/stat : 7151 (bsolo_pb10) R 7149 7151 6858 0 -1 4202496 2678 0 0 0 148828 315 0 0 25 0 1 0 4882324 20484096 2575 1992294400 134512640 137138936 4292814448 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7151/statm: 5001 2575 192 642 0 4357 0 Current children cumulated CPU time (s) 1491.43 Current children cumulated vsize (KiB) 20004 Child status: 0 Real time (s): 1491.82 CPU time (s): 1491.46 CPU user time (s): 1488.3 CPU system time (s): 3.15852 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 20004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1488.3 system time used= 3.15852 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2678 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= 1 involuntary context switches= 3429 runsolver used 2.47562 second user time and 7.02893 second system time The end
Begin job on node025 at 2010-06-12 05:11:06 IDJOB=2656436 IDBENCH=1360 IDSOLVER=1162 FILE ID=node025/2656436-1276312266 PBS_JOBID= 11173146 Free space on /tmp= 62540 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656436-1276312266/watcher-2656436-1276312266 -o /tmp/evaluation-result-2656436-1276312266/solver-2656436-1276312266 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656436-1276312266.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 46461f0e86cd2c07d09bc154a5f6739a RANDOM SEED=1342510534 node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1494984 kB Buffers: 90368 kB Cached: 333176 kB SwapCached: 0 kB Active: 179360 kB Inactive: 303528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1494984 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4100 kB Writeback: 0 kB AnonPages: 59360 kB Mapped: 15396 kB Slab: 59312 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181528 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node025 at 2010-06-12 05:35:58