Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.17 | 1800.96 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-swath.opb |
MD5SUM | 3553224658521cb15e26e6f30dd8f5c2 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9155 |
Total number of constraints | 884 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 423 |
Number of constraints which are nor clauses,nor cardinality constraints | 461 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6754 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 16777216000000 |
Number of bits of the biggest number in a constraint | 44 |
Biggest sum of numbers in a constraint | 66042304016951 |
Number of bits of the biggest sum of numbers | 46 |
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/433351-1177958026/instance-433351-1177958026.opb 0.00/0.00 c File size is 1542349 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.19/0.25 c Highest Coefficient sum: 6.60423e+13 0.19/0.25 c Parsing was ok!! 0.19/0.25 c Total parsing time: 0.246 s 0.19/0.25 c Var: 9155 Constr: 1388 824/182/382 Lit: 149030 Watch. Lit: 30261 0.19/0.25 c Obj. Vars: 31 (0.338613 % of total variables) 179.22/179.34 c Pre-processing Time: 179.262 s 1800.02/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.80 c 0 8753 586 148228 252 36212 403583 0 0 179.26 1800.02/1800.80 c 100 8753 686 178466 260 123450 443942 100 0 181.15 1800.02/1800.80 c 250 8753 836 213868 255 123048 488337 250 1 184.00 1800.02/1800.80 c 478 8753 1064 291072 273 125043 537171 478 2 185.83 1800.02/1800.80 c 819 8753 1405 429738 305 125003 590889 819 4 188.79 1800.02/1800.80 c 1327 8753 1913 734969 384 126019 649978 1327 6 195.43 1800.02/1800.80 c 2092 8753 2678 1038251 387 127815 714976 2092 9 211.05 1800.02/1800.80 c 3240 8753 3826 1454356 380 130966 786474 3240 14 224.10 1800.02/1800.80 c 4961 8753 5547 1966172 354 134522 865122 4961 18 262.41 1800.02/1800.80 c 7545 8753 8131 3721938 457 139595 951635 7545 25 298.27 1800.02/1800.80 c 11427 8753 12013 5699360 474 147397 500000 11427 30 380.29 1800.02/1800.80 c 17250 8753 17836 9515428 533 159005 550001 17250 40 427.96 1800.02/1800.80 c 26008 8753 26594 14625023 549 175761 605002 26008 41 631.36 1800.02/1800.80 c 39118 8753 39704 25222701 635 201050 665503 39118 43 902.50 1800.02/1800.80 c 58788 8753 59374 40537703 682 242119 732054 58788 45 1285.54 1800.02/1800.80 c Caught signal: 15 1800.02/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.80 c 14 82334 43490 2350474 82920 71622710 82334 45 1800.02 1800.02/1800.80 s UNKNOWN 1800.02/1800.80 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-433351-1177958026 -o ROOT/results/node33/solver-433351-1177958026 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433351-1177958026/instance-433351-1177958026.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.85 0.97 0.92 3/77 7549 /proc/meminfo: memFree=1853424/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=13244 CPUtime=0 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 243718054 13561856 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 3311 335 280 324 0 2004 0 [startup+0.0287879 s] /proc/loadavg: 0.85 0.97 0.92 3/77 7549 /proc/meminfo: memFree=1853424/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=14036 CPUtime=0.02 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 588 0 0 0 2 0 0 0 18 0 1 0 243718054 14372864 558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11411038 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 3509 558 316 324 0 2202 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14036 [startup+0.101802 s] /proc/loadavg: 0.85 0.97 0.92 3/77 7549 /proc/meminfo: memFree=1853424/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=6740 CPUtime=0.09 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 843 0 0 0 9 0 0 0 18 0 1 0 243718054 6901760 813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 1685 813 429 324 0 378 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6740 [startup+0.301844 s] /proc/loadavg: 0.85 0.97 0.92 3/77 7549 /proc/meminfo: memFree=1853424/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=8176 CPUtime=0.29 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 1801 0 0 0 29 0 0 0 19 0 1 0 243718054 8372224 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 2044 1394 304 324 0 1114 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8176 [startup+0.701926 s] /proc/loadavg: 0.85 0.97 0.92 3/77 7549 /proc/meminfo: memFree=1853424/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=8176 CPUtime=0.69 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 1801 0 0 0 69 0 0 0 22 0 1 0 243718054 8372224 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 2044 1394 304 324 0 1114 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8176 [startup+1.50109 s] /proc/loadavg: 0.85 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1849000/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=8176 CPUtime=1.49 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 1801 0 0 0 149 0 0 0 25 0 1 0 243718054 8372224 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 2044 1394 304 324 0 1114 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8176 [startup+3.10142 s] /proc/loadavg: 0.85 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1848872/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=8176 CPUtime=3.09 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 1801 0 0 0 309 0 0 0 25 0 1 0 243718054 8372224 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 2044 1394 304 324 0 1114 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8176 [startup+6.30109 s] /proc/loadavg: 0.86 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1848552/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=8176 CPUtime=6.29 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 1801 0 0 0 628 1 0 0 25 0 1 0 243718054 8372224 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 2044 1394 304 324 0 1114 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8176 [startup+12.7014 s] /proc/loadavg: 0.87 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1848616/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=8176 CPUtime=12.69 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 1801 0 0 0 1268 1 0 0 25 0 1 0 243718054 8372224 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 2044 1394 304 324 0 1114 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8176 [startup+25.5011 s] /proc/loadavg: 0.90 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1848744/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=8176 CPUtime=25.48 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 1801 0 0 0 2547 1 0 0 25 0 1 0 243718054 8372224 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 2044 1394 304 324 0 1114 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8176 [startup+51.1014 s] /proc/loadavg: 0.93 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1848808/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=8176 CPUtime=51.06 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 1801 0 0 0 5105 1 0 0 25 0 1 0 243718054 8372224 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 2044 1394 304 324 0 1114 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 8176 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1848872/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=8176 CPUtime=102.24 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 1801 0 0 0 10223 1 0 0 25 0 1 0 243718054 8372224 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 2044 1394 304 324 0 1114 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 8176 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1848808/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=8176 CPUtime=162.22 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 1801 0 0 0 16220 2 0 0 25 0 1 0 243718054 8372224 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 2044 1394 304 324 0 1114 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 8176 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1830312/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=26716 CPUtime=222.2 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 6459 0 0 0 22217 3 0 0 25 0 1 0 243718054 27357184 6052 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 6679 6052 309 324 0 5749 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 26716 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1808616/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=48436 CPUtime=282.18 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 11879 0 0 0 28212 6 0 0 25 0 1 0 243718054 49598464 11472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 12109 11472 309 324 0 11179 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 48436 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1787688/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=69236 CPUtime=342.15 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 17089 0 0 0 34207 8 0 0 25 0 1 0 243718054 70897664 16682 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 17309 16682 309 324 0 16379 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 69236 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1751784/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=105416 CPUtime=402.13 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 26115 0 0 0 40200 13 0 0 25 0 1 0 243718054 107945984 25708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 26354 25708 309 324 0 25424 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 105416 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7550 /proc/meminfo: memFree=1713896/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=142520 CPUtime=462.1 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 35402 0 0 0 46192 18 0 0 25 0 1 0 243718054 145940480 34995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 35630 34995 309 324 0 34700 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 142520 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1691496/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=164944 CPUtime=522.09 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 41017 0 0 0 52187 22 0 0 25 0 1 0 243718054 168902656 40610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 41236 40610 309 324 0 40306 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 164944 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1671272/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=184976 CPUtime=582.06 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 46004 0 0 0 58181 25 0 0 25 0 1 0 243718054 189415424 45597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 46244 45597 309 324 0 45314 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 184976 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1656552/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=199576 CPUtime=642.04 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 49673 0 0 0 64176 28 0 0 25 0 1 0 243718054 204365824 49266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 49894 49266 309 324 0 48964 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 199576 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1534568/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=321428 CPUtime=881.94 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 80124 0 0 0 88151 43 0 0 25 0 1 0 243718054 329142272 79717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 80357 79717 309 324 0 79427 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 321428 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1509672/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=346384 CPUtime=941.92 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 86353 0 0 0 94145 47 0 0 25 0 1 0 243718054 354697216 85946 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 86596 85946 309 324 0 85666 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 346384 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1490344/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=365408 CPUtime=1001.9 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 91129 0 0 0 100139 51 0 0 25 0 1 0 243718054 374177792 90722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 91352 90722 309 324 0 90422 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 365408 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1445480/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=411272 CPUtime=1061.87 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 102579 0 0 0 106130 57 0 0 25 0 1 0 243718054 421142528 102172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 102818 102172 309 324 0 101888 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 411272 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1410280/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=445772 CPUtime=1121.85 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 111217 0 0 0 112124 61 0 0 25 0 1 0 243718054 456470528 110810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 111443 110810 309 324 0 110513 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 445772 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1381416/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=474364 CPUtime=1181.82 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 118354 0 0 0 118117 65 0 0 25 0 1 0 243718054 485748736 117947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 118591 117947 309 324 0 117661 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 474364 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1341800/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=513788 CPUtime=1241.8 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 128212 0 0 0 124110 70 0 0 25 0 1 0 243718054 526118912 127805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 128447 127805 309 324 0 127517 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 513788 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1313896/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=541468 CPUtime=1301.79 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 135133 0 0 0 130105 74 0 0 25 0 1 0 243718054 554463232 134726 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 135367 134726 309 324 0 134437 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 541468 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1284136/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=571260 CPUtime=1361.76 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 142577 0 0 0 136098 78 0 0 25 0 1 0 243718054 584970240 142170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 142815 142170 309 324 0 141885 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 571260 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1255272/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=599964 CPUtime=1421.74 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 149753 0 0 0 142090 84 0 0 25 0 1 0 243718054 614363136 149346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 149991 149346 309 324 0 149061 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 599964 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1216744/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=638748 CPUtime=1481.71 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 159442 0 0 0 148081 90 0 0 25 0 1 0 243718054 654077952 159035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 159687 159035 309 324 0 158757 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 638748 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1165160/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=689928 CPUtime=1541.69 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 172260 0 0 0 154072 97 0 0 25 0 1 0 243718054 706486272 171853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 172482 171853 309 324 0 171552 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 689928 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7552 /proc/meminfo: memFree=1097384/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=758008 CPUtime=1601.67 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 189277 0 0 0 160062 105 0 0 25 0 1 0 243718054 776200192 188870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 189502 188870 309 324 0 188572 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 758008 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/84 7690 /proc/meminfo: memFree=1048368/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=805312 CPUtime=1661.59 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 201083 0 0 0 166046 113 0 0 25 0 1 0 243718054 824639488 200676 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 201328 200676 309 324 0 200398 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 805312 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7750 /proc/meminfo: memFree=1002792/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=852716 CPUtime=1721.54 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 212934 0 0 0 172035 119 0 0 25 0 1 0 243718054 873181184 212527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 213179 212527 309 324 0 212249 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 852716 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7750 /proc/meminfo: memFree=941928/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=912720 CPUtime=1781.52 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 227950 0 0 0 178025 127 0 0 25 0 1 0 243718054 934625280 227543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 228180 227543 309 324 0 227250 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 912720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7750 /proc/meminfo: memFree=926376/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=927820 CPUtime=1800.02 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194304 231722 0 0 0 179873 129 0 0 25 0 1 0 243718054 950087680 231315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 231955 231315 309 324 0 231025 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 927820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 0.97 0.92 2/78 7750 /proc/meminfo: memFree=926376/2055920 swapFree=4147832/4192956 [pid=7549] ppid=7547 vsize=0 CPUtime=1800.12 /proc/7549/stat : 7549 (bsolo3.0.17) R 7547 7549 7341 0 -1 4194308 231726 0 0 0 179873 139 0 0 25 0 1 0 243718054 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/7549/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.96 CPU time (s): 1800.17 CPU user time (s): 1798.73 CPU system time (s): 1.43978 CPU usage (%): 99.9566 Max. virtual memory (cumulated for all children) (KiB): 927820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.73 system time used= 1.43978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 231726 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= 6832 runsolver used 1.3108 second user time and 3.9504 second system time The end
Begin job on node33 on Mon Apr 30 18:33:46 UTC 2007 IDJOB= 433351 IDBENCH= 2511 IDSOLVER= 199 FILE ID= node33/433351-1177958026 PBS_JOBID= 4727736 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433351-1177958026/instance-433351-1177958026.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-433351-1177958026 -o ROOT/results/node33/solver-433351-1177958026 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433351-1177958026/instance-433351-1177958026.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 3553224658521cb15e26e6f30dd8f5c2 RANDOM SEED= 58011431 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1853832 kB Buffers: 24840 kB Cached: 90356 kB SwapCached: 13868 kB Active: 62872 kB Inactive: 75388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853832 kB SwapTotal: 4192956 kB SwapFree: 4147832 kB Dirty: 8244 kB Writeback: 0 kB Mapped: 30076 kB Slab: 49100 kB Committed_AS: 1929272 kB PageTables: 1992 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 node33 on Mon Apr 30 19:03:49 UTC 2007