Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 | UNSAT | 828.734 | 828.965 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb |
MD5SUM | c118a5f7f4e95d7123e302378befd6ff |
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 | 5.85211 |
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 | 671 |
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.1 - 13/04/2009 : 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877371-1245119140.opb 0.00/0.00 c File size is 83377 bytes. 0.00/0.01 c Highest Coefficient sum: 671 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.011 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5706 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.022 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 5472 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 828.66/828.96 c 101 231 2760 13848 5 5825 2069 174 2589 0.04 828.66/828.96 c 252 231 2943 22883 7 6191 2276 357 3272 0.08 828.66/828.96 c 479 231 3211 33774 10 6727 2504 625 3496 0.14 828.66/828.96 c 817 231 3571 45323 12 7451 2755 985 3491 0.23 828.66/828.96 c 1326 231 4130 66297 16 8586 3031 1544 3187 0.42 828.66/828.96 c 2089 231 4989 98888 19 10305 3335 2403 2849 0.73 828.66/828.96 c 3235 231 4434 71244 16 9178 3669 1848 2559 1.26 828.66/828.96 c 4958 231 4422 64435 14 9150 4036 1836 2467 2.01 828.66/828.96 c 7543 231 5028 104277 20 10403 4440 2442 2293 3.29 828.66/828.96 c 11423 231 6943 168205 24 14220 4885 4357 2167 5.27 828.66/828.96 c 17245 231 5495 110126 20 11303 5374 2909 2073 8.32 828.66/828.96 c 25984 231 6604 158626 24 13543 5912 4018 2017 12.88 828.66/828.96 c 39095 231 5543 107498 19 11399 6504 2957 1919 20.36 828.66/828.96 c 58769 231 6499 153279 23 13406 7155 3913 1786 32.90 828.66/828.96 c 88279 231 8579 209719 24 17488 7871 5993 1681 52.50 828.66/828.96 c 132551 231 9040 272506 30 18684 8659 6454 1568 84.50 828.66/828.96 c 198961 231 10079 288692 28 20594 9525 7493 1442 137.94 828.66/828.96 c 298581 231 11990 340028 28 24353 10478 9404 1375 217.03 828.66/828.96 c 448017 231 10382 287007 27 21096 11526 7796 1249 358.68 828.66/828.96 c 672175 231 9803 277704 28 20009 12679 7217 1136 591.33 828.66/828.96 c Backtracks by Clause: 881961 828.66/828.96 c Backtracks by PB constraint: 779 828.66/828.96 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 828.66/828.96 c 20 882740 198028 1260795 11303 238560 8717 1065 828.73 828.66/828.96 s UNSATISFIABLE 828.66/828.96 c Total time: 828.732 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-1877371-1245119140/watcher-1877371-1245119140 -o /tmp/evaluation-result-1877371-1245119140/solver-1877371-1245119140 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877371-1245119140.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/64 2968 /proc/meminfo: memFree=1636080/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=10792 CPUtime=0 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 179514965 11051008 233 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 2698 233 174 640 0 2033 0 [startup+0.0549309 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2968 /proc/meminfo: memFree=1636080/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=11236 CPUtime=0.04 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 421 0 0 0 4 0 0 0 18 0 1 0 179514965 11505664 384 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 2809 384 196 640 0 2165 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11236 [startup+0.101934 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2968 /proc/meminfo: memFree=1636080/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=11360 CPUtime=0.09 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 459 0 0 0 9 0 0 0 18 0 1 0 179514965 11632640 422 1992294400 134512640 137136520 4294956256 18446744073709551615 134551213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 2840 422 196 640 0 2196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11360 [startup+0.301953 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2968 /proc/meminfo: memFree=1636080/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=11736 CPUtime=0.29 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 563 0 0 0 29 0 0 0 19 0 1 0 179514965 12017664 526 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 2934 526 196 640 0 2290 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11736 [startup+0.701989 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2968 /proc/meminfo: memFree=1636080/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=12472 CPUtime=0.69 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 727 0 0 0 69 0 0 0 22 0 1 0 179514965 12771328 690 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 3118 690 196 640 0 2474 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12472 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1633640/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=13092 CPUtime=1.48 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 890 0 0 0 148 0 0 0 25 0 1 0 179514965 13406208 853 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 3273 853 196 640 0 2629 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 13092 [startup+3.10121 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1633256/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=13460 CPUtime=3.09 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 998 0 0 0 308 1 0 0 25 0 1 0 179514965 13783040 961 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 3365 961 196 640 0 2721 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13460 [startup+6.30151 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1632360/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=13956 CPUtime=6.29 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 1114 0 0 0 627 2 0 0 25 0 1 0 179514965 14290944 1077 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 3489 1077 196 640 0 2845 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13956 [startup+12.7021 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1631856/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=14440 CPUtime=12.69 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 1222 0 0 0 1265 4 0 0 25 0 1 0 179514965 14786560 1185 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 3610 1185 196 640 0 2966 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14440 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1631088/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=15060 CPUtime=25.49 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 1392 0 0 0 2542 7 0 0 25 0 1 0 179514965 15421440 1355 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 3765 1355 196 640 0 3121 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15060 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1630448/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=15812 CPUtime=51.07 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 1578 0 0 0 5095 12 0 0 25 0 1 0 179514965 16191488 1541 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 3953 1541 196 640 0 3309 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15812 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1629488/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=16680 CPUtime=102.26 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 1795 0 0 0 10204 22 0 0 25 0 1 0 179514965 17080320 1758 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4170 1758 196 640 0 3526 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16680 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1629360/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=16804 CPUtime=162.24 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 1822 0 0 0 16192 32 0 0 25 0 1 0 179514965 17207296 1785 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4201 1785 197 640 0 3557 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16804 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1628912/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=17420 CPUtime=222.23 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 1966 0 0 0 22181 42 0 0 25 0 1 0 179514965 17838080 1929 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4355 1929 197 640 0 3711 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17420 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1628272/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=17792 CPUtime=282.21 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2072 0 0 0 28169 52 0 0 25 0 1 0 179514965 18219008 2035 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4448 2035 197 640 0 3804 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 17792 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1628272/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=17792 CPUtime=342.19 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2072 0 0 0 34160 59 0 0 25 0 1 0 179514965 18219008 2035 1992294400 134512640 137136520 4294956256 18446744073709551615 134606780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4448 2035 197 640 0 3804 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 17792 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1627760/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18272 CPUtime=402.18 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2188 0 0 0 40149 69 0 0 25 0 1 0 179514965 18710528 2151 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4568 2151 197 640 0 3924 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 18272 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1627760/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18272 CPUtime=462.16 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2188 0 0 0 46138 78 0 0 25 0 1 0 179514965 18710528 2151 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4568 2151 197 640 0 3924 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 18272 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1627760/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18272 CPUtime=522.14 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2188 0 0 0 52127 87 0 0 25 0 1 0 179514965 18710528 2151 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4568 2151 197 640 0 3924 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 18272 [startup+582.302 s] /proc/loadavg: 1.07 1.02 1.00 2/65 2969 /proc/meminfo: memFree=1627696/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18272 CPUtime=582.13 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2196 0 0 0 58117 96 0 0 25 0 1 0 179514965 18710528 2159 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4568 2159 197 640 0 3924 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 18272 [startup+642.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 2969 /proc/meminfo: memFree=1627312/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18648 CPUtime=642.11 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2283 0 0 0 64107 104 0 0 25 0 1 0 179514965 19095552 2246 1992294400 134512640 137136520 4294956256 18446744073709551615 136294932 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4662 2246 197 640 0 4018 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 18648 [startup+702.301 s] /proc/loadavg: 1.01 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1626992/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18972 CPUtime=702.1 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2360 0 0 0 70095 115 0 0 25 0 1 0 179514965 19427328 2323 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4743 2323 197 640 0 4099 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 18972 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1626992/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18964 CPUtime=762.08 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2360 0 0 0 76086 122 0 0 25 0 1 0 179514965 19419136 2323 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4741 2323 197 640 0 4097 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 18964 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1626928/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18964 CPUtime=822.07 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2360 0 0 0 82074 133 0 0 25 0 1 0 179514965 19419136 2323 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4741 2323 197 640 0 4097 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 18964 Solver just ended. Dumping a history of the last processes samples [startup+825.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1626928/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18964 CPUtime=825.26 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2360 0 0 0 82393 133 0 0 25 0 1 0 179514965 19419136 2323 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4741 2323 197 640 0 4097 0 Current children cumulated CPU time (s) 825.26 Current children cumulated vsize (KiB) 18964 [startup+827.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1626928/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18964 CPUtime=826.86 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2360 0 0 0 82553 133 0 0 25 0 1 0 179514965 19419136 2323 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4741 2323 197 640 0 4097 0 Current children cumulated CPU time (s) 826.86 Current children cumulated vsize (KiB) 18964 [startup+827.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1626928/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18964 CPUtime=827.66 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2360 0 0 0 82632 134 0 0 25 0 1 0 179514965 19419136 2323 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4741 2323 197 640 0 4097 0 Current children cumulated CPU time (s) 827.66 Current children cumulated vsize (KiB) 18964 [startup+828.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1626928/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18964 CPUtime=828.46 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2360 0 0 0 82712 134 0 0 25 0 1 0 179514965 19419136 2323 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4741 2323 197 640 0 4097 0 Current children cumulated CPU time (s) 828.46 Current children cumulated vsize (KiB) 18964 [startup+828.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2969 /proc/meminfo: memFree=1626928/2055920 swapFree=4192812/4192956 [pid=2968] ppid=2966 vsize=18964 CPUtime=828.66 /proc/2968/stat : 2968 (bsolo) R 2966 2968 1126 0 -1 4194304 2360 0 0 0 82732 134 0 0 25 0 1 0 179514965 19419136 2323 1992294400 134512640 137136520 4294956256 18446744073709551615 134573765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2968/statm: 4741 2323 197 640 0 4097 0 Current children cumulated CPU time (s) 828.66 Current children cumulated vsize (KiB) 18964 Child status: 0 Real time (s): 828.965 CPU time (s): 828.734 CPU user time (s): 827.391 CPU system time (s): 1.3428 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 18976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 827.391 system time used= 1.34279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2361 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= 2 involuntary context switches= 1619 runsolver used 0.502923 second user time and 1.83672 second system time The end
Begin job on node14 at 2009-06-16 04:25:40 IDJOB=1877371 IDBENCH=1308 IDSOLVER=699 FILE ID=node14/1877371-1245119140 PBS_JOBID= 9363651 Free space on /tmp= 66376 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877371-1245119140/watcher-1877371-1245119140 -o /tmp/evaluation-result-1877371-1245119140/solver-1877371-1245119140 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877371-1245119140.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c118a5f7f4e95d7123e302378befd6ff RANDOM SEED=1708681165 node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1636496 kB Buffers: 29800 kB Cached: 309724 kB SwapCached: 0 kB Active: 75008 kB Inactive: 278472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1636496 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4020 kB Writeback: 0 kB Mapped: 23720 kB Slab: 51828 kB Committed_AS: 166440 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66372 MiB End job on node14 at 2009-06-16 04:39:29