Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | UNSAT | 686.089 | 686.277 |
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 | 8.10877 |
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.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-1878523-1245118374.opb 0.00/0.00 c File size is 83375 bytes. 0.01/0.01 c Highest Coefficient sum: 695 0.01/0.01 c Parsing was ok!! 0.01/0.01 c Total parsing time: 0.011 s 0.01/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709 0.01/0.01 c Obj. Vars: 0 (0 % of total variables) 0.01/0.02 c Pre-processing Time: 0.021 s 0.01/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.02 c 0 231 2586 8096 3 5473 1880 0 0 0.02 0.01/0.02 c Switching off lower bounding mode. 686.00/686.27 c 101 231 2687 12338 4 5679 2069 101 3258 0.03 686.00/686.27 c 254 231 2840 18808 6 5984 2276 254 5183 0.05 686.00/686.27 c 480 231 3066 30117 9 6437 2504 480 5647 0.09 686.00/686.27 c 821 231 3407 43365 12 7118 2755 821 5623 0.15 686.00/686.27 c 1332 231 3918 59908 15 8140 3031 1332 5392 0.25 686.00/686.27 c 2095 231 4681 87139 18 9666 3335 2095 4739 0.44 686.00/686.27 c 3241 231 5827 123256 21 11959 3669 3241 4315 0.75 686.00/686.27 c 4962 231 5615 101439 18 11534 4036 3029 4262 1.16 686.00/686.27 c 7548 231 6074 115419 19 12452 4440 3488 4036 1.87 686.00/686.27 c 11427 231 5299 90312 17 10902 4885 2713 3850 2.97 686.00/686.27 c 17249 231 6013 122165 20 12330 5374 3427 3526 4.89 686.00/686.27 c 25986 231 6381 128473 20 13065 5912 3795 3315 7.84 686.00/686.27 c 39096 231 7268 178219 24 14841 6504 4682 3018 12.95 686.00/686.27 c 58766 231 6799 138327 20 13903 7155 4213 2783 21.12 686.00/686.27 c 88276 231 6883 146152 21 14070 7871 4297 2509 35.18 686.00/686.27 c 132547 231 6752 128931 19 13809 8659 4166 2351 56.36 686.00/686.27 c 198958 231 11084 291808 26 22472 9525 8498 2110 94.25 686.00/686.27 c 298579 231 8512 197124 23 17328 10478 5926 1978 150.88 686.00/686.27 c 448015 231 8239 184606 22 16783 11526 5653 1802 248.49 686.00/686.27 c 672173 228 9791 227662 23 19884 12679 7205 1644 408.78 686.00/686.27 c 1008416 207 11406 233767 20 23112 13947 8820 1476 682.99 686.00/686.27 c Backtracks by Clause: 0 686.00/686.27 c Backtracks by PB constraint: 0 686.00/686.27 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 686.00/686.27 c 21 1011535 225834 1427340 14525 312733 11939 1474 686.09 686.00/686.27 s UNSATISFIABLE 686.00/686.27 c Total time: 686.085 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-1878523-1245118374/watcher-1878523-1245118374 -o /tmp/evaluation-result-1878523-1245118374/solver-1878523-1245118374 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878523-1245118374.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 0.98 1.00 3/65 941 /proc/meminfo: memFree=889728/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=10792 CPUtime=0 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 253 0 0 0 0 0 0 0 20 0 1 0 168363868 11051008 237 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 2698 237 175 640 0 2033 0 [startup+0.0126101 s] /proc/loadavg: 1.00 0.98 1.00 3/65 941 /proc/meminfo: memFree=889728/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=10932 CPUtime=0.01 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 318 0 0 0 1 0 0 0 20 0 1 0 168363868 11194368 302 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 2733 302 189 640 0 2068 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10932 [startup+0.101618 s] /proc/loadavg: 1.00 0.98 1.00 3/65 941 /proc/meminfo: memFree=889728/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=11496 CPUtime=0.09 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 479 0 0 0 9 0 0 0 20 0 1 0 168363868 11771904 442 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 2874 442 195 640 0 2230 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11496 [startup+0.301637 s] /proc/loadavg: 1.00 0.98 1.00 3/65 941 /proc/meminfo: memFree=889728/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=12008 CPUtime=0.29 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 617 0 0 0 29 0 0 0 22 0 1 0 168363868 12296192 580 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 3002 580 195 640 0 2358 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12008 [startup+0.701674 s] /proc/loadavg: 1.00 0.98 1.00 3/65 941 /proc/meminfo: memFree=889728/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=12780 CPUtime=0.69 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 820 0 0 0 68 1 0 0 25 0 1 0 168363868 13086720 783 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 3195 783 195 640 0 2551 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12780 [startup+1.50175 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=886904/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=13164 CPUtime=1.49 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 909 0 0 0 148 1 0 0 25 0 1 0 168363868 13479936 872 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 3291 872 195 640 0 2647 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13164 [startup+3.1019 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=886712/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=13424 CPUtime=3.09 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 966 0 0 0 307 2 0 0 25 0 1 0 168363868 13746176 929 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 3356 929 195 640 0 2712 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13424 [startup+6.3012 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=886072/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=14064 CPUtime=6.29 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 1124 0 0 0 626 3 0 0 25 0 1 0 168363868 14401536 1087 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 3516 1087 195 640 0 2872 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14064 [startup+12.7028 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=885440/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=14556 CPUtime=12.68 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 1247 0 0 0 1263 5 0 0 25 0 1 0 168363868 14905344 1210 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 3639 1210 195 640 0 2995 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14556 [startup+25.502 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=884544/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=15324 CPUtime=25.49 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 1445 0 0 0 2539 10 0 0 25 0 1 0 168363868 15691776 1408 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 3831 1408 195 640 0 3187 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15324 [startup+51.1014 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=884416/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=15456 CPUtime=51.07 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 1485 0 0 0 5093 14 0 0 25 0 1 0 168363868 15826944 1448 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 3864 1448 195 640 0 3220 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15456 [startup+102.305 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=883392/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=16468 CPUtime=102.26 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 1735 0 0 0 10201 25 0 0 25 0 1 0 168363868 16863232 1698 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4117 1698 195 640 0 3473 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16468 [startup+162.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=883072/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=16784 CPUtime=162.24 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 1829 0 0 0 16188 36 0 0 25 0 1 0 168363868 17186816 1792 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4196 1792 195 640 0 3552 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16784 [startup+222.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=882560/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=17280 CPUtime=222.23 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 1940 0 0 0 22173 50 0 0 25 0 1 0 168363868 17694720 1903 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4320 1903 195 640 0 3676 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17280 [startup+282.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881920/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=17924 CPUtime=282.21 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2099 0 0 0 28160 61 0 0 25 0 1 0 168363868 18354176 2062 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4481 2062 195 640 0 3837 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 17924 [startup+342.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881856/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=17924 CPUtime=342.2 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2099 0 0 0 34148 72 0 0 25 0 1 0 168363868 18354176 2062 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4481 2062 195 640 0 3837 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 17924 [startup+402.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881856/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=17924 CPUtime=402.18 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2099 0 0 0 40134 84 0 0 25 0 1 0 168363868 18354176 2062 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4481 2062 195 640 0 3837 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 17924 [startup+462.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881856/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=17932 CPUtime=462.16 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2101 0 0 0 46119 97 0 0 25 0 1 0 168363868 18362368 2064 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4483 2064 195 640 0 3839 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 17932 [startup+522.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881856/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18056 CPUtime=522.14 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2129 0 0 0 52107 107 0 0 25 0 1 0 168363868 18489344 2092 1992294400 134512640 137136520 4294956256 18446744073709551615 134543962 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4514 2092 195 640 0 3870 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 18056 [startup+582.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881792/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18056 CPUtime=582.13 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2146 0 0 0 58096 117 0 0 25 0 1 0 168363868 18489344 2109 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4514 2109 195 640 0 3870 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 18056 [startup+642.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881536/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18312 CPUtime=642.12 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2203 0 0 0 64083 129 0 0 25 0 1 0 168363868 18751488 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4578 2166 195 640 0 3934 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 18312 Solver just ended. Dumping a history of the last processes samples [startup+665.505 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881536/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18312 CPUtime=665.31 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2203 0 0 0 66397 134 0 0 25 0 1 0 168363868 18751488 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4578 2166 195 640 0 3934 0 Current children cumulated CPU time (s) 665.31 Current children cumulated vsize (KiB) 18312 [startup+678.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881536/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18312 CPUtime=678.11 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2203 0 0 0 67675 136 0 0 25 0 1 0 168363868 18751488 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 134544341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4578 2166 195 640 0 3934 0 Current children cumulated CPU time (s) 678.11 Current children cumulated vsize (KiB) 18312 [startup+681.502 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881536/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18312 CPUtime=681.3 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2203 0 0 0 67994 136 0 0 25 0 1 0 168363868 18751488 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4578 2166 195 640 0 3934 0 Current children cumulated CPU time (s) 681.3 Current children cumulated vsize (KiB) 18312 [startup+684.701 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881536/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18312 CPUtime=684.5 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2203 0 0 0 68313 137 0 0 25 0 1 0 168363868 18751488 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 135982513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4578 2166 195 640 0 3934 0 Current children cumulated CPU time (s) 684.5 Current children cumulated vsize (KiB) 18312 [startup+685.501 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881536/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18312 CPUtime=685.3 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2203 0 0 0 68393 137 0 0 25 0 1 0 168363868 18751488 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 136518888 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4578 2166 195 640 0 3934 0 Current children cumulated CPU time (s) 685.3 Current children cumulated vsize (KiB) 18312 [startup+685.901 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881536/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18312 CPUtime=685.7 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2203 0 0 0 68433 137 0 0 25 0 1 0 168363868 18751488 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4578 2166 195 640 0 3934 0 Current children cumulated CPU time (s) 685.7 Current children cumulated vsize (KiB) 18312 [startup+686.101 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881536/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18312 CPUtime=685.9 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2203 0 0 0 68453 137 0 0 25 0 1 0 168363868 18751488 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 134573460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4578 2166 195 640 0 3934 0 Current children cumulated CPU time (s) 685.9 Current children cumulated vsize (KiB) 18312 [startup+686.201 s] /proc/loadavg: 1.00 0.98 1.00 2/66 942 /proc/meminfo: memFree=881536/2055920 swapFree=4192812/4192956 [pid=941] ppid=939 vsize=18312 CPUtime=686 /proc/941/stat : 941 (bsolo) R 939 941 32018 0 -1 4194304 2203 0 0 0 68463 137 0 0 25 0 1 0 168363868 18751488 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 134544095 0 0 4096 16384 0 0 0 17 1 0 0 /proc/941/statm: 4578 2166 195 640 0 3934 0 Current children cumulated CPU time (s) 686 Current children cumulated vsize (KiB) 18312 Child status: 0 Real time (s): 686.277 CPU time (s): 686.089 CPU user time (s): 684.709 CPU system time (s): 1.37979 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 18312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 684.709 system time used= 1.37979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2205 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= 1101 runsolver used 0.78688 second user time and 1.58076 second system time The end
Begin job on node8 at 2009-06-16 04:12:54 IDJOB=1878523 IDBENCH=1299 IDSOLVER=700 FILE ID=node8/1878523-1245118374 PBS_JOBID= 9363662 Free space on /tmp= 66316 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878523-1245118374/watcher-1878523-1245118374 -o /tmp/evaluation-result-1878523-1245118374/solver-1878523-1245118374 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878523-1245118374.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6281627dc4c435fe3011d1036bb94900 RANDOM SEED=233863947 node8.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 890144 kB Buffers: 89780 kB Cached: 965780 kB SwapCached: 140 kB Active: 176092 kB Inactive: 894408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 890144 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4028 kB Writeback: 0 kB Mapped: 24600 kB Slab: 81068 kB Committed_AS: 159724 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66312 MiB End job on node8 at 2009-06-16 04:24:21