Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.26 | 1800.81 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-swath3.opb |
MD5SUM | 24a38adb0cf3d573eb3de1ce9ead1201 |
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 | 49335 |
Total number of constraints | 4902 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 209 |
Number of constraints which are nor clauses,nor cardinality constraints | 4693 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 46934 |
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 | 1073741824000000 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4776342294353942 |
Number of bits of the biggest sum of numbers | 53 |
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/433174-1177955970/instance-433174-1177955970.opb 0.00/0.00 c File size is 4555091 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.79/0.87 c Highest Coefficient sum: 4.77634e+15 0.79/0.87 c Parsing was ok!! 0.79/0.87 c Total parsing time: 0.866 s 0.89/0.91 c Var: 49335 Constr: 5406 610/0/4796 Lit: 539508 Watch. Lit: 162484 0.89/0.91 c Obj. Vars: 31 (0.0628357 % of total variables) 180.44/180.60 c Pre-processing Time: 180.449 s 1800.05/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.61 c 0 47013 4412 532754 120 265002 500000 0 0 180.45 1800.05/1800.61 c 101 47013 4513 802046 177 395552 550001 101 0 200.70 1800.05/1800.61 c 253 47013 4665 1224164 262 395505 605002 253 1 205.59 1800.05/1800.61 c 478 47013 4890 1813866 370 395575 665503 478 2 230.04 1800.05/1800.61 c 817 47013 5229 2753920 526 395545 732054 817 3 239.38 1800.05/1800.61 c 1326 47013 5738 4163495 725 396489 805260 1326 5 251.48 1800.05/1800.61 c 2089 47013 6501 6272608 964 398063 885787 2089 7 261.66 1800.05/1800.61 c 3235 47013 7647 9434966 1233 400365 974366 3235 10 306.46 1800.05/1800.61 c 4956 47013 9368 14176233 1513 403859 500000 4956 14 350.12 1800.05/1800.61 c 7543 47013 11955 21294845 1781 409023 550001 7543 17 442.78 1800.05/1800.61 c 11422 47013 15834 31959353 2018 416838 605002 11422 19 587.24 1800.05/1800.61 c 17244 47013 21656 51440965 2375 429264 665503 17244 23 743.94 1800.05/1800.61 c 25985 47013 30397 85152962 2801 444622 732054 25985 25 1023.02 1800.05/1800.61 c 39095 47013 43507 95056467 2184 470375 805260 39095 22 1750.11 1800.05/1800.61 c Caught signal: 15 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 13 39258 1321 333603 43670 95512979 39258 21 1800.06 1800.05/1800.61 s UNKNOWN 1800.05/1800.61 c Total time: 1800.06 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-433174-1177955970 -o ROOT/results/node4/solver-433174-1177955970 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433174-1177955970/instance-433174-1177955970.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.95 0.96 3/77 1561 /proc/meminfo: memFree=1849240/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=16188 CPUtime=0 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 271634741 16576512 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11022104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 4047 335 280 324 0 2004 0 [startup+0.038713 s] /proc/loadavg: 0.92 0.95 0.96 3/77 1561 /proc/meminfo: memFree=1849240/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=9680 CPUtime=0.03 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 728 0 0 0 3 0 0 0 18 0 1 0 271634741 9912320 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 2420 699 325 324 0 377 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9680 [startup+0.101718 s] /proc/loadavg: 0.92 0.95 0.96 3/77 1561 /proc/meminfo: memFree=1849240/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=12160 CPUtime=0.09 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 1474 0 0 0 9 0 0 0 18 0 1 0 271634741 12451840 1325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 3040 1325 404 324 0 997 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12160 [startup+0.301737 s] /proc/loadavg: 0.92 0.95 0.96 3/77 1561 /proc/meminfo: memFree=1849240/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=14496 CPUtime=0.29 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 2701 0 0 0 29 0 0 0 19 0 1 0 271634741 14843904 2184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 3624 2184 667 324 0 1581 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14496 [startup+0.701775 s] /proc/loadavg: 0.92 0.95 0.96 3/77 1561 /proc/meminfo: memFree=1849240/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=17884 CPUtime=0.69 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 4139 0 0 0 68 1 0 0 22 0 1 0 271634741 18313216 3573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 4471 3573 1213 324 0 2428 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17884 [startup+1.50185 s] /proc/loadavg: 0.92 0.95 0.96 2/78 1562 /proc/meminfo: memFree=1829264/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=24924 CPUtime=1.49 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7136 0 0 0 147 2 0 0 25 0 1 0 271634741 25522176 5457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 6231 5457 304 324 0 5301 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24924 [startup+3.102 s] /proc/loadavg: 0.92 0.95 0.96 2/78 1562 /proc/meminfo: memFree=1828368/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=25056 CPUtime=3.09 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7141 0 0 0 307 2 0 0 25 0 1 0 271634741 25657344 5462 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 6264 5462 304 324 0 5334 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25056 [startup+6.30131 s] /proc/loadavg: 1.01 0.97 0.96 2/78 1562 /proc/meminfo: memFree=1827984/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=25188 CPUtime=6.28 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7179 0 0 0 626 2 0 0 25 0 1 0 271634741 25792512 5500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 6297 5500 304 324 0 5367 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25188 [startup+12.7029 s] /proc/loadavg: 1.01 0.97 0.96 2/78 1562 /proc/meminfo: memFree=1828112/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=25188 CPUtime=12.68 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7179 0 0 0 1266 2 0 0 25 0 1 0 271634741 25792512 5500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 6297 5500 304 324 0 5367 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25188 [startup+25.5011 s] /proc/loadavg: 1.00 0.97 0.96 2/78 1562 /proc/meminfo: memFree=1828240/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=25188 CPUtime=25.48 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7189 0 0 0 2546 2 0 0 25 0 1 0 271634741 25792512 5510 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 6297 5510 304 324 0 5367 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25188 [startup+51.1016 s] /proc/loadavg: 1.06 0.99 0.97 2/78 1562 /proc/meminfo: memFree=1828240/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=25188 CPUtime=51.06 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7198 0 0 0 5104 2 0 0 25 0 1 0 271634741 25792512 5519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 6297 5519 304 324 0 5367 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 25188 [startup+102.306 s] /proc/loadavg: 1.02 0.99 0.97 2/84 1638 /proc/meminfo: memFree=1826720/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=25452 CPUtime=102.23 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7245 0 0 0 10220 3 0 0 25 0 1 0 271634741 26062848 5566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 6363 5566 304 324 0 5433 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 25452 [startup+162.301 s] /proc/loadavg: 1.01 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1827600/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=25584 CPUtime=162.14 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 7278 0 0 0 16211 3 0 0 25 0 1 0 271634741 26198016 5599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 6396 5599 304 324 0 5466 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 25584 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1813328/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=39788 CPUtime=222.13 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 10957 0 0 0 22208 5 0 0 25 0 1 0 271634741 40742912 9181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 9947 9181 309 324 0 9017 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 39788 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1730448/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=123028 CPUtime=282.12 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 31775 0 0 0 28196 16 0 0 25 0 1 0 271634741 125980672 29999 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 30757 29999 309 324 0 29827 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 123028 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1656656/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=196212 CPUtime=342.1 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 50083 0 0 0 34187 23 0 0 25 0 1 0 271634741 200921088 48307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 49053 48307 309 324 0 48123 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 196212 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1592080/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=260868 CPUtime=402.09 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 66234 0 0 0 40177 32 0 0 25 0 1 0 271634741 267128832 64458 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 65217 64458 309 324 0 64287 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 260868 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1544912/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=307928 CPUtime=462.07 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 77992 0 0 0 46170 37 0 0 25 0 1 0 271634741 315318272 76216 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 76982 76216 309 324 0 76052 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 307928 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1486416/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=367064 CPUtime=522.05 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 92793 0 0 0 52162 43 0 0 25 0 1 0 271634741 375873536 91017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 91766 91017 309 324 0 90836 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 367064 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1431312/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=421628 CPUtime=582.05 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 106434 0 0 0 58155 50 0 0 25 0 1 0 271634741 431747072 104658 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 105407 104658 309 324 0 104477 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 421628 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1395344/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=457152 CPUtime=642.03 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 115307 0 0 0 64150 53 0 0 25 0 1 0 271634741 468123648 113531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 114288 113531 309 324 0 113358 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 457152 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1143184/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=708748 CPUtime=881.96 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 178238 0 0 0 88114 82 0 0 25 0 1 0 271634741 725757952 176462 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 177187 176462 309 324 0 176257 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 708748 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=1132496/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=719432 CPUtime=941.95 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 180919 0 0 0 94111 84 0 0 25 0 1 0 271634741 736698368 179143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 179858 179143 309 324 0 178928 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 719432 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=856976/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=996028 CPUtime=1001.93 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 250060 0 0 0 100083 110 0 0 25 0 1 0 271634741 1019932672 248284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 249007 248284 309 324 0 248077 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 996028 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=741840/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1109412 CPUtime=1061.92 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 278397 0 0 0 106070 122 0 0 25 0 1 0 271634741 1136037888 276621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 277353 276621 309 324 0 276423 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1109412 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=731088/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1120048 CPUtime=1121.91 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 281058 0 0 0 112068 123 0 0 25 0 1 0 271634741 1146929152 279282 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 280012 279282 309 324 0 279082 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1120048 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=720720/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1130448 CPUtime=1181.9 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 283669 0 0 0 118065 125 0 0 25 0 1 0 271634741 1157578752 281893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 282612 281893 309 324 0 281682 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1130448 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=707088/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1143888 CPUtime=1241.88 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 287030 0 0 0 124061 127 0 0 25 0 1 0 271634741 1171341312 285254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 285972 285254 309 324 0 285042 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1143888 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=697424/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1153488 CPUtime=1301.87 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 289410 0 0 0 130058 129 0 0 25 0 1 0 271634741 1181171712 287634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 288372 287634 309 324 0 287442 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1153488 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=685072/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1165812 CPUtime=1361.85 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 292513 0 0 0 136053 132 0 0 25 0 1 0 271634741 1193791488 290737 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 291453 290737 309 324 0 290523 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1165812 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=672528/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1178304 CPUtime=1421.84 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 295631 0 0 0 142050 134 0 0 25 0 1 0 271634741 1206583296 293855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 294576 293855 309 324 0 293646 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1178304 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=663376/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1187528 CPUtime=1481.82 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 297933 0 0 0 148046 136 0 0 25 0 1 0 271634741 1216028672 296157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 296882 296157 309 324 0 295952 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1187528 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=652816/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1197952 CPUtime=1541.8 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 300548 0 0 0 154043 137 0 0 25 0 1 0 271634741 1226702848 298772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 299488 298772 309 324 0 298558 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1197952 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=639120/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1211792 CPUtime=1601.78 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 303988 0 0 0 160039 139 0 0 25 0 1 0 271634741 1240875008 302212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 302948 302212 309 324 0 302018 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1211792 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=629904/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1220876 CPUtime=1661.77 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 306268 0 0 0 166036 141 0 0 25 0 1 0 271634741 1250177024 304492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 305219 304492 309 324 0 304289 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1220876 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=621136/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1229692 CPUtime=1721.76 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 308471 0 0 0 172034 142 0 0 25 0 1 0 271634741 1259204608 306695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 307423 306695 309 324 0 306493 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1229692 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=615696/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1234980 CPUtime=1781.74 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 309788 0 0 0 178031 143 0 0 25 0 1 0 271634741 1264619520 308012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 308745 308012 309 324 0 307815 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1234980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=611728/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=1238928 CPUtime=1800.05 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194304 310775 0 0 0 179861 144 0 0 25 0 1 0 271634741 1268662272 308999 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 309732 308999 309 324 0 308802 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1238928 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.97 2/78 1766 /proc/meminfo: memFree=611728/2055920 swapFree=4141160/4192956 [pid=1561] ppid=1559 vsize=0 CPUtime=1800.24 /proc/1561/stat : 1561 (bsolo3.0.17) R 1559 1561 1353 0 -1 4194308 310779 0 0 0 179861 163 0 0 25 0 1 0 271634741 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/1561/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.81 CPU time (s): 1800.26 CPU user time (s): 1798.61 CPU system time (s): 1.64275 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 1238928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.61 system time used= 1.64275 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 310779 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= 5572 runsolver used 1.44078 second user time and 3.69344 second system time The end
Begin job on node4 on Mon Apr 30 17:59:30 UTC 2007 IDJOB= 433174 IDBENCH= 2326 IDSOLVER= 199 FILE ID= node4/433174-1177955970 PBS_JOBID= 4727703 Free space on /tmp= 66554 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433174-1177955970/instance-433174-1177955970.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-433174-1177955970 -o ROOT/results/node4/solver-433174-1177955970 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433174-1177955970/instance-433174-1177955970.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 24a38adb0cf3d573eb3de1ce9ead1201 RANDOM SEED= 66678537 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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 : 5931.00 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.218 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: 1849584 kB Buffers: 33964 kB Cached: 86276 kB SwapCached: 14808 kB Active: 46360 kB Inactive: 96552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849584 kB SwapTotal: 4192956 kB SwapFree: 4141160 kB Dirty: 11180 kB Writeback: 0 kB Mapped: 29588 kB Slab: 48752 kB Committed_AS: 6428624 kB PageTables: 1816 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= 66554 MiB End job on node4 on Mon Apr 30 18:29:33 UTC 2007