Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.07 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-vpm2.opb |
MD5SUM | 0632aa4d9a67ceeb1b14a3ab4971976e |
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 | 2754 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 84 |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 504 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 204800 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524341 |
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.03 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.03 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.03 c type "bsolo -h" for help 0.00/0.03 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.03 c Memory Limit set to 1800 MB 0.00/0.03 c Instance file /tmp/evaluation/432796-1177949963/instance-432796-1177949963.opb 0.00/0.03 c File size is 106510 bytes. 0.00/0.04 c Highest Coefficient sum: 524341 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.019 s 0.00/0.04 c Var: 2754 Constr: 486 0/0/486 Lit: 13020 Watch. Lit: 8251 0.00/0.04 c Obj. Vars: 168 (6.10022 % of total variables) 0.02/0.09 c Pre-processing Time: 0.066 s 0.02/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.09 c 0 1982 283 10012 35 6968 20024 0 0 0.07 0.02/0.09 c Switching off LPR mode. 1800.02/1801.10 c 100 1980 383 13082 34 8195 22027 100 1388 0.07 1800.02/1801.10 c 251 1980 534 22740 42 8476 24230 251 3060 0.08 1800.02/1801.10 c 478 1980 761 33143 43 9022 26654 478 4640 0.10 1800.02/1801.10 c 816 1980 1099 57268 52 10134 29320 816 5828 0.14 1800.02/1801.10 c 1324 1980 1607 72418 45 11159 32253 1324 7042 0.19 1800.02/1801.10 c 2087 1980 2370 103410 43 12794 35479 2087 8281 0.25 1800.02/1801.10 c 3233 1980 3516 156681 44 15024 39027 3233 8397 0.39 1800.02/1801.10 c 4954 1980 5237 235503 44 18442 42930 4954 8284 0.60 1800.02/1801.10 c 7538 1980 7821 336486 43 23550 47224 7538 7441 1.01 1800.02/1801.10 c 11417 1980 11700 560624 47 31326 51947 11417 5968 1.91 1800.02/1801.10 c 17240 1980 17523 881526 50 43022 57142 17240 5794 2.98 1800.02/1801.10 c 25979 1980 26262 1376237 52 60466 62857 25979 3501 7.42 1800.02/1801.10 c 39092 1980 39375 2061995 52 86740 69143 39092 3771 10.37 1800.02/1801.10 c 58762 1980 59045 3410010 57 125966 76058 58762 3120 18.83 1800.02/1801.10 c 88272 1980 23018 1186906 51 53791 83664 22735 1561 56.54 1800.02/1801.10 c 132543 1980 67289 3933800 58 142465 92031 67006 958 138.34 1800.02/1801.10 c 198954 1980 52498 3588186 68 113069 101235 52215 1027 193.62 1800.02/1801.10 c 298574 1980 61388 3906726 63 130619 111359 61105 705 423.32 1800.02/1801.10 c 448010 1980 19681 2178974 110 47213 122495 19398 420 1065.68 1800.02/1801.10 c Caught signal: 15 1800.02/1801.10 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1801.10 c 19 623222 62960 784363 86653 14669805 86370 346 1800.03 1800.02/1801.10 s UNKNOWN 1800.02/1801.10 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-432796-1177949963 -o ROOT/results/node18/solver-432796-1177949963 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432796-1177949963/instance-432796-1177949963.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.87 0.95 0.90 3/77 3785 /proc/meminfo: memFree=1833352/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=18528 CPUtime=0 /proc/3785/stat : 3785 (runsolver) D 3783 3785 2742 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 242913644 18972672 284 18446744073709551615 4194304 4255128 548682068976 18446744073709551615 227848809767 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/3785/statm: 4632 284 249 14 0 2626 0 [startup+0.05443 s] /proc/loadavg: 0.87 0.95 0.90 3/77 3785 /proc/meminfo: memFree=1833352/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=4748 CPUtime=0.02 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 610 0 0 0 2 0 0 0 18 0 1 0 242913644 4861952 553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 1187 554 303 324 0 257 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4748 [startup+0.102434 s] /proc/loadavg: 0.87 0.95 0.90 3/77 3785 /proc/meminfo: memFree=1833352/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=4852 CPUtime=0.07 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 644 0 0 0 7 0 0 0 18 0 1 0 242913644 4968448 587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 1213 587 309 324 0 283 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4852 [startup+0.301453 s] /proc/loadavg: 0.87 0.95 0.90 3/77 3785 /proc/meminfo: memFree=1833352/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=6292 CPUtime=0.27 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 1005 0 0 0 26 1 0 0 19 0 1 0 242913644 6443008 948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 1573 948 310 324 0 643 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 6292 [startup+0.702492 s] /proc/loadavg: 0.87 0.95 0.90 3/77 3785 /proc/meminfo: memFree=1833352/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=8508 CPUtime=0.67 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 1545 0 0 0 66 1 0 0 23 0 1 0 242913644 8712192 1488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 2127 1488 310 324 0 1197 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 8508 [startup+1.50157 s] /proc/loadavg: 0.87 0.95 0.90 2/78 3786 /proc/meminfo: memFree=1827456/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=11764 CPUtime=1.46 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 2369 0 0 0 145 1 0 0 25 0 1 0 242913644 12046336 2312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 2941 2312 310 324 0 2011 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 11764 [startup+3.10172 s] /proc/loadavg: 0.87 0.95 0.90 2/78 3786 /proc/meminfo: memFree=1822848/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=18360 CPUtime=3.07 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 4019 0 0 0 305 2 0 0 25 0 1 0 242913644 18800640 3962 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 4590 3962 310 324 0 3660 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 18360 [startup+6.30103 s] /proc/loadavg: 0.88 0.95 0.90 2/78 3786 /proc/meminfo: memFree=1814080/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=23696 CPUtime=6.26 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 5363 0 0 0 623 3 0 0 25 0 1 0 242913644 24264704 5306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 5924 5306 310 324 0 4994 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 23696 [startup+12.7016 s] /proc/loadavg: 0.89 0.95 0.90 2/78 3786 /proc/meminfo: memFree=1795456/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=42876 CPUtime=12.66 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 10136 0 0 0 1259 7 0 0 25 0 1 0 242913644 43905024 10079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 10719 10079 310 324 0 9789 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 42876 [startup+25.5019 s] /proc/loadavg: 0.92 0.96 0.90 2/78 3786 /proc/meminfo: memFree=1772160/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=65000 CPUtime=25.46 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 15690 0 0 0 2535 11 0 0 25 0 1 0 242913644 66560000 15633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 16250 15633 310 324 0 15320 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 65000 [startup+51.1013 s] /proc/loadavg: 0.94 0.96 0.91 2/78 3786 /proc/meminfo: memFree=1768640/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=68100 CPUtime=51.03 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 16543 0 0 0 5092 11 0 0 25 0 1 0 242913644 69734400 16410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 17025 16410 310 324 0 16095 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 68100 [startup+102.305 s] /proc/loadavg: 0.97 0.96 0.91 2/78 3786 /proc/meminfo: memFree=1768704/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=68100 CPUtime=102.21 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 16543 0 0 0 10210 11 0 0 25 0 1 0 242913644 69734400 16410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 17025 16410 310 324 0 16095 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 68100 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1750656/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=86116 CPUtime=162.18 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 21132 0 0 0 16203 15 0 0 25 0 1 0 242913644 88182784 20907 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 21529 20907 310 324 0 20599 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 86116 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1745280/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=91784 CPUtime=222.14 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 22551 0 0 0 22198 16 0 0 25 0 1 0 242913644 93986816 22326 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 22946 22326 310 324 0 22016 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 91784 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1737984/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=98764 CPUtime=282.12 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 24400 0 0 0 28193 19 0 0 25 0 1 0 242913644 101134336 24074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 24691 24074 310 324 0 23761 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 98764 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1738048/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=98764 CPUtime=342.08 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 24400 0 0 0 34189 19 0 0 25 0 1 0 242913644 101134336 24074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 24691 24074 310 324 0 23761 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 98764 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1738112/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=98764 CPUtime=402.03 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 24400 0 0 0 40184 19 0 0 25 0 1 0 242913644 101134336 24074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 24691 24074 310 324 0 23761 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 98764 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1729024/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=108300 CPUtime=462.01 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 26769 0 0 0 46179 22 0 0 25 0 1 0 242913644 110899200 26443 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 27075 26443 310 324 0 26145 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 108300 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1696768/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=140652 CPUtime=521.96 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 34857 0 0 0 52166 30 0 0 25 0 1 0 242913644 144027648 34531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 35163 34531 310 324 0 34233 0 Current children cumulated CPU time (s) 521.96 Current children cumulated vsize (KiB) 140652 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1692544/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=144264 CPUtime=581.92 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 35873 0 0 0 58160 32 0 0 25 0 1 0 242913644 147726336 35436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 36066 35436 310 324 0 35136 0 Current children cumulated CPU time (s) 581.92 Current children cumulated vsize (KiB) 144264 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1692544/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=144264 CPUtime=641.9 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 35873 0 0 0 64158 32 0 0 25 0 1 0 242913644 147726336 35436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 36066 35436 310 324 0 35136 0 Current children cumulated CPU time (s) 641.9 Current children cumulated vsize (KiB) 144264 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1674496/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=162456 CPUtime=881.76 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 40433 0 0 0 88139 37 0 0 25 0 1 0 242913644 166354944 39996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 40614 39996 310 324 0 39684 0 Current children cumulated CPU time (s) 881.76 Current children cumulated vsize (KiB) 162456 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1658624/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=178420 CPUtime=941.72 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 44404 0 0 0 94131 41 0 0 25 0 1 0 242913644 182702080 43967 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 44605 43967 310 324 0 43675 0 Current children cumulated CPU time (s) 941.72 Current children cumulated vsize (KiB) 178420 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1646912/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=190000 CPUtime=1001.68 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 47311 0 0 0 100123 45 0 0 25 0 1 0 242913644 194560000 46874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8291681 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 47500 46874 310 324 0 46570 0 Current children cumulated CPU time (s) 1001.68 Current children cumulated vsize (KiB) 190000 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1641472/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=195288 CPUtime=1061.65 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 48728 0 0 0 106119 46 0 0 25 0 1 0 242913644 199974912 48180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 48822 48180 310 324 0 47892 0 Current children cumulated CPU time (s) 1061.65 Current children cumulated vsize (KiB) 195288 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1641472/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=195288 CPUtime=1121.61 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 48728 0 0 0 112115 46 0 0 25 0 1 0 242913644 199974912 48180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 48822 48180 310 324 0 47892 0 Current children cumulated CPU time (s) 1121.61 Current children cumulated vsize (KiB) 195288 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1641408/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=195288 CPUtime=1181.57 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 48728 0 0 0 118111 46 0 0 25 0 1 0 242913644 199974912 48180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 48822 48180 310 324 0 47892 0 Current children cumulated CPU time (s) 1181.57 Current children cumulated vsize (KiB) 195288 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3786 /proc/meminfo: memFree=1641344/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=195288 CPUtime=1241.55 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 48728 0 0 0 124108 47 0 0 25 0 1 0 242913644 199974912 48180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 48822 48180 310 324 0 47892 0 Current children cumulated CPU time (s) 1241.55 Current children cumulated vsize (KiB) 195288 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1626944/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=209736 CPUtime=1301.51 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 52355 0 0 0 130100 51 0 0 25 0 1 0 242913644 214769664 51807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 52434 51807 310 324 0 51504 0 Current children cumulated CPU time (s) 1301.51 Current children cumulated vsize (KiB) 209736 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1604736/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=231684 CPUtime=1361.47 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 136090 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 57921 57303 310 324 0 56991 0 Current children cumulated CPU time (s) 1361.47 Current children cumulated vsize (KiB) 231684 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1604736/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=231684 CPUtime=1421.44 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 142087 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 57921 57303 310 324 0 56991 0 Current children cumulated CPU time (s) 1421.44 Current children cumulated vsize (KiB) 231684 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1604736/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=231684 CPUtime=1481.4 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 148083 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 57921 57303 310 324 0 56991 0 Current children cumulated CPU time (s) 1481.4 Current children cumulated vsize (KiB) 231684 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1604736/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=231684 CPUtime=1541.37 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 154080 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 57921 57303 310 324 0 56991 0 Current children cumulated CPU time (s) 1541.37 Current children cumulated vsize (KiB) 231684 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1604736/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=231684 CPUtime=1601.33 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 160076 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 57921 57303 310 324 0 56991 0 Current children cumulated CPU time (s) 1601.33 Current children cumulated vsize (KiB) 231684 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1604800/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=231684 CPUtime=1661.3 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 166073 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8292181 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 57921 57303 310 324 0 56991 0 Current children cumulated CPU time (s) 1661.3 Current children cumulated vsize (KiB) 231684 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1604800/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=231684 CPUtime=1721.27 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 172070 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 57921 57303 310 324 0 56991 0 Current children cumulated CPU time (s) 1721.27 Current children cumulated vsize (KiB) 231684 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1604672/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=231684 CPUtime=1781.23 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 178066 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 57921 57303 310 324 0 56991 0 Current children cumulated CPU time (s) 1781.23 Current children cumulated vsize (KiB) 231684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1604672/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=231684 CPUtime=1800.02 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 179945 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 57921 57303 310 324 0 56991 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 231684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.91 2/78 3788 /proc/meminfo: memFree=1604672/2055920 swapFree=4147196/4192956 [pid=3785] ppid=3783 vsize=231684 CPUtime=1800.02 /proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 179945 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3785/statm: 57921 57303 310 324 0 56991 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 231684 Child status: 15 Real time (s): 1801.15 CPU time (s): 1800.07 CPU user time (s): 1799.46 CPU system time (s): 0.611906 CPU usage (%): 99.9402 Max. virtual memory (cumulated for all children) (KiB): 232172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.46 system time used= 0.611906 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57977 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= 21 involuntary context switches= 39834 runsolver used 1.61075 second user time and 4.94725 second system time The end
Begin job on node18 on Mon Apr 30 16:19:23 UTC 2007 IDJOB= 432796 IDBENCH= 1803 IDSOLVER= 199 FILE ID= node18/432796-1177949963 PBS_JOBID= 4727671 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/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-vpm2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432796-1177949963/instance-432796-1177949963.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-432796-1177949963 -o ROOT/results/node18/solver-432796-1177949963 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432796-1177949963/instance-432796-1177949963.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0632aa4d9a67ceeb1b14a3ab4971976e RANDOM SEED= 798217824 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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: 1833824 kB Buffers: 36084 kB Cached: 95652 kB SwapCached: 14328 kB Active: 49076 kB Inactive: 106308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1833824 kB SwapTotal: 4192956 kB SwapFree: 4147196 kB Dirty: 6716 kB Writeback: 0 kB Mapped: 30840 kB Slab: 52260 kB Committed_AS: 5537700 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= 66558 MiB End job on node18 on Mon Apr 30 16:49:26 UTC 2007