Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.1 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-shell.opb |
MD5SUM | 78fcc08f79c3a8f3db518f692b6ae82d |
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 | 45231 |
Total number of constraints | 653 |
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 | 653 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1560 |
Number of terms in the objective function | 39844 |
Biggest coefficient in the objective function | 4408 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 557557 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 557557 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.02 c Time Limit set to 1800 0.00/0.02 c Memory Limit set to 1800 MB 0.00/0.02 c Instance file /tmp/evaluation/348306-1176576070/instance-348306-1176576070.opb 0.00/0.02 c File size is 1405065 bytes. 0.27/0.30 c Highest Coefficient sum: 557557 0.27/0.30 c Parsing was ok!! 0.27/0.30 c Total parsing time: 0.279 s 0.27/0.31 c Var: 45231 Constr: 1187 1/0/1186 Lit: 184095 Watch. Lit: 38203 0.27/0.31 c Obj. Vars: 39844 (88.09 % of total variables) 8.87/8.95 c Pre-processing Time: 8.93 s 8.87/8.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.87/8.95 c 0 37173 1177 182959 155 87783 365438 0 0 8.93 8.87/8.95 c Switching off LPR mode. 1799.95/1801.04 c 107 37173 1284 193049 150 107257 401982 107 11 9.29 1799.95/1801.04 c 258 37173 1435 201978 140 111934 442181 258 27 9.45 1799.95/1801.04 c 483 37173 1660 212397 127 112352 486400 483 51 9.46 1799.95/1801.04 c 824 37173 2001 232580 116 113246 535041 824 79 10.33 1799.95/1801.04 c 1332 37173 2509 257966 102 114111 588546 1332 113 11.72 1799.95/1801.04 c 2096 37173 3273 276788 84 115592 647401 2096 177 11.79 1799.95/1801.04 c 3242 37173 4419 381318 86 117704 712142 3242 266 12.18 1799.95/1801.04 c 4963 37173 6140 511240 83 120956 783357 4963 397 12.49 1799.95/1801.04 c 7547 37173 8724 629618 72 128030 861693 7547 576 13.10 1799.95/1801.04 c 11426 37173 12603 869031 68 135967 947863 11426 830 13.76 1799.95/1801.04 c 17249 37173 18426 1118112 60 147585 500000 17249 1128 15.28 1799.95/1801.04 c 25987 37173 27164 2015110 74 165232 550001 25987 1336 19.44 1799.95/1801.04 c 39097 37173 40274 2645158 65 190706 605002 39097 1464 26.69 1799.95/1801.04 c 58767 37173 59944 4794291 79 235340 665503 58767 1564 37.57 1799.95/1801.04 c 88277 37173 89454 8310403 92 294091 732054 88277 715 123.32 1799.95/1801.04 c 132548 37173 133725 16019539 119 383697 805260 132548 471 281.14 1799.95/1801.04 c 198958 37173 200135 27485767 137 516374 885787 198958 293 677.95 1799.95/1801.04 c 298579 37173 299756 32122316 107 719921 974366 298579 368 810.49 1799.95/1801.04 c 448014 37173 449191 40112631 89 1018114 500000 448014 344 1300.77 1799.95/1801.04 c Resources Exceeded 1799.95/1801.04 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1801.04 c 19 573181 41183 1339975 58161 3313793 56984 318 1800.00 1799.95/1801.04 s UNKNOWN 1799.95/1801.04 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-348306-1176576070 -o ROOT/results/node34/solver-348306-1176576070 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348306-1176576070/instance-348306-1176576070.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.93 1.00 0.99 3/77 10549 /proc/meminfo: memFree=1634504/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=3780 CPUtime=0 /proc/10549/stat : 10549 (bsolo3.0.16) D 10547 10549 9706 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 105522430 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/10549/statm: 945 155 129 324 0 14 0 [startup+0.109917 s] /proc/loadavg: 0.93 1.00 0.99 3/77 10549 /proc/meminfo: memFree=1634504/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=9044 CPUtime=0.08 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 1465 0 5 0 8 0 0 0 18 0 1 0 105522430 9261056 1319 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 2261 1319 392 324 0 986 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9044 [startup+0.201922 s] /proc/loadavg: 0.93 1.00 0.99 3/77 10549 /proc/meminfo: memFree=1634504/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=10360 CPUtime=0.17 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 1895 0 5 0 17 0 0 0 18 0 1 0 105522430 10608640 1749 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8147669 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 2590 1750 508 324 0 1315 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 10360 [startup+0.301931 s] /proc/loadavg: 0.93 1.00 0.99 3/77 10549 /proc/meminfo: memFree=1634504/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=11544 CPUtime=0.27 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 2320 0 5 0 27 0 0 0 19 0 1 0 105522430 11821056 2174 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8154788 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 2886 2174 625 324 0 1611 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 11544 [startup+0.701962 s] /proc/loadavg: 0.93 1.00 0.99 3/77 10549 /proc/meminfo: memFree=1634504/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=18152 CPUtime=0.68 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 4766 0 6 0 63 5 0 0 23 0 1 0 105522430 18587648 3756 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 4538 3756 308 324 0 3607 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 18152 [startup+1.50103 s] /proc/loadavg: 0.93 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1619776/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=18152 CPUtime=1.47 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 4766 0 6 0 142 5 0 0 25 0 1 0 105522430 18587648 3756 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540861 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 4538 3756 308 324 0 3607 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 18152 [startup+3.10115 s] /proc/loadavg: 0.94 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1619648/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=18152 CPUtime=3.07 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 4766 0 6 0 302 5 0 0 25 0 1 0 105522430 18587648 3756 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 4538 3756 308 324 0 3607 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 18152 [startup+6.30141 s] /proc/loadavg: 0.94 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1619464/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=18152 CPUtime=6.27 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 4766 0 6 0 622 5 0 0 25 0 1 0 105522430 18587648 3756 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 4538 3756 308 324 0 3607 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 18152 [startup+12.7019 s] /proc/loadavg: 0.95 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1619016/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=21676 CPUtime=12.67 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 5666 0 6 0 1254 13 0 0 25 0 1 0 105522430 22196224 4656 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 5419 4656 312 324 0 4488 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 21676 [startup+25.5019 s] /proc/loadavg: 0.95 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1586760/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=51296 CPUtime=25.46 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 13055 0 6 0 2525 21 0 0 25 0 1 0 105522430 52527104 12045 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 12824 12045 312 324 0 11893 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 51296 [startup+51.102 s] /proc/loadavg: 0.97 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1541384/2055920 swapFree=4057440/4192956 [pid=10549] ppid=10547 vsize=96688 CPUtime=51.04 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 24428 0 6 0 5068 36 0 0 25 0 1 0 105522430 99008512 23418 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 24172 23418 312 324 0 23241 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 96688 [startup+102.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1515080/2055920 swapFree=4057504/4192956 [pid=10549] ppid=10547 vsize=122532 CPUtime=102.21 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 30880 0 6 0 10175 46 0 0 25 0 1 0 105522430 125472768 29870 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 30633 29870 312 324 0 29702 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 122532 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1458696/2055920 swapFree=4057504/4192956 [pid=10549] ppid=10547 vsize=179076 CPUtime=162.18 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 45013 0 6 0 16152 66 0 0 25 0 1 0 105522430 183373824 44003 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 44769 44003 312 324 0 43838 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 179076 [startup+222.306 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1425352/2055920 swapFree=4057504/4192956 [pid=10549] ppid=10547 vsize=212068 CPUtime=222.14 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 53248 0 6 0 22138 76 0 0 25 0 1 0 105522430 217157632 52238 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 53017 52238 312 324 0 52086 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 212068 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1404104/2055920 swapFree=4057568/4192956 [pid=10549] ppid=10547 vsize=233840 CPUtime=282.1 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 58687 0 6 0 28127 83 0 0 25 0 1 0 105522430 239452160 57677 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 58460 57677 312 324 0 57529 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 233840 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1362312/2055920 swapFree=4057568/4192956 [pid=10549] ppid=10547 vsize=274880 CPUtime=342.08 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 68956 0 6 0 34113 95 0 0 25 0 1 0 105522430 281477120 67946 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134585158 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 68720 67946 312 324 0 67789 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 274880 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1337352/2055920 swapFree=4057632/4192956 [pid=10549] ppid=10547 vsize=299960 CPUtime=402.02 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 75216 0 6 0 40098 104 0 0 25 0 1 0 105522430 307159040 74206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 74990 74207 312 324 0 74059 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 299960 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1316296/2055920 swapFree=4057632/4192956 [pid=10549] ppid=10547 vsize=320668 CPUtime=461.99 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 80392 0 6 0 46088 111 0 0 25 0 1 0 105522430 328364032 79382 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 80167 79382 312 324 0 79236 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 320668 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1293384/2055920 swapFree=4057632/4192956 [pid=10549] ppid=10547 vsize=343832 CPUtime=521.97 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 86186 0 6 0 52077 120 0 0 25 0 1 0 105522430 352083968 85176 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 85958 85176 312 324 0 85027 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 343832 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1273096/2055920 swapFree=4057696/4192956 [pid=10549] ppid=10547 vsize=363792 CPUtime=581.93 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 91188 0 6 0 58067 126 0 0 25 0 1 0 105522430 372523008 90178 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 90948 90178 312 324 0 90017 0 Current children cumulated CPU time (s) 581.93 Current children cumulated vsize (KiB) 363792 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1259976/2055920 swapFree=4057696/4192956 [pid=10549] ppid=10547 vsize=376788 CPUtime=641.9 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 94434 0 6 0 64059 131 0 0 25 0 1 0 105522430 385830912 93424 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 94197 93424 312 324 0 93266 0 Current children cumulated CPU time (s) 641.9 Current children cumulated vsize (KiB) 376788 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1167432/2055920 swapFree=4057824/4192956 [pid=10549] ppid=10547 vsize=469064 CPUtime=821.79 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 117518 0 6 0 81996 183 0 0 25 0 1 0 105522430 480321536 116508 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 117266 116508 312 324 0 116335 0 Current children cumulated CPU time (s) 821.79 Current children cumulated vsize (KiB) 469064 [startup+882.307 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1133768/2055920 swapFree=4057824/4192956 [pid=10549] ppid=10547 vsize=502396 CPUtime=881.78 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 125858 0 6 0 87977 201 0 0 25 0 1 0 105522430 514453504 124848 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 125599 124848 312 324 0 124668 0 Current children cumulated CPU time (s) 881.78 Current children cumulated vsize (KiB) 502396 [startup+942.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1114440/2055920 swapFree=4057824/4192956 [pid=10549] ppid=10547 vsize=521740 CPUtime=941.74 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 130696 0 6 0 93963 211 0 0 25 0 1 0 105522430 534261760 129686 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 130435 129686 312 324 0 129504 0 Current children cumulated CPU time (s) 941.74 Current children cumulated vsize (KiB) 521740 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1103240/2055920 swapFree=4057888/4192956 [pid=10549] ppid=10547 vsize=532772 CPUtime=1001.7 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 133449 0 6 0 99954 216 0 0 25 0 1 0 105522430 545558528 132439 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551166 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 133193 132439 312 324 0 132262 0 Current children cumulated CPU time (s) 1001.7 Current children cumulated vsize (KiB) 532772 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1092424/2055920 swapFree=4057888/4192956 [pid=10549] ppid=10547 vsize=543660 CPUtime=1061.68 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 136162 0 6 0 105947 221 0 0 25 0 1 0 105522430 556707840 135152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 135915 135152 312 324 0 134984 0 Current children cumulated CPU time (s) 1061.68 Current children cumulated vsize (KiB) 543660 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1082952/2055920 swapFree=4057952/4192956 [pid=10549] ppid=10547 vsize=552980 CPUtime=1121.64 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 138480 0 6 0 111939 225 0 0 25 0 1 0 105522430 566251520 137470 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 138245 137470 312 324 0 137314 0 Current children cumulated CPU time (s) 1121.64 Current children cumulated vsize (KiB) 552980 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10550 /proc/meminfo: memFree=1074888/2055920 swapFree=4057952/4192956 [pid=10549] ppid=10547 vsize=561004 CPUtime=1181.6 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 140488 0 6 0 117930 230 0 0 25 0 1 0 105522430 574468096 139478 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 140251 139478 312 324 0 139320 0 Current children cumulated CPU time (s) 1181.6 Current children cumulated vsize (KiB) 561004 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/84 10726 /proc/meminfo: memFree=1066264/2055920 swapFree=4057952/4192956 [pid=10549] ppid=10547 vsize=568132 CPUtime=1241.57 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 142273 0 6 0 123908 249 0 0 25 0 1 0 105522430 581767168 141263 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 142033 141263 312 324 0 141102 0 Current children cumulated CPU time (s) 1241.57 Current children cumulated vsize (KiB) 568132 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10748 /proc/meminfo: memFree=1060360/2055920 swapFree=4058016/4192956 [pid=10549] ppid=10547 vsize=578384 CPUtime=1301.54 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 144842 0 6 0 129899 255 0 0 25 0 1 0 105522430 592265216 143832 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 144596 143832 312 324 0 143665 0 Current children cumulated CPU time (s) 1301.54 Current children cumulated vsize (KiB) 578384 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10748 /proc/meminfo: memFree=986248/2055920 swapFree=4058016/4192956 [pid=10549] ppid=10547 vsize=648884 CPUtime=1361.5 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 162989 0 6 0 135871 279 0 0 25 0 1 0 105522430 664457216 161461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 162221 161461 312 324 0 161290 0 Current children cumulated CPU time (s) 1361.5 Current children cumulated vsize (KiB) 648884 [startup+1422.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10748 /proc/meminfo: memFree=986248/2055920 swapFree=4058080/4192956 [pid=10549] ppid=10547 vsize=648884 CPUtime=1421.47 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 162989 0 6 0 141867 280 0 0 25 0 1 0 105522430 664457216 161461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 162221 161461 312 324 0 161290 0 Current children cumulated CPU time (s) 1421.47 Current children cumulated vsize (KiB) 648884 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10748 /proc/meminfo: memFree=986120/2055920 swapFree=4058080/4192956 [pid=10549] ppid=10547 vsize=648884 CPUtime=1481.43 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 162989 0 6 0 147863 280 0 0 25 0 1 0 105522430 664457216 161461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 162221 161461 312 324 0 161290 0 Current children cumulated CPU time (s) 1481.43 Current children cumulated vsize (KiB) 648884 [startup+1542.31 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10748 /proc/meminfo: memFree=985992/2055920 swapFree=4058080/4192956 [pid=10549] ppid=10547 vsize=648884 CPUtime=1541.41 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 162989 0 6 0 153861 280 0 0 25 0 1 0 105522430 664457216 161461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 162221 161461 312 324 0 161290 0 Current children cumulated CPU time (s) 1541.41 Current children cumulated vsize (KiB) 648884 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10748 /proc/meminfo: memFree=986056/2055920 swapFree=4058144/4192956 [pid=10549] ppid=10547 vsize=648884 CPUtime=1601.36 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 162989 0 6 0 159856 280 0 0 25 0 1 0 105522430 664457216 161461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 162221 161461 312 324 0 161290 0 Current children cumulated CPU time (s) 1601.36 Current children cumulated vsize (KiB) 648884 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 10748 /proc/meminfo: memFree=985992/2055920 swapFree=4058144/4192956 [pid=10549] ppid=10547 vsize=648884 CPUtime=1661.32 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 162989 0 6 0 165852 280 0 0 25 0 1 0 105522430 664457216 161461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 162221 161461 312 324 0 161290 0 Current children cumulated CPU time (s) 1661.32 Current children cumulated vsize (KiB) 648884 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 10748 /proc/meminfo: memFree=985928/2055920 swapFree=4058208/4192956 [pid=10549] ppid=10547 vsize=648884 CPUtime=1721.29 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 162989 0 6 0 171847 282 0 0 25 0 1 0 105522430 664457216 161461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 162221 161461 312 324 0 161290 0 Current children cumulated CPU time (s) 1721.29 Current children cumulated vsize (KiB) 648884 [startup+1782.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 10748 /proc/meminfo: memFree=985672/2055920 swapFree=4058208/4192956 [pid=10549] ppid=10547 vsize=648884 CPUtime=1781.26 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194304 162989 0 6 0 177838 288 0 0 25 0 1 0 105522430 664457216 161461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 162221 161461 312 324 0 161290 0 Current children cumulated CPU time (s) 1781.26 Current children cumulated vsize (KiB) 648884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.1 s] /proc/loadavg: 1.12 1.04 1.01 2/78 10748 /proc/meminfo: memFree=1329672/2055920 swapFree=4058208/4192956 [pid=10549] ppid=10547 vsize=0 CPUtime=1800.05 /proc/10549/stat : 10549 (bsolo3.0.16) R 10547 10549 9706 0 -1 4194308 162990 0 6 0 179710 295 0 0 25 0 1 0 105522430 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10549/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1801.15 CPU time (s): 1800.1 CPU user time (s): 1797.11 CPU system time (s): 2.99154 CPU usage (%): 99.9419 Max. virtual memory (cumulated for all children) (KiB): 650956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.11 system time used= 2.99154 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 162990 page faults= 6 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 39502 runsolver used 1.81772 second user time and 4.74928 second system time The end
Begin job on node34 on Sat Apr 14 18:41:10 UTC 2007 IDJOB= 348306 IDBENCH= 1649 IDSOLVER= 163 FILE ID= node34/348306-1176576070 PBS_JOBID= 4556913 Free space on /tmp= 66559 MiB SOLVER NAME= bsolo 3.0.16 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-shell.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348306-1176576070/instance-348306-1176576070.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-348306-1176576070 -o ROOT/results/node34/solver-348306-1176576070 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348306-1176576070/instance-348306-1176576070.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 78fcc08f79c3a8f3db518f692b6ae82d RANDOM SEED= 394287767 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.236 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.236 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: 1634976 kB Buffers: 10656 kB Cached: 94136 kB SwapCached: 78196 kB Active: 195648 kB Inactive: 134224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1634976 kB SwapTotal: 4192956 kB SwapFree: 4057440 kB Dirty: 5856 kB Writeback: 0 kB Mapped: 163944 kB Slab: 76420 kB Committed_AS: 387404 kB PageTables: 1988 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= 66559 MiB End job on node34 on Sat Apr 14 19:11:13 UTC 2007