Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Cl | UNSAT | 645.359 | 645.573 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb |
MD5SUM | 19ba22a32308a07bd9c7341c12b6a0ff |
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 | 164.6 |
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 | 733 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657719-1276287582.opb 0.00/0.00 c File size is 83385 bytes. 0.00/0.01 c Highest Coefficient sum: 733 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. 645.27/645.57 c 101 231 2687 12105 4 5677 2069 101 2885 0.04 645.27/645.57 c 253 231 2839 18174 6 5981 2276 253 4773 0.05 645.27/645.57 c 480 231 3066 28589 9 6434 2504 480 5517 0.09 645.27/645.57 c 821 231 3407 49320 14 7117 2755 821 5163 0.16 645.27/645.57 c 1330 231 3916 78213 19 8136 3031 1330 4683 0.28 645.27/645.57 c 2094 231 4680 113978 24 9664 3335 2094 3739 0.56 645.27/645.57 c 3240 231 5826 150322 25 11956 3669 3240 3259 0.99 645.27/645.57 c 4961 231 5630 101584 18 11564 4036 3044 3329 1.49 645.27/645.57 c 7546 231 6099 135090 22 12502 4440 3513 3178 2.37 645.27/645.57 c 11427 231 5351 110000 20 11007 4885 2765 2943 3.88 645.27/645.57 c 17250 231 6108 126804 20 12520 5374 3522 2947 5.85 645.27/645.57 c 25988 231 6521 134926 20 13345 5912 3935 2840 9.15 645.27/645.57 c 39099 231 7336 159258 21 14977 6504 4750 2767 14.13 645.27/645.57 c 58770 231 6898 146030 21 14101 7155 4312 2523 23.29 645.27/645.57 c 88281 231 7103 177053 24 14511 7871 4517 2364 37.34 645.27/645.57 c 132552 231 7010 156390 22 14323 8659 4424 2172 61.01 645.27/645.57 c 198962 231 6993 147371 21 14290 9525 4407 2088 95.25 645.27/645.57 c 298584 231 9227 234808 25 18759 10478 6641 1869 159.70 645.27/645.57 c 448023 231 8979 207656 23 18262 11526 6393 1719 260.50 645.27/645.57 c 672181 231 10087 240795 23 20477 12679 7501 1553 432.78 645.27/645.57 c Backtracks by Clause: 0 645.27/645.57 c Backtracks by PB constraint: 0 645.27/645.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 645.27/645.57 c 20 936631 208930 1331270 10388 197857 7802 1451 645.36 645.27/645.57 s UNSATISFIABLE 645.27/645.57 c Total time: 645.356 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-2657719-1276287582/watcher-2657719-1276287582 -o /tmp/evaluation-result-2657719-1276287582/solver-2657719-1276287582 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657719-1276287582.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.18 1.51 3/106 6130 /proc/meminfo: memFree=1555792/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=10880 CPUtime=0 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 337 0 0 0 0 0 0 0 20 0 1 0 4361891 11141120 255 1992294400 134512640 137138936 4292773856 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 2720 255 175 642 0 2055 0 [startup+0.0946099 s] /proc/loadavg: 1.00 1.18 1.51 3/106 6130 /proc/meminfo: memFree=1555792/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=11452 CPUtime=0.08 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 530 0 0 0 8 0 0 0 20 0 1 0 4361891 11726848 427 1992294400 134512640 137138936 4292773856 18446744073709551615 134599775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 2863 427 190 642 0 2219 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11452 [startup+0.10161 s] /proc/loadavg: 1.00 1.18 1.51 3/106 6130 /proc/meminfo: memFree=1555792/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=11452 CPUtime=0.09 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 537 0 0 0 9 0 0 0 20 0 1 0 4361891 11726848 434 1992294400 134512640 137138936 4292773856 18446744073709551615 134576183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 2863 434 190 642 0 2219 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11452 [startup+0.300634 s] /proc/loadavg: 1.00 1.18 1.51 3/106 6130 /proc/meminfo: memFree=1555792/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=12220 CPUtime=0.29 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 713 0 0 0 29 0 0 0 20 0 1 0 4361891 12513280 610 1992294400 134512640 137138936 4292773856 18446744073709551615 134573842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 3055 610 190 642 0 2411 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12220 [startup+0.700682 s] /proc/loadavg: 1.00 1.18 1.51 3/106 6130 /proc/meminfo: memFree=1555792/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=12864 CPUtime=0.69 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 885 0 0 0 68 1 0 0 20 0 1 0 4361891 13172736 782 1992294400 134512640 137138936 4292773856 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 3216 782 190 642 0 2572 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12864 [startup+1.50077 s] /proc/loadavg: 1.00 1.18 1.51 2/107 6131 /proc/meminfo: memFree=1552932/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=13640 CPUtime=1.49 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 1061 0 0 0 148 1 0 0 22 0 1 0 4361891 13967360 958 1992294400 134512640 137138936 4292773856 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 3410 958 190 642 0 2766 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13640 [startup+3.10097 s] /proc/loadavg: 1.00 1.18 1.51 2/107 6131 /proc/meminfo: memFree=1552312/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=13896 CPUtime=3.09 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 1121 0 0 0 307 2 0 0 25 0 1 0 4361891 14229504 1018 1992294400 134512640 137138936 4292773856 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 3474 1018 190 642 0 2830 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13896 [startup+6.30134 s] /proc/loadavg: 1.00 1.18 1.51 2/107 6131 /proc/meminfo: memFree=1551816/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=14024 CPUtime=6.29 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 1155 0 0 0 625 4 0 0 25 0 1 0 4361891 14360576 1052 1992294400 134512640 137138936 4292773856 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 3506 1052 190 642 0 2862 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14024 [startup+12.7011 s] /proc/loadavg: 1.00 1.17 1.50 2/107 6131 /proc/meminfo: memFree=1551320/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=14532 CPUtime=12.69 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 1284 0 0 0 1262 7 0 0 25 0 1 0 4361891 14880768 1181 1992294400 134512640 137138936 4292773856 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 3633 1181 190 642 0 2989 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14532 [startup+25.5016 s] /proc/loadavg: 1.00 1.16 1.49 2/107 6131 /proc/meminfo: memFree=1550700/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=15048 CPUtime=25.49 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 1438 0 0 0 2536 13 0 0 25 0 1 0 4361891 15409152 1335 1992294400 134512640 137138936 4292773856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 3762 1335 190 642 0 3118 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15048 [startup+51.1016 s] /proc/loadavg: 1.00 1.15 1.48 2/107 6133 /proc/meminfo: memFree=1549832/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=16136 CPUtime=51.07 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 1688 0 0 0 5082 25 0 0 25 0 1 0 4361891 16523264 1585 1992294400 134512640 137138936 4292773856 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4034 1585 190 642 0 3390 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16136 [startup+102.309 s] /proc/loadavg: 1.00 1.12 1.45 2/107 6133 /proc/meminfo: memFree=1548964/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=16760 CPUtime=102.27 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 1842 0 0 0 10183 44 0 0 25 0 1 0 4361891 17162240 1739 1992294400 134512640 137138936 4292773856 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4190 1739 190 642 0 3546 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16760 [startup+162.302 s] /proc/loadavg: 1.00 1.10 1.42 2/107 6135 /proc/meminfo: memFree=1548716/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=17132 CPUtime=162.23 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 1936 0 0 0 16159 64 0 0 25 0 1 0 4361891 17543168 1833 1992294400 134512640 137138936 4292773856 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4283 1833 190 642 0 3639 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 17132 [startup+222.302 s] /proc/loadavg: 1.00 1.08 1.39 2/107 6137 /proc/meminfo: memFree=1548096/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=17488 CPUtime=222.21 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2028 0 0 0 22138 83 0 0 25 0 1 0 4361891 17907712 1925 1992294400 134512640 137138936 4292773856 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4372 1925 190 642 0 3728 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 17488 [startup+282.302 s] /proc/loadavg: 1.00 1.06 1.36 2/107 6139 /proc/meminfo: memFree=1547724/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=17712 CPUtime=282.19 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2084 0 0 0 28120 99 0 0 25 0 1 0 4361891 18137088 1981 1992294400 134512640 137138936 4292773856 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4428 1981 190 642 0 3784 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 17712 [startup+342.302 s] /proc/loadavg: 1.00 1.05 1.34 2/107 6141 /proc/meminfo: memFree=1547724/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=17712 CPUtime=342.18 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2084 0 0 0 34100 118 0 0 25 0 1 0 4361891 18137088 1981 1992294400 134512640 137138936 4292773856 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4428 1981 190 642 0 3784 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 17712 [startup+402.301 s] /proc/loadavg: 1.00 1.04 1.31 2/107 6141 /proc/meminfo: memFree=1547476/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=17840 CPUtime=402.15 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2133 0 0 0 40079 136 0 0 25 0 1 0 4361891 18268160 2030 1992294400 134512640 137138936 4292773856 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4460 2030 190 642 0 3816 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 17840 [startup+462.301 s] /proc/loadavg: 1.00 1.03 1.29 2/107 6143 /proc/meminfo: memFree=1547476/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=17848 CPUtime=462.14 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2135 0 0 0 46059 155 0 0 25 0 1 0 4361891 18276352 2032 1992294400 134512640 137138936 4292773856 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4462 2032 190 642 0 3818 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 17848 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.27 2/107 6145 /proc/meminfo: memFree=1547104/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=18184 CPUtime=522.12 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2204 0 0 0 52039 173 0 0 25 0 1 0 4361891 18620416 2101 1992294400 134512640 137138936 4292773856 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4546 2101 190 642 0 3902 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 18184 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.25 2/107 6147 /proc/meminfo: memFree=1546856/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=18420 CPUtime=582.1 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2278 0 0 0 58023 187 0 0 25 0 1 0 4361891 18862080 2175 1992294400 134512640 137138936 4292773856 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4605 2175 190 642 0 3961 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 18420 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.23 2/107 6149 /proc/meminfo: memFree=1546732/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=18420 CPUtime=642.08 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2278 0 0 0 64002 206 0 0 25 0 1 0 4361891 18862080 2175 1992294400 134512640 137138936 4292773856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4605 2175 190 642 0 3961 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 18420 Solver just ended. Dumping a history of the last processes samples [startup+643.101 s] /proc/loadavg: 1.00 1.01 1.23 2/107 6149 /proc/meminfo: memFree=1546732/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=18420 CPUtime=642.88 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2278 0 0 0 64082 206 0 0 25 0 1 0 4361891 18862080 2175 1992294400 134512640 137138936 4292773856 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4605 2175 190 642 0 3961 0 Current children cumulated CPU time (s) 642.88 Current children cumulated vsize (KiB) 18420 [startup+644.701 s] /proc/loadavg: 1.00 1.01 1.23 2/107 6149 /proc/meminfo: memFree=1546608/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=18420 CPUtime=644.47 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2278 0 0 0 64241 206 0 0 25 0 1 0 4361891 18862080 2175 1992294400 134512640 137138936 4292773856 18446744073709551615 136511143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4605 2175 190 642 0 3961 0 Current children cumulated CPU time (s) 644.47 Current children cumulated vsize (KiB) 18420 [startup+645.101 s] /proc/loadavg: 1.00 1.01 1.23 2/107 6149 /proc/meminfo: memFree=1546608/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=18420 CPUtime=644.87 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2278 0 0 0 64281 206 0 0 25 0 1 0 4361891 18862080 2175 1992294400 134512640 137138936 4292773856 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4605 2175 190 642 0 3961 0 Current children cumulated CPU time (s) 644.87 Current children cumulated vsize (KiB) 18420 [startup+645.501 s] /proc/loadavg: 1.00 1.01 1.23 2/107 6149 /proc/meminfo: memFree=1546608/2059040 swapFree=4192956/4192956 [pid=6130] ppid=6128 vsize=18420 CPUtime=645.27 /proc/6130/stat : 6130 (bsolo_pb10) R 6128 6130 5182 0 -1 4202496 2278 0 0 0 64321 206 0 0 25 0 1 0 4361891 18862080 2175 1992294400 134512640 137138936 4292773856 18446744073709551615 136501994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6130/statm: 4605 2175 190 642 0 3961 0 Current children cumulated CPU time (s) 645.27 Current children cumulated vsize (KiB) 18420 Child status: 0 Real time (s): 645.573 CPU time (s): 645.359 CPU user time (s): 643.287 CPU system time (s): 2.07169 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 18420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 643.287 system time used= 2.07168 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2279 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= 2212 runsolver used 1.08283 second user time and 3.03854 second system time The end
Begin job on node006 at 2010-06-11 22:19:42 IDJOB=2657719 IDBENCH=1288 IDSOLVER=1163 FILE ID=node006/2657719-1276287582 PBS_JOBID= 11173093 Free space on /tmp= 62472 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657719-1276287582/watcher-2657719-1276287582 -o /tmp/evaluation-result-2657719-1276287582/solver-2657719-1276287582 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657719-1276287582.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 19ba22a32308a07bd9c7341c12b6a0ff RANDOM SEED=866214894 node006.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.204 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.40 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.204 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1556320 kB Buffers: 64548 kB Cached: 311576 kB SwapCached: 0 kB Active: 171528 kB Inactive: 263872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1556320 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4000 kB Writeback: 0 kB AnonPages: 59320 kB Mapped: 15444 kB Slab: 45552 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182148 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= 62468 MiB End job on node006 at 2010-06-11 22:30:28