Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.1 | 1800.68 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot4.opb |
MD5SUM | 65e439e03cbe6c14c849336d6093c9a6 |
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 | 26494 |
Total number of constraints | 657 |
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 | 657 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 1427 |
Number of terms in the objective function | 120 |
Biggest coefficient in the objective function | 65537 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524404 |
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 | 525515 |
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/432703-1177948071/instance-432703-1177948071.opb 0.00/0.00 c File size is 1376611 bytes. 0.19/0.26 c Highest Coefficient sum: 525515 0.19/0.26 c Parsing was ok!! 0.19/0.26 c Total parsing time: 0.263 s 0.19/0.28 c Var: 26494 Constr: 944 11/0/933 Lit: 197708 Watch. Lit: 42540 0.19/0.28 c Obj. Vars: 120 (0.452933 % of total variables) 10.09/10.19 c Pre-processing Time: 10.191 s 10.09/10.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.09/10.19 c 0 22734 911 193431 212 91322 386562 0 0 10.19 10.09/10.19 c Switching off LPR mode. 1800.03/1800.60 c 100 22734 1011 206343 204 102819 425219 100 9 10.28 1800.03/1800.60 c 250 22734 1161 226856 195 106676 467741 250 24 10.37 1800.03/1800.60 c 476 22734 1387 250631 180 112894 514516 476 45 10.49 1800.03/1800.60 c 815 22734 1726 267129 154 113533 565968 815 76 10.60 1800.03/1800.60 c 1323 22734 2234 294005 131 115442 622565 1323 122 10.80 1800.03/1800.60 c 2086 22734 2997 364915 121 124895 684822 2086 185 11.27 1800.03/1800.60 c 3242 22734 4153 473087 113 127699 753305 3242 275 11.78 1800.03/1800.60 c 4964 22734 5875 606141 103 149196 828636 4964 385 12.86 1800.03/1800.60 c 7549 22734 8460 711421 84 163315 911500 7549 528 14.27 1800.03/1800.60 c 11430 22734 12341 915300 74 171212 500000 11430 634 18.01 1800.03/1800.60 c 17253 22734 18164 1226541 67 188408 550001 17253 719 23.99 1800.03/1800.60 c 25990 22734 26901 1790334 66 206920 605002 25990 674 38.53 1800.03/1800.60 c 39100 22734 40011 2365293 59 233891 665503 39100 590 66.19 1800.03/1800.60 c 58771 22734 59682 3507926 58 273122 732054 58771 551 106.65 1800.03/1800.60 c 88282 22734 89193 4948193 55 332165 805260 88282 504 174.97 1800.03/1800.60 c 132553 22734 133464 7129686 53 436598 885787 132553 522 253.71 1800.03/1800.60 c 198964 22734 199875 10455065 52 570903 974366 198964 398 499.67 1800.03/1800.60 c 298584 22734 299495 15933825 53 774438 500000 298584 432 690.62 1800.03/1800.60 c 448019 22734 448930 22762824 50 1072843 550001 448019 310 1443.70 1800.03/1800.60 c Caught signal: 15 1800.03/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.60 c 19 487153 145367 1073309 488064 24682408 487153 270 1800.04 1800.03/1800.60 s UNKNOWN 1800.03/1800.60 c Total time: 1800.04 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-432703-1177948071 -o ROOT/results/node60/solver-432703-1177948071 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432703-1177948071/instance-432703-1177948071.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.92 3/64 31950 /proc/meminfo: memFree=1858456/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=20896 CPUtime=0 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 242717082 21397504 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 3271 331 279 324 0 2004 0 [startup+0.038565 s] /proc/loadavg: 0.92 0.98 0.92 3/64 31950 /proc/meminfo: memFree=1858456/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=6112 CPUtime=0.03 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 613 0 0 0 3 0 0 0 18 0 1 0 242717082 6258688 583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 1528 583 325 324 0 261 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6112 [startup+0.102572 s] /proc/loadavg: 0.92 0.98 0.92 3/64 31950 /proc/meminfo: memFree=1858456/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=6920 CPUtime=0.09 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 897 0 0 0 9 0 0 0 18 0 1 0 242717082 7086080 867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 1730 867 409 324 0 463 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6920 [startup+0.301592 s] /proc/loadavg: 0.92 0.98 0.92 3/64 31950 /proc/meminfo: memFree=1858456/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=12640 CPUtime=0.29 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 2810 0 0 0 29 0 0 0 19 0 1 0 242717082 12943360 2403 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 3160 2403 304 324 0 2230 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12640 [startup+0.70163 s] /proc/loadavg: 0.92 0.98 0.92 3/64 31950 /proc/meminfo: memFree=1858456/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=13960 CPUtime=0.69 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 3152 0 0 0 67 2 0 0 22 0 1 0 242717082 14295040 2745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 3490 2745 304 324 0 2560 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13960 [startup+1.50171 s] /proc/loadavg: 0.92 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1848592/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=14224 CPUtime=1.49 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 3232 0 0 0 146 3 0 0 25 0 1 0 242717082 14565376 2825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 3556 2825 304 324 0 2626 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14224 [startup+3.10187 s] /proc/loadavg: 0.92 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1846096/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=15708 CPUtime=3.09 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 3851 0 0 0 306 3 0 0 25 0 1 0 242717082 16084992 3184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 3927 3184 306 324 0 2997 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15708 [startup+6.30118 s] /proc/loadavg: 0.93 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1846544/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=15708 CPUtime=6.29 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 3851 0 0 0 626 3 0 0 25 0 1 0 242717082 16084992 3184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 3927 3184 306 324 0 2997 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15708 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1844184/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=19900 CPUtime=12.69 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 4916 0 0 0 1264 5 0 0 25 0 1 0 242717082 20377600 4249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 4975 4249 310 324 0 4045 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19900 [startup+25.5021 s] /proc/loadavg: 0.95 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1831768/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=30920 CPUtime=25.49 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 7673 0 0 0 2543 6 0 0 25 0 1 0 242717082 31662080 7006 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 7730 7006 310 324 0 6800 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30920 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1821080/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=41568 CPUtime=51.07 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 10313 0 0 0 5099 8 0 0 25 0 1 0 242717082 42565632 9646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 10392 9646 310 324 0 9462 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41568 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1800728/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=61708 CPUtime=102.26 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 15353 0 0 0 10213 13 0 0 25 0 1 0 242717082 63188992 14686 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5975809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 15427 14686 310 324 0 14497 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 61708 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1781144/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=81312 CPUtime=162.24 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 20276 0 0 0 16206 18 0 0 25 0 1 0 242717082 83263488 19609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 20328 19609 310 324 0 19398 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 81312 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1755224/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=107012 CPUtime=222.22 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 26696 0 0 0 22199 23 0 0 25 0 1 0 242717082 109580288 26029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 26753 26029 310 324 0 25823 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 107012 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1735320/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=127032 CPUtime=282.21 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 31709 0 0 0 28193 28 0 0 25 0 1 0 242717082 130080768 31042 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 31758 31042 310 324 0 30828 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 127032 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1720216/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=142020 CPUtime=342.19 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 35425 0 0 0 34187 32 0 0 25 0 1 0 242717082 145428480 34758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 35505 34758 310 324 0 34575 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 142020 [startup+402.303 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1710104/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=152160 CPUtime=402.18 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 37971 0 0 0 40183 35 0 0 25 0 1 0 242717082 155811840 37304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 38040 37304 310 324 0 37110 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 152160 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1699224/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=162836 CPUtime=462.16 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 40653 0 0 0 46177 39 0 0 25 0 1 0 242717082 166744064 39986 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 40709 39986 310 324 0 39779 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 162836 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1683992/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=178276 CPUtime=522.15 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 44506 0 0 0 52173 42 0 0 25 0 1 0 242717082 182554624 43839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 44569 43839 310 324 0 43639 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 178276 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1648344/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=213684 CPUtime=582.14 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 53362 0 0 0 58163 51 0 0 25 0 1 0 242717082 218812416 52695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 53421 52695 310 324 0 52491 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 213684 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31951 /proc/meminfo: memFree=1630296/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=231568 CPUtime=642.12 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 57830 0 0 0 64158 54 0 0 25 0 1 0 242717082 237125632 57163 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 57892 57163 310 324 0 56962 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 231568 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.92 2/71 32115 /proc/meminfo: memFree=1585872/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=274576 CPUtime=821.99 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 68586 0 0 0 82133 66 0 0 25 0 1 0 242717082 281165824 67919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 68644 67919 310 324 0 67714 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 274576 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 32149 /proc/meminfo: memFree=1578008/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=283516 CPUtime=881.95 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 70806 0 0 0 88127 68 0 0 25 0 1 0 242717082 290320384 70139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572684 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 70879 70139 310 324 0 69949 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 283516 [startup+942.302 s] /proc/loadavg: 1.05 1.00 0.93 2/65 32149 /proc/meminfo: memFree=1569816/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=291692 CPUtime=941.93 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 72853 0 0 0 94123 70 0 0 25 0 1 0 242717082 298692608 72186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 72923 72186 310 324 0 71993 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 291692 [startup+1002.3 s] /proc/loadavg: 1.07 1.01 0.93 2/65 32149 /proc/meminfo: memFree=1560920/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=300524 CPUtime=1001.92 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 75056 0 0 0 100119 73 0 0 25 0 1 0 242717082 307736576 74389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 75131 74389 310 324 0 74201 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 300524 [startup+1062.3 s] /proc/loadavg: 1.07 1.02 0.94 2/65 32149 /proc/meminfo: memFree=1552728/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=308680 CPUtime=1061.91 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 77113 0 0 0 106115 76 0 0 25 0 1 0 242717082 316088320 76446 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 77170 76446 310 324 0 76240 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 308680 [startup+1122.3 s] /proc/loadavg: 1.10 1.05 0.95 2/65 32149 /proc/meminfo: memFree=1543256/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=318124 CPUtime=1121.89 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 79472 0 0 0 112110 79 0 0 25 0 1 0 242717082 325758976 78805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 79531 78805 310 324 0 78601 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 318124 [startup+1182.3 s] /proc/loadavg: 1.04 1.04 0.95 2/65 32149 /proc/meminfo: memFree=1534552/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=326936 CPUtime=1181.88 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 81657 0 0 0 118107 81 0 0 25 0 1 0 242717082 334782464 80990 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 81734 80990 310 324 0 80804 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 326936 [startup+1242.3 s] /proc/loadavg: 1.01 1.03 0.95 2/65 32149 /proc/meminfo: memFree=1527000/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=334312 CPUtime=1241.86 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 83520 0 0 0 124104 82 0 0 25 0 1 0 242717082 342335488 82853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 83578 82853 310 324 0 82648 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 334312 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 0.95 2/65 32149 /proc/meminfo: memFree=1521496/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=339824 CPUtime=1301.85 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 84885 0 0 0 130101 84 0 0 25 0 1 0 242717082 347979776 84218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 84956 84218 310 324 0 84026 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 339824 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.95 2/65 32149 /proc/meminfo: memFree=1515800/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=345472 CPUtime=1361.83 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 86319 0 0 0 136097 86 0 0 25 0 1 0 242717082 353763328 85652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 86368 85652 310 324 0 85438 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 345472 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 0.95 2/65 32149 /proc/meminfo: memFree=1509464/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=351788 CPUtime=1421.82 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 87901 0 0 0 142094 88 0 0 25 0 1 0 242717082 360230912 87234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 87947 87234 310 324 0 87017 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 351788 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 32149 /proc/meminfo: memFree=1504280/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=357060 CPUtime=1481.8 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 89202 0 0 0 148090 90 0 0 25 0 1 0 242717082 365629440 88535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 89265 88535 310 324 0 88335 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 357060 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 32149 /proc/meminfo: memFree=1498776/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=362412 CPUtime=1541.78 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 90556 0 0 0 154087 91 0 0 25 0 1 0 242717082 371109888 89889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 90603 89889 310 324 0 89673 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 362412 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 3/65 32149 /proc/meminfo: memFree=1493592/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=367644 CPUtime=1601.77 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 91864 0 0 0 160083 94 0 0 25 0 1 0 242717082 376467456 91197 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 91911 91197 310 324 0 90981 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 367644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 32149 /proc/meminfo: memFree=1488536/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=372732 CPUtime=1661.76 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 93108 0 0 0 166080 96 0 0 25 0 1 0 242717082 381677568 92441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 93183 92441 310 324 0 92253 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 372732 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 32149 /proc/meminfo: memFree=1483928/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=377276 CPUtime=1721.74 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 94267 0 0 0 172077 97 0 0 25 0 1 0 242717082 386330624 93600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 94319 93600 310 324 0 93389 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 377276 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 32149 /proc/meminfo: memFree=1479640/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=381564 CPUtime=1781.73 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 95319 0 0 0 178074 99 0 0 25 0 1 0 242717082 390721536 94652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 95391 94652 310 324 0 94461 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 381564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/65 32149 /proc/meminfo: memFree=1478104/2055920 swapFree=4183304/4192956 [pid=31950] ppid=31948 vsize=383004 CPUtime=1800.03 /proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 95687 0 0 0 179903 100 0 0 25 0 1 0 242717082 392196096 95020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31950/statm: 95751 95020 310 324 0 94821 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 383004 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.68 CPU time (s): 1800.1 CPU user time (s): 1799.04 CPU system time (s): 1.06284 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (KiB): 383004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.04 system time used= 1.06284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95691 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= 2982 runsolver used 1.36479 second user time and 3.61245 second system time The end
Begin job on node60 on Mon Apr 30 15:47:51 UTC 2007 IDJOB= 432703 IDBENCH= 1702 IDSOLVER= 199 FILE ID= node60/432703-1177948071 PBS_JOBID= 4727538 Free space on /tmp= 66557 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-pilot4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432703-1177948071/instance-432703-1177948071.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-432703-1177948071 -o ROOT/results/node60/solver-432703-1177948071 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432703-1177948071/instance-432703-1177948071.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 65e439e03cbe6c14c849336d6093c9a6 RANDOM SEED= 519061118 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1858864 kB Buffers: 16156 kB Cached: 105700 kB SwapCached: 3672 kB Active: 25580 kB Inactive: 106012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858864 kB SwapTotal: 4192956 kB SwapFree: 4183304 kB Dirty: 7932 kB Writeback: 0 kB Mapped: 15748 kB Slab: 51448 kB Committed_AS: 2705152 kB PageTables: 1464 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= 66557 MiB End job on node60 on Mon Apr 30 16:17:54 UTC 2007