Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | UNSAT | 962.613 | 962.934 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb |
MD5SUM | 733d8edd6a6cbfe19e20f4970079db5a |
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 | 24.1743 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656854-1276309133.opb 0.00/0.00 c File size is 83379 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.014 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5708 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.01/0.02 c Pre-processing Time: 0.025 s 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 0 231 2586 8096 3 5472 1880 0 0 0.03 0.01/0.02 c Switching off lower bounding mode. 962.57/962.93 c 102 231 2753 14287 5 5811 2069 167 2266 0.04 962.57/962.93 c 252 231 2949 24132 8 6205 2276 363 2652 0.10 962.57/962.93 c 479 231 3231 36718 11 6770 2504 645 2768 0.17 962.57/962.93 c 820 231 3640 55019 15 7604 2755 1054 2628 0.31 962.57/962.93 c 1330 231 4207 84982 20 8804 3031 1621 2313 0.57 962.57/962.93 c 2093 231 5031 118117 23 10461 3335 2445 2064 1.01 962.57/962.93 c 3239 231 4443 70849 15 9195 3669 1857 1918 1.69 962.57/962.93 c 4960 231 6250 147292 23 12908 4036 3664 1870 2.65 962.57/962.93 c 7544 231 4747 88010 18 9806 4440 2161 1829 4.12 962.57/962.93 c 11423 231 6561 145099 22 13469 4885 3975 1808 6.32 962.57/962.93 c 17246 231 5162 113684 22 10698 5374 2576 1718 10.04 962.57/962.93 c 25985 231 6164 138165 22 12648 5912 3578 1682 15.44 962.57/962.93 c 39096 231 8362 237279 28 17205 6504 5776 1561 25.04 962.57/962.93 c 58767 231 6049 145450 24 12650 7155 3463 1466 40.08 962.57/962.93 c 88277 231 8595 213470 24 17527 7871 6009 1397 63.15 962.57/962.93 c 132550 231 7701 189942 24 15745 8659 5115 1356 97.75 962.57/962.93 c 198962 231 8642 301267 34 17748 9525 6056 1238 160.63 962.57/962.93 c 298582 231 8165 232248 28 16738 10478 5579 1146 260.46 962.57/962.93 c 448019 231 9499 249696 26 19328 11526 6913 1080 414.71 962.57/962.93 c 672178 231 9602 245772 25 19581 12679 7016 966 695.72 962.57/962.93 c Backtracks by Clause: 880294 962.57/962.93 c Backtracks by PB constraint: 980 962.57/962.93 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 962.57/962.93 c 20 881274 187224 1242462 14767 481133 12181 915 962.61 962.57/962.93 s UNSATISFIABLE 962.57/962.93 c Total time: 962.609 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-2656854-1276309133/watcher-2656854-1276309133 -o /tmp/evaluation-result-2656854-1276309133/solver-2656854-1276309133 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656854-1276309133.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.92 0.97 0.99 3/106 7833 /proc/meminfo: memFree=1538204/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=11012 CPUtime=0 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 340 0 0 0 0 0 0 0 24 0 1 0 4565168 11276288 259 1992294400 134512640 137138936 4290918080 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 2753 259 176 642 0 2088 0 [startup+0.023202 s] /proc/loadavg: 0.92 0.97 0.99 3/106 7833 /proc/meminfo: memFree=1538204/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=11328 CPUtime=0.01 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 476 0 0 0 1 0 0 0 24 0 1 0 4565168 11599872 374 1992294400 134512640 137138936 4290918080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 2832 374 185 642 0 2188 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11328 [startup+0.101216 s] /proc/loadavg: 0.92 0.97 0.99 3/106 7833 /proc/meminfo: memFree=1538204/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=11448 CPUtime=0.09 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 510 0 0 0 9 0 0 0 25 0 1 0 4565168 11722752 408 1992294400 134512640 137138936 4290918080 18446744073709551615 134618050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 2862 408 192 642 0 2218 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11448 [startup+0.300251 s] /proc/loadavg: 0.92 0.97 0.99 3/106 7833 /proc/meminfo: memFree=1538204/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=11828 CPUtime=0.29 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 621 0 0 0 29 0 0 0 25 0 1 0 4565168 12111872 519 1992294400 134512640 137138936 4290918080 18446744073709551615 134599649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 2957 519 192 642 0 2313 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11828 [startup+0.700325 s] /proc/loadavg: 0.92 0.97 0.99 3/106 7833 /proc/meminfo: memFree=1538204/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=12448 CPUtime=0.69 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 780 0 0 0 68 1 0 0 25 0 1 0 4565168 12746752 678 1992294400 134512640 137138936 4290918080 18446744073709551615 134606604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 3112 678 192 642 0 2468 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12448 [startup+1.50147 s] /proc/loadavg: 0.92 0.97 0.99 2/107 7834 /proc/meminfo: memFree=1535716/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=13308 CPUtime=1.49 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 976 0 0 0 148 1 0 0 25 0 1 0 4565168 13627392 874 1992294400 134512640 137138936 4290918080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 3327 874 192 642 0 2683 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13308 [startup+3.10176 s] /proc/loadavg: 0.92 0.97 0.99 2/107 7834 /proc/meminfo: memFree=1535096/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=13676 CPUtime=3.1 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 1069 0 0 0 308 2 0 0 25 0 1 0 4565168 14004224 967 1992294400 134512640 137138936 4290918080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 3419 967 192 642 0 2775 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 13676 [startup+6.30135 s] /proc/loadavg: 0.93 0.97 0.99 2/107 7834 /proc/meminfo: memFree=1534352/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=13800 CPUtime=6.29 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 1118 0 0 0 627 2 0 0 25 0 1 0 4565168 14131200 1016 1992294400 134512640 137138936 4290918080 18446744073709551615 134542404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 3450 1016 192 642 0 2806 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13800 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.99 2/107 7836 /proc/meminfo: memFree=1533608/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=14544 CPUtime=12.69 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 1295 0 0 0 1265 4 0 0 25 0 1 0 4565168 14893056 1193 1992294400 134512640 137138936 4290918080 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 3636 1193 192 642 0 2992 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14544 [startup+25.5009 s] /proc/loadavg: 0.95 0.97 0.99 2/107 7836 /proc/meminfo: memFree=1533112/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=15156 CPUtime=25.49 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 1459 0 0 0 2542 7 0 0 25 0 1 0 4565168 15519744 1357 1992294400 134512640 137138936 4290918080 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 3789 1357 192 642 0 3145 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15156 [startup+51.1006 s] /proc/loadavg: 0.96 0.97 0.99 2/107 7836 /proc/meminfo: memFree=1532244/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=15900 CPUtime=51.08 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 1649 0 0 0 5095 13 0 0 25 0 1 0 4565168 16281600 1547 1992294400 134512640 137138936 4290918080 18446744073709551615 134602753 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 3975 1547 192 642 0 3331 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15900 [startup+102.309 s] /proc/loadavg: 0.98 0.97 0.99 3/107 7838 /proc/meminfo: memFree=1531500/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=16528 CPUtime=102.27 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 1790 0 0 0 10202 25 0 0 25 0 1 0 4565168 16924672 1688 1992294400 134512640 137138936 4290918080 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4132 1688 192 642 0 3488 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16528 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 7840 /proc/meminfo: memFree=1530136/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=17840 CPUtime=162.24 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2115 0 0 0 16187 37 0 0 25 0 1 0 4565168 18268160 2013 1992294400 134512640 137138936 4290918080 18446744073709551615 134598899 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4460 2013 192 642 0 3816 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 17840 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 7840 /proc/meminfo: memFree=1529888/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=18084 CPUtime=222.22 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2197 0 0 0 22172 50 0 0 25 0 1 0 4565168 18518016 2095 1992294400 134512640 137138936 4290918080 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4521 2095 192 642 0 3877 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 18084 [startup+282.301 s] /proc/loadavg: 1.03 0.99 0.99 2/107 7842 /proc/meminfo: memFree=1529764/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=18208 CPUtime=282.2 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2209 0 0 0 28158 62 0 0 25 0 1 0 4565168 18644992 2107 1992294400 134512640 137138936 4290918080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4552 2107 192 642 0 3908 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 18208 [startup+342.301 s] /proc/loadavg: 1.17 1.02 1.01 2/107 7844 /proc/meminfo: memFree=1529640/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=18208 CPUtime=342.18 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2209 0 0 0 34143 75 0 0 25 0 1 0 4565168 18644992 2107 1992294400 134512640 137138936 4290918080 18446744073709551615 134606989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4552 2107 192 642 0 3908 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 18208 [startup+402.301 s] /proc/loadavg: 1.13 1.03 1.00 2/107 7846 /proc/meminfo: memFree=1529640/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=18208 CPUtime=402.16 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2209 0 0 0 40128 88 0 0 25 0 1 0 4565168 18644992 2107 1992294400 134512640 137138936 4290918080 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4552 2107 192 642 0 3908 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 18208 [startup+462.301 s] /proc/loadavg: 1.11 1.04 1.00 2/107 7848 /proc/meminfo: memFree=1529268/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=18456 CPUtime=462.14 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2286 0 0 0 46113 101 0 0 25 0 1 0 4565168 18898944 2184 1992294400 134512640 137138936 4290918080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4614 2184 192 642 0 3970 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 18456 [startup+522.302 s] /proc/loadavg: 1.10 1.04 1.00 2/107 7848 /proc/meminfo: memFree=1529144/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=18456 CPUtime=522.12 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2286 0 0 0 52099 113 0 0 25 0 1 0 4565168 18898944 2184 1992294400 134512640 137138936 4290918080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4614 2184 192 642 0 3970 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 18456 [startup+582.302 s] /proc/loadavg: 1.09 1.05 1.00 2/107 7850 /proc/meminfo: memFree=1529144/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=18456 CPUtime=582.1 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2286 0 0 0 58085 125 0 0 25 0 1 0 4565168 18898944 2184 1992294400 134512640 137138936 4290918080 18446744073709551615 134542758 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4614 2184 192 642 0 3970 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 18456 [startup+642.301 s] /proc/loadavg: 1.08 1.05 1.00 2/107 7852 /proc/meminfo: memFree=1528648/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=18952 CPUtime=642.08 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2405 0 0 0 64073 135 0 0 25 0 1 0 4565168 19406848 2303 1992294400 134512640 137138936 4290918080 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4738 2303 192 642 0 4094 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 18952 [startup+702.301 s] /proc/loadavg: 1.08 1.06 1.00 2/107 7854 /proc/meminfo: memFree=1528524/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=18960 CPUtime=702.06 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2407 0 0 0 70056 150 0 0 25 0 1 0 4565168 19415040 2305 1992294400 134512640 137138936 4290918080 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4740 2305 192 642 0 4096 0 Current children cumulated CPU time (s) 702.06 Current children cumulated vsize (KiB) 18960 [startup+762.309 s] /proc/loadavg: 1.07 1.06 1.00 2/107 7856 /proc/meminfo: memFree=1527780/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19704 CPUtime=762.04 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 76040 164 0 0 25 0 1 0 4565168 20176896 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4926 2481 192 642 0 4282 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 19704 [startup+822.301 s] /proc/loadavg: 1.07 1.06 1.00 2/107 7856 /proc/meminfo: memFree=1527780/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19700 CPUtime=822.02 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 82027 175 0 0 25 0 1 0 4565168 20172800 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 134543117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4925 2481 192 642 0 4281 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 19700 [startup+882.301 s] /proc/loadavg: 1.02 1.05 1.00 2/107 7858 /proc/meminfo: memFree=1527780/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19684 CPUtime=882 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 88016 184 0 0 25 0 1 0 4565168 20156416 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 134542857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4921 2481 192 642 0 4277 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 19684 [startup+942.301 s] /proc/loadavg: 1.01 1.04 1.00 2/107 7860 /proc/meminfo: memFree=1527656/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19680 CPUtime=941.98 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 94001 197 0 0 25 0 1 0 4565168 20152320 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4920 2481 192 642 0 4276 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 19680 Solver just ended. Dumping a history of the last processes samples [startup+947.109 s] /proc/loadavg: 1.01 1.03 1.00 2/107 7860 /proc/meminfo: memFree=1527656/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19680 CPUtime=946.78 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 94481 197 0 0 25 0 1 0 4565168 20152320 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4920 2481 192 642 0 4276 0 Current children cumulated CPU time (s) 946.78 Current children cumulated vsize (KiB) 19680 [startup+953.501 s] /proc/loadavg: 1.00 1.03 1.00 2/107 7860 /proc/meminfo: memFree=1527656/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19680 CPUtime=953.17 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 95119 198 0 0 25 0 1 0 4565168 20152320 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4920 2481 192 642 0 4276 0 Current children cumulated CPU time (s) 953.17 Current children cumulated vsize (KiB) 19680 [startup+959.9 s] /proc/loadavg: 1.00 1.03 1.00 2/107 7860 /proc/meminfo: memFree=1527656/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19680 CPUtime=959.57 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 95758 199 0 0 25 0 1 0 4565168 20152320 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4920 2481 192 642 0 4276 0 Current children cumulated CPU time (s) 959.57 Current children cumulated vsize (KiB) 19680 [startup+961.501 s] /proc/loadavg: 1.00 1.03 1.00 2/107 7860 /proc/meminfo: memFree=1527656/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19680 CPUtime=961.17 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 95917 200 0 0 25 0 1 0 4565168 20152320 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4920 2481 192 642 0 4276 0 Current children cumulated CPU time (s) 961.17 Current children cumulated vsize (KiB) 19680 [startup+962.302 s] /proc/loadavg: 1.00 1.03 1.00 2/107 7860 /proc/meminfo: memFree=1527656/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19680 CPUtime=961.97 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 95997 200 0 0 25 0 1 0 4565168 20152320 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4920 2481 192 642 0 4276 0 Current children cumulated CPU time (s) 961.97 Current children cumulated vsize (KiB) 19680 [startup+962.702 s] /proc/loadavg: 1.00 1.03 1.00 2/107 7860 /proc/meminfo: memFree=1527656/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19680 CPUtime=962.37 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 96037 200 0 0 25 0 1 0 4565168 20152320 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 134542912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4920 2481 192 642 0 4276 0 Current children cumulated CPU time (s) 962.37 Current children cumulated vsize (KiB) 19680 [startup+962.902 s] /proc/loadavg: 1.00 1.03 1.00 2/107 7860 /proc/meminfo: memFree=1527656/2059040 swapFree=4192956/4192956 [pid=7833] ppid=7831 vsize=19680 CPUtime=962.57 /proc/7833/stat : 7833 (bsolo_pb10) R 7831 7833 7781 0 -1 4202496 2583 0 0 0 96057 200 0 0 25 0 1 0 4565168 20152320 2481 1992294400 134512640 137138936 4290918080 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7833/statm: 4920 2481 192 642 0 4276 0 Current children cumulated CPU time (s) 962.57 Current children cumulated vsize (KiB) 19680 Child status: 0 Real time (s): 962.934 CPU time (s): 962.613 CPU user time (s): 960.604 CPU system time (s): 2.00869 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 19704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 960.604 system time used= 2.00869 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2583 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= 1784 runsolver used 1.82872 second user time and 5.18621 second system time The end
Begin job on node027 at 2010-06-12 04:18:53 IDJOB=2656854 IDBENCH=1353 IDSOLVER=1162 FILE ID=node027/2656854-1276309133 PBS_JOBID= 11173151 Free space on /tmp= 62448 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656854-1276309133/watcher-2656854-1276309133 -o /tmp/evaluation-result-2656854-1276309133/solver-2656854-1276309133 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656854-1276309133.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 733d8edd6a6cbfe19e20f4970079db5a RANDOM SEED=995898703 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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: 1538608 kB Buffers: 79732 kB Cached: 312440 kB SwapCached: 0 kB Active: 179124 kB Inactive: 272260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1538608 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3980 kB Writeback: 0 kB AnonPages: 59236 kB Mapped: 15392 kB Slab: 47244 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180680 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node027 at 2010-06-12 04:34:56