Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.15 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb |
MD5SUM | a7e24e57a312eb47e85004eff6279cc1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 78.792 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4524 |
Total number of constraints | 257 |
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 | 257 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1080 |
Number of terms in the objective function | 181 |
Biggest coefficient in the objective function | 74899 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524431 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525060 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432679-1177947565/instance-432679-1177947565.opb 0.00/0.00 c File size is 188698 bytes. 0.00/0.04 c Highest Coefficient sum: 525060 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.037 s 0.00/0.04 c Var: 4524 Constr: 312 11/0/301 Lit: 30366 Watch. Lit: 11839 0.00/0.04 c Obj. Vars: 181 (4.00088 % of total variables) 3.69/3.71 c Pre-processing Time: 3.712 s 3.69/3.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.71 c 0 2805 159 21107 132 14332 42214 0 0 3.71 3.69/3.71 c Switching off LPR mode. 1800.09/1800.70 c 100 2805 259 22186 85 14569 46436 100 26 3.71 1800.09/1800.70 c 251 2805 410 29911 72 17311 51080 251 66 3.76 1800.09/1800.70 c 487 2805 646 39070 60 17660 56189 487 121 4.00 1800.09/1800.70 c 826 2805 985 50550 51 18233 61808 826 200 4.12 1800.09/1800.70 c 1335 2805 1494 71110 47 19215 67989 1335 294 4.53 1800.09/1800.70 c 2098 2805 2257 95077 42 20739 74788 2098 414 5.07 1800.09/1800.70 c 3245 2805 3404 138175 40 23109 82267 3245 576 5.63 1800.09/1800.70 c 4970 2805 5129 194017 37 26558 90494 4970 749 6.63 1800.09/1800.70 c 7555 2805 7714 284428 36 31712 99544 7555 996 7.58 1800.09/1800.70 c 11435 2805 11594 398340 34 39449 109499 11435 1214 9.41 1800.09/1800.70 c 17258 2805 17417 497439 28 51046 120449 17258 1488 11.59 1800.09/1800.70 c 25997 2805 26156 756551 28 68529 132494 25997 1367 19.01 1800.09/1800.70 c 39109 2804 39268 1155402 29 95071 145744 39109 1433 27.27 1800.09/1800.70 c 58780 2804 58939 1566251 26 134287 160319 58780 1477 39.77 1800.09/1800.71 c 88292 2804 88451 11859760 134 193665 176351 88292 630 140.05 1800.09/1800.71 c 132562 2804 132721 15932979 120 282135 193987 132562 629 210.42 1800.09/1800.71 c 198973 2804 16475 405503 24 49776 213386 16316 386 515.06 1800.09/1800.71 c 298595 2804 116097 3528207 30 249046 234725 115938 436 683.86 1800.09/1800.71 c 448032 2804 42552 2102849 49 101474 258198 42393 340 1316.87 1800.09/1800.71 c Caught signal: 15 1800.09/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.71 c 19 596706 120884 1282203 191226 19020968 191067 331 1800.11 1800.09/1800.71 s UNKNOWN 1800.09/1800.71 c Total time: 1800.11 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-432679-1177947565 -o ROOT/results/node44/solver-432679-1177947565 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432679-1177947565/instance-432679-1177947565.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.84 0.94 0.90 3/77 8949 /proc/meminfo: memFree=1780688/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=11924 CPUtime=0 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 242668185 12210176 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 2981 335 280 324 0 2004 0 [startup+0.103201 s] /proc/loadavg: 0.84 0.94 0.90 3/77 8949 /proc/meminfo: memFree=1780688/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=5640 CPUtime=0.09 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 839 0 0 0 9 0 0 0 18 0 1 0 242668185 5775360 762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 1410 762 303 324 0 480 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5640 [startup+0.201212 s] /proc/loadavg: 0.84 0.94 0.90 3/77 8949 /proc/meminfo: memFree=1780688/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=5684 CPUtime=0.19 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 876 0 0 0 19 0 0 0 18 0 1 0 242668185 5820416 796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 1421 796 305 324 0 491 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5684 [startup+0.301221 s] /proc/loadavg: 0.84 0.94 0.90 3/77 8949 /proc/meminfo: memFree=1780688/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=5684 CPUtime=0.29 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 876 0 0 0 29 0 0 0 19 0 1 0 242668185 5820416 796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 1421 796 305 324 0 491 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5684 [startup+0.701262 s] /proc/loadavg: 0.84 0.94 0.90 3/77 8949 /proc/meminfo: memFree=1780688/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=5684 CPUtime=0.69 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 876 0 0 0 69 0 0 0 22 0 1 0 242668185 5820416 796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 1421 796 305 324 0 491 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5684 [startup+1.50134 s] /proc/loadavg: 0.84 0.94 0.90 2/78 8950 /proc/meminfo: memFree=1778440/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=5684 CPUtime=1.49 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 876 0 0 0 149 0 0 0 25 0 1 0 242668185 5820416 796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 1421 796 305 324 0 491 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5684 [startup+3.10151 s] /proc/loadavg: 0.84 0.94 0.90 2/78 8950 /proc/meminfo: memFree=1778440/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=5684 CPUtime=3.09 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 876 0 0 0 309 0 0 0 25 0 1 0 242668185 5820416 796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 1421 796 305 324 0 491 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5684 [startup+6.30184 s] /proc/loadavg: 0.85 0.94 0.90 2/78 8950 /proc/meminfo: memFree=1777096/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=7796 CPUtime=6.29 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 1408 0 0 0 629 0 0 0 25 0 1 0 242668185 7983104 1328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 1949 1328 310 324 0 1019 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7796 [startup+12.7015 s] /proc/loadavg: 0.87 0.94 0.90 2/78 8950 /proc/meminfo: memFree=1770568/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=14108 CPUtime=12.69 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 2967 0 0 0 1267 2 0 0 25 0 1 0 242668185 14446592 2887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 3527 2887 310 324 0 2597 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14108 [startup+25.5018 s] /proc/loadavg: 0.89 0.94 0.90 2/78 8950 /proc/meminfo: memFree=1761160/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=23268 CPUtime=25.48 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 5250 0 0 0 2545 3 0 0 25 0 1 0 242668185 23826432 5170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 5817 5170 310 324 0 4887 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23268 [startup+51.1014 s] /proc/loadavg: 0.93 0.94 0.90 2/78 8950 /proc/meminfo: memFree=1734856/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=51620 CPUtime=51.07 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 12349 0 0 0 5100 7 0 0 25 0 1 0 242668185 52858880 12269 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11712350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 12905 12269 310 324 0 11975 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 51620 [startup+102.302 s] /proc/loadavg: 0.97 0.95 0.91 2/78 8950 /proc/meminfo: memFree=1652616/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=131344 CPUtime=102.26 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 32292 0 0 0 10207 19 0 0 25 0 1 0 242668185 134496256 32212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 32836 32212 310 324 0 31906 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 131344 [startup+162.302 s] /proc/loadavg: 0.99 0.96 0.91 2/78 8952 /proc/meminfo: memFree=1595336/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=188896 CPUtime=162.24 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 46661 0 0 0 16195 29 0 0 25 0 1 0 242668185 193429504 46581 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 47224 46581 310 324 0 46294 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 188896 [startup+222.306 s] /proc/loadavg: 0.99 0.96 0.91 2/78 8952 /proc/meminfo: memFree=1556680/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=227108 CPUtime=222.23 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 56231 0 0 0 22184 39 0 0 25 0 1 0 242668185 232558592 56151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 56777 56151 310 324 0 55847 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 227108 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1546184/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=237792 CPUtime=282.21 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 58901 0 0 0 28179 42 0 0 25 0 1 0 242668185 243499008 58821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 59448 58821 310 324 0 58518 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 237792 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1540488/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=243524 CPUtime=342.19 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 60322 0 0 0 34175 44 0 0 25 0 1 0 242668185 249368576 60242 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 60881 60242 310 324 0 59951 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 243524 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1535432/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=248500 CPUtime=402.18 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 61587 0 0 0 40171 47 0 0 25 0 1 0 242668185 254464000 61507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62125 61507 310 324 0 61195 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 248500 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532744/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=250980 CPUtime=462.15 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62376 0 0 0 46167 48 0 0 25 0 1 0 242668185 257003520 62104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62745 62104 310 324 0 61815 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 250980 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532744/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=250980 CPUtime=522.14 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62376 0 0 0 52165 49 0 0 25 0 1 0 242668185 257003520 62104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62745 62104 310 324 0 61815 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 250980 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532808/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=250980 CPUtime=582.12 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62376 0 0 0 58163 49 0 0 25 0 1 0 242668185 257003520 62104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62745 62104 310 324 0 61815 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 250980 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532936/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=250980 CPUtime=642.11 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62376 0 0 0 64161 50 0 0 25 0 1 0 242668185 257003520 62104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62745 62104 310 324 0 61815 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 250980 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532872/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=250980 CPUtime=822.05 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62376 0 0 0 82154 51 0 0 25 0 1 0 242668185 257003520 62104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62745 62104 310 324 0 61815 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 250980 [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532872/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=250980 CPUtime=882.04 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62376 0 0 0 88153 51 0 0 25 0 1 0 242668185 257003520 62104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62745 62104 310 324 0 61815 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 250980 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532872/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=250988 CPUtime=942.02 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62378 0 0 0 94150 52 0 0 25 0 1 0 242668185 257011712 62106 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62747 62106 310 324 0 61817 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 250988 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532936/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251040 CPUtime=1002 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62391 0 0 0 100148 52 0 0 25 0 1 0 242668185 257064960 62119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62760 62119 310 324 0 61830 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 251040 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532872/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251124 CPUtime=1061.99 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62411 0 0 0 106146 53 0 0 25 0 1 0 242668185 257150976 62139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62781 62139 310 324 0 61851 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 251124 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532808/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251140 CPUtime=1121.97 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 112144 53 0 0 25 0 1 0 242668185 257167360 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62785 62144 310 324 0 61855 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 251140 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532808/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251140 CPUtime=1181.96 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 118142 54 0 0 25 0 1 0 242668185 257167360 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62785 62144 310 324 0 61855 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 251140 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 8952 /proc/meminfo: memFree=1532680/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251140 CPUtime=1241.94 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 124140 54 0 0 25 0 1 0 242668185 257167360 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62785 62144 310 324 0 61855 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 251140 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/84 9018 /proc/meminfo: memFree=1531352/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251140 CPUtime=1301.91 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 130134 57 0 0 25 0 1 0 242668185 257167360 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62785 62144 310 324 0 61855 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 251140 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9150 /proc/meminfo: memFree=1532296/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251112 CPUtime=1361.81 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 136124 57 0 0 25 0 1 0 242668185 257138688 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62778 62144 310 324 0 61848 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 251112 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9150 /proc/meminfo: memFree=1532296/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251112 CPUtime=1421.79 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 142122 57 0 0 25 0 1 0 242668185 257138688 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62778 62144 310 324 0 61848 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 251112 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9150 /proc/meminfo: memFree=1532552/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251112 CPUtime=1481.78 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 148120 58 0 0 25 0 1 0 242668185 257138688 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62778 62144 310 324 0 61848 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 251112 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9150 /proc/meminfo: memFree=1532616/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251112 CPUtime=1541.76 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 154118 58 0 0 25 0 1 0 242668185 257138688 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62778 62144 310 324 0 61848 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 251112 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 9150 /proc/meminfo: memFree=1532616/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251112 CPUtime=1601.75 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 160116 59 0 0 25 0 1 0 242668185 257138688 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62778 62144 310 324 0 61848 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 251112 [startup+1662.3 s] /proc/loadavg: 1.06 0.99 0.91 2/78 9150 /proc/meminfo: memFree=1532680/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251112 CPUtime=1661.72 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 166113 59 0 0 25 0 1 0 242668185 257138688 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62778 62144 310 324 0 61848 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 251112 [startup+1722.3 s] /proc/loadavg: 1.02 0.99 0.91 2/78 9150 /proc/meminfo: memFree=1532680/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=251112 CPUtime=1721.71 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 62416 0 0 0 172111 60 0 0 25 0 1 0 242668185 257138688 62144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 62778 62144 310 324 0 61848 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 251112 [startup+1782.3 s] /proc/loadavg: 1.01 0.99 0.91 2/78 9150 /proc/meminfo: memFree=1519304/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=264564 CPUtime=1781.7 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 65776 0 0 0 178106 64 0 0 25 0 1 0 242668185 270913536 65504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 66141 65504 310 324 0 65211 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 264564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 0.99 0.91 2/78 9150 /proc/meminfo: memFree=1514632/2055920 swapFree=4156240/4192956 [pid=8949] ppid=8947 vsize=269204 CPUtime=1800.09 /proc/8949/stat : 8949 (bsolo3.0.17) R 8947 8949 7909 0 -1 4194304 66928 0 0 0 179944 65 0 0 25 0 1 0 242668185 275664896 66656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8949/statm: 67301 66656 310 324 0 66371 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 269204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.76 CPU time (s): 1800.15 CPU user time (s): 1799.45 CPU system time (s): 0.702893 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 269204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.45 system time used= 0.702893 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66932 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= 14662 runsolver used 1.42478 second user time and 3.9574 second system time The end
Begin job on node44 on Mon Apr 30 15:39:25 UTC 2007 IDJOB= 432679 IDBENCH= 1678 IDSOLVER= 199 FILE ID= node44/432679-1177947565 PBS_JOBID= 4727603 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432679-1177947565/instance-432679-1177947565.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-432679-1177947565 -o ROOT/results/node44/solver-432679-1177947565 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432679-1177947565/instance-432679-1177947565.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a7e24e57a312eb47e85004eff6279cc1 RANDOM SEED= 376147103 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1781096 kB Buffers: 37812 kB Cached: 140416 kB SwapCached: 13940 kB Active: 92112 kB Inactive: 113124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1781096 kB SwapTotal: 4192956 kB SwapFree: 4156240 kB Dirty: 6764 kB Writeback: 0 kB Mapped: 35064 kB Slab: 55072 kB Committed_AS: 1551080 kB PageTables: 1740 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= 66558 MiB End job on node44 on Mon Apr 30 16:09:28 UTC 2007