Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.19 | 1800.91 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb |
MD5SUM | 6d89097601cc17df3da06374ded173c4 |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 77678 |
Total number of constraints | 1016 |
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 | 1016 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 2430 |
Number of terms in the objective function | 2760 |
Biggest coefficient in the objective function | 9798 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 526457 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262399 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526457 |
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/432699-1177947982/instance-432699-1177947982.opb 0.00/0.00 c File size is 2592183 bytes. 0.49/0.56 c Highest Coefficient sum: 526457 0.49/0.56 c Parsing was ok!! 0.49/0.56 c Total parsing time: 0.565 s 0.59/0.61 c Var: 77678 Constr: 1599 11/0/1588 Lit: 444262 Watch. Lit: 111795 0.59/0.61 c Obj. Vars: 2760 (3.55313 % of total variables) 81.37/81.41 c Pre-processing Time: 81.389 s 81.37/81.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 81.37/81.42 c 0 65224 1516 420475 277 290879 840631 0 0 81.39 81.37/81.42 c Switching off LPR mode. 1800.08/1800.80 c 103 65223 1619 428364 264 323104 924695 103 1 82.89 1800.08/1800.80 c 253 65223 1769 437668 247 342474 500000 253 3 83.21 1800.08/1800.80 c 479 65223 1995 484162 242 345177 550001 479 5 85.33 1800.08/1800.80 c 818 65223 2334 502776 215 345603 605002 818 9 86.83 1800.08/1800.80 c 1326 65223 2842 542104 190 347204 665503 1326 14 92.05 1800.08/1800.80 c 2090 65223 3606 603661 167 349325 732054 2090 22 92.46 1800.08/1800.80 c 3236 65222 4752 661581 139 351248 805260 3236 34 93.23 1800.08/1800.80 c 4957 65222 6473 748970 115 355399 885787 4957 52 93.93 1800.08/1800.80 c 7541 65222 9057 996095 109 360735 974366 7541 79 95.26 1800.08/1800.80 c 11421 65222 12937 1293410 99 368582 500000 11421 116 97.62 1800.08/1800.80 c 17243 65222 18759 1908368 101 380553 550001 17243 168 102.33 1800.08/1800.80 c 25980 65222 27496 2655834 96 399065 605002 25980 242 107.17 1800.08/1800.80 c 39090 65222 40606 4174619 102 426717 665503 39090 301 129.60 1800.08/1800.80 c 58760 65222 60276 10348817 171 464420 732054 58760 280 209.56 1800.08/1800.80 c 88270 65211 89786 12900799 143 523520 805260 88270 233 378.29 1800.08/1800.80 c 132540 65211 134056 19842015 148 624820 885787 132540 287 460.53 1800.08/1800.80 c 198952 65199 200468 27390556 136 751883 974366 198952 319 621.89 1800.08/1800.80 c 298572 65198 300088 35934648 119 950106 500000 298572 230 1294.91 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 18 432582 61051 1344859 434098 45735516 432582 240 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/node59/watcher-432699-1177947982 -o ROOT/results/node59/solver-432699-1177947982 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432699-1177947982/instance-432699-1177947982.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.99 0.97 0.91 3/64 30162 /proc/meminfo: memFree=1724800/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=14268 CPUtime=0 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242707843 14610432 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 3567 333 279 324 0 2004 0 [startup+0.074839 s] /proc/loadavg: 0.99 0.97 0.91 3/64 30162 /proc/meminfo: memFree=1724800/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=8620 CPUtime=0.06 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 1018 0 0 0 6 0 0 0 18 0 1 0 242707843 8826880 948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 2155 948 369 324 0 592 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8620 [startup+0.101844 s] /proc/loadavg: 0.99 0.97 0.91 3/64 30162 /proc/meminfo: memFree=1724800/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=9208 CPUtime=0.09 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 1184 0 0 0 9 0 0 0 18 0 1 0 242707843 9428992 1114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 2302 1114 402 324 0 739 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9208 [startup+0.301882 s] /proc/loadavg: 0.99 0.97 0.91 3/64 30162 /proc/meminfo: memFree=1724800/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=13332 CPUtime=0.29 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 2551 0 0 0 28 1 0 0 19 0 1 0 242707843 13651968 2353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 3333 2353 627 324 0 1770 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13332 [startup+0.701958 s] /proc/loadavg: 0.99 0.97 0.91 3/64 30162 /proc/meminfo: memFree=1724800/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=26960 CPUtime=0.69 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 6638 0 0 0 67 2 0 0 22 0 1 0 242707843 27607040 5807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 6740 5807 304 324 0 5810 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26960 [startup+1.50111 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1702520/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=27092 CPUtime=1.49 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 6686 0 0 0 147 2 0 0 25 0 1 0 242707843 27742208 5855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 6773 5855 304 324 0 5843 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27092 [startup+3.10141 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1702392/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=27092 CPUtime=3.09 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 6686 0 0 0 307 2 0 0 25 0 1 0 242707843 27742208 5855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 6773 5855 304 324 0 5843 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27092 [startup+6.30202 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1702208/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=27092 CPUtime=6.28 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 6686 0 0 0 626 2 0 0 25 0 1 0 242707843 27742208 5855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 6773 5855 304 324 0 5843 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27092 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1702208/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=27224 CPUtime=12.68 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 6713 0 0 0 1266 2 0 0 25 0 1 0 242707843 27877376 5882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 6806 5882 304 324 0 5876 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27224 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1699520/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=29996 CPUtime=25.49 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 7401 0 0 0 2541 8 0 0 25 0 1 0 242707843 30715904 6570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 7499 6570 304 324 0 6569 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29996 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1694976/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=34408 CPUtime=51.07 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 10505 0 0 0 5095 12 0 0 25 0 1 0 242707843 35233792 7694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 8602 7694 306 324 0 7672 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34408 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1678784/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=50736 CPUtime=102.26 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 14598 0 0 0 10210 16 0 0 25 0 1 0 242707843 51953664 11787 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9718160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 12684 11787 310 324 0 11754 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 50736 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1600768/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=129016 CPUtime=162.23 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 34174 0 0 0 16194 29 0 0 25 0 1 0 242707843 132112384 31363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 32254 31363 310 324 0 31324 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 129016 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1565312/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=163820 CPUtime=222.22 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 42893 0 0 0 22185 37 0 0 25 0 1 0 242707843 167751680 40082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 40955 40082 310 324 0 40025 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 163820 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1561216/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=167924 CPUtime=282.19 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 43916 0 0 0 28181 38 0 0 25 0 1 0 242707843 171954176 41105 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 41981 41105 310 324 0 41051 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 167924 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1552000/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=177176 CPUtime=342.17 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 46227 0 0 0 34176 41 0 0 25 0 1 0 242707843 181428224 43416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 44294 43416 310 324 0 43364 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 177176 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1481344/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=248980 CPUtime=402.15 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 64190 0 0 0 40161 54 0 0 25 0 1 0 242707843 254955520 61379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 62245 61379 310 324 0 61315 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 248980 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1435200/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=295644 CPUtime=462.14 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 75842 0 0 0 46149 65 0 0 25 0 1 0 242707843 302739456 73032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 73911 73032 310 324 0 72981 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 295644 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1395136/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=334900 CPUtime=522.12 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 85673 0 0 0 52139 73 0 0 25 0 1 0 242707843 342937600 82862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 83725 82862 310 324 0 82795 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 334900 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1347328/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=381492 CPUtime=582.09 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 97316 0 0 0 58127 82 0 0 25 0 1 0 242707843 390647808 94505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 95373 94505 310 324 0 94443 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 381492 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30163 /proc/meminfo: memFree=1322752/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=405784 CPUtime=642.08 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 103395 0 0 0 64119 89 0 0 25 0 1 0 242707843 415522816 100584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 101446 100584 310 324 0 100516 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 405784 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 4/70 30210 /proc/meminfo: memFree=1269072/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=458108 CPUtime=881.97 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 116477 0 0 0 88097 100 0 0 25 0 1 0 242707843 469102592 113666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30162/statm: 114527 113666 310 324 0 113597 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 458108 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1260600/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=467720 CPUtime=941.87 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 118876 0 0 0 94084 103 0 0 25 0 1 0 242707843 478945280 116065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 116930 116065 310 324 0 116000 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 467720 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1251584/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=476564 CPUtime=1001.85 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 121088 0 0 0 100079 106 0 0 25 0 1 0 242707843 488001536 118277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551318 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 119141 118277 310 324 0 118211 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 476564 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1242240/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=485924 CPUtime=1061.83 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 123433 0 0 0 106075 108 0 0 25 0 1 0 242707843 497586176 120622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 121481 120622 310 324 0 120551 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 485924 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1233984/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=494216 CPUtime=1121.81 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 125478 0 0 0 112070 111 0 0 25 0 1 0 242707843 506077184 122667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 123554 122667 310 324 0 122624 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 494216 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1227136/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=500968 CPUtime=1181.79 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 127193 0 0 0 118066 113 0 0 25 0 1 0 242707843 512991232 124382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 125242 124382 310 324 0 124312 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 500968 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1219392/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=508692 CPUtime=1241.76 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 129108 0 0 0 124062 114 0 0 25 0 1 0 242707843 520900608 126297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 127173 126297 310 324 0 126243 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 508692 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1210368/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=517564 CPUtime=1301.75 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 131339 0 0 0 130059 116 0 0 25 0 1 0 242707843 529985536 128528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 129391 128528 310 324 0 128461 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 517564 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1185536/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=542672 CPUtime=1361.73 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 137590 0 0 0 136051 122 0 0 25 0 1 0 242707843 555696128 134779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 135668 134779 310 324 0 134738 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 542672 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1162048/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=565844 CPUtime=1421.71 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 143393 0 0 0 142042 129 0 0 25 0 1 0 242707843 579424256 140582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 141461 140582 310 324 0 140531 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 565844 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1142336/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=585844 CPUtime=1481.68 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 148401 0 0 0 148035 133 0 0 25 0 1 0 242707843 599904256 145590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 146461 145590 310 324 0 145531 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 585844 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1120896/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=607108 CPUtime=1541.66 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 153708 0 0 0 154028 138 0 0 25 0 1 0 242707843 621678592 150897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 151777 150897 310 324 0 150847 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 607108 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1101824/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=626288 CPUtime=1601.64 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 158505 0 0 0 160023 141 0 0 25 0 1 0 242707843 641318912 155694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 156572 155694 310 324 0 155642 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 626288 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1090944/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=637076 CPUtime=1661.62 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 161195 0 0 0 166019 143 0 0 25 0 1 0 242707843 652365824 158384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 159269 158384 310 324 0 158339 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 637076 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1082432/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=645652 CPUtime=1721.6 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 163335 0 0 0 172014 146 0 0 25 0 1 0 242707843 661147648 160524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 161413 160524 310 324 0 160483 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 645652 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1073600/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=654252 CPUtime=1781.58 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 165516 0 0 0 178010 148 0 0 25 0 1 0 242707843 669954048 162705 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 163563 162705 310 324 0 162633 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 654252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1071488/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=656340 CPUtime=1800.08 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 166028 0 0 0 179859 149 0 0 25 0 1 0 242707843 672092160 163217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30162/statm: 164085 163217 310 324 0 163155 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 656340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30361 /proc/meminfo: memFree=1071488/2055920 swapFree=4184616/4192956 [pid=30162] ppid=30160 vsize=0 CPUtime=1800.18 /proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194308 166032 0 0 0 179859 159 0 0 25 0 1 0 242707843 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/30162/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.91 CPU time (s): 1800.19 CPU user time (s): 1798.6 CPU system time (s): 1.59676 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 656340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.6 system time used= 1.59676 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 166032 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= 3116 runsolver used 1.38279 second user time and 3.58845 second system time The end
Begin job on node59 on Mon Apr 30 15:46:22 UTC 2007 IDJOB= 432699 IDBENCH= 1698 IDSOLVER= 199 FILE ID= node59/432699-1177947982 PBS_JOBID= 4727810 Free space on /tmp= 66556 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-pilot.we.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432699-1177947982/instance-432699-1177947982.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-432699-1177947982 -o ROOT/results/node59/solver-432699-1177947982 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432699-1177947982/instance-432699-1177947982.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 6d89097601cc17df3da06374ded173c4 RANDOM SEED= 559438984 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1725208 kB Buffers: 33040 kB Cached: 217896 kB SwapCached: 2364 kB Active: 119220 kB Inactive: 141776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1725208 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 9108 kB Writeback: 0 kB Mapped: 16828 kB Slab: 55688 kB Committed_AS: 3198204 kB PageTables: 1476 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 node59 on Mon Apr 30 16:16:25 UTC 2007