Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Cl | UNSAT | 713.2 | 713.443 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb |
MD5SUM | 6281627dc4c435fe3011d1036bb94900 |
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 | 32.695 |
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 | 695 |
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-2657459-1276290486.opb 0.00/0.00 c File size is 83375 bytes. 0.00/0.01 c Highest Coefficient sum: 695 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 5473 1880 0 0 0.03 0.00/0.02 c Switching off lower bounding mode. 713.15/713.44 c 101 231 2687 12338 4 5679 2069 101 2805 0.04 713.15/713.44 c 254 231 2840 18808 6 5984 2276 254 4618 0.06 713.15/713.44 c 480 231 3066 30117 9 6437 2504 480 5106 0.09 713.15/713.44 c 821 231 3407 43365 12 7118 2755 821 5163 0.16 713.15/713.44 c 1332 231 3918 59908 15 8140 3031 1332 4970 0.27 713.15/713.44 c 2095 231 4681 87139 18 9666 3335 2095 4392 0.48 713.15/713.44 c 3241 231 5827 123256 21 11959 3669 3241 3996 0.81 713.15/713.44 c 4962 231 5615 101439 18 11534 4036 3029 3969 1.25 713.15/713.44 c 7548 231 6074 115419 19 12452 4440 3488 3770 2.00 713.15/713.44 c 11427 231 5299 90312 17 10902 4885 2713 3602 3.17 713.15/713.44 c 17249 231 6013 122165 20 12330 5374 3427 3303 5.22 713.15/713.44 c 25986 231 6381 128473 20 13065 5912 3795 3122 8.32 713.15/713.44 c 39096 231 7268 178219 24 14841 6504 4682 2863 13.65 713.15/713.44 c 58766 231 6799 138327 20 13903 7155 4213 2645 22.21 713.15/713.44 c 88276 231 6883 146152 21 14070 7871 4297 2392 36.90 713.15/713.44 c 132547 231 6752 128931 19 13809 8659 4166 2246 59.00 713.15/713.44 c 198958 231 11084 291808 26 22472 9525 8498 2019 98.54 713.15/713.44 c 298579 231 8512 197124 23 17328 10478 5926 1892 157.77 713.15/713.44 c 448015 231 8239 184606 22 16783 11526 5653 1727 259.40 713.15/713.44 c 672173 228 9791 227662 23 19884 12679 7205 1577 426.21 713.15/713.44 c 1008416 207 11406 233767 20 23112 13947 8820 1420 710.00 713.15/713.44 c Backtracks by Clause: 0 713.15/713.44 c Backtracks by PB constraint: 0 713.15/713.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 713.15/713.44 c 21 1011535 225834 1427340 14525 312733 11939 1418 713.20 713.15/713.44 s UNSATISFIABLE 713.15/713.44 c Total time: 713.197 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-2657459-1276290486/watcher-2657459-1276290486 -o /tmp/evaluation-result-2657459-1276290486/solver-2657459-1276290486 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657459-1276290486.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 6479 /proc/meminfo: memFree=1707748/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=10880 CPUtime=0 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 337 0 0 0 0 0 0 0 17 0 1 0 2704944 11141120 256 1992294400 134512640 137138936 4292668064 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 2720 256 175 642 0 2055 0 [startup+0.0813509 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6479 /proc/meminfo: memFree=1707748/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=11448 CPUtime=0.07 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 513 0 0 0 7 0 0 0 17 0 1 0 2704944 11722752 411 1992294400 134512640 137138936 4292668064 18446744073709551615 136520969 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 2862 411 190 642 0 2218 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11448 [startup+0.100354 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6479 /proc/meminfo: memFree=1707748/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=11452 CPUtime=0.09 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 532 0 0 0 9 0 0 0 17 0 1 0 2704944 11726848 430 1992294400 134512640 137138936 4292668064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 2863 430 190 642 0 2219 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11452 [startup+0.300391 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6479 /proc/meminfo: memFree=1707748/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=11968 CPUtime=0.29 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 664 0 0 0 29 0 0 0 17 0 1 0 2704944 12255232 562 1992294400 134512640 137138936 4292668064 18446744073709551615 134576176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 2992 562 190 642 0 2348 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11968 [startup+0.700467 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6479 /proc/meminfo: memFree=1707748/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=12736 CPUtime=0.69 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 858 0 0 0 69 0 0 0 17 0 1 0 2704944 13041664 756 1992294400 134512640 137138936 4292668064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 3184 756 190 642 0 2540 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12736 [startup+1.50061 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6480 /proc/meminfo: memFree=1704888/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=13248 CPUtime=1.49 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 967 0 0 0 148 1 0 0 18 0 1 0 2704944 13565952 865 1992294400 134512640 137138936 4292668064 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 3312 865 190 642 0 2668 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13248 [startup+3.10091 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6480 /proc/meminfo: memFree=1704764/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=13508 CPUtime=3.09 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 1028 0 0 0 308 1 0 0 21 0 1 0 2704944 13832192 926 1992294400 134512640 137138936 4292668064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 3377 926 190 642 0 2733 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13508 [startup+6.30051 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6480 /proc/meminfo: memFree=1703896/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=14148 CPUtime=6.29 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 1186 0 0 0 627 2 0 0 25 0 1 0 2704944 14487552 1084 1992294400 134512640 137138936 4292668064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 3537 1084 190 642 0 2893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14148 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6480 /proc/meminfo: memFree=1703276/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=14524 CPUtime=12.69 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 1283 0 0 0 1263 6 0 0 25 0 1 0 2704944 14872576 1181 1992294400 134512640 137138936 4292668064 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 3631 1181 190 642 0 2987 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14524 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6480 /proc/meminfo: memFree=1702532/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=15408 CPUtime=25.48 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 1507 0 0 0 2539 9 0 0 25 0 1 0 2704944 15777792 1405 1992294400 134512640 137138936 4292668064 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 3852 1405 190 642 0 3208 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15408 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6482 /proc/meminfo: memFree=1702160/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=15540 CPUtime=51.07 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 1547 0 0 0 5089 18 0 0 25 0 1 0 2704944 15912960 1445 1992294400 134512640 137138936 4292668064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 3885 1445 190 642 0 3241 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15540 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6482 /proc/meminfo: memFree=1701044/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=16548 CPUtime=102.27 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 1797 0 0 0 10191 36 0 0 25 0 1 0 2704944 16945152 1695 1992294400 134512640 137138936 4292668064 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4137 1695 190 642 0 3493 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16548 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6484 /proc/meminfo: memFree=1700672/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=16868 CPUtime=162.24 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 1870 0 0 0 16169 55 0 0 25 0 1 0 2704944 17272832 1768 1992294400 134512640 137138936 4292668064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4217 1768 190 642 0 3573 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16868 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6486 /proc/meminfo: memFree=1700176/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=17364 CPUtime=222.22 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2002 0 0 0 22148 74 0 0 25 0 1 0 2704944 17780736 1900 1992294400 134512640 137138936 4292668064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4341 1900 190 642 0 3697 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 17364 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6488 /proc/meminfo: memFree=1699556/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18008 CPUtime=282.2 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2161 0 0 0 28126 94 0 0 25 0 1 0 2704944 18440192 2059 1992294400 134512640 137138936 4292668064 18446744073709551615 136501670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4502 2059 190 642 0 3858 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 18008 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6488 /proc/meminfo: memFree=1699556/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18008 CPUtime=342.18 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2161 0 0 0 34107 111 0 0 25 0 1 0 2704944 18440192 2059 1992294400 134512640 137138936 4292668064 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4502 2059 190 642 0 3858 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 18008 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6490 /proc/meminfo: memFree=1699556/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18008 CPUtime=402.16 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2161 0 0 0 40088 128 0 0 25 0 1 0 2704944 18440192 2059 1992294400 134512640 137138936 4292668064 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4502 2059 190 642 0 3858 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 18008 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6492 /proc/meminfo: memFree=1699432/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18016 CPUtime=462.13 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2163 0 0 0 46067 146 0 0 25 0 1 0 2704944 18448384 2061 1992294400 134512640 137138936 4292668064 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4504 2061 190 642 0 3860 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 18016 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6494 /proc/meminfo: memFree=1699184/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18144 CPUtime=522.11 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2191 0 0 0 52050 161 0 0 25 0 1 0 2704944 18579456 2089 1992294400 134512640 137138936 4292668064 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4536 2089 190 642 0 3892 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 18144 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6496 /proc/meminfo: memFree=1699184/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18140 CPUtime=582.1 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2208 0 0 0 58032 178 0 0 25 0 1 0 2704944 18575360 2106 1992294400 134512640 137138936 4292668064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4535 2106 190 642 0 3891 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 18140 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6496 /proc/meminfo: memFree=1698936/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18396 CPUtime=642.08 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2265 0 0 0 64014 194 0 0 25 0 1 0 2704944 18837504 2163 1992294400 134512640 137138936 4292668064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4599 2163 190 642 0 3955 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 18396 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6498 /proc/meminfo: memFree=1698812/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18396 CPUtime=702.05 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2265 0 0 0 69996 209 0 0 25 0 1 0 2704944 18837504 2163 1992294400 134512640 137138936 4292668064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4599 2163 190 642 0 3955 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 18396 Solver just ended. Dumping a history of the last processes samples [startup+703.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6498 /proc/meminfo: memFree=1698812/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18396 CPUtime=703.65 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2265 0 0 0 70156 209 0 0 25 0 1 0 2704944 18837504 2163 1992294400 134512640 137138936 4292668064 18446744073709551615 134575643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4599 2163 190 642 0 3955 0 Current children cumulated CPU time (s) 703.65 Current children cumulated vsize (KiB) 18396 [startup+710.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6498 /proc/meminfo: memFree=1698812/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18396 CPUtime=710.04 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2265 0 0 0 70793 211 0 0 25 0 1 0 2704944 18837504 2163 1992294400 134512640 137138936 4292668064 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4599 2163 190 642 0 3955 0 Current children cumulated CPU time (s) 710.04 Current children cumulated vsize (KiB) 18396 [startup+711.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6498 /proc/meminfo: memFree=1698812/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18396 CPUtime=711.65 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2265 0 0 0 70953 212 0 0 25 0 1 0 2704944 18837504 2163 1992294400 134512640 137138936 4292668064 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4599 2163 190 642 0 3955 0 Current children cumulated CPU time (s) 711.65 Current children cumulated vsize (KiB) 18396 [startup+712.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6498 /proc/meminfo: memFree=1698812/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18396 CPUtime=712.45 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2265 0 0 0 71033 212 0 0 25 0 1 0 2704944 18837504 2163 1992294400 134512640 137138936 4292668064 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4599 2163 190 642 0 3955 0 Current children cumulated CPU time (s) 712.45 Current children cumulated vsize (KiB) 18396 [startup+713.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6498 /proc/meminfo: memFree=1698812/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18396 CPUtime=712.84 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2265 0 0 0 71072 212 0 0 25 0 1 0 2704944 18837504 2163 1992294400 134512640 137138936 4292668064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4599 2163 190 642 0 3955 0 Current children cumulated CPU time (s) 712.84 Current children cumulated vsize (KiB) 18396 [startup+713.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6498 /proc/meminfo: memFree=1698812/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18396 CPUtime=713.05 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2265 0 0 0 71092 213 0 0 25 0 1 0 2704944 18837504 2163 1992294400 134512640 137138936 4292668064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4599 2163 190 642 0 3955 0 Current children cumulated CPU time (s) 713.05 Current children cumulated vsize (KiB) 18396 [startup+713.401 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6498 /proc/meminfo: memFree=1698812/2059040 swapFree=4192956/4192956 [pid=6479] ppid=6477 vsize=18396 CPUtime=713.15 /proc/6479/stat : 6479 (bsolo_pb10) R 6477 6479 5438 0 -1 4202496 2265 0 0 0 71102 213 0 0 25 0 1 0 2704944 18837504 2163 1992294400 134512640 137138936 4292668064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6479/statm: 4599 2163 190 642 0 3955 0 Current children cumulated CPU time (s) 713.15 Current children cumulated vsize (KiB) 18396 Child status: 0 Real time (s): 713.443 CPU time (s): 713.2 CPU user time (s): 711.066 CPU system time (s): 2.13368 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 18396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 711.066 system time used= 2.13368 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2266 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= 9602 runsolver used 1.23181 second user time and 3.31549 second system time The end
Begin job on node019 at 2010-06-11 23:08:06 IDJOB=2657459 IDBENCH=1299 IDSOLVER=1163 FILE ID=node019/2657459-1276290486 PBS_JOBID= 11173109 Free space on /tmp= 62356 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657459-1276290486/watcher-2657459-1276290486 -o /tmp/evaluation-result-2657459-1276290486/solver-2657459-1276290486 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657459-1276290486.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6281627dc4c435fe3011d1036bb94900 RANDOM SEED=1682051536 node019.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.264 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.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 : 3000.264 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: 1708152 kB Buffers: 54716 kB Cached: 170256 kB SwapCached: 0 kB Active: 133812 kB Inactive: 150444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1708152 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3984 kB Writeback: 0 kB AnonPages: 59160 kB Mapped: 15408 kB Slab: 44832 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180588 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= 62352 MiB End job on node019 at 2010-06-11 23:20:00