Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.17 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb |
MD5SUM | 8006e55bdcce383dfc4a8ab750094e2c |
Bench Category | OPT-SMALLINT (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 | 3.23951 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8268 |
Total number of constraints | 1451 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 21 |
Number of constraints which are nor clauses,nor cardinality constraints | 1430 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 8249 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 529994 |
Number of bits of the biggest sum of numbers | 20 |
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/432780-1177949503/instance-432780-1177949503.opb 0.00/0.00 c File size is 1165054 bytes. 0.19/0.22 c Highest Coefficient sum: 529994 0.19/0.22 c Parsing was ok!! 0.19/0.22 c Total parsing time: 0.22 s 0.19/0.23 c Var: 8268 Constr: 1471 21/21/1429 Lit: 127260 Watch. Lit: 34489 0.19/0.23 c Obj. Vars: 31 (0.37494 % of total variables) 179.35/179.44 c Pre-processing Time: 179.399 s 179.35/179.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.35/179.44 c 0 7863 1335 123362 92 56597 247099 0 0 179.40 179.35/179.44 c Switching off LPR mode. 1800.10/1800.50 c 100 7863 1435 129755 90 63438 271809 100 0 179.47 1800.10/1800.50 c 250 7863 1585 135063 85 63682 298990 250 1 179.54 1800.10/1800.50 c 476 7863 1811 144935 80 65697 328890 476 2 179.67 1800.10/1800.50 c 815 7863 2150 181899 84 66110 361780 815 4 180.09 1800.10/1800.50 c 1324 7863 2659 248977 93 67042 397959 1324 7 180.60 1800.10/1800.50 c 2088 7863 3423 334145 97 68348 437755 2088 11 181.34 1800.10/1800.50 c 3234 7863 4569 446905 97 70551 481531 3234 17 182.70 1800.10/1800.50 c 4957 7863 6292 644858 102 74427 529685 4957 26 184.75 1800.10/1800.50 c 7542 7863 8877 1045103 117 80000 582654 7542 40 188.48 1800.10/1800.50 c 11421 7863 12756 1305433 102 87168 640920 11421 59 191.92 1800.10/1800.50 c 17243 7863 18578 1736938 93 98331 705013 17243 85 200.61 1800.10/1800.50 c 25981 7863 27316 2265296 82 116126 775515 25981 120 215.13 1800.10/1800.50 c 39092 7863 40427 2930243 72 140369 853067 39092 155 251.37 1800.10/1800.50 c 58764 7863 60099 3907806 65 180430 938374 58764 180 325.56 1800.10/1800.50 c 88274 7863 89609 6199979 69 240043 500000 88274 217 405.21 1800.10/1800.50 c 132545 7863 133880 10043488 75 329568 550001 132545 235 562.86 1800.10/1800.50 c 198955 7863 200290 16421189 81 461154 605002 198955 181 1093.44 1800.10/1800.50 c Caught signal: 15 1800.10/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.10/1800.50 c 17 291223 14340 319966 292558 26498830 291223 161 1800.11 1800.10/1800.50 s UNKNOWN 1800.10/1800.50 c Total time: 1800.11 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-432780-1177949503 -o ROOT/results/node52/solver-432780-1177949503 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432780-1177949503/instance-432780-1177949503.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.92 0.98 0.95 2/64 25734 /proc/meminfo: memFree=1840604/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=20688 CPUtime=0 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 149795387 21184512 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 3219 332 280 324 0 2004 0 [startup+0.076462 s] /proc/loadavg: 0.92 0.98 0.95 2/64 25734 /proc/meminfo: memFree=1840604/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=6376 CPUtime=0.07 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 775 0 0 0 7 0 0 0 18 0 1 0 149795387 6529024 745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 1594 745 370 324 0 379 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6376 [startup+0.101464 s] /proc/loadavg: 0.92 0.98 0.95 2/64 25734 /proc/meminfo: memFree=1840604/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=6508 CPUtime=0.09 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 848 0 0 0 9 0 0 0 18 0 1 0 149795387 6664192 818 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 1627 818 404 324 0 412 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6508 [startup+0.301477 s] /proc/loadavg: 0.92 0.98 0.95 2/64 25734 /proc/meminfo: memFree=1840604/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=7932 CPUtime=0.29 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 1653 0 0 0 29 0 0 0 19 0 1 0 149795387 8122368 1338 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 1983 1338 303 324 0 1053 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7932 [startup+0.701503 s] /proc/loadavg: 0.92 0.98 0.95 2/64 25734 /proc/meminfo: memFree=1840604/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=8196 CPUtime=0.69 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 1718 0 0 0 69 0 0 0 22 0 1 0 149795387 8392704 1403 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 2049 1403 303 324 0 1119 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8196 [startup+1.50156 s] /proc/loadavg: 0.92 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1836052/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=10052 CPUtime=1.49 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 2256 0 0 0 148 1 0 0 25 0 1 0 149795387 10293248 1875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 2513 1875 305 324 0 1583 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10052 [startup+3.10266 s] /proc/loadavg: 0.92 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1833684/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=10052 CPUtime=3.09 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 2256 0 0 0 307 2 0 0 25 0 1 0 149795387 10293248 1875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 2513 1875 305 324 0 1583 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10052 [startup+6.30188 s] /proc/loadavg: 0.93 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1833812/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=10052 CPUtime=6.29 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 2256 0 0 0 627 2 0 0 25 0 1 0 149795387 10293248 1875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 2513 1875 305 324 0 1583 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10052 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1833884/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=10052 CPUtime=12.69 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 2256 0 0 0 1267 2 0 0 25 0 1 0 149795387 10293248 1875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 2513 1875 305 324 0 1583 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10052 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1833948/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=10052 CPUtime=25.48 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 2256 0 0 0 2546 2 0 0 25 0 1 0 149795387 10293248 1875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 2513 1875 305 324 0 1583 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10052 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1833948/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=10052 CPUtime=51.08 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 2256 0 0 0 5106 2 0 0 25 0 1 0 149795387 10293248 1875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 2513 1875 305 324 0 1583 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10052 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1833948/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=10052 CPUtime=102.27 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 2256 0 0 0 10225 2 0 0 25 0 1 0 149795387 10293248 1875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 2513 1875 305 324 0 1583 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10052 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1833948/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=10052 CPUtime=162.25 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 2256 0 0 0 16223 2 0 0 25 0 1 0 149795387 10293248 1875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 2513 1875 305 324 0 1583 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10052 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1803356/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=40856 CPUtime=222.24 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 10370 0 0 0 22217 7 0 0 25 0 1 0 149795387 41836544 9573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 10214 9573 309 324 0 9284 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 40856 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1789148/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=55112 CPUtime=282.23 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 13925 0 0 0 28214 9 0 0 25 0 1 0 149795387 56434688 13128 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 13778 13128 309 324 0 12848 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 55112 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1778140/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=65852 CPUtime=342.21 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 16629 0 0 0 34211 10 0 0 25 0 1 0 149795387 67432448 15832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 16463 15832 309 324 0 15533 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 65852 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 25735 /proc/meminfo: memFree=1750300/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=94100 CPUtime=402.2 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 23673 0 0 0 40206 14 0 0 25 0 1 0 149795387 96358400 22876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 23525 22876 309 324 0 22595 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 94100 [startup+462.302 s] /proc/loadavg: 1.05 1.00 0.95 2/65 25735 /proc/meminfo: memFree=1726876/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=117144 CPUtime=462.18 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 29442 0 0 0 46200 18 0 0 25 0 1 0 149795387 119955456 28645 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 29286 28645 309 324 0 28356 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 117144 [startup+522.302 s] /proc/loadavg: 1.11 1.03 0.96 2/65 25735 /proc/meminfo: memFree=1705756/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=138384 CPUtime=522.18 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 34749 0 0 0 52195 23 0 0 25 0 1 0 149795387 141705216 33952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 34596 33952 309 324 0 33666 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 138384 [startup+582.302 s] /proc/loadavg: 1.04 1.02 0.96 2/65 25735 /proc/meminfo: memFree=1689692/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=154296 CPUtime=582.17 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 38721 0 0 0 58192 25 0 0 25 0 1 0 149795387 157999104 37924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 38574 37924 309 324 0 37644 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 154296 [startup+642.302 s] /proc/loadavg: 1.01 1.02 0.96 2/65 25735 /proc/meminfo: memFree=1678812/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=165020 CPUtime=642.16 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 41413 0 0 0 64188 28 0 0 25 0 1 0 149795387 168980480 40616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 41255 40616 309 324 0 40325 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 165020 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1643676/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=200028 CPUtime=882.09 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 50160 0 0 0 88170 39 0 0 25 0 1 0 149795387 204828672 49363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 50007 49363 309 324 0 49077 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 200028 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1634844/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=208944 CPUtime=942.08 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 52382 0 0 0 94167 41 0 0 25 0 1 0 149795387 213958656 51585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 52236 51585 309 324 0 51306 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 208944 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1626012/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=217680 CPUtime=1002.07 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 54575 0 0 0 100163 44 0 0 25 0 1 0 149795387 222904320 53778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 54420 53778 309 324 0 53490 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 217680 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1612956/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=230852 CPUtime=1062.06 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 57885 0 0 0 106158 48 0 0 25 0 1 0 149795387 236392448 57088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 57713 57088 309 324 0 56783 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 230852 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1601372/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=242184 CPUtime=1122.05 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 60700 0 0 0 112155 50 0 0 25 0 1 0 149795387 247996416 59903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 60546 59903 309 324 0 59616 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 242184 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1594012/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=249632 CPUtime=1182.03 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 62570 0 0 0 118152 51 0 0 25 0 1 0 149795387 255623168 61773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 62408 61773 309 324 0 61478 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 249632 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1574620/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=268820 CPUtime=1242.01 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 67375 0 0 0 124145 56 0 0 25 0 1 0 149795387 275271680 66578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4743074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 67205 66578 309 324 0 66275 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 268820 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1557660/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=285600 CPUtime=1302.01 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 71568 0 0 0 130141 60 0 0 25 0 1 0 149795387 292454400 70771 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 71400 70771 309 324 0 70470 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 285600 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1546972/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=296464 CPUtime=1361.99 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 74272 0 0 0 136137 62 0 0 25 0 1 0 149795387 303579136 73475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 74116 73475 309 324 0 73186 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 296464 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1537436/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=305828 CPUtime=1421.98 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 76613 0 0 0 142133 65 0 0 25 0 1 0 149795387 313167872 75816 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 76457 75816 309 324 0 75527 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 305828 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1526300/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=317048 CPUtime=1481.96 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 79420 0 0 0 148128 68 0 0 25 0 1 0 149795387 324657152 78623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 79262 78623 309 324 0 78332 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 317048 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1514524/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=328684 CPUtime=1541.95 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 82328 0 0 0 154124 71 0 0 25 0 1 0 149795387 336572416 81531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 82171 81531 309 324 0 81241 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 328684 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1502620/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=340712 CPUtime=1601.94 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 85338 0 0 0 160119 75 0 0 25 0 1 0 149795387 348889088 84541 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 85178 84541 309 324 0 84248 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 340712 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1492252/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=350960 CPUtime=1661.93 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 87895 0 0 0 166115 78 0 0 25 0 1 0 149795387 359383040 87098 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 87740 87098 309 324 0 86810 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 350960 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1480668/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=362632 CPUtime=1721.91 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 90820 0 0 0 172111 80 0 0 25 0 1 0 149795387 371335168 90023 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 90658 90023 309 324 0 89728 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 362632 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1468956/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=374128 CPUtime=1781.9 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 93687 0 0 0 178107 83 0 0 25 0 1 0 149795387 383107072 92890 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 93532 92890 309 324 0 92602 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 374128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1465244/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=377648 CPUtime=1800.1 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 94588 0 0 0 179926 84 0 0 25 0 1 0 149795387 386711552 93791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 94412 93791 309 324 0 93482 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 377648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/65 25735 /proc/meminfo: memFree=1465244/2055920 swapFree=4182988/4192956 [pid=25734] ppid=25732 vsize=377648 CPUtime=1800.1 /proc/25734/stat : 25734 (bsolo3.0.17) R 25732 25734 24108 0 -1 4194304 94588 0 0 0 179926 84 0 0 25 0 1 0 149795387 386711552 93791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25734/statm: 94412 93791 309 324 0 93482 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 377648 Child status: 15 Real time (s): 1800.57 CPU time (s): 1800.17 CPU user time (s): 1799.26 CPU system time (s): 0.908861 CPU usage (%): 99.9779 Max. virtual memory (cumulated for all children) (KiB): 377648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.26 system time used= 0.908861 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94592 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= 12 involuntary context switches= 2246 runsolver used 1.3208 second user time and 3.60545 second system time The end
Begin job on node52 on Mon Apr 30 16:11:43 UTC 2007 IDJOB= 432780 IDBENCH= 1787 IDSOLVER= 199 FILE ID= node52/432780-1177949503 PBS_JOBID= 4727544 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432780-1177949503/instance-432780-1177949503.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-432780-1177949503 -o ROOT/results/node52/solver-432780-1177949503 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432780-1177949503/instance-432780-1177949503.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 8006e55bdcce383dfc4a8ab750094e2c RANDOM SEED= 644285324 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1841012 kB Buffers: 8976 kB Cached: 141080 kB SwapCached: 3828 kB Active: 41844 kB Inactive: 119108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841012 kB SwapTotal: 4192956 kB SwapFree: 4182988 kB Dirty: 7720 kB Writeback: 0 kB Mapped: 16976 kB Slab: 39852 kB Committed_AS: 1952664 kB PageTables: 1488 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= 66557 MiB End job on node52 on Mon Apr 30 16:41:46 UTC 2007