Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | ? | 1798 | 1798.72 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb |
MD5SUM | 9a7dcf907234f84f0d33881f56632ec3 |
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 | 109.527 |
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 | 625 |
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: Clause 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-1878430-1245123228.opb 0.00/0.00 c File size is 83369 bytes. 0.00/0.01 c Highest Coefficient sum: 625 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.012 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.023 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. 1797.97/1798.72 c 101 231 2687 12375 4 5678 2069 101 2970 0.03 1797.97/1798.72 c 253 231 2839 19717 6 5982 2276 253 4685 0.05 1797.97/1798.72 c 479 231 3065 29212 9 6434 2504 479 5702 0.08 1797.97/1798.72 c 817 231 3403 46021 13 7110 2755 817 5446 0.15 1797.97/1798.72 c 1325 231 3911 72111 18 8126 3031 1325 4749 0.28 1797.97/1798.72 c 2089 231 4675 111236 23 9654 3335 2089 3941 0.53 1797.97/1798.72 c 3237 231 5823 163590 28 11950 3669 3237 3385 0.96 1797.97/1798.72 c 4958 231 5616 120296 21 11536 4036 3030 3294 1.50 1797.97/1798.72 c 7544 231 6089 134863 22 12482 4440 3503 3258 2.31 1797.97/1798.72 c 11424 231 5330 124916 23 10962 4885 2744 3099 3.69 1797.97/1798.72 c 17247 231 6065 157418 25 12434 5374 3479 2871 6.01 1797.97/1798.72 c 25984 231 6424 177971 27 13150 5912 3838 2640 9.84 1797.97/1798.72 c 39094 231 7258 207640 28 14819 6504 4672 2529 15.46 1797.97/1798.72 c 58764 231 6797 168268 24 13898 7155 4211 2505 23.46 1797.97/1798.72 c 88276 231 6830 164822 24 13964 7871 4244 2382 37.05 1797.97/1798.72 c 132546 231 6588 164803 25 13478 8659 4002 2154 61.52 1797.97/1798.72 c 198957 231 10868 353574 32 22040 9525 8282 1912 104.05 1797.97/1798.72 c 298577 231 8136 215740 26 16572 10478 5550 1790 166.78 1797.97/1798.72 c 448013 231 7825 197470 25 15955 11526 5239 1625 275.60 1797.97/1798.72 c 672173 231 8441 235510 27 17183 12679 5855 1504 446.74 1797.97/1798.72 c 1008416 231 9054 255096 28 18411 13947 6468 1336 754.34 1797.97/1798.72 c 1512788 231 10059 293117 29 20421 15342 7473 1199 1261.24 1797.97/1798.72 c Resources Exceeded 1797.97/1798.72 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.72 c 22 2001653 403516 2693184 15892 522840 13306 1113 1798.00 1797.97/1798.72 s UNKNOWN 1797.97/1798.72 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878430-1245123228/watcher-1878430-1245123228 -o /tmp/evaluation-result-1878430-1245123228/solver-1878430-1245123228 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878430-1245123228.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 2/64 31931 /proc/meminfo: memFree=1488080/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=10796 CPUtime=0 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 179923484 11055104 255 1992294400 134512640 137136520 4294956256 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 2699 255 179 640 0 2034 0 [startup+0.062149 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31931 /proc/meminfo: memFree=1488080/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=11236 CPUtime=0.05 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 433 0 0 0 5 0 0 0 18 0 1 0 179923484 11505664 396 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 2809 396 195 640 0 2165 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11236 [startup+0.101157 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31931 /proc/meminfo: memFree=1488080/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=11496 CPUtime=0.09 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 478 0 0 0 9 0 0 0 18 0 1 0 179923484 11771904 441 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 2874 441 195 640 0 2230 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11496 [startup+0.301199 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31931 /proc/meminfo: memFree=1488080/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=12008 CPUtime=0.29 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 635 0 0 0 29 0 0 0 19 0 1 0 179923484 12296192 598 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 3002 598 195 640 0 2358 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12008 [startup+0.701285 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31931 /proc/meminfo: memFree=1488080/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=12912 CPUtime=0.69 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 857 0 0 0 68 1 0 0 22 0 1 0 179923484 13221888 820 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 3228 820 195 640 0 2584 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12912 [startup+1.50146 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1485128/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=13680 CPUtime=1.49 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 1039 0 0 0 148 1 0 0 25 0 1 0 179923484 14008320 1002 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 3420 1002 195 640 0 2776 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13680 [startup+3.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1484808/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=13812 CPUtime=3.09 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 1071 0 0 0 307 2 0 0 25 0 1 0 179923484 14143488 1034 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 3453 1034 195 640 0 2809 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13812 [startup+6.30149 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1483784/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=14452 CPUtime=6.29 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 1244 0 0 0 626 3 0 0 25 0 1 0 179923484 14798848 1207 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 3613 1207 195 640 0 2969 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14452 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1483088/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=15220 CPUtime=12.69 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 1420 0 0 0 1264 5 0 0 25 0 1 0 179923484 15585280 1383 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 3805 1383 195 640 0 3161 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15220 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1482768/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=15480 CPUtime=25.48 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 1491 0 0 0 2539 9 0 0 25 0 1 0 179923484 15851520 1454 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 3870 1454 195 640 0 3226 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15480 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1481936/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=16352 CPUtime=51.07 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 1703 0 0 0 5091 16 0 0 25 0 1 0 179923484 16744448 1666 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4088 1666 195 640 0 3444 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16352 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1481360/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=16864 CPUtime=102.25 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 1830 0 0 0 10198 27 0 0 25 0 1 0 179923484 17268736 1793 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4216 1793 195 640 0 3572 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 16864 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1480976/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=17248 CPUtime=162.22 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 1938 0 0 0 16182 40 0 0 25 0 1 0 179923484 17661952 1901 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4312 1901 195 640 0 3668 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 17248 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1480080/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=18112 CPUtime=222.19 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2158 0 0 0 22168 51 0 0 25 0 1 0 179923484 18546688 2121 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4528 2121 195 640 0 3884 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 18112 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1480016/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=18116 CPUtime=282.18 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2159 0 0 0 28152 66 0 0 25 0 1 0 179923484 18550784 2122 1992294400 134512640 137136520 4294956256 18446744073709551615 136500542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4529 2122 195 640 0 3885 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 18116 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1479696/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=18496 CPUtime=342.15 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2241 0 0 0 34137 78 0 0 25 0 1 0 179923484 18939904 2204 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4624 2204 195 640 0 3980 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 18496 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1479568/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=18496 CPUtime=402.13 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2257 0 0 0 40124 89 0 0 25 0 1 0 179923484 18939904 2220 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4624 2220 195 640 0 3980 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 18496 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1478864/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=19228 CPUtime=462.1 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2421 0 0 0 46109 101 0 0 25 0 1 0 179923484 19689472 2384 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4807 2384 195 640 0 4163 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 19228 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1478736/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=19344 CPUtime=522.08 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2452 0 0 0 52097 111 0 0 25 0 1 0 179923484 19808256 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4836 2415 195 640 0 4192 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 19344 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1478672/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=19336 CPUtime=582.05 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2452 0 0 0 58084 121 0 0 25 0 1 0 179923484 19800064 2415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4834 2415 195 640 0 4190 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 19336 [startup+642.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1478608/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=19332 CPUtime=642.04 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2464 0 0 0 64072 132 0 0 25 0 1 0 179923484 19795968 2427 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 4833 2427 195 640 0 4189 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 19332 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1477264/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=20548 CPUtime=1061.86 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2756 0 0 0 105981 205 0 0 25 0 1 0 179923484 21041152 2719 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5137 2719 195 640 0 4493 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 20548 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31932 /proc/meminfo: memFree=1477200/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=20548 CPUtime=1121.84 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2756 0 0 0 111969 215 0 0 25 0 1 0 179923484 21041152 2719 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5137 2719 195 640 0 4493 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 20548 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31934 /proc/meminfo: memFree=1477008/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=20548 CPUtime=1181.82 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2756 0 0 0 117957 225 0 0 25 0 1 0 179923484 21041152 2719 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5137 2719 195 640 0 4493 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 20548 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31934 /proc/meminfo: memFree=1477008/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=20548 CPUtime=1241.8 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2756 0 0 0 123945 235 0 0 25 0 1 0 179923484 21041152 2719 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5137 2719 195 640 0 4493 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 20548 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31934 /proc/meminfo: memFree=1476240/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21460 CPUtime=1301.78 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 2983 0 0 0 129933 245 0 0 25 0 1 0 179923484 21975040 2946 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5365 2946 195 640 0 4721 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 21460 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31934 /proc/meminfo: memFree=1476176/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21532 CPUtime=1361.75 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 135920 255 0 0 25 0 1 0 179923484 22048768 2963 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5383 2963 195 640 0 4739 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 21532 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31934 /proc/meminfo: memFree=1476112/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21528 CPUtime=1421.73 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 141908 265 0 0 25 0 1 0 179923484 22044672 2963 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5382 2963 195 640 0 4738 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 21528 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31934 /proc/meminfo: memFree=1476112/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21464 CPUtime=1481.7 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 147896 274 0 0 25 0 1 0 179923484 21979136 2963 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5366 2963 195 640 0 4722 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 21464 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31934 /proc/meminfo: memFree=1476048/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21460 CPUtime=1541.68 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 153885 283 0 0 25 0 1 0 179923484 21975040 2962 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5365 2962 195 640 0 4721 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 21460 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31934 /proc/meminfo: memFree=1476048/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21460 CPUtime=1601.66 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 159873 293 0 0 25 0 1 0 179923484 21975040 2962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5365 2962 195 640 0 4721 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 21460 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31940 /proc/meminfo: memFree=1475856/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21460 CPUtime=1661.62 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 165859 303 0 0 25 0 1 0 179923484 21975040 2962 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5365 2962 195 640 0 4721 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 21460 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31940 /proc/meminfo: memFree=1475856/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21460 CPUtime=1721.6 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 171848 312 0 0 25 0 1 0 179923484 21975040 2962 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5365 2962 195 640 0 4721 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 21460 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31940 /proc/meminfo: memFree=1475856/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21460 CPUtime=1781.57 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 177837 320 0 0 25 0 1 0 179923484 21975040 2962 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5365 2962 195 640 0 4721 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 21460 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31940 /proc/meminfo: memFree=1475856/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21460 CPUtime=1791.18 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 178797 321 0 0 25 0 1 0 179923484 21975040 2962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5365 2962 195 640 0 4721 0 Current children cumulated CPU time (s) 1791.18 Current children cumulated vsize (KiB) 21460 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31940 /proc/meminfo: memFree=1475856/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21456 CPUtime=1794.37 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 179116 321 0 0 25 0 1 0 179923484 21970944 2961 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5364 2961 195 640 0 4720 0 Current children cumulated CPU time (s) 1794.37 Current children cumulated vsize (KiB) 21456 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31940 /proc/meminfo: memFree=1475856/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21456 CPUtime=1795.98 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 179276 322 0 0 25 0 1 0 179923484 21970944 2961 1992294400 134512640 137136520 4294956256 18446744073709551615 134543806 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5364 2961 195 640 0 4720 0 Current children cumulated CPU time (s) 1795.98 Current children cumulated vsize (KiB) 21456 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31940 /proc/meminfo: memFree=1475856/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21456 CPUtime=1796.78 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 179356 322 0 0 25 0 1 0 179923484 21970944 2961 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5364 2961 195 640 0 4720 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 21456 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31940 /proc/meminfo: memFree=1475856/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21456 CPUtime=1797.57 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 179435 322 0 0 25 0 1 0 179923484 21970944 2961 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5364 2961 195 640 0 4720 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (KiB) 21456 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31940 /proc/meminfo: memFree=1475856/2055920 swapFree=4192812/4192956 [pid=31931] ppid=31929 vsize=21456 CPUtime=1797.97 /proc/31931/stat : 31931 (bsolo) R 31929 31931 30190 0 -1 4194304 3000 0 0 0 179475 322 0 0 25 0 1 0 179923484 21970944 2961 1992294400 134512640 137136520 4294956256 18446744073709551615 134544252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5364 2961 195 640 0 4720 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 21456 Child status: 0 Real time (s): 1798.72 CPU time (s): 1798 CPU user time (s): 1794.78 CPU system time (s): 3.22551 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (KiB): 21592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.78 system time used= 3.22551 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3001 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= 3158 runsolver used 1.21582 second user time and 3.81242 second system time The end
Begin job on node10 at 2009-06-16 05:33:48 IDJOB=1878430 IDBENCH=1356 IDSOLVER=700 FILE ID=node10/1878430-1245123228 PBS_JOBID= 9363654 Free space on /tmp= 65988 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878430-1245123228/watcher-1878430-1245123228 -o /tmp/evaluation-result-1878430-1245123228/solver-1878430-1245123228 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878430-1245123228.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9a7dcf907234f84f0d33881f56632ec3 RANDOM SEED=1331776264 node10.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.263 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.263 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: 1488624 kB Buffers: 31268 kB Cached: 466628 kB SwapCached: 0 kB Active: 73784 kB Inactive: 437576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1488624 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4032 kB Writeback: 0 kB Mapped: 23232 kB Slab: 41976 kB Committed_AS: 164848 kB PageTables: 1376 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= 65984 MiB End job on node10 at 2009-06-16 06:03:47