Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Cl | ? | 1798 | 1798.57 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb |
MD5SUM | 76a48b8845ca731b7df3e7e82d604015 |
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 | 63.3934 |
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 | 687 |
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-2657788-1276314821.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.01 c Highest Coefficient sum: 687 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.025 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.03 0.00/0.02 c Switching off lower bounding mode. 1797.93/1798.57 c 100 231 2686 12346 4 5675 2069 100 2857 0.04 1797.93/1798.57 c 250 231 2836 19231 6 5976 2276 250 4807 0.05 1797.93/1798.57 c 475 231 3061 29838 9 6425 2504 475 5654 0.08 1797.93/1798.57 c 813 231 3399 48923 14 7102 2755 813 5313 0.15 1797.93/1798.57 c 1321 231 3907 74321 19 8117 3031 1321 4838 0.27 1797.93/1798.57 c 2086 231 4672 112875 24 9649 3335 2086 4082 0.51 1797.93/1798.57 c 3234 231 5820 172265 29 11944 3669 3234 3230 1.00 1797.93/1798.57 c 4956 231 5596 143125 25 11497 4036 3010 3070 1.61 1797.93/1798.57 c 7540 231 6047 154248 25 12396 4440 3461 2857 2.64 1797.93/1798.57 c 11421 231 5263 99594 18 10830 4885 2677 2882 3.96 1797.93/1798.57 c 17245 231 5965 125222 20 12233 5374 3379 2846 6.06 1797.93/1798.57 c 25982 231 6291 141142 22 12885 5912 3705 2856 9.10 1797.93/1798.57 c 39093 231 7135 182459 25 14575 6504 4549 2651 14.74 1797.93/1798.57 c 58763 231 6637 143755 21 13577 7155 4051 2545 23.09 1797.93/1798.57 c 88273 231 6699 159180 23 13701 7871 4113 2361 37.38 1797.93/1798.57 c 132543 231 6529 146805 22 13361 8659 3943 2136 62.05 1797.93/1798.57 c 198954 231 10821 260469 24 21947 9525 8235 2033 97.84 1797.93/1798.57 c 298576 231 8039 206726 25 16383 10478 5453 1857 160.74 1797.93/1798.57 c 448013 231 13052 394174 30 26409 11526 10466 1678 266.98 1797.93/1798.57 c 672171 231 8350 230461 27 17004 12679 5764 1498 448.55 1797.93/1798.57 c 1008414 231 9132 233615 25 18567 13947 6546 1338 753.36 1797.93/1798.57 c 1512787 231 10397 292084 28 21097 15342 7811 1214 1245.95 1797.93/1798.57 c Resources Exceeded 1797.93/1798.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.57 c 22 2021823 442347 2831275 13551 380440 10965 1124 1798.00 1797.93/1798.57 s UNKNOWN 1797.93/1798.57 c Total time: 1798 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-2657788-1276314821/watcher-2657788-1276314821 -o /tmp/evaluation-result-2657788-1276314821/solver-2657788-1276314821 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657788-1276314821.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/106 8729 /proc/meminfo: memFree=1527052/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=10880 CPUtime=0 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 7083566 11141120 253 1992294400 134512640 137138936 4286905744 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 2720 253 175 642 0 2055 0 [startup+0.0805509 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8729 /proc/meminfo: memFree=1527052/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=11452 CPUtime=0.07 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 520 0 0 0 7 0 0 0 20 0 1 0 7083566 11726848 417 1992294400 134512640 137138936 4286905744 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 2863 417 190 642 0 2219 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11452 [startup+0.101553 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8729 /proc/meminfo: memFree=1527052/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=11580 CPUtime=0.09 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 546 0 0 0 9 0 0 0 20 0 1 0 7083566 11857920 443 1992294400 134512640 137138936 4286905744 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 2895 443 190 642 0 2251 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11580 [startup+0.301579 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8729 /proc/meminfo: memFree=1527052/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=12224 CPUtime=0.29 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 712 0 0 0 29 0 0 0 20 0 1 0 7083566 12517376 609 1992294400 134512640 137138936 4286905744 18446744073709551615 134544464 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 3056 609 190 642 0 2412 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12224 [startup+0.701631 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8729 /proc/meminfo: memFree=1527052/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=13000 CPUtime=0.69 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 926 0 0 0 69 0 0 0 21 0 1 0 7083566 13312000 823 1992294400 134512640 137138936 4286905744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 3250 823 190 642 0 2606 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13000 [startup+1.50174 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8730 /proc/meminfo: memFree=1523820/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=14024 CPUtime=1.49 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 1161 0 0 0 148 1 0 0 23 0 1 0 7083566 14360576 1058 1992294400 134512640 137138936 4286905744 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 3506 1058 190 642 0 2862 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14024 [startup+3.10095 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8730 /proc/meminfo: memFree=1523200/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=14028 CPUtime=3.09 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 1163 0 0 0 307 2 0 0 25 0 1 0 7083566 14364672 1060 1992294400 134512640 137138936 4286905744 18446744073709551615 134540724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 3507 1060 190 642 0 2863 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14028 [startup+6.30137 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8730 /proc/meminfo: memFree=1522952/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=14148 CPUtime=6.29 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 1197 0 0 0 626 3 0 0 25 0 1 0 7083566 14487552 1094 1992294400 134512640 137138936 4286905744 18446744073709551615 134543039 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 3537 1094 190 642 0 2893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14148 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8730 /proc/meminfo: memFree=1521960/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=15044 CPUtime=12.69 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 1429 0 0 0 1263 6 0 0 25 0 1 0 7083566 15405056 1326 1992294400 134512640 137138936 4286905744 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 3761 1326 190 642 0 3117 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15044 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8730 /proc/meminfo: memFree=1521712/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=15300 CPUtime=25.49 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 1476 0 0 0 2537 12 0 0 25 0 1 0 7083566 15667200 1373 1992294400 134512640 137138936 4286905744 18446744073709551615 134543012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 3825 1373 190 642 0 3181 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15300 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8730 /proc/meminfo: memFree=1521092/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=16016 CPUtime=51.08 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 1656 0 0 0 5088 20 0 0 25 0 1 0 7083566 16400384 1553 1992294400 134512640 137138936 4286905744 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4004 1553 190 642 0 3360 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16016 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8732 /proc/meminfo: memFree=1519976/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=16788 CPUtime=102.26 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 1865 0 0 0 10186 40 0 0 25 0 1 0 7083566 17190912 1762 1992294400 134512640 137138936 4286905744 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4197 1762 190 642 0 3553 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16788 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8734 /proc/meminfo: memFree=1519604/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=17292 CPUtime=162.24 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 1977 0 0 0 16162 62 0 0 25 0 1 0 7083566 17707008 1874 1992294400 134512640 137138936 4286905744 18446744073709551615 134575614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4323 1874 190 642 0 3679 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 17292 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8736 /proc/meminfo: memFree=1518984/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=17788 CPUtime=222.22 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2102 0 0 0 22142 80 0 0 25 0 1 0 7083566 18214912 1999 1992294400 134512640 137138936 4286905744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4447 1999 190 642 0 3803 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 17788 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8738 /proc/meminfo: memFree=1517868/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19276 CPUtime=282.21 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2474 0 0 0 28121 100 0 0 25 0 1 0 7083566 19738624 2371 1992294400 134512640 137138936 4286905744 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4819 2371 190 642 0 4175 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 19276 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8738 /proc/meminfo: memFree=1517496/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19268 CPUtime=342.18 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2474 0 0 0 34102 116 0 0 25 0 1 0 7083566 19730432 2371 1992294400 134512640 137138936 4286905744 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4817 2371 190 642 0 4173 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 19268 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8740 /proc/meminfo: memFree=1517496/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19264 CPUtime=402.17 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2474 0 0 0 40083 134 0 0 25 0 1 0 7083566 19726336 2371 1992294400 134512640 137138936 4286905744 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4816 2371 190 642 0 4172 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 19264 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8751 /proc/meminfo: memFree=1516380/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19272 CPUtime=462.13 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2476 0 0 0 46063 150 0 0 25 0 1 0 7083566 19734528 2373 1992294400 134512640 137138936 4286905744 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4818 2373 190 642 0 4174 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 19272 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8753 /proc/meminfo: memFree=1516380/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19392 CPUtime=522.11 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2506 0 0 0 52044 167 0 0 25 0 1 0 7083566 19857408 2403 1992294400 134512640 137138936 4286905744 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4848 2403 190 642 0 4204 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 19392 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8755 /proc/meminfo: memFree=1516380/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19380 CPUtime=582.1 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2506 0 0 0 58027 183 0 0 25 0 1 0 7083566 19845120 2403 1992294400 134512640 137138936 4286905744 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4845 2403 190 642 0 4201 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 19380 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8755 /proc/meminfo: memFree=1516380/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19376 CPUtime=642.09 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2506 0 0 0 64011 198 0 0 25 0 1 0 7083566 19841024 2403 1992294400 134512640 137138936 4286905744 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4844 2403 190 642 0 4200 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 19376 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1516132/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19600 CPUtime=1061.95 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2568 0 0 0 105893 302 0 0 25 0 1 0 7083566 20070400 2465 1992294400 134512640 137138936 4286905744 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4900 2465 190 642 0 4256 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 19600 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8769 /proc/meminfo: memFree=1516008/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19728 CPUtime=1121.93 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2600 0 0 0 111878 315 0 0 25 0 1 0 7083566 20201472 2497 1992294400 134512640 137138936 4286905744 18446744073709551615 134542208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4932 2497 190 642 0 4288 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 19728 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8771 /proc/meminfo: memFree=1516008/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19708 CPUtime=1181.91 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2600 0 0 0 117862 329 0 0 25 0 1 0 7083566 20180992 2497 1992294400 134512640 137138936 4286905744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4927 2497 190 642 0 4283 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 19708 [startup+1242.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 8774 /proc/meminfo: memFree=1515264/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=19708 CPUtime=1241.89 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2600 0 0 0 123843 346 0 0 25 0 1 0 7083566 20180992 2497 1992294400 134512640 137138936 4286905744 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 4927 2497 190 642 0 4283 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 19708 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 8776 /proc/meminfo: memFree=1515264/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20448 CPUtime=1301.88 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2771 0 0 0 129825 363 0 0 25 0 1 0 7083566 20938752 2668 1992294400 134512640 137138936 4286905744 18446744073709551615 134572991 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5112 2668 190 642 0 4468 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 20448 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8778 /proc/meminfo: memFree=1515016/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20660 CPUtime=1361.86 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 135809 377 0 0 25 0 1 0 7083566 21155840 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5165 2721 190 642 0 4521 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 20660 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8780 /proc/meminfo: memFree=1515016/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20656 CPUtime=1421.84 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 141793 391 0 0 25 0 1 0 7083566 21151744 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5164 2721 190 642 0 4520 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 20656 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8782 /proc/meminfo: memFree=1515016/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20656 CPUtime=1481.82 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 147776 406 0 0 25 0 1 0 7083566 21151744 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5164 2721 190 642 0 4520 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 20656 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8782 /proc/meminfo: memFree=1515016/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20640 CPUtime=1541.8 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 153762 418 0 0 25 0 1 0 7083566 21135360 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5160 2721 190 642 0 4516 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 20640 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 8784 /proc/meminfo: memFree=1515016/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20636 CPUtime=1601.79 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 159746 433 0 0 25 0 1 0 7083566 21131264 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5159 2721 190 642 0 4515 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 20636 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8786 /proc/meminfo: memFree=1515016/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20636 CPUtime=1661.77 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 165730 447 0 0 25 0 1 0 7083566 21131264 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5159 2721 190 642 0 4515 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 20636 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8788 /proc/meminfo: memFree=1515016/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20632 CPUtime=1721.74 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 171716 458 0 0 25 0 1 0 7083566 21127168 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5158 2721 190 642 0 4514 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 20632 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8790 /proc/meminfo: memFree=1514768/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20632 CPUtime=1781.73 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 177701 472 0 0 25 0 1 0 7083566 21127168 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 136504179 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5158 2721 190 642 0 4514 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 20632 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8790 /proc/meminfo: memFree=1514768/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20628 CPUtime=1791.33 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 178659 474 0 0 25 0 1 0 7083566 21123072 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5157 2721 190 642 0 4513 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 20628 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8790 /proc/meminfo: memFree=1514768/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20628 CPUtime=1794.53 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 178978 475 0 0 25 0 1 0 7083566 21123072 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5157 2721 190 642 0 4513 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (KiB) 20628 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8790 /proc/meminfo: memFree=1514768/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20628 CPUtime=1796.12 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 179136 476 0 0 25 0 1 0 7083566 21123072 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 134542397 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5157 2721 190 642 0 4513 0 Current children cumulated CPU time (s) 1796.12 Current children cumulated vsize (KiB) 20628 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8790 /proc/meminfo: memFree=1514768/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20628 CPUtime=1796.92 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 179216 476 0 0 25 0 1 0 7083566 21123072 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5157 2721 190 642 0 4513 0 Current children cumulated CPU time (s) 1796.92 Current children cumulated vsize (KiB) 20628 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8790 /proc/meminfo: memFree=1514768/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20628 CPUtime=1797.72 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 179296 476 0 0 25 0 1 0 7083566 21123072 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5157 2721 190 642 0 4513 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 20628 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8790 /proc/meminfo: memFree=1514768/2059040 swapFree=4192956/4192956 [pid=8729] ppid=8727 vsize=20628 CPUtime=1797.93 /proc/8729/stat : 8729 (bsolo_pb10) R 8727 8729 7769 0 -1 4202496 2824 0 0 0 179317 476 0 0 25 0 1 0 7083566 21123072 2721 1992294400 134512640 137138936 4286905744 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8729/statm: 5157 2721 190 642 0 4513 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 20628 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798 CPU user time (s): 1793.23 CPU system time (s): 4.76827 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 20660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.23 system time used= 4.76828 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2824 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= 3862 runsolver used 3.05754 second user time and 8.40472 second system time The end
Begin job on node013 at 2010-06-12 05:53:41 IDJOB=2657788 IDBENCH=1365 IDSOLVER=1163 FILE ID=node013/2657788-1276314821 PBS_JOBID= 11173138 Free space on /tmp= 62464 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657788-1276314821/watcher-2657788-1276314821 -o /tmp/evaluation-result-2657788-1276314821/solver-2657788-1276314821 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657788-1276314821.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 76a48b8845ca731b7df3e7e82d604015 RANDOM SEED=374197482 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1527580 kB Buffers: 90352 kB Cached: 313164 kB SwapCached: 0 kB Active: 177768 kB Inactive: 284888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1527580 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3980 kB Writeback: 0 kB AnonPages: 59164 kB Mapped: 15388 kB Slab: 47188 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179568 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= 62460 MiB End job on node013 at 2010-06-12 06:23:39