Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.19 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb |
MD5SUM | f3194c704d6cb84122c01530d022722f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.875865 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 35070 |
Total number of constraints | 488 |
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 | 488 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1110 |
Number of terms in the objective function | 24750 |
Biggest coefficient in the objective function | 20760 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 545888 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 545888 |
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/432687-1177947629/instance-432687-1177947629.opb 0.00/0.00 c File size is 1263058 bytes. 0.19/0.27 c Highest Coefficient sum: 545888 0.19/0.27 c Parsing was ok!! 0.19/0.27 c Total parsing time: 0.273 s 0.19/0.29 c Var: 35070 Constr: 872 20/0/852 Lit: 172590 Watch. Lit: 67591 0.19/0.29 c Obj. Vars: 24750 (70.5731 % of total variables) 96.84/96.93 c Pre-processing Time: 96.875 s 96.84/96.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 96.84/96.93 c 0 24376 807 168240 208 115724 306004 0 0 96.88 96.84/96.93 c Switching off LPR mode. 1800.09/1800.70 c 111 24376 918 173648 189 117570 336605 111 1 96.93 1800.09/1800.70 c 266 24369 1073 178649 166 117862 370266 266 2 96.98 1800.09/1800.70 c 496 24369 1303 189926 145 118325 407293 496 5 97.04 1800.09/1800.70 c 844 24369 1651 201492 122 119013 448023 844 8 97.11 1800.09/1800.70 c 1354 24369 2161 234092 108 120033 492826 1354 13 97.21 1800.09/1800.70 c 2117 24369 2924 279310 95 121559 542109 2117 21 97.31 1800.09/1800.70 c 3263 24363 4070 331415 81 123850 596320 3263 33 97.66 1800.09/1800.70 c 4987 24363 5794 458290 79 127298 655953 4987 50 98.18 1800.09/1800.70 c 7574 24363 8381 701705 83 132472 721549 7574 75 100.12 1800.09/1800.70 c 11458 24345 12265 1086222 88 148705 793704 11458 106 107.80 1800.09/1800.70 c 17280 24329 18087 2569993 142 161106 873075 17280 154 112.18 1800.09/1800.70 c 26018 24329 26825 3385314 126 180574 960383 26018 214 121.50 1800.09/1800.70 c 39128 24329 39935 4101021 102 206351 500000 39128 306 127.74 1800.09/1800.70 c 58801 24329 59608 6266410 105 245428 550001 58801 386 152.03 1800.09/1800.71 c 88311 24329 89118 10327554 115 304783 605002 88311 350 251.92 1800.09/1800.71 c 132582 24329 133389 12691788 95 393008 665503 132582 410 323.15 1800.09/1800.71 c 198992 24329 199799 18630548 93 525858 732054 198992 270 736.34 1800.09/1800.71 c 298613 24312 299420 28198064 94 724536 805260 298613 299 998.28 1800.09/1800.71 c Caught signal: 15 1800.09/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.71 c 18 378371 96980 1151401 379178 39321160 378371 210 1800.10 1800.09/1800.71 s UNKNOWN 1800.09/1800.71 c Total time: 1800.1 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-432687-1177947629 -o ROOT/results/node68/solver-432687-1177947629 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432687-1177947629/instance-432687-1177947629.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.84 0.95 0.91 3/64 27835 /proc/meminfo: memFree=1840440/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=3828 CPUtime=0 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 99 0 0 0 0 0 0 0 18 0 1 0 270752487 3919872 82 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10478758 0 0 4096 0 0 0 0 17 1 0 0 /proc/27835/statm: 957 97 80 324 0 15 0 [startup+0.017335 s] /proc/loadavg: 0.84 0.95 0.91 3/64 27835 /proc/meminfo: memFree=1840440/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=13396 CPUtime=0.01 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 461 0 0 0 1 0 0 0 18 0 1 0 270752487 13717504 431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 3349 432 294 324 0 2110 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13396 [startup+0.102343 s] /proc/loadavg: 0.84 0.95 0.91 3/64 27835 /proc/meminfo: memFree=1840440/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=8120 CPUtime=0.09 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 1258 0 0 0 9 0 0 0 18 0 1 0 270752487 8314880 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 2030 1188 393 324 0 791 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8120 [startup+0.301361 s] /proc/loadavg: 0.84 0.95 0.91 3/64 27835 /proc/meminfo: memFree=1840440/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=13284 CPUtime=0.28 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3062 0 0 0 28 0 0 0 19 0 1 0 270752487 13602816 2634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 3321 2634 304 324 0 2391 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 13284 [startup+0.702397 s] /proc/loadavg: 0.84 0.95 0.91 3/64 27835 /proc/meminfo: memFree=1840440/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=14328 CPUtime=0.69 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3298 0 0 0 68 1 0 0 22 0 1 0 270752487 14671872 2870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 3582 2870 304 324 0 2652 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14328 [startup+1.50147 s] /proc/loadavg: 0.84 0.95 0.91 2/65 27836 /proc/meminfo: memFree=1830064/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=14328 CPUtime=1.49 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3298 0 0 0 148 1 0 0 25 0 1 0 270752487 14671872 2870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 3582 2870 304 324 0 2652 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14328 [startup+3.10161 s] /proc/loadavg: 0.84 0.95 0.91 2/65 27836 /proc/meminfo: memFree=1829936/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=14328 CPUtime=3.09 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3298 0 0 0 308 1 0 0 25 0 1 0 270752487 14671872 2870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 3582 2870 304 324 0 2652 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14328 [startup+6.3019 s] /proc/loadavg: 0.85 0.95 0.91 2/65 27836 /proc/meminfo: memFree=1829872/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=14328 CPUtime=6.29 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3298 0 0 0 628 1 0 0 25 0 1 0 270752487 14671872 2870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 3582 2870 304 324 0 2652 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14328 [startup+12.7015 s] /proc/loadavg: 0.87 0.95 0.91 2/65 27836 /proc/meminfo: memFree=1829872/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=14460 CPUtime=12.69 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3305 0 0 0 1268 1 0 0 25 0 1 0 270752487 14807040 2877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 3615 2877 304 324 0 2685 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14460 [startup+25.5016 s] /proc/loadavg: 0.89 0.95 0.91 2/65 27836 /proc/meminfo: memFree=1830008/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=14460 CPUtime=25.49 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3309 0 0 0 2548 1 0 0 25 0 1 0 270752487 14807040 2881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 3615 2881 304 324 0 2685 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14460 [startup+51.1019 s] /proc/loadavg: 0.93 0.96 0.91 2/65 27836 /proc/meminfo: memFree=1829880/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=14460 CPUtime=51.05 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3321 0 0 0 5104 1 0 0 25 0 1 0 270752487 14807040 2893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 3615 2893 304 324 0 2685 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 14460 [startup+102.306 s] /proc/loadavg: 0.97 0.96 0.91 2/65 27838 /proc/meminfo: memFree=1821048/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=23392 CPUtime=102.24 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 6330 0 0 0 10218 6 0 0 25 0 1 0 270752487 23953408 5134 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 5848 5134 310 324 0 4918 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 23392 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 27838 /proc/meminfo: memFree=1731512/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=113396 CPUtime=162.22 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 28838 0 0 0 16204 18 0 0 25 0 1 0 270752487 116117504 27642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 28349 27642 310 324 0 27419 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 113396 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 27838 /proc/meminfo: memFree=1698808/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=145400 CPUtime=222.2 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 36836 0 0 0 22196 24 0 0 25 0 1 0 270752487 148889600 35640 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 36350 35640 310 324 0 35420 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 145400 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 27838 /proc/meminfo: memFree=1667448/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=176948 CPUtime=282.19 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 44713 0 0 0 28185 34 0 0 25 0 1 0 270752487 181194752 43517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 44237 43517 310 324 0 43307 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 176948 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 27838 /proc/meminfo: memFree=1642040/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=202044 CPUtime=342.17 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 51004 0 0 0 34178 39 0 0 25 0 1 0 270752487 206893056 49808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 50511 49808 310 324 0 49581 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 202044 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 27838 /proc/meminfo: memFree=1625912/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=218132 CPUtime=402.15 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 55034 0 0 0 40172 43 0 0 25 0 1 0 270752487 223367168 53838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 54533 53838 310 324 0 53603 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 218132 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 27838 /proc/meminfo: memFree=1615480/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=228480 CPUtime=462.14 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 57597 0 0 0 46168 46 0 0 25 0 1 0 270752487 233963520 56401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 57120 56401 310 324 0 56190 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 228480 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 27838 /proc/meminfo: memFree=1605432/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=238468 CPUtime=522.12 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 60116 0 0 0 52164 48 0 0 25 0 1 0 270752487 244191232 58920 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 59617 58920 310 324 0 58687 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 238468 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.91 2/65 27838 /proc/meminfo: memFree=1596152/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=247700 CPUtime=582.11 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 62424 0 0 0 58161 50 0 0 25 0 1 0 270752487 253644800 61228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 61925 61228 310 324 0 60995 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 247700 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 27838 /proc/meminfo: memFree=1585976/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=257800 CPUtime=642.1 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 64931 0 0 0 64157 53 0 0 25 0 1 0 270752487 263987200 63735 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 64450 63735 310 324 0 63520 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 257800 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.12 1.00 0.92 2/65 27838 /proc/meminfo: memFree=1472184/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=371348 CPUtime=882.03 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 93330 0 0 0 88127 76 0 0 25 0 1 0 270752487 380260352 92134 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 92837 92134 310 324 0 91907 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 371348 [startup+942.301 s] /proc/loadavg: 1.09 1.01 0.93 2/65 27838 /proc/meminfo: memFree=1450744/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=392936 CPUtime=942.01 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 98723 0 0 0 94119 82 0 0 25 0 1 0 270752487 402366464 97527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 98234 97527 310 324 0 97304 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 392936 [startup+1002.3 s] /proc/loadavg: 1.03 1.01 0.93 2/65 27838 /proc/meminfo: memFree=1437624/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=405740 CPUtime=1001.99 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 101943 0 0 0 100113 86 0 0 25 0 1 0 270752487 415477760 100747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550797 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 101435 100747 310 324 0 100505 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 405740 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 0.93 2/65 27838 /proc/meminfo: memFree=1413816/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=429804 CPUtime=1061.98 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 107955 0 0 0 106106 92 0 0 25 0 1 0 270752487 440119296 106759 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 107451 106759 310 324 0 106521 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 429804 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 27838 /proc/meminfo: memFree=1398392/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=444980 CPUtime=1121.96 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 111733 0 0 0 112100 96 0 0 25 0 1 0 270752487 455659520 110537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 111245 110537 310 324 0 110315 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 444980 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 27838 /proc/meminfo: memFree=1389816/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=453648 CPUtime=1181.95 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 113897 0 0 0 118097 98 0 0 25 0 1 0 270752487 464535552 112701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 113412 112701 310 324 0 112482 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 453648 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/71 27912 /proc/meminfo: memFree=1375928/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=466164 CPUtime=1241.89 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 117028 0 0 0 124086 103 0 0 25 0 1 0 270752487 477351936 115832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 116541 115832 310 324 0 115611 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 466164 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1364408/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=478496 CPUtime=1301.82 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 120105 0 0 0 130075 107 0 0 25 0 1 0 270752487 489979904 118909 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 119624 118909 310 324 0 118694 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 478496 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1353080/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=489884 CPUtime=1361.8 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 122979 0 0 0 136070 110 0 0 25 0 1 0 270752487 501641216 121783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 122471 121783 310 324 0 121541 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 489884 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1343736/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=499080 CPUtime=1421.79 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 125278 0 0 0 142066 113 0 0 25 0 1 0 270752487 511057920 124082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 124770 124082 310 324 0 123840 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 499080 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1335032/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=508004 CPUtime=1481.77 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 127487 0 0 0 148062 115 0 0 25 0 1 0 270752487 520196096 126291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 127001 126291 310 324 0 126071 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 508004 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1325880/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=517040 CPUtime=1541.75 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 129760 0 0 0 154058 117 0 0 25 0 1 0 270752487 529448960 128564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 129260 128564 310 324 0 128330 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 517040 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1317624/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=525328 CPUtime=1601.73 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 131829 0 0 0 160055 118 0 0 25 0 1 0 270752487 537935872 130633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 131332 130633 310 324 0 130402 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 525328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1310200/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=532684 CPUtime=1661.72 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 133667 0 0 0 166051 121 0 0 25 0 1 0 270752487 545468416 132471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 133171 132471 310 324 0 132241 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 532684 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1300920/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=542104 CPUtime=1721.71 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 136011 0 0 0 172048 123 0 0 25 0 1 0 270752487 555114496 134815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 135526 134815 310 324 0 134596 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 542104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1290488/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=552328 CPUtime=1781.69 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 138587 0 0 0 178044 125 0 0 25 0 1 0 270752487 565583872 137391 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 138082 137391 310 324 0 137152 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 552328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1286776/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=556064 CPUtime=1800.09 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 139493 0 0 0 179883 126 0 0 25 0 1 0 270752487 569409536 138297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 139016 138297 310 324 0 138086 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 556064 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28036 /proc/meminfo: memFree=1286776/2055920 swapFree=4183928/4192956 [pid=27835] ppid=27833 vsize=556064 CPUtime=1800.09 /proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 139493 0 0 0 179883 126 0 0 25 0 1 0 270752487 569409536 138297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27835/statm: 139016 138297 310 324 0 138086 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 556064 Child status: 15 Real time (s): 1800.8 CPU time (s): 1800.19 CPU user time (s): 1798.83 CPU system time (s): 1.35579 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 556064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.83 system time used= 1.35579 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 139497 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= 11 involuntary context switches= 5347 runsolver used 1.45378 second user time and 3.52046 second system time The end
Begin job on node68 on Mon Apr 30 15:40:30 UTC 2007 IDJOB= 432687 IDBENCH= 1686 IDSOLVER= 199 FILE ID= node68/432687-1177947629 PBS_JOBID= 4727531 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-scrs8.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432687-1177947629/instance-432687-1177947629.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-432687-1177947629 -o ROOT/results/node68/solver-432687-1177947629 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432687-1177947629/instance-432687-1177947629.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= f3194c704d6cb84122c01530d022722f RANDOM SEED= 455967231 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 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.216 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: 1840848 kB Buffers: 19464 kB Cached: 117364 kB SwapCached: 3048 kB Active: 31400 kB Inactive: 115124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840848 kB SwapTotal: 4192956 kB SwapFree: 4183928 kB Dirty: 7936 kB Writeback: 0 kB Mapped: 15736 kB Slab: 54616 kB Committed_AS: 3045832 kB PageTables: 1380 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 node68 on Mon Apr 30 16:10:32 UTC 2007