Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (MO) | 970.506 | 970.794 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb |
MD5SUM | fd717ffc3177aa889b23f16defdc157a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3248 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3248 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 524691 |
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/432764-1177949152/instance-432764-1177949152.opb 0.00/0.00 c File size is 302280 bytes. 0.00/0.06 c Highest Coefficient sum: 524691 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.058 s 0.00/0.06 c Var: 7195 Constr: 958 29/29/900 Lit: 41461 Watch. Lit: 10758 0.00/0.06 c Obj. Vars: 421 (5.85129 % of total variables) 2.89/2.97 c Pre-processing Time: 2.971 s 2.89/2.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.97 c 0 7188 958 41444 43 18043 83168 0 0 2.97 2.89/2.97 c Switching off LPR mode. 970.21/970.50 c 101 7188 1059 112540 106 27259 91485 101 33 3.04 970.21/970.50 c 252 7188 1210 160062 132 27711 100634 252 80 3.12 970.21/970.50 c 479 7188 1437 254050 176 28168 110698 479 148 3.22 970.21/970.50 c 819 7188 1777 413458 232 28925 121768 819 241 3.40 970.21/970.50 c 1364 7188 2322 705602 303 30772 133945 1364 356 3.82 970.21/970.50 c 2173 7188 3131 1009313 322 32151 147340 2173 481 4.52 970.21/970.50 c 3396 7188 4354 1718277 394 34472 162075 3396 586 5.79 970.21/970.50 c 5131 7188 6089 3103191 509 38046 178283 5131 635 8.07 970.21/970.50 c 7719 7188 8677 4218328 486 42660 196112 7719 750 10.29 970.21/970.50 c 11598 7188 12556 6162506 490 50281 215724 11598 821 14.12 970.21/970.50 c 17420 7188 18378 9215030 501 62426 237297 17420 798 21.80 970.21/970.50 c 26171 7188 27129 16145982 595 78909 261027 26171 642 40.73 970.21/970.50 c 39281 7188 40239 22754222 565 104978 287130 39281 594 66.09 970.21/970.50 c 58952 7188 59910 37472604 625 144176 315844 58952 428 137.54 970.21/970.50 c 88463 7188 89421 69785502 780 203651 347429 88463 250 352.58 970.21/970.50 c 132733 7188 133691 94775374 708 292480 382172 132733 256 517.52 970.21/970.50 c 199144 7188 200102 124272590 621 424276 420390 199144 253 785.84 970.21/970.50 c Caught signal: 15 970.21/970.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 970.21/970.50 c 17 230071 13760 955394 231029 142660373 230071 237 970.22 970.21/970.50 s UNKNOWN 970.21/970.50 c Total time: 970.218 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-432764-1177949152 -o ROOT/results/node74/solver-432764-1177949152 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432764-1177949152/instance-432764-1177949152.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.92 0.98 0.91 3/66 2395 /proc/meminfo: memFree=1794136/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=19844 CPUtime=0 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 242829985 20320256 329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134536096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 4961 330 278 324 0 3957 0 [startup+0.0980081 s] /proc/loadavg: 0.92 0.98 0.91 3/66 2395 /proc/meminfo: memFree=1794136/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=6044 CPUtime=0.09 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 955 0 0 0 9 0 0 0 18 0 1 0 242829985 6189056 851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 1511 851 304 324 0 581 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6044 [startup+0.101006 s] /proc/loadavg: 0.92 0.98 0.91 3/66 2395 /proc/meminfo: memFree=1794136/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=6044 CPUtime=0.09 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 955 0 0 0 9 0 0 0 18 0 1 0 242829985 6189056 851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 1511 851 304 324 0 581 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6044 [startup+0.30103 s] /proc/loadavg: 0.92 0.98 0.91 3/66 2395 /proc/meminfo: memFree=1794136/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=6044 CPUtime=0.29 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 958 0 0 0 29 0 0 0 19 0 1 0 242829985 6189056 854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 1511 854 304 324 0 581 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6044 [startup+0.701075 s] /proc/loadavg: 0.92 0.98 0.91 3/66 2395 /proc/meminfo: memFree=1794136/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=6728 CPUtime=0.68 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 1256 0 0 0 68 0 0 0 22 0 1 0 242829985 6889472 1019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 1682 1019 306 324 0 752 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6728 [startup+1.50117 s] /proc/loadavg: 0.92 0.98 0.91 2/67 2396 /proc/meminfo: memFree=1791312/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=6728 CPUtime=1.49 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 1256 0 0 0 148 1 0 0 25 0 1 0 242829985 6889472 1019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 1682 1019 306 324 0 752 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6728 [startup+3.10135 s] /proc/loadavg: 0.93 0.98 0.91 2/67 2396 /proc/meminfo: memFree=1791184/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=7520 CPUtime=3.09 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 1483 0 0 0 308 1 0 0 25 0 1 0 242829985 7700480 1246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 1880 1246 310 324 0 950 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7520 [startup+6.30172 s] /proc/loadavg: 0.93 0.98 0.91 2/67 2396 /proc/meminfo: memFree=1773464/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=31912 CPUtime=6.28 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 7578 0 0 0 625 3 0 0 25 0 1 0 242829985 32677888 7341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 7978 7341 310 324 0 7048 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 31912 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.91 2/67 2396 /proc/meminfo: memFree=1725144/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=77028 CPUtime=12.68 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 18849 0 0 0 1260 8 0 0 25 0 1 0 242829985 78876672 18612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 19257 18612 310 324 0 18327 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 77028 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.91 2/67 2396 /proc/meminfo: memFree=1659352/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=139584 CPUtime=25.49 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 34488 0 0 0 2532 17 0 0 25 0 1 0 242829985 142934016 34251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 34896 34251 310 324 0 33966 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 139584 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.91 2/67 2396 /proc/meminfo: memFree=1541848/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=257860 CPUtime=51.07 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 64060 0 0 0 5078 29 0 0 25 0 1 0 242829985 264048640 63823 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 64465 63823 310 324 0 63535 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 257860 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.91 2/67 2396 /proc/meminfo: memFree=1400608/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=396532 CPUtime=102.26 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 98741 0 0 0 10180 46 0 0 25 0 1 0 242829985 406048768 98504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 99133 98504 310 324 0 98203 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 396532 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=1260896/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=536404 CPUtime=162.24 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 133703 0 0 0 16163 61 0 0 25 0 1 0 242829985 549277696 133466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190689 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 134101 133466 310 324 0 133171 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 536404 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=1112352/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=684268 CPUtime=222.22 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 170674 0 0 0 22146 76 0 0 25 0 1 0 242829985 700690432 170437 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 171067 170437 310 324 0 170137 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 684268 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=1033824/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=764340 CPUtime=282.2 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 190703 0 0 0 28136 84 0 0 25 0 1 0 242829985 782684160 190466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 191085 190466 310 324 0 190155 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 764340 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=920864/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=876276 CPUtime=342.19 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 218672 0 0 0 34123 96 0 0 25 0 1 0 242829985 897306624 218435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 219069 218435 310 324 0 218139 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 876276 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=777888/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=1019960 CPUtime=402.17 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 254592 0 0 0 40102 115 0 0 25 0 1 0 242829985 1044439040 254355 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 254990 254355 310 324 0 254060 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1019960 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=665376/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=1130748 CPUtime=462.15 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 282291 0 0 0 46088 127 0 0 25 0 1 0 242829985 1157885952 282054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190394 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 282687 282054 310 324 0 281757 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1130748 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=564896/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=1231360 CPUtime=522.14 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 307453 0 0 0 52075 139 0 0 25 0 1 0 242829985 1260912640 307216 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552323 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 307840 307216 310 324 0 306910 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1231360 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=464352/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=1331412 CPUtime=582.12 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 332462 0 0 0 58061 151 0 0 25 0 1 0 242829985 1363365888 332225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 332853 332225 310 324 0 331923 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1331412 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=381088/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=1413812 CPUtime=642.1 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 353058 0 0 0 64049 161 0 0 25 0 1 0 242829985 1447743488 352821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 353453 352821 310 324 0 352523 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1413812 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=278112/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=1517316 CPUtime=702.08 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 378930 0 0 0 70031 177 0 0 25 0 1 0 242829985 1553731584 378693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 379329 378693 310 324 0 378399 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 1517316 [startup+762.306 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=211360/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=1583232 CPUtime=762.07 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 395427 0 0 0 76022 185 0 0 25 0 1 0 242829985 1621229568 395190 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 395808 395190 310 324 0 394878 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1583232 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=122656/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=1672544 CPUtime=822.05 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 417733 0 0 0 82009 196 0 0 25 0 1 0 242829985 1712685056 417496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 418136 417496 310 324 0 417206 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1672544 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=49568/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=1744784 CPUtime=882.03 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 435799 0 0 0 87998 205 0 0 25 0 1 0 242829985 1786658816 435562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 436196 435562 310 324 0 435266 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1744784 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=15072/2055920 swapFree=4183092/4192956 [pid=2395] ppid=2393 vsize=1802344 CPUtime=942.01 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 450201 0 0 0 93987 214 0 0 25 0 1 0 242829985 1845600256 449964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 450586 449964 310 324 0 449656 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1802344 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+970.502 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=15648/2055920 swapFree=4183036/4192956 [pid=2395] ppid=2393 vsize=1843304 CPUtime=970.21 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194304 460444 0 0 0 96801 220 0 0 25 0 1 0 242829985 1887543296 460207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 460826 460207 310 324 0 459896 0 Current children cumulated CPU time (s) 970.21 Current children cumulated vsize (KiB) 1843304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+970.606 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=15648/2055920 swapFree=4183036/4192956 [pid=2395] ppid=2393 vsize=0 CPUtime=970.31 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194308 460448 0 0 0 96801 230 0 0 25 0 1 0 242829985 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 970.31 Current children cumulated vsize (KiB) 0 [startup+970.702 s] /proc/loadavg: 0.99 0.98 0.91 2/67 2396 /proc/meminfo: memFree=15648/2055920 swapFree=4183036/4192956 [pid=2395] ppid=2393 vsize=0 CPUtime=970.4 /proc/2395/stat : 2395 (bsolo3.0.17) R 2393 2395 1213 0 -1 4194308 460448 0 0 0 96801 239 0 0 25 0 1 0 242829985 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/2395/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 970.4 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 970.794 CPU time (s): 970.506 CPU user time (s): 968.016 CPU system time (s): 2.49062 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1843304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 968.016 system time used= 2.49062 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460448 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= 1557 runsolver used 0.801878 second user time and 1.89771 second system time The end
Begin job on node74 on Mon Apr 30 16:05:52 UTC 2007 IDJOB= 432764 IDBENCH= 1771 IDSOLVER= 199 FILE ID= node74/432764-1177949152 PBS_JOBID= 4727526 Free space on /tmp= 103238 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-aflow30a.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432764-1177949152/instance-432764-1177949152.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-432764-1177949152 -o ROOT/results/node74/solver-432764-1177949152 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432764-1177949152/instance-432764-1177949152.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fd717ffc3177aa889b23f16defdc157a RANDOM SEED= 29457601 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1794608 kB Buffers: 17596 kB Cached: 160256 kB SwapCached: 3096 kB Active: 77156 kB Inactive: 117636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1794608 kB SwapTotal: 4192956 kB SwapFree: 4183092 kB Dirty: 6880 kB Writeback: 0 kB Mapped: 22996 kB Slab: 52276 kB Committed_AS: 4138768 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103238 MiB End job on node74 on Mon Apr 30 16:22:05 UTC 2007