Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.24 | 1800.68 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-modszk1.opb |
MD5SUM | 73a69ec0478725312d0c26d36222113a |
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 | 48602 |
Total number of constraints | 686 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 686 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 29700 |
Biggest coefficient in the objective function | 197378980184064000 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | 14554406665136992500 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 197378980184064000 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 14554406665136992500 |
Number of bits of the biggest sum of numbers | 64 |
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/433262-1177957187/instance-433262-1177957187.opb 0.00/0.00 c File size is 2094538 bytes. 0.01/0.07 c Coefficients are big enough for not using lower bounding. 0.30/0.31 c Highest Coefficient sum: 1.45544e+19 0.30/0.31 c Parsing was ok!! 0.30/0.31 c Total parsing time: 0.309 s 0.30/0.32 c Var: 48602 Constr: 1372 5/0/1367 Lit: 178324 Watch. Lit: 14195 0.30/0.32 c Obj. Vars: 29700 (61.1086 % of total variables) 1.29/1.31 c Pre-processing Time: 1.313 s 1800.06/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.50 c 0 47358 1362 175616 128 69602 351232 0 0 1.31 1800.06/1800.50 c 101 47358 1463 228267 156 78192 386356 101 69 1.45 1800.06/1800.50 c 251 47358 1613 240777 149 92054 424992 251 158 1.58 1800.06/1800.50 c 477 47358 1839 253079 137 92967 467492 477 297 1.61 1800.06/1800.50 c 815 47358 2177 414236 190 100002 514242 815 448 1.82 1800.06/1800.50 c 1323 47358 2685 447489 166 96798 565667 1323 676 1.96 1800.06/1800.50 c 2088 47358 3450 577022 167 102447 622234 2088 946 2.21 1800.06/1800.50 c 3234 47358 4596 647274 140 104164 684458 3234 1317 2.46 1800.06/1800.50 c 4959 47358 6321 1441629 228 104570 752904 4959 988 5.02 1800.06/1800.50 c 7544 47358 8906 1639337 184 145906 828195 7544 1349 5.59 1800.06/1800.50 c 11423 47358 12785 1961855 153 152344 911015 11423 1590 7.18 1800.06/1800.50 c 17245 47358 18607 2450348 131 164101 500000 17245 1688 10.21 1800.06/1800.50 c 25982 47358 27344 3182214 116 182196 550001 25982 1023 25.38 1800.06/1800.50 c 39094 47358 40456 4290429 106 208490 605002 39094 844 46.31 1800.06/1800.50 c 58766 47358 60128 5099452 84 248075 665503 58766 1056 55.65 1800.06/1800.50 c 88277 47358 89639 8353036 93 304548 732054 88277 716 123.14 1800.06/1800.50 c 132548 47358 133910 14005320 104 393712 805260 132548 688 192.54 1800.06/1800.50 c 198958 47358 200320 51260925 255 525793 885787 198958 442 449.41 1800.06/1800.50 c Caught signal: 15 1800.06/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.50 c 17 288321 587 398940 289683 81991654 288321 160 1800.07 1800.06/1800.50 s UNKNOWN 1800.06/1800.50 c Total time: 1800.07 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-433262-1177957187 -o ROOT/results/node41/solver-433262-1177957187 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433262-1177957187/instance-433262-1177957187.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.93 0.97 0.91 3/77 23387 /proc/meminfo: memFree=1852096/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=13784 CPUtime=0 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 243630579 14114816 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 3446 332 279 324 0 2004 0 [startup+0.0183521 s] /proc/loadavg: 0.93 0.97 0.91 3/77 23387 /proc/meminfo: memFree=1852096/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=14212 CPUtime=0.01 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 491 0 0 0 1 0 0 0 18 0 1 0 243630579 14553088 461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 3553 461 308 324 0 2111 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 14212 [startup+0.101377 s] /proc/loadavg: 0.93 0.97 0.91 3/77 23387 /proc/meminfo: memFree=1852096/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=9188 CPUtime=0.09 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 1380 0 0 0 9 0 0 0 18 0 1 0 243630579 9408512 1310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 2297 1310 469 324 0 855 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9188 [startup+0.301376 s] /proc/loadavg: 0.93 0.97 0.91 3/77 23387 /proc/meminfo: memFree=1852096/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=12024 CPUtime=0.3 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 2420 0 0 0 29 1 0 0 19 0 1 0 243630579 12312576 2271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 3006 2271 774 324 0 1564 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12024 [startup+0.70141 s] /proc/loadavg: 0.93 0.97 0.91 3/77 23387 /proc/meminfo: memFree=1852096/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=18312 CPUtime=0.69 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 4951 0 0 0 62 7 0 0 23 0 1 0 243630579 18751488 3756 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 4578 3756 306 324 0 3648 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18312 [startup+1.50148 s] /proc/loadavg: 0.93 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1838200/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=18312 CPUtime=1.49 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 4960 0 0 0 141 8 0 0 25 0 1 0 243630579 18751488 3765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 4578 3765 310 324 0 3648 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18312 [startup+3.10162 s] /proc/loadavg: 0.93 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1835960/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=25748 CPUtime=3.09 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 6834 0 0 0 300 9 0 0 25 0 1 0 243630579 26365952 5639 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 6437 5639 310 324 0 5507 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25748 [startup+6.3019 s] /proc/loadavg: 0.93 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1820280/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=39104 CPUtime=6.29 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 10168 0 0 0 618 11 0 0 25 0 1 0 243630579 40042496 8973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2079860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 9776 8973 310 324 0 8846 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39104 [startup+12.7015 s] /proc/loadavg: 0.94 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1807032/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=49700 CPUtime=12.69 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 12819 0 0 0 1256 13 0 0 25 0 1 0 243630579 50892800 11624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 12425 11624 310 324 0 11495 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49700 [startup+25.5016 s] /proc/loadavg: 0.95 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1798200/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=58336 CPUtime=25.49 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 14979 0 0 0 2534 15 0 0 25 0 1 0 243630579 59736064 13784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 14584 13784 310 324 0 13654 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58336 [startup+51.1018 s] /proc/loadavg: 0.97 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1774648/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=82396 CPUtime=51.07 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 21011 0 0 0 5086 21 0 0 25 0 1 0 243630579 84373504 19816 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 20599 19816 310 324 0 19669 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 82396 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1732024/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=124324 CPUtime=102.26 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 31479 0 0 0 10194 32 0 0 25 0 1 0 243630579 127307776 30284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 31081 30284 310 324 0 30151 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 124324 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1662968/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=194096 CPUtime=162.25 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 48929 0 0 0 16182 43 0 0 25 0 1 0 243630579 198754304 47734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 48524 47734 310 324 0 47594 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 194096 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1471160/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=385088 CPUtime=222.23 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 96667 0 0 0 22155 68 0 0 25 0 1 0 243630579 394330112 95472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 96272 95472 310 324 0 95342 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 385088 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1342392/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=514028 CPUtime=282.22 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 128900 0 0 0 28137 85 0 0 25 0 1 0 243630579 526364672 127705 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 128507 127705 310 324 0 127577 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 514028 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 23388 /proc/meminfo: memFree=1264888/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=590512 CPUtime=342.21 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 148026 0 0 0 34126 95 0 0 25 0 1 0 243630579 604684288 146831 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 147628 146831 310 324 0 146698 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 590512 [startup+402.301 s] /proc/loadavg: 1.06 0.99 0.91 2/78 23388 /proc/meminfo: memFree=1204792/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=650888 CPUtime=402.18 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 163131 0 0 0 40116 102 0 0 25 0 1 0 243630579 666509312 161936 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 162722 161936 310 324 0 161792 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 650888 [startup+462.302 s] /proc/loadavg: 1.08 1.00 0.92 2/78 23388 /proc/meminfo: memFree=1140024/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=715244 CPUtime=462.18 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 179207 0 0 0 46105 113 0 0 25 0 1 0 243630579 732409856 178012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 178811 178012 310 324 0 177881 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 715244 [startup+522.302 s] /proc/loadavg: 1.03 1.00 0.92 2/78 23388 /proc/meminfo: memFree=1092344/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=762612 CPUtime=522.16 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 191044 0 0 0 52094 122 0 0 25 0 1 0 243630579 780914688 189849 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 190653 189849 310 324 0 189723 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 762612 [startup+582.302 s] /proc/loadavg: 1.01 1.00 0.92 2/78 23388 /proc/meminfo: memFree=1056888/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=797684 CPUtime=582.15 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 199823 0 0 0 58086 129 0 0 25 0 1 0 243630579 816828416 198628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 199421 198628 310 324 0 198491 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 797684 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23388 /proc/meminfo: memFree=1038840/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=815432 CPUtime=642.14 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 204259 0 0 0 64080 134 0 0 25 0 1 0 243630579 835002368 203064 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 203858 203064 310 324 0 202928 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 815432 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23388 /proc/meminfo: memFree=959864/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=894056 CPUtime=882.08 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 223915 0 0 0 88058 150 0 0 25 0 1 0 243630579 915513344 222720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 223514 222720 310 324 0 222584 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 894056 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23388 /proc/meminfo: memFree=944952/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=908964 CPUtime=942.06 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 227656 0 0 0 94053 153 0 0 25 0 1 0 243630579 930779136 226461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 227241 226461 310 324 0 226311 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 908964 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23388 /proc/meminfo: memFree=931000/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=922592 CPUtime=1002.05 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 231068 0 0 0 100048 157 0 0 25 0 1 0 243630579 944734208 229873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 230648 229873 310 324 0 229718 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 922592 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23388 /proc/meminfo: memFree=918456/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=935304 CPUtime=1062.03 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 234231 0 0 0 106044 159 0 0 25 0 1 0 243630579 957751296 233036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 233826 233036 310 324 0 232896 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 935304 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23388 /proc/meminfo: memFree=905400/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=948136 CPUtime=1122.01 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 237443 0 0 0 112038 163 0 0 25 0 1 0 243630579 970891264 236248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 237034 236248 310 324 0 236104 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 948136 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23388 /proc/meminfo: memFree=894392/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=959184 CPUtime=1182 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 240193 0 0 0 118034 166 0 0 25 0 1 0 243630579 982204416 238998 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 239796 238998 310 324 0 238866 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 959184 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23388 /proc/meminfo: memFree=883512/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=969728 CPUtime=1241.98 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 242836 0 0 0 124030 168 0 0 25 0 1 0 243630579 993001472 241641 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 242432 241641 310 324 0 241502 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 969728 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 3/78 23390 /proc/meminfo: memFree=871800/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=981292 CPUtime=1301.98 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 245731 0 0 0 130027 171 0 0 25 0 1 0 243630579 1004843008 244536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 245323 244536 310 324 0 244393 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 981292 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23390 /proc/meminfo: memFree=861048/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=992056 CPUtime=1361.96 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 248421 0 0 0 136023 173 0 0 25 0 1 0 243630579 1015865344 247226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 248014 247226 310 324 0 247084 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 992056 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23390 /proc/meminfo: memFree=851512/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=1001440 CPUtime=1421.95 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 250762 0 0 0 142019 176 0 0 25 0 1 0 243630579 1025474560 249567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 250360 249567 310 324 0 249430 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1001440 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23390 /proc/meminfo: memFree=842488/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=1010448 CPUtime=1481.93 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 253028 0 0 0 148016 177 0 0 25 0 1 0 243630579 1034698752 251833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 252612 251833 310 324 0 251682 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1010448 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23390 /proc/meminfo: memFree=829496/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=1023292 CPUtime=1541.91 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 256229 0 0 0 154011 180 0 0 25 0 1 0 243630579 1047851008 255034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 255823 255034 310 324 0 254893 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1023292 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23390 /proc/meminfo: memFree=817976/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=1034864 CPUtime=1601.9 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 259121 0 0 0 160007 183 0 0 25 0 1 0 243630579 1059700736 257926 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 258716 257926 310 324 0 257786 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1034864 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23390 /proc/meminfo: memFree=804600/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=1048092 CPUtime=1661.89 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 262426 0 0 0 166002 187 0 0 25 0 1 0 243630579 1073246208 261231 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 262023 261231 310 324 0 261093 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1048092 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23390 /proc/meminfo: memFree=786552/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=1066072 CPUtime=1721.88 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 266934 0 0 0 171997 191 0 0 25 0 1 0 243630579 1091657728 265739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 266518 265739 310 324 0 265588 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1066072 [startup+1782.3 s] /proc/loadavg: 1.04 1.01 0.93 2/78 23390 /proc/meminfo: memFree=768888/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=1083424 CPUtime=1781.86 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 271273 0 0 0 177991 195 0 0 25 0 1 0 243630579 1109426176 270078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 270856 270078 310 324 0 269926 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1083424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.03 1.01 0.93 2/78 23390 /proc/meminfo: memFree=763320/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=1088956 CPUtime=1800.06 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194304 272637 0 0 0 179810 196 0 0 25 0 1 0 243630579 1115090944 271442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 272239 271442 310 324 0 271309 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1088956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.03 1.01 0.93 2/79 23391 /proc/meminfo: memFree=1410224/2055920 swapFree=4169244/4192956 [pid=23387] ppid=23385 vsize=0 CPUtime=1800.17 /proc/23387/stat : 23387 (bsolo3.0.17) R 23385 23387 22884 0 -1 4194308 272641 0 0 0 179810 207 0 0 25 0 1 0 243630579 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/23387/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.68 CPU time (s): 1800.24 CPU user time (s): 1798.1 CPU system time (s): 2.13268 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 1088956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.1 system time used= 2.13267 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272641 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= 37241 runsolver used 1.38879 second user time and 3.9284 second system time The end
Begin job on node41 on Mon Apr 30 18:19:47 UTC 2007 IDJOB= 433262 IDBENCH= 2416 IDSOLVER= 199 FILE ID= node41/433262-1177957187 PBS_JOBID= 4727718 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433262-1177957187/instance-433262-1177957187.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-433262-1177957187 -o ROOT/results/node41/solver-433262-1177957187 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433262-1177957187/instance-433262-1177957187.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 73a69ec0478725312d0c26d36222113a RANDOM SEED= 379302887 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1852568 kB Buffers: 8768 kB Cached: 104876 kB SwapCached: 2568 kB Active: 39404 kB Inactive: 98688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852568 kB SwapTotal: 4192956 kB SwapFree: 4169244 kB Dirty: 8836 kB Writeback: 0 kB Mapped: 31920 kB Slab: 50552 kB Committed_AS: 3619916 kB PageTables: 2012 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= 66556 MiB End job on node41 on Mon Apr 30 18:49:50 UTC 2007