Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.24 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-nesm.opb |
MD5SUM | 06abf2507bf67e08d71dcaed3569abdd |
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 | 60075 |
Total number of constraints | 2257 |
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 | 2257 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 941 |
Number of terms in the objective function | 8142 |
Biggest coefficient in the objective function | 10478 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 531689 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531689 |
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/432712-1177948172/instance-432712-1177948172.opb 0.00/0.00 c File size is 3045524 bytes. 0.59/0.64 c Highest Coefficient sum: 531689 0.59/0.64 c Parsing was ok!! 0.59/0.64 c Total parsing time: 0.643 s 0.59/0.69 c Var: 60075 Constr: 2737 0/0/2737 Lit: 512542 Watch. Lit: 171575 0.59/0.69 c Obj. Vars: 8142 (13.5531 % of total variables) 34.29/34.32 c Pre-processing Time: 34.313 s 34.29/34.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.29/34.32 c 0 49162 2709 501564 185 313882 500000 0 0 34.31 34.29/34.32 c Switching off LPR mode. 1800.07/1800.61 c 100 49162 2809 502583 178 314193 550001 100 2 34.36 1800.07/1800.61 c 251 49162 2960 504892 170 314491 605002 251 7 34.60 1800.07/1800.61 c 476 49162 3185 508569 159 314918 665503 476 13 34.65 1800.07/1800.61 c 814 49162 3523 518798 147 315691 732054 814 23 34.82 1800.07/1800.61 c 1322 49162 4031 544001 134 316576 805260 1322 37 35.31 1800.07/1800.61 c 2085 49162 4794 573240 119 318007 885787 2085 58 35.90 1800.07/1800.61 c 3232 49162 5941 628272 105 320329 974366 3232 87 37.04 1800.07/1800.61 c 4955 49162 7664 709808 92 323723 500000 4955 119 41.30 1800.07/1800.61 c 7541 49162 10250 841009 82 328940 550001 7541 168 44.77 1800.07/1800.61 c 11421 49162 14130 1059501 74 336642 605002 11421 247 46.10 1800.07/1800.61 c 17244 49162 19953 1254749 62 348166 665503 17244 351 49.12 1800.07/1800.61 c 25981 49162 28690 1708989 59 365575 732054 25981 415 62.49 1800.07/1800.61 c 39091 49161 41800 2860915 68 403956 805260 39091 392 99.52 1800.07/1800.61 c 58762 49161 61471 4467431 72 444252 885787 58762 443 132.57 1800.07/1800.61 c 88272 49161 90981 6769377 74 508075 974366 88272 450 195.93 1800.07/1800.61 c 132542 49161 135251 9814023 72 596787 500000 132542 488 271.11 1800.07/1800.61 c 198954 49161 201663 15877128 78 729344 550001 198954 495 401.29 1800.07/1800.61 c 298574 49161 301283 25638010 85 928352 605002 298574 374 797.34 1800.07/1800.61 c 448009 49161 450718 42170327 93 1227143 665503 448009 276 1621.04 1800.07/1800.61 c Caught signal: 15 1800.07/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.61 c 19 504680 6048 6396836 507389 74296885 504680 280 1800.08 1800.07/1800.61 s UNKNOWN 1800.07/1800.61 c Total time: 1800.08 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-432712-1177948172 -o ROOT/results/node26/solver-432712-1177948172 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432712-1177948172/instance-432712-1177948172.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.95 3/77 5144 /proc/meminfo: memFree=1401552/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=14712 CPUtime=0 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242734042 15065088 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 3678 333 279 324 0 2004 0 [startup+0.087763 s] /proc/loadavg: 0.92 0.98 0.95 3/77 5144 /proc/meminfo: memFree=1401552/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=9044 CPUtime=0.08 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 1040 0 0 0 8 0 0 0 18 0 1 0 242734042 9261056 970 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 2261 970 398 324 0 587 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9044 [startup+0.101765 s] /proc/loadavg: 0.92 0.98 0.95 3/77 5144 /proc/meminfo: memFree=1401552/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=9508 CPUtime=0.09 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 1161 0 0 0 9 0 0 0 18 0 1 0 242734042 9736192 1091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 2377 1091 417 324 0 703 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9508 [startup+0.301783 s] /proc/loadavg: 0.92 0.98 0.95 3/77 5144 /proc/meminfo: memFree=1401552/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=13568 CPUtime=0.29 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 2524 0 0 0 29 0 0 0 19 0 1 0 242734042 13893632 2326 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 3392 2326 638 324 0 1718 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13568 [startup+0.701819 s] /proc/loadavg: 0.92 0.98 0.95 3/77 5144 /proc/meminfo: memFree=1401552/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=24496 CPUtime=0.69 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 6302 0 0 0 68 1 0 0 23 0 1 0 242734042 25083904 5360 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 6124 5360 304 324 0 5194 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24496 [startup+1.50189 s] /proc/loadavg: 0.92 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1378248/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=28008 CPUtime=1.49 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 7093 0 0 0 147 2 0 0 25 0 1 0 242734042 28680192 6151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 7002 6151 304 324 0 6072 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28008 [startup+3.10104 s] /proc/loadavg: 0.93 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1377928/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=28140 CPUtime=3.08 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 7114 0 0 0 305 3 0 0 25 0 1 0 242734042 28815360 6172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 7035 6172 304 324 0 6105 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28140 [startup+6.30134 s] /proc/loadavg: 0.93 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1377616/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=28140 CPUtime=6.29 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 7121 0 0 0 625 4 0 0 25 0 1 0 242734042 28815360 6179 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 7035 6179 304 324 0 6105 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28140 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1372112/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=33876 CPUtime=12.68 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 9137 0 0 0 1262 6 0 0 25 0 1 0 242734042 34689024 7607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 8469 7607 306 324 0 7539 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33876 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1372176/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=33876 CPUtime=25.49 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 9137 0 0 0 2541 8 0 0 25 0 1 0 242734042 34689024 7607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 8469 7607 306 324 0 7539 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33876 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1366032/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=40344 CPUtime=51.08 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 10782 0 0 0 5098 10 0 0 25 0 1 0 242734042 41312256 9252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 10086 9252 310 324 0 9156 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40344 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1340368/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=65616 CPUtime=102.27 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 17125 0 0 0 10213 14 0 0 25 0 1 0 242734042 67190784 15595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13033202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 16404 15595 310 324 0 15474 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 65616 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1304144/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=102148 CPUtime=162.25 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 26242 0 0 0 16204 21 0 0 25 0 1 0 242734042 104599552 24712 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 25537 24712 310 324 0 24607 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 102148 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1264272/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=141400 CPUtime=222.23 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 36088 0 0 0 22195 28 0 0 25 0 1 0 242734042 144793600 34558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 35350 34558 310 324 0 34420 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 141400 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1235920/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=170260 CPUtime=282.22 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 43299 0 0 0 28186 36 0 0 25 0 1 0 242734042 174346240 41769 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 42565 41769 310 324 0 41635 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 170260 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1193232/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=212468 CPUtime=342.21 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 53836 0 0 0 34178 43 0 0 25 0 1 0 242734042 217567232 52306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 53117 52306 310 324 0 52187 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 212468 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1158416/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=247320 CPUtime=402.19 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 62549 0 0 0 40169 50 0 0 25 0 1 0 242734042 253255680 61019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 61830 61019 310 324 0 60900 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 247320 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1123472/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=282020 CPUtime=462.17 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 71230 0 0 0 46159 58 0 0 25 0 1 0 242734042 288788480 69700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 70505 69700 310 324 0 69575 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 282020 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1101392/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=304124 CPUtime=522.16 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 76764 0 0 0 52151 65 0 0 25 0 1 0 242734042 311422976 75234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 76031 75234 310 324 0 75101 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 304124 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1082576/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=322860 CPUtime=582.15 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 81431 0 0 0 58144 71 0 0 25 0 1 0 242734042 330608640 79901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 80715 79901 310 324 0 79785 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 322860 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5145 /proc/meminfo: memFree=1065488/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=339660 CPUtime=642.13 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 85638 0 0 0 64138 75 0 0 25 0 1 0 242734042 347811840 84108 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 84915 84108 310 324 0 83985 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 339660 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=982160/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=422804 CPUtime=881.99 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 106439 0 0 0 88101 98 0 0 25 0 1 0 242734042 432951296 104909 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 105701 104909 310 324 0 104771 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 422804 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=959568/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=445616 CPUtime=941.97 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 112132 0 0 0 94094 103 0 0 25 0 1 0 242734042 456310784 110602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 111404 110602 310 324 0 110474 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 445616 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=939024/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=465988 CPUtime=1001.96 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 117235 0 0 0 100088 108 0 0 25 0 1 0 242734042 477171712 115705 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 116497 115705 310 324 0 115567 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 465988 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=921680/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=483520 CPUtime=1061.95 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 121605 0 0 0 106082 113 0 0 25 0 1 0 242734042 495124480 120075 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 120880 120075 310 324 0 119950 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 483520 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=903824/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=501068 CPUtime=1121.93 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 125999 0 0 0 112074 119 0 0 25 0 1 0 242734042 513093632 124469 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 125267 124469 310 324 0 124337 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 501068 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=888464/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=516528 CPUtime=1181.92 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 129871 0 0 0 118069 123 0 0 25 0 1 0 242734042 528924672 128341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 129132 128341 310 324 0 128202 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 516528 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=872912/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=532016 CPUtime=1241.9 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 133739 0 0 0 124061 129 0 0 25 0 1 0 242734042 544784384 132209 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 133004 132209 310 324 0 132074 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 532016 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=854928/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=549780 CPUtime=1301.89 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 138181 0 0 0 130056 133 0 0 25 0 1 0 242734042 562974720 136651 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 137445 136651 310 324 0 136515 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 549780 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=838608/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=566300 CPUtime=1361.87 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 142291 0 0 0 136049 138 0 0 25 0 1 0 242734042 579891200 140761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 141575 140761 310 324 0 140645 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 566300 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=826768/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=577908 CPUtime=1421.86 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 145217 0 0 0 142044 142 0 0 25 0 1 0 242734042 591777792 143687 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 144477 143687 310 324 0 143547 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 577908 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=816848/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=587952 CPUtime=1481.85 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 147726 0 0 0 148039 146 0 0 25 0 1 0 242734042 602062848 146196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 146988 146196 310 324 0 146058 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 587952 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=808080/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=596704 CPUtime=1541.83 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 149902 0 0 0 154035 148 0 0 25 0 1 0 242734042 611024896 148372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 149176 148372 310 324 0 148246 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 596704 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=798224/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=606772 CPUtime=1601.81 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 152408 0 0 0 160030 151 0 0 25 0 1 0 242734042 621334528 150878 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 151693 150878 310 324 0 150763 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 606772 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=671248/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=734284 CPUtime=1661.8 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 184315 0 0 0 166011 169 0 0 25 0 1 0 242734042 751906816 182785 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 183571 182785 310 324 0 182641 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 734284 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=499792/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=905888 CPUtime=1721.78 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 227201 0 0 0 171986 192 0 0 25 0 1 0 242734042 927629312 225671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 226472 225671 310 324 0 225542 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 905888 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=404240/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=1000268 CPUtime=1781.77 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 250805 0 0 0 177970 207 0 0 25 0 1 0 242734042 1024274432 249275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 250067 249275 310 324 0 249137 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1000268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=379728/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=1024140 CPUtime=1800.07 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194304 256779 0 0 0 179795 212 0 0 25 0 1 0 242734042 1048719360 255249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 256035 255249 310 324 0 255105 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1024140 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: 0.99 0.98 0.95 2/78 5343 /proc/meminfo: memFree=379728/2055920 swapFree=4170240/4192956 [pid=5144] ppid=5142 vsize=0 CPUtime=1800.18 /proc/5144/stat : 5144 (bsolo3.0.17) R 5142 5144 4732 0 -1 4194308 256783 0 0 0 179796 222 0 0 25 0 1 0 242734042 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/5144/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.77 CPU time (s): 1800.24 CPU user time (s): 1797.96 CPU system time (s): 2.27965 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1024140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.96 system time used= 2.27965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 256783 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= 37462 runsolver used 1.36379 second user time and 3.9294 second system time The end
Begin job on node26 on Mon Apr 30 15:49:32 UTC 2007 IDJOB= 432712 IDBENCH= 1711 IDSOLVER= 199 FILE ID= node26/432712-1177948172 PBS_JOBID= 4727823 Free space on /tmp= 66555 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-nesm.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432712-1177948172/instance-432712-1177948172.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-432712-1177948172 -o ROOT/results/node26/solver-432712-1177948172 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432712-1177948172/instance-432712-1177948172.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 06abf2507bf67e08d71dcaed3569abdd RANDOM SEED= 476000558 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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: 1402024 kB Buffers: 60600 kB Cached: 494448 kB SwapCached: 3640 kB Active: 350952 kB Inactive: 227816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1402024 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 9592 kB Writeback: 0 kB Mapped: 30976 kB Slab: 60692 kB Committed_AS: 1342176 kB PageTables: 1716 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= 66555 MiB End job on node26 on Mon Apr 30 16:19:35 UTC 2007