Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | UNSAT | 1346.34 | 1346.72 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb |
MD5SUM | 733d8edd6a6cbfe19e20f4970079db5a |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 7.67183 |
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 | 687 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432366-1177942851/instance-432366-1177942851.opb 0.00/0.00 c File size is 83379 bytes. 0.00/0.02 c Highest Coefficient sum: 687 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.016 s 0.00/0.02 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5708 0.00/0.02 c Obj. Vars: 0 (0 % of total variables) 0.00/0.03 c Pre-processing Time: 0.027 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 231 2586 8096 3 5472 1880 0 0 0.03 0.00/0.03 c Switching off LPR mode. 1346.32/1346.70 c 101 231 2687 13340 4 5678 2069 101 2729 0.04 1346.32/1346.70 c 251 231 2837 23428 8 5979 2276 251 4403 0.06 1346.32/1346.70 c 476 231 3062 34220 11 6428 2504 476 5409 0.09 1346.32/1346.70 c 816 231 3402 47046 13 7108 2755 816 5913 0.14 1346.32/1346.70 c 1324 231 3910 67977 17 8123 3031 1324 5910 0.22 1346.32/1346.70 c 2087 231 4673 101795 21 9651 3335 2087 5449 0.38 1346.32/1346.70 c 3235 231 5821 152045 26 11946 3669 3235 4641 0.70 1346.32/1346.70 c 4959 231 5620 133894 23 11544 4036 3034 4331 1.15 1346.32/1346.70 c 7543 231 6127 147822 24 12558 4440 3541 4108 1.84 1346.32/1346.70 c 11422 231 5355 114207 21 11014 4885 2769 3848 2.97 1346.32/1346.70 c 17245 231 6087 161586 26 12476 5374 3501 3535 4.88 1346.32/1346.70 c 25983 231 6510 176794 27 13323 5912 3924 3314 7.84 1346.32/1346.70 c 39093 231 7343 218999 29 14989 6504 4757 3060 12.77 1346.32/1346.70 c 58763 231 6903 198222 28 14110 7155 4317 2784 21.10 1346.32/1346.70 c 88273 231 6866 192736 28 14036 7871 4280 2600 33.95 1346.32/1346.70 c 132543 231 6685 171705 25 13673 8659 4099 2467 53.73 1346.32/1346.70 c 198953 231 10826 367474 33 21956 9525 8240 2356 84.42 1346.32/1346.70 c 298574 231 8076 251411 31 16455 10478 5490 2183 136.72 1346.32/1346.70 c 448009 231 12948 447404 34 26201 11526 10362 1936 231.33 1346.32/1346.70 c 672167 231 13854 463080 33 28012 12679 11268 1766 380.48 1346.32/1346.70 c 1008411 231 14798 531794 35 29901 13947 12212 1570 642.09 1346.32/1346.70 c 1512783 231 16024 577520 36 32353 15342 13438 1412 1071.10 1346.32/1346.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1346.32/1346.70 c 22 1815517 355479 2457025 15347 434348 12761 1348 1346.33 1346.32/1346.70 s UNSATISFIABLE 1346.32/1346.70 c Total time: 1346.33 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-432366-1177942851 -o ROOT/results/node18/solver-432366-1177942851 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432366-1177942851/instance-432366-1177942851.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.14 0.03 0.01 3/77 2853 /proc/meminfo: memFree=1703432/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=19632 CPUtime=0 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242202540 20103168 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 4908 333 279 324 0 3957 0 [startup+0.0112259 s] /proc/loadavg: 0.14 0.03 0.01 3/77 2853 /proc/meminfo: memFree=1703432/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=4144 CPUtime=0 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 406 0 0 0 0 0 0 0 18 0 1 0 242202540 4243456 376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 1036 376 288 324 0 85 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4144 [startup+0.101235 s] /proc/loadavg: 0.14 0.03 0.01 3/77 2853 /proc/meminfo: memFree=1703432/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=4844 CPUtime=0.09 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 631 0 0 0 9 0 0 0 18 0 1 0 242202540 4960256 580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 1211 580 308 324 0 281 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4844 [startup+0.301254 s] /proc/loadavg: 0.14 0.03 0.01 3/77 2853 /proc/meminfo: memFree=1703432/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=5632 CPUtime=0.29 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 820 0 0 0 29 0 0 0 19 0 1 0 242202540 5767168 769 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 1408 769 309 324 0 478 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5632 [startup+0.701293 s] /proc/loadavg: 0.14 0.03 0.01 3/77 2853 /proc/meminfo: memFree=1703432/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=6544 CPUtime=0.69 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 1076 0 0 0 69 0 0 0 23 0 1 0 242202540 6701056 1025 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 1636 1025 309 324 0 706 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6544 [startup+1.50137 s] /proc/loadavg: 0.21 0.05 0.01 2/78 2854 /proc/meminfo: memFree=1700288/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=7072 CPUtime=1.49 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 1191 0 0 0 149 0 0 0 25 0 1 0 242202540 7241728 1140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 1768 1140 309 324 0 838 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7072 [startup+3.10153 s] /proc/loadavg: 0.21 0.05 0.01 2/78 2854 /proc/meminfo: memFree=1700032/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=7204 CPUtime=3.09 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 1239 0 0 0 309 0 0 0 25 0 1 0 242202540 7376896 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 1801 1188 309 324 0 871 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7204 [startup+6.30184 s] /proc/loadavg: 0.21 0.05 0.01 2/78 2854 /proc/meminfo: memFree=1699008/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=8240 CPUtime=6.28 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 1475 0 0 0 628 0 0 0 25 0 1 0 242202540 8437760 1424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 2060 1424 309 324 0 1130 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8240 [startup+12.7015 s] /proc/loadavg: 0.33 0.08 0.02 2/78 2854 /proc/meminfo: memFree=1698376/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=8624 CPUtime=12.68 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 1572 0 0 0 1268 0 0 0 25 0 1 0 242202540 8830976 1521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 2156 1521 309 324 0 1226 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8624 [startup+25.5017 s] /proc/loadavg: 0.43 0.11 0.03 2/78 2854 /proc/meminfo: memFree=1697736/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=9272 CPUtime=25.49 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 1758 0 0 0 2548 1 0 0 25 0 1 0 242202540 9494528 1707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 2318 1707 309 324 0 1388 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9272 [startup+51.1012 s] /proc/loadavg: 0.62 0.18 0.06 2/78 2854 /proc/meminfo: memFree=1697224/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=9892 CPUtime=51.08 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 1893 0 0 0 5107 1 0 0 25 0 1 0 242202540 10129408 1842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 2473 1842 309 324 0 1543 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9892 [startup+102.305 s] /proc/loadavg: 0.85 0.31 0.11 2/78 2854 /proc/meminfo: memFree=1696008/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=11044 CPUtime=102.26 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 2197 0 0 0 10225 1 0 0 25 0 1 0 242202540 11309056 2146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 2761 2146 309 324 0 1831 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11044 [startup+162.302 s] /proc/loadavg: 0.94 0.44 0.16 2/78 2854 /proc/meminfo: memFree=1694920/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=12068 CPUtime=162.24 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 2455 0 0 0 16222 2 0 0 25 0 1 0 242202540 12357632 2404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3017 2404 309 324 0 2087 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 12068 [startup+222.302 s] /proc/loadavg: 0.98 0.54 0.21 2/78 2854 /proc/meminfo: memFree=1694600/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=12416 CPUtime=222.23 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 2530 0 0 0 22220 3 0 0 25 0 1 0 242202540 12713984 2479 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3104 2479 309 324 0 2174 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 12416 [startup+282.302 s] /proc/loadavg: 0.99 0.62 0.26 2/78 2854 /proc/meminfo: memFree=1694728/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=12420 CPUtime=282.21 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 2537 0 0 0 28218 3 0 0 25 0 1 0 242202540 12718080 2486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3105 2486 309 324 0 2175 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 12420 [startup+342.301 s] /proc/loadavg: 0.99 0.68 0.30 2/78 2854 /proc/meminfo: memFree=1694792/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=12420 CPUtime=342.2 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 2537 0 0 0 34216 4 0 0 25 0 1 0 242202540 12718080 2486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3105 2486 309 324 0 2175 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 12420 [startup+402.301 s] /proc/loadavg: 0.99 0.74 0.34 2/78 2854 /proc/meminfo: memFree=1693960/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=13152 CPUtime=402.18 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 2729 0 0 0 40214 4 0 0 25 0 1 0 242202540 13467648 2678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3288 2678 309 324 0 2358 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 13152 [startup+462.301 s] /proc/loadavg: 0.99 0.78 0.38 2/78 2854 /proc/meminfo: memFree=1693896/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=13152 CPUtime=462.16 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 2729 0 0 0 46211 5 0 0 25 0 1 0 242202540 13467648 2678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3288 2678 309 324 0 2358 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 13152 [startup+522.302 s] /proc/loadavg: 0.99 0.82 0.42 2/78 2854 /proc/meminfo: memFree=1693896/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=13152 CPUtime=522.15 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 2729 0 0 0 52209 6 0 0 25 0 1 0 242202540 13467648 2678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3288 2678 309 324 0 2358 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 13152 [startup+582.302 s] /proc/loadavg: 0.99 0.85 0.45 2/78 2854 /proc/meminfo: memFree=1693896/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=13152 CPUtime=582.13 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 2729 0 0 0 58207 6 0 0 25 0 1 0 242202540 13467648 2678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3288 2678 309 324 0 2358 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 13152 [startup+642.302 s] /proc/loadavg: 0.99 0.87 0.48 2/78 2854 /proc/meminfo: memFree=1694024/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=13152 CPUtime=642.11 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 2729 0 0 0 64205 6 0 0 25 0 1 0 242202540 13467648 2678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3288 2678 309 324 0 2358 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 13152 ################ # More data... # ################ /proc/meminfo: memFree=1692808/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=14324 CPUtime=702.1 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3005 0 0 0 70203 7 0 0 25 0 1 0 242202540 14667776 2954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3581 2954 309 324 0 2651 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 14324 [startup+762.305 s] /proc/loadavg: 0.99 0.91 0.54 2/78 2854 /proc/meminfo: memFree=1692808/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=14312 CPUtime=762.09 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3005 0 0 0 76201 8 0 0 25 0 1 0 242202540 14655488 2954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3578 2954 309 324 0 2648 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 14312 [startup+822.301 s] /proc/loadavg: 0.99 0.92 0.56 2/78 2854 /proc/meminfo: memFree=1692808/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=14308 CPUtime=822.06 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3005 0 0 0 82198 8 0 0 25 0 1 0 242202540 14651392 2954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3577 2954 309 324 0 2647 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 14308 [startup+882.302 s] /proc/loadavg: 0.99 0.94 0.59 2/78 2854 /proc/meminfo: memFree=1692744/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=14268 CPUtime=882.05 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3005 0 0 0 88196 9 0 0 25 0 1 0 242202540 14610432 2954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3567 2954 309 324 0 2637 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 14268 [startup+942.302 s] /proc/loadavg: 0.99 0.94 0.61 2/78 2854 /proc/meminfo: memFree=1692744/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=14360 CPUtime=942.03 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3014 0 0 0 94194 9 0 0 25 0 1 0 242202540 14704640 2963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8293946 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3590 2963 309 324 0 2660 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 14360 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.64 2/78 2854 /proc/meminfo: memFree=1692872/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=14356 CPUtime=1002.02 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3014 0 0 0 100192 10 0 0 25 0 1 0 242202540 14700544 2963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3589 2963 309 324 0 2659 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 14356 [startup+1062.3 s] /proc/loadavg: 0.99 0.96 0.65 2/78 2854 /proc/meminfo: memFree=1692872/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=14288 CPUtime=1062 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3014 0 0 0 106190 10 0 0 25 0 1 0 242202540 14630912 2963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8294102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3572 2963 309 324 0 2642 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 14288 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/78 2854 /proc/meminfo: memFree=1691912/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15288 CPUtime=1121.98 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3247 0 0 0 112187 11 0 0 25 0 1 0 242202540 15654912 3196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3822 3196 309 324 0 2892 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 15288 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.69 2/78 2856 /proc/meminfo: memFree=1691848/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15288 CPUtime=1181.97 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3247 0 0 0 118185 12 0 0 25 0 1 0 242202540 15654912 3196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3822 3196 309 324 0 2892 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 15288 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.71 2/78 2856 /proc/meminfo: memFree=1691784/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15288 CPUtime=1241.95 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3247 0 0 0 124183 12 0 0 25 0 1 0 242202540 15654912 3196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7978100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3822 3196 309 324 0 2892 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 15288 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 3/78 2856 /proc/meminfo: memFree=1691592/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15416 CPUtime=1301.94 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3284 0 0 0 130181 13 0 0 25 0 1 0 242202540 15785984 3233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3854 3233 309 324 0 2924 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 15416 Solver just ended. Dumping a history of the last processes samples [startup+1305.5 s] /proc/loadavg: 0.99 0.97 0.72 2/78 2856 /proc/meminfo: memFree=1691592/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15416 CPUtime=1305.13 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3284 0 0 0 130500 13 0 0 25 0 1 0 242202540 15785984 3233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3854 3233 309 324 0 2924 0 Current children cumulated CPU time (s) 1305.13 Current children cumulated vsize (KiB) 15416 [startup+1331.1 s] /proc/loadavg: 0.99 0.97 0.73 2/78 2856 /proc/meminfo: memFree=1691592/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15416 CPUtime=1330.72 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3284 0 0 0 133059 13 0 0 25 0 1 0 242202540 15785984 3233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3854 3233 309 324 0 2924 0 Current children cumulated CPU time (s) 1330.72 Current children cumulated vsize (KiB) 15416 [startup+1337.5 s] /proc/loadavg: 0.99 0.97 0.73 2/78 2856 /proc/meminfo: memFree=1691592/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15416 CPUtime=1337.13 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3284 0 0 0 133700 13 0 0 25 0 1 0 242202540 15785984 3233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3854 3233 309 324 0 2924 0 Current children cumulated CPU time (s) 1337.13 Current children cumulated vsize (KiB) 15416 [startup+1340.7 s] /proc/loadavg: 0.99 0.97 0.73 2/78 2856 /proc/meminfo: memFree=1691592/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15416 CPUtime=1340.32 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3284 0 0 0 134019 13 0 0 25 0 1 0 242202540 15785984 3233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3854 3233 309 324 0 2924 0 Current children cumulated CPU time (s) 1340.32 Current children cumulated vsize (KiB) 15416 [startup+1343.9 s] /proc/loadavg: 0.99 0.97 0.73 2/78 2856 /proc/meminfo: memFree=1691592/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15416 CPUtime=1343.52 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3284 0 0 0 134339 13 0 0 25 0 1 0 242202540 15785984 3233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3854 3233 309 324 0 2924 0 Current children cumulated CPU time (s) 1343.52 Current children cumulated vsize (KiB) 15416 [startup+1345.5 s] /proc/loadavg: 0.99 0.97 0.73 2/78 2856 /proc/meminfo: memFree=1691592/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15416 CPUtime=1345.12 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3284 0 0 0 134499 13 0 0 25 0 1 0 242202540 15785984 3233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8292211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3854 3233 309 324 0 2924 0 Current children cumulated CPU time (s) 1345.12 Current children cumulated vsize (KiB) 15416 [startup+1346.3 s] /proc/loadavg: 0.99 0.97 0.73 2/78 2856 /proc/meminfo: memFree=1691592/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15416 CPUtime=1345.92 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3284 0 0 0 134579 13 0 0 25 0 1 0 242202540 15785984 3233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3854 3233 309 324 0 2924 0 Current children cumulated CPU time (s) 1345.92 Current children cumulated vsize (KiB) 15416 [startup+1346.7 s] /proc/loadavg: 0.99 0.97 0.73 2/78 2856 /proc/meminfo: memFree=1691592/2055920 swapFree=4147184/4192956 [pid=2853] ppid=2851 vsize=15416 CPUtime=1346.32 /proc/2853/stat : 2853 (bsolo3.0.17) R 2851 2853 2742 0 -1 4194304 3284 0 0 0 134619 13 0 0 25 0 1 0 242202540 15785984 3233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2853/statm: 3854 3233 309 324 0 2924 0 Current children cumulated CPU time (s) 1346.32 Current children cumulated vsize (KiB) 15416 Child status: 0 Real time (s): 1346.72 CPU time (s): 1346.34 CPU user time (s): 1346.2 CPU system time (s): 0.139978 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 15416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1346.2 system time used= 0.139978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3288 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= 11 involuntary context switches= 28218 runsolver used 1.09583 second user time and 2.76258 second system time The end
Begin job on node18 on Mon Apr 30 14:20:52 UTC 2007 IDJOB= 432366 IDBENCH= 1353 IDSOLVER= 199 FILE ID= node18/432366-1177942851 PBS_JOBID= 4727671 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432366-1177942851/instance-432366-1177942851.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-432366-1177942851 -o ROOT/results/node18/solver-432366-1177942851 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432366-1177942851/instance-432366-1177942851.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 733d8edd6a6cbfe19e20f4970079db5a RANDOM SEED= 251131368 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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: 1704032 kB Buffers: 39900 kB Cached: 217168 kB SwapCached: 14456 kB Active: 109180 kB Inactive: 170812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1704032 kB SwapTotal: 4192956 kB SwapFree: 4147184 kB Dirty: 6812 kB Writeback: 0 kB Mapped: 29980 kB Slab: 57464 kB Committed_AS: 5534764 kB PageTables: 1776 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= 66558 MiB End job on node18 on Mon Apr 30 14:43:19 UTC 2007