Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.21 | 1800.93 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_5.opb |
MD5SUM | 143c67a6efdf0b74421c6a96157a0df7 |
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 | 404336 |
Total number of constraints | 3663 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 3658 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 134217728000 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 569083166190 |
Number of bits of the biggest sum of numbers | 40 |
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/433162-1177955830/instance-433162-1177955830.opb 0.00/0.00 c File size is 33019694 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 6.98/7.05 c Highest Coefficient sum: 5.69083e+11 6.98/7.05 c Parsing was ok!! 6.98/7.05 c Total parsing time: 7.043 s 7.18/7.24 c Var: 404336 Constr: 4887 0/10/4877 Lit: 3822155 Watch. Lit: 322857 7.18/7.24 c Obj. Vars: 30 (0.00741957 % of total variables) 190.42/190.54 c Pre-processing Time: 190.469 s 1800.08/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.80 c 0 271692 4872 3821570 784 3224535 500000 0 0 190.47 1800.08/1800.80 c 101 271692 4973 3823330 768 3224874 550001 101 0 191.32 1800.08/1800.80 c 251 271692 5123 3825886 746 3225892 605002 251 1 193.53 1800.08/1800.80 c 477 271692 5349 3830323 716 3225215 665503 477 2 196.65 1800.08/1800.80 c 815 271692 5687 3835848 674 3225887 732054 815 4 202.13 1800.08/1800.80 c 1323 271692 6195 3920150 632 3225253 805260 1323 4 265.75 1800.08/1800.80 c 2087 271692 6959 4318443 620 3228061 885787 2087 6 304.71 1800.08/1800.80 c 3234 271692 8106 4786177 590 3231691 974366 3234 7 424.65 1800.08/1800.80 c 4955 271692 9827 5253886 534 3234085 500000 4955 6 741.27 1800.08/1800.80 c 7539 271692 12411 6119152 493 3240671 550001 7539 6 1152.82 1800.08/1800.80 c 11419 271692 16291 7157193 439 3246131 605002 11419 8 1330.04 1800.08/1800.80 c 17241 271692 22113 43548794 1969 3259113 665503 17241 9 1736.58 1800.08/1800.80 c Caught signal: 15 1800.08/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.80 c 11 18217 2324 185225 23089 43770129 18217 10 1800.09 1800.08/1800.80 s UNKNOWN 1800.08/1800.80 c Total time: 1800.09 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-433162-1177955830 -o ROOT/results/node3/solver-433162-1177955830 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433162-1177955830/instance-433162-1177955830.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.78 0.95 0.98 3/77 24592 /proc/meminfo: memFree=1800984/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=43984 CPUtime=0 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 271620935 45039616 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11390558 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 10996 333 280 324 0 2004 0 [startup+0.094869 s] /proc/loadavg: 0.78 0.95 0.98 3/77 24592 /proc/meminfo: memFree=1800984/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=38504 CPUtime=0.09 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 1085 0 0 0 9 0 0 0 18 0 1 0 271620935 39428096 1015 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134541066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 9626 1015 400 324 0 634 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38504 [startup+0.10187 s] /proc/loadavg: 0.78 0.95 0.98 3/77 24592 /proc/meminfo: memFree=1800984/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=38780 CPUtime=0.09 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 1145 0 0 0 9 0 0 0 18 0 1 0 271620935 39710720 1075 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 9695 1076 410 324 0 703 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38780 [startup+0.301903 s] /proc/loadavg: 0.78 0.95 0.98 3/77 24592 /proc/meminfo: memFree=1800984/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=43180 CPUtime=0.29 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 2647 0 0 0 29 0 0 0 19 0 1 0 271620935 44216320 2449 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 10795 2449 659 324 0 1803 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 43180 [startup+0.701967 s] /proc/loadavg: 0.78 0.95 0.98 3/77 24592 /proc/meminfo: memFree=1800984/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=51776 CPUtime=0.69 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 5544 0 0 0 68 1 0 0 22 0 1 0 271620935 53018624 5092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11384607 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 12944 5092 1175 324 0 3952 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 51776 [startup+1.5011 s] /proc/loadavg: 0.78 0.95 0.98 2/78 24593 /proc/meminfo: memFree=1779408/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=67648 CPUtime=1.49 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 10956 0 0 0 145 4 0 0 25 0 1 0 271620935 69271552 9998 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 16912 9998 2159 324 0 7920 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 67648 [startup+3.10137 s] /proc/loadavg: 0.80 0.95 0.98 2/78 24593 /proc/meminfo: memFree=1758736/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=89924 CPUtime=3.08 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 18918 0 0 0 301 7 0 0 25 0 1 0 271620935 92082176 16949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11384608 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24592/statm: 22481 16949 3926 324 0 13489 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 89924 [startup+6.30188 s] /proc/loadavg: 0.80 0.95 0.98 2/78 24593 /proc/meminfo: memFree=1732112/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=110740 CPUtime=6.28 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 28711 0 0 0 618 10 0 0 25 0 1 0 271620935 113397760 25740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11384607 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 27685 25741 7487 324 0 18693 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 110740 [startup+12.7019 s] /proc/loadavg: 0.83 0.95 0.98 2/78 24593 /proc/meminfo: memFree=1628176/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=184852 CPUtime=12.68 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 54623 0 0 0 1247 21 0 0 25 0 1 0 271620935 189288448 43590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 46213 43590 304 324 0 45283 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 184852 [startup+25.502 s] /proc/loadavg: 0.85 0.95 0.98 2/78 24593 /proc/meminfo: memFree=1626192/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=186832 CPUtime=25.48 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 55125 0 0 0 2524 24 0 0 25 0 1 0 271620935 191315968 44092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 46708 44092 304 324 0 45778 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 186832 [startup+51.1011 s] /proc/loadavg: 0.90 0.96 0.98 2/78 24593 /proc/meminfo: memFree=1626320/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=186832 CPUtime=51.06 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 55125 0 0 0 5073 33 0 0 25 0 1 0 271620935 191315968 44092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 46708 44092 304 324 0 45778 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 186832 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/78 24593 /proc/meminfo: memFree=1626448/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=186832 CPUtime=102.26 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 55125 0 0 0 10174 52 0 0 25 0 1 0 271620935 191315968 44092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 46708 44092 304 324 0 45778 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 186832 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 24593 /proc/meminfo: memFree=1573200/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=239896 CPUtime=162.22 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 72345 0 0 0 16161 61 0 0 25 0 1 0 271620935 245653504 57362 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 59974 57362 306 324 0 59044 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 239896 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24593 /proc/meminfo: memFree=1611728/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=201244 CPUtime=222.2 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 73272 0 0 0 22157 63 0 0 25 0 1 0 271620935 206073856 47721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 50311 47721 310 324 0 49381 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 201244 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/84 24771 /proc/meminfo: memFree=1608992/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=202700 CPUtime=282.1 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 73631 0 0 0 28146 64 0 0 25 0 1 0 271620935 207564800 48080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 50675 48080 310 324 0 49745 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 202700 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24791 /proc/meminfo: memFree=1606032/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=206840 CPUtime=342.06 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 74650 0 0 0 34141 65 0 0 25 0 1 0 271620935 211804160 49099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 51710 49099 310 324 0 50780 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 206840 [startup+402.301 s] /proc/loadavg: 1.03 0.99 0.99 2/78 24791 /proc/meminfo: memFree=1603024/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=209728 CPUtime=402.04 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 75393 0 0 0 40138 66 0 0 25 0 1 0 271620935 214761472 49842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 52432 49842 310 324 0 51502 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 209728 [startup+462.302 s] /proc/loadavg: 1.14 1.03 1.00 2/78 24791 /proc/meminfo: memFree=1597968/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=214880 CPUtime=462.03 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 76660 0 0 0 46135 68 0 0 25 0 1 0 271620935 220037120 51109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 53720 51109 310 324 0 52790 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 214880 [startup+522.302 s] /proc/loadavg: 1.08 1.03 1.00 2/78 24791 /proc/meminfo: memFree=1597200/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=215540 CPUtime=522 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 76847 0 0 0 52132 68 0 0 25 0 1 0 271620935 220712960 51296 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 53885 51296 310 324 0 52955 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 215540 [startup+582.301 s] /proc/loadavg: 1.03 1.03 1.00 2/78 24791 /proc/meminfo: memFree=1597264/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=215540 CPUtime=581.99 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 76847 0 0 0 58130 69 0 0 25 0 1 0 271620935 220712960 51296 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 53885 51296 310 324 0 52955 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 215540 [startup+642.302 s] /proc/loadavg: 1.01 1.02 1.00 2/78 24791 /proc/meminfo: memFree=1591056/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=221748 CPUtime=641.97 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 78380 0 0 0 64127 70 0 0 25 0 1 0 271620935 227069952 52829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 55437 52829 310 324 0 54507 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 221748 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1588432/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=224388 CPUtime=881.88 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 79059 0 0 0 88116 72 0 0 25 0 1 0 271620935 229773312 53508 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 56097 53508 310 324 0 55167 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 224388 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1584464/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=228304 CPUtime=941.86 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 80045 0 0 0 94113 73 0 0 25 0 1 0 271620935 233783296 54494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 57076 54494 310 324 0 56146 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 228304 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1583312/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=229492 CPUtime=1001.84 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 80325 0 0 0 100110 74 0 0 25 0 1 0 271620935 234999808 54774 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 57373 54774 310 324 0 56443 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 229492 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1583056/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=229756 CPUtime=1061.83 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 80398 0 0 0 106108 75 0 0 25 0 1 0 271620935 235270144 54847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 57439 54847 310 324 0 56509 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 229756 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1576400/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=236360 CPUtime=1121.8 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 82053 0 0 0 112104 76 0 0 25 0 1 0 271620935 242032640 56502 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 59090 56502 310 324 0 58160 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 236360 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1574096/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=238804 CPUtime=1181.78 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 82656 0 0 0 118101 77 0 0 25 0 1 0 271620935 244535296 57105 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 59701 57105 310 324 0 58771 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 238804 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1574032/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=238808 CPUtime=1241.76 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 82657 0 0 0 124098 78 0 0 25 0 1 0 271620935 244539392 57106 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 59702 57106 310 324 0 58772 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 238808 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1572304/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=240532 CPUtime=1301.75 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 83089 0 0 0 130096 79 0 0 25 0 1 0 271620935 246304768 57538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 60133 57538 310 324 0 59203 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 240532 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1569936/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=242912 CPUtime=1361.73 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 83679 0 0 0 136093 80 0 0 25 0 1 0 271620935 248741888 58128 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 60728 58128 310 324 0 59798 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 242912 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1567632/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=245156 CPUtime=1421.7 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 84237 0 0 0 142090 80 0 0 25 0 1 0 271620935 251039744 58686 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 61289 58686 310 324 0 60359 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 245156 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1562960/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=249776 CPUtime=1481.68 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 85399 0 0 0 148087 81 0 0 25 0 1 0 271620935 255770624 59848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 62444 59848 310 324 0 61514 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 249776 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1558864/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=253868 CPUtime=1541.66 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 86443 0 0 0 154084 82 0 0 25 0 1 0 271620935 259960832 60892 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 63467 60892 310 324 0 62537 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 253868 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1558544/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=254264 CPUtime=1601.64 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 86525 0 0 0 160081 83 0 0 25 0 1 0 271620935 260366336 60974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 63566 60974 310 324 0 62636 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 254264 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1465552/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=349292 CPUtime=1661.62 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 110304 0 0 0 166069 93 0 0 25 0 1 0 271620935 357675008 84753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11358307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 87323 84753 310 324 0 86393 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 349292 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1161040/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=654324 CPUtime=1721.6 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 186562 0 0 0 172035 125 0 0 25 0 1 0 271620935 670027776 161011 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 163581 161011 310 324 0 162651 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 654324 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1096464/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=715284 CPUtime=1781.58 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 201802 0 0 0 178027 131 0 0 25 0 1 0 271620935 732450816 176251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 178821 176251 310 324 0 177891 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 715284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1096464/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=715284 CPUtime=1800.08 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194304 201802 0 0 0 179876 132 0 0 25 0 1 0 271620935 732450816 176251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 178821 176251 310 324 0 177891 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 715284 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: 1.00 1.00 1.00 2/78 24791 /proc/meminfo: memFree=1096464/2055920 swapFree=4139036/4192956 [pid=24592] ppid=24590 vsize=0 CPUtime=1800.18 /proc/24592/stat : 24592 (bsolo3.0.17) R 24590 24592 24529 0 -1 4194308 201806 0 0 0 179877 141 0 0 25 0 1 0 271620935 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/24592/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.93 CPU time (s): 1800.21 CPU user time (s): 1798.77 CPU system time (s): 1.43878 CPU usage (%): 99.9601 Max. virtual memory (cumulated for all children) (KiB): 715284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.43878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 201806 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= 2590 runsolver used 1.3148 second user time and 3.90041 second system time The end
Begin job on node3 on Mon Apr 30 17:57:12 UTC 2007 IDJOB= 433162 IDBENCH= 2314 IDSOLVER= 199 FILE ID= node3/433162-1177955830 PBS_JOBID= 4727725 Free space on /tmp= 66527 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-dano3_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433162-1177955830/instance-433162-1177955830.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-433162-1177955830 -o ROOT/results/node3/solver-433162-1177955830 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433162-1177955830/instance-433162-1177955830.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 143c67a6efdf0b74421c6a96157a0df7 RANDOM SEED= 998608034 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1801584 kB Buffers: 33548 kB Cached: 134600 kB SwapCached: 16744 kB Active: 74980 kB Inactive: 115748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1801584 kB SwapTotal: 4192956 kB SwapFree: 4139036 kB Dirty: 39012 kB Writeback: 0 kB Mapped: 29596 kB Slab: 49176 kB Committed_AS: 6279984 kB PageTables: 1780 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= 66527 MiB End job on node3 on Mon Apr 30 18:27:15 UTC 2007