Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | UNSAT | 1339.75 | 1340.22 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb |
MD5SUM | 490d573a1d39845890b306c349815f34 |
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 | 9.75252 |
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 | 749 |
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-2656826-1276299721.opb 0.00/0.00 c File size is 83383 bytes. 0.00/0.01 c Highest Coefficient sum: 749 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: 5711 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. 1339.72/1340.22 c 101 231 2748 13746 5 5803 2069 162 2244 0.04 1339.72/1340.22 c 251 231 2963 24298 8 6241 2276 377 2758 0.09 1339.72/1340.22 c 476 231 3274 38067 11 6867 2504 688 2783 0.17 1339.72/1340.22 c 815 231 3660 53965 14 7653 2755 1074 2579 0.32 1339.72/1340.22 c 1323 231 4230 75573 17 8802 3031 1644 2405 0.55 1339.72/1340.22 c 2087 231 5040 102778 20 10423 3335 2454 2213 0.94 1339.72/1340.22 c 3235 231 4503 63903 14 9310 3669 1917 2129 1.52 1339.72/1340.22 c 4957 231 4422 66446 15 9149 4036 1836 2125 2.33 1339.72/1340.22 c 7542 231 5070 90220 17 10472 4440 2484 2049 3.68 1339.72/1340.22 c 11422 231 6930 148179 21 14186 4885 4344 1960 5.83 1339.72/1340.22 c 17248 231 5522 108215 19 11360 5374 2936 1844 9.35 1339.72/1340.22 c 25989 231 6385 142794 22 13126 5912 3799 1796 14.47 1339.72/1340.22 c 39100 231 8088 191406 23 16643 6504 5502 1718 22.75 1339.72/1340.22 c 58771 231 5839 122248 20 12061 7155 3253 1609 36.51 1339.72/1340.22 c 88281 231 8227 217533 26 16864 7871 5641 1515 58.26 1339.72/1340.22 c 132552 231 7542 170884 22 15420 8659 4956 1417 93.54 1339.72/1340.22 c 198962 231 8058 173871 21 16429 9525 5472 1344 147.99 1339.72/1340.22 c 298585 231 7904 177103 22 16149 10478 5318 1252 238.40 1339.72/1340.22 c 448022 231 8402 219173 26 17292 11526 5816 1176 380.90 1339.72/1340.22 c 672181 231 9297 277653 29 19005 12679 6711 1066 630.15 1339.72/1340.22 c 1008424 231 11775 360015 30 23888 13947 9189 972 1036.50 1339.72/1340.22 c Backtracks by Clause: 1235927 1339.72/1340.22 c Backtracks by PB constraint: 1295 1339.72/1340.22 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1339.72/1340.22 c 21 1237222 282730 1780529 11853 337231 9267 923 1339.75 1339.72/1340.22 s UNSATISFIABLE 1339.72/1340.22 c Total time: 1339.75 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-2656826-1276299721/watcher-2656826-1276299721 -o /tmp/evaluation-result-2656826-1276299721/solver-2656826-1276299721 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656826-1276299721.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.02 1.03 1.00 3/106 6804 /proc/meminfo: memFree=1546816/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=10880 CPUtime=0 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 339 0 0 0 0 0 0 0 25 0 1 0 3623964 11141120 258 1992294400 134512640 137138936 4294252464 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 2720 258 176 642 0 2055 0 [startup+0.0819369 s] /proc/loadavg: 1.02 1.03 1.00 3/106 6804 /proc/meminfo: memFree=1546816/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=11320 CPUtime=0.07 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 500 0 0 0 7 0 0 0 25 0 1 0 3623964 11591680 398 1992294400 134512640 137138936 4294252464 18446744073709551615 134604443 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 2830 398 192 642 0 2186 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11320 [startup+0.10094 s] /proc/loadavg: 1.02 1.03 1.00 3/106 6804 /proc/meminfo: memFree=1546816/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=11448 CPUtime=0.09 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 514 0 0 0 9 0 0 0 25 0 1 0 3623964 11722752 412 1992294400 134512640 137138936 4294252464 18446744073709551615 134618280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 2862 412 192 642 0 2218 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11448 [startup+0.300977 s] /proc/loadavg: 1.02 1.03 1.00 3/106 6804 /proc/meminfo: memFree=1546816/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=11824 CPUtime=0.29 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 617 0 0 0 29 0 0 0 25 0 1 0 3623964 12107776 515 1992294400 134512640 137138936 4294252464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 2956 515 192 642 0 2312 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11824 [startup+0.701048 s] /proc/loadavg: 1.02 1.03 1.00 3/106 6804 /proc/meminfo: memFree=1546816/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=12316 CPUtime=0.69 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 755 0 0 0 69 0 0 0 25 0 1 0 3623964 12611584 653 1992294400 134512640 137138936 4294252464 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 3079 653 192 642 0 2435 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12316 [startup+1.50119 s] /proc/loadavg: 1.02 1.03 1.00 2/107 6805 /proc/meminfo: memFree=1544452/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=13172 CPUtime=1.49 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 941 0 0 0 148 1 0 0 25 0 1 0 3623964 13488128 839 1992294400 134512640 137138936 4294252464 18446744073709551615 134599865 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 3293 839 192 642 0 2649 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13172 [startup+3.10148 s] /proc/loadavg: 1.02 1.03 1.00 2/107 6805 /proc/meminfo: memFree=1543832/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=13172 CPUtime=3.09 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 942 0 0 0 308 1 0 0 25 0 1 0 3623964 13488128 840 1992294400 134512640 137138936 4294252464 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 3293 840 192 642 0 2649 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13172 [startup+6.30107 s] /proc/loadavg: 1.01 1.03 1.00 2/107 6805 /proc/meminfo: memFree=1543336/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=13792 CPUtime=6.29 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 1105 0 0 0 627 2 0 0 25 0 1 0 3623964 14123008 1003 1992294400 134512640 137138936 4294252464 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 3448 1003 192 642 0 2804 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13792 [startup+12.7012 s] /proc/loadavg: 1.01 1.03 1.00 2/107 6805 /proc/meminfo: memFree=1542716/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=14040 CPUtime=12.68 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 1179 0 0 0 1264 4 0 0 25 0 1 0 3623964 14376960 1077 1992294400 134512640 137138936 4294252464 18446744073709551615 134600328 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 3510 1077 192 642 0 2866 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14040 [startup+25.5006 s] /proc/loadavg: 1.01 1.02 1.00 2/107 6805 /proc/meminfo: memFree=1542096/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=14764 CPUtime=25.48 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 1348 0 0 0 2540 8 0 0 25 0 1 0 3623964 15118336 1246 1992294400 134512640 137138936 4294252464 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 3691 1246 192 642 0 3047 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14764 [startup+51.1012 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6807 /proc/meminfo: memFree=1540608/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=16108 CPUtime=51.06 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 1693 0 0 0 5091 15 0 0 25 0 1 0 3623964 16494592 1591 1992294400 134512640 137138936 4294252464 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4027 1591 192 642 0 3383 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 16108 [startup+102.309 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6807 /proc/meminfo: memFree=1540360/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=16364 CPUtime=102.25 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 1762 0 0 0 10198 27 0 0 25 0 1 0 3623964 16756736 1660 1992294400 134512640 137138936 4294252464 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4091 1660 192 642 0 3447 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 16364 [startup+162.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6809 /proc/meminfo: memFree=1540236/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=16588 CPUtime=162.22 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 1812 0 0 0 16181 41 0 0 25 0 1 0 3623964 16986112 1710 1992294400 134512640 137138936 4294252464 18446744073709551615 134604380 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4147 1710 192 642 0 3503 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 16588 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6811 /proc/meminfo: memFree=1539616/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=17172 CPUtime=222.21 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 1947 0 0 0 22166 55 0 0 25 0 1 0 3623964 17584128 1845 1992294400 134512640 137138936 4294252464 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4293 1845 192 642 0 3649 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 17172 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6813 /proc/meminfo: memFree=1538872/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=17876 CPUtime=282.19 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2136 0 0 0 28150 69 0 0 25 0 1 0 3623964 18305024 2034 1992294400 134512640 137138936 4294252464 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4469 2034 192 642 0 3825 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 17876 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6813 /proc/meminfo: memFree=1538872/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=17876 CPUtime=342.17 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2136 0 0 0 34134 83 0 0 25 0 1 0 3623964 18305024 2034 1992294400 134512640 137138936 4294252464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4469 2034 192 642 0 3825 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 17876 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6815 /proc/meminfo: memFree=1538252/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=18496 CPUtime=402.15 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2293 0 0 0 40119 96 0 0 25 0 1 0 3623964 18939904 2191 1992294400 134512640 137138936 4294252464 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4624 2191 192 642 0 3980 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 18496 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6817 /proc/meminfo: memFree=1538128/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=18496 CPUtime=462.13 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2293 0 0 0 46103 110 0 0 25 0 1 0 3623964 18939904 2191 1992294400 134512640 137138936 4294252464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4624 2191 192 642 0 3980 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 18496 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6819 /proc/meminfo: memFree=1537260/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=19236 CPUtime=522.1 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2486 0 0 0 52086 124 0 0 25 0 1 0 3623964 19697664 2384 1992294400 134512640 137138936 4294252464 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4809 2384 192 642 0 4165 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 19236 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6821 /proc/meminfo: memFree=1537260/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=19236 CPUtime=582.09 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2486 0 0 0 58069 140 0 0 25 0 1 0 3623964 19697664 2384 1992294400 134512640 137138936 4294252464 18446744073709551615 134606677 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4809 2384 192 642 0 4165 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 19236 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6821 /proc/meminfo: memFree=1537260/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=19244 CPUtime=642.08 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2488 0 0 0 64054 154 0 0 25 0 1 0 3623964 19705856 2386 1992294400 134512640 137138936 4294252464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4811 2386 192 642 0 4167 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 19244 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1537136/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=19352 CPUtime=762.03 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2496 0 0 0 76024 179 0 0 25 0 1 0 3623964 19816448 2394 1992294400 134512640 137138936 4294252464 18446744073709551615 135984561 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4838 2394 192 642 0 4194 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 19352 [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6827 /proc/meminfo: memFree=1536640/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=19808 CPUtime=822.01 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2611 0 0 0 82010 191 0 0 25 0 1 0 3623964 20283392 2509 1992294400 134512640 137138936 4294252464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4952 2509 192 642 0 4308 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 19808 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6829 /proc/meminfo: memFree=1536640/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=19808 CPUtime=881.99 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2611 0 0 0 87995 204 0 0 25 0 1 0 3623964 20283392 2509 1992294400 134512640 137138936 4294252464 18446744073709551615 136502626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4952 2509 192 642 0 4308 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 19808 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6829 /proc/meminfo: memFree=1536516/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=19764 CPUtime=941.97 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2611 0 0 0 93981 216 0 0 25 0 1 0 3623964 20238336 2509 1992294400 134512640 137138936 4294252464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4941 2509 192 642 0 4297 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 19764 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6831 /proc/meminfo: memFree=1536516/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=19764 CPUtime=1001.95 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2611 0 0 0 99965 230 0 0 25 0 1 0 3623964 20238336 2509 1992294400 134512640 137138936 4294252464 18446744073709551615 134603108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4941 2509 192 642 0 4297 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 19764 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6833 /proc/meminfo: memFree=1536516/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=19768 CPUtime=1061.93 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2612 0 0 0 105951 242 0 0 25 0 1 0 3623964 20242432 2510 1992294400 134512640 137138936 4294252464 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4942 2510 192 642 0 4298 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 19768 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6835 /proc/meminfo: memFree=1536392/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=19764 CPUtime=1121.9 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2612 0 0 0 111937 253 0 0 25 0 1 0 3623964 20238336 2510 1992294400 134512640 137138936 4294252464 18446744073709551615 136511151 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 4941 2510 192 642 0 4297 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 19764 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6846 /proc/meminfo: memFree=1535772/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1181.88 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 117921 267 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 20368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6846 /proc/meminfo: memFree=1535648/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1241.85 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 123908 277 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 20368 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6848 /proc/meminfo: memFree=1535524/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1301.84 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 129895 289 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134618208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 20368 Solver just ended. Dumping a history of the last processes samples [startup+1305.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6848 /proc/meminfo: memFree=1535524/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1305.03 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 130213 290 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1305.03 Current children cumulated vsize (KiB) 20368 [startup+1318.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6848 /proc/meminfo: memFree=1535524/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1317.83 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 131491 292 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1317.83 Current children cumulated vsize (KiB) 20368 [startup+1331.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6850 /proc/meminfo: memFree=1535524/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1330.62 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 132768 294 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1330.62 Current children cumulated vsize (KiB) 20368 [startup+1334.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6850 /proc/meminfo: memFree=1535524/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1333.83 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 133088 295 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1333.83 Current children cumulated vsize (KiB) 20368 [startup+1337.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6850 /proc/meminfo: memFree=1535524/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1337.02 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 133407 295 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1337.02 Current children cumulated vsize (KiB) 20368 [startup+1339.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6850 /proc/meminfo: memFree=1535524/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1338.62 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 133566 296 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1338.62 Current children cumulated vsize (KiB) 20368 [startup+1339.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6850 /proc/meminfo: memFree=1535524/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1339.42 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 133646 296 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134575454 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1339.42 Current children cumulated vsize (KiB) 20368 [startup+1340.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6850 /proc/meminfo: memFree=1535524/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1339.62 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 133666 296 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1339.62 Current children cumulated vsize (KiB) 20368 [startup+1340.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6850 /proc/meminfo: memFree=1535524/2059040 swapFree=4192956/4192956 [pid=6804] ppid=6802 vsize=20368 CPUtime=1339.72 /proc/6804/stat : 6804 (bsolo_pb10) R 6802 6804 6184 0 -1 4202496 2769 0 0 0 133676 296 0 0 25 0 1 0 3623964 20856832 2667 1992294400 134512640 137138936 4294252464 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6804/statm: 5092 2667 192 642 0 4448 0 Current children cumulated CPU time (s) 1339.72 Current children cumulated vsize (KiB) 20368 Child status: 0 Real time (s): 1340.22 CPU time (s): 1339.75 CPU user time (s): 1336.78 CPU system time (s): 2.96455 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (KiB): 20368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1336.78 system time used= 2.96455 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2769 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= 2949 runsolver used 2.6136 second user time and 6.67298 second system time The end
Begin job on node027 at 2010-06-12 01:42:01 IDJOB=2656826 IDBENCH=1324 IDSOLVER=1162 FILE ID=node027/2656826-1276299721 PBS_JOBID= 11173129 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.1900570242.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656826-1276299721/watcher-2656826-1276299721 -o /tmp/evaluation-result-2656826-1276299721/solver-2656826-1276299721 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656826-1276299721.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 490d573a1d39845890b306c349815f34 RANDOM SEED=1612301763 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: 1547344 kB Buffers: 71516 kB Cached: 312124 kB SwapCached: 0 kB Active: 176428 kB Inactive: 266556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1547344 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4012 kB Writeback: 80 kB AnonPages: 59312 kB Mapped: 15408 kB Slab: 46904 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181740 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 02:04:21