Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.14 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-standgub.opb |
MD5SUM | be7d2de9880253117af16fa9444a1c79 |
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 | 33244 |
Total number of constraints | 456 |
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 | 456 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22350 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 86232 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524437 |
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 | 542229 |
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/432667-1177947346/instance-432667-1177947346.opb 0.00/0.00 c File size is 923451 bytes. 0.19/0.20 c Highest Coefficient sum: 542229 0.19/0.20 c Parsing was ok!! 0.19/0.20 c Total parsing time: 0.198 s 0.19/0.21 c Var: 33244 Constr: 617 4/0/613 Lit: 154254 Watch. Lit: 53677 0.19/0.21 c Obj. Vars: 210 (0.631693 % of total variables) 26.68/26.78 c Pre-processing Time: 26.774 s 26.68/26.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.68/26.78 c 0 19436 579 146223 252 108768 292267 0 0 26.77 26.68/26.78 c Switching off LPR mode. 1800.07/1800.71 c 100 19436 679 166679 245 109753 321494 100 3 27.00 1800.07/1800.71 c 250 19436 829 189172 228 110049 353644 250 9 27.19 1800.07/1800.71 c 475 19436 1054 224666 213 110502 389009 475 17 27.43 1800.07/1800.71 c 813 19436 1392 283815 203 111555 427910 813 28 28.04 1800.07/1800.71 c 1325 19436 1904 376659 197 112583 470702 1325 45 28.92 1800.07/1800.71 c 2088 19436 2667 528048 197 114109 517773 2088 67 30.87 1800.07/1800.71 c 3236 19436 3815 706022 185 116406 569551 3236 96 33.50 1800.07/1800.71 c 4962 19436 5541 1133348 204 120096 626507 4962 142 34.87 1800.07/1800.71 c 7546 19436 8125 1586700 195 125260 689158 7546 196 38.43 1800.07/1800.71 c 11426 19432 12005 2396810 199 133164 758074 11426 233 49.01 1800.07/1800.71 c 17248 19432 17827 3002905 168 144736 833882 17248 235 73.37 1800.07/1800.71 c 25990 19432 26569 6743332 253 162229 917271 25990 260 99.59 1800.07/1800.71 c 39100 19432 39679 11227822 282 188410 500000 39100 231 169.24 1800.07/1800.71 c 58770 19432 59349 12808421 215 227766 550001 58770 233 251.67 1800.07/1800.71 c 88281 19432 88860 19538755 219 286749 605002 88281 181 487.51 1800.07/1800.71 c 132551 19432 133130 23895513 179 375056 665503 132551 114 1159.21 1800.07/1800.71 c Caught signal: 15 1800.07/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.71 c 16 155621 35272 1305187 156200 25070396 155621 86 1800.08 1800.07/1800.71 s UNKNOWN 1800.07/1800.71 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/node74/watcher-432667-1177947346 -o ROOT/results/node74/solver-432667-1177947346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432667-1177947346/instance-432667-1177947346.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.91 0.95 0.90 3/66 2125 /proc/meminfo: memFree=1794072/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=12640 CPUtime=0 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242649434 12943360 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 3160 333 279 324 0 2004 0 [startup+0.0882739 s] /proc/loadavg: 0.91 0.95 0.90 3/66 2125 /proc/meminfo: memFree=1794072/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=7732 CPUtime=0.08 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 1231 0 0 0 8 0 0 0 18 0 1 0 242649434 7917568 1161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 1933 1161 376 324 0 777 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7732 [startup+0.101274 s] /proc/loadavg: 0.91 0.95 0.90 3/66 2125 /proc/meminfo: memFree=1794072/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=8004 CPUtime=0.09 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 1307 0 0 0 9 0 0 0 18 0 1 0 242649434 8196096 1237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 2001 1237 392 324 0 845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8004 [startup+0.301297 s] /proc/loadavg: 0.91 0.95 0.90 3/66 2125 /proc/meminfo: memFree=1794072/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=13872 CPUtime=0.29 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3177 0 0 0 28 1 0 0 19 0 1 0 242649434 14204928 2749 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 3468 2749 304 324 0 2538 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13872 [startup+0.701343 s] /proc/loadavg: 0.91 0.95 0.90 3/66 2125 /proc/meminfo: memFree=1794072/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=14004 CPUtime=0.69 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3191 0 0 0 68 1 0 0 22 0 1 0 242649434 14340096 2763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 3501 2763 304 324 0 2571 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14004 [startup+1.50144 s] /proc/loadavg: 0.91 0.95 0.90 2/67 2126 /proc/meminfo: memFree=1784144/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=14004 CPUtime=1.49 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3191 0 0 0 148 1 0 0 25 0 1 0 242649434 14340096 2763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 3501 2763 304 324 0 2571 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14004 [startup+3.10162 s] /proc/loadavg: 0.91 0.95 0.90 2/67 2126 /proc/meminfo: memFree=1783760/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=14004 CPUtime=3.09 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3191 0 0 0 308 1 0 0 25 0 1 0 242649434 14340096 2763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 3501 2763 304 324 0 2571 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14004 [startup+6.30199 s] /proc/loadavg: 0.92 0.95 0.90 2/67 2126 /proc/meminfo: memFree=1783768/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=14004 CPUtime=6.29 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3191 0 0 0 627 2 0 0 25 0 1 0 242649434 14340096 2763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 3501 2763 304 324 0 2571 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14004 [startup+12.7017 s] /proc/loadavg: 0.93 0.95 0.90 2/67 2126 /proc/meminfo: memFree=1783768/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=14004 CPUtime=12.68 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3191 0 0 0 1266 2 0 0 25 0 1 0 242649434 14340096 2763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 3501 2763 304 324 0 2571 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14004 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.91 2/67 2126 /proc/meminfo: memFree=1782744/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=15352 CPUtime=25.48 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3872 0 0 0 2544 4 0 0 25 0 1 0 242649434 15720448 3119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 3838 3119 306 324 0 2908 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15352 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.91 2/67 2126 /proc/meminfo: memFree=1752344/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=46556 CPUtime=51.08 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 11694 0 0 0 5099 9 0 0 25 0 1 0 242649434 47673344 10941 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 11639 10941 310 324 0 10709 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46556 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/67 2126 /proc/meminfo: memFree=1694744/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=103216 CPUtime=102.27 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 25876 0 0 0 10210 17 0 0 25 0 1 0 242649434 105693184 25123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 25804 25123 310 324 0 24874 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 103216 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2126 /proc/meminfo: memFree=1644632/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=153480 CPUtime=162.24 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 38424 0 0 0 16199 25 0 0 25 0 1 0 242649434 157163520 37671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 38370 37671 310 324 0 37440 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 153480 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2126 /proc/meminfo: memFree=1627096/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=170680 CPUtime=222.22 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 42713 0 0 0 22193 29 0 0 25 0 1 0 242649434 174776320 41960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 42670 41960 310 324 0 41740 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 170680 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2126 /proc/meminfo: memFree=1615000/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=182684 CPUtime=282.21 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 45715 0 0 0 28190 31 0 0 25 0 1 0 242649434 187068416 44962 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 45671 44962 310 324 0 44741 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 182684 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1613592/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=184048 CPUtime=342.19 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 46073 0 0 0 34188 31 0 0 25 0 1 0 242649434 188465152 45320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 46012 45320 310 324 0 45082 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 184048 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1612120/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=185520 CPUtime=402.17 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 46433 0 0 0 40186 31 0 0 25 0 1 0 242649434 189972480 45680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 46380 45680 310 324 0 45450 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 185520 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1560664/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=237436 CPUtime=462.16 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 59404 0 0 0 46175 41 0 0 25 0 1 0 242649434 243134464 58651 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 59359 58651 310 324 0 58429 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 237436 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1503640/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=293824 CPUtime=522.14 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 73514 0 0 0 52162 52 0 0 25 0 1 0 242649434 300875776 72761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10198750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 73456 72761 310 324 0 72526 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 293824 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1488152/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=309868 CPUtime=582.12 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 77542 0 0 0 58157 55 0 0 25 0 1 0 242649434 317304832 76789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 77467 76789 310 324 0 76537 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 309868 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1481688/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=315616 CPUtime=642.11 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 78957 0 0 0 64155 56 0 0 25 0 1 0 242649434 323190784 78204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 78904 78204 310 324 0 77974 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 315616 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1473048/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=324292 CPUtime=882.03 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 81118 0 0 0 88144 59 0 0 25 0 1 0 242649434 332075008 80365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 81073 80365 310 324 0 80143 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 324292 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1471832/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=325544 CPUtime=942.01 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 81434 0 0 0 94142 59 0 0 25 0 1 0 242649434 333357056 80681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 81386 80681 310 324 0 80456 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 325544 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1470680/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=326532 CPUtime=1002 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 81708 0 0 0 100140 60 0 0 25 0 1 0 242649434 334368768 80955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190998 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 81633 80955 310 324 0 80703 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 326532 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1469400/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=327924 CPUtime=1061.98 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 82051 0 0 0 106138 60 0 0 25 0 1 0 242649434 335794176 81298 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 81981 81298 310 324 0 81051 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 327924 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1467480/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=329908 CPUtime=1121.96 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 82551 0 0 0 112135 61 0 0 25 0 1 0 242649434 337825792 81798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 82477 81798 310 324 0 81547 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 329908 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1465752/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=331652 CPUtime=1181.94 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 82968 0 0 0 118132 62 0 0 25 0 1 0 242649434 339611648 82215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 82913 82215 310 324 0 81983 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 331652 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1463704/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=333612 CPUtime=1241.93 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 83474 0 0 0 124130 63 0 0 25 0 1 0 242649434 341618688 82721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 83403 82721 310 324 0 82473 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 333612 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1462168/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=335124 CPUtime=1301.91 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 83846 0 0 0 130128 63 0 0 25 0 1 0 242649434 343166976 83093 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 83781 83093 310 324 0 82851 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 335124 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1460824/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=336452 CPUtime=1361.89 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 84174 0 0 0 136125 64 0 0 25 0 1 0 242649434 344526848 83421 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 84113 83421 310 324 0 83183 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 336452 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1459224/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=338008 CPUtime=1421.87 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 84566 0 0 0 142123 64 0 0 25 0 1 0 242649434 346120192 83813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 84502 83813 310 324 0 83572 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 338008 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 2128 /proc/meminfo: memFree=1457688/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=339588 CPUtime=1481.85 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 84965 0 0 0 148120 65 0 0 25 0 1 0 242649434 347738112 84212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 84897 84212 310 324 0 83967 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 339588 [startup+1542.3 s] /proc/loadavg: 1.11 1.00 0.92 2/73 2292 /proc/meminfo: memFree=1454688/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=341268 CPUtime=1541.77 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 85379 0 0 0 154110 67 0 0 25 0 1 0 242649434 349458432 84626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 85317 84626 310 324 0 84387 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 341268 [startup+1602.3 s] /proc/loadavg: 1.04 1.00 0.92 2/67 2338 /proc/meminfo: memFree=1454032/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=342944 CPUtime=1601.72 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 85806 0 0 0 160104 68 0 0 25 0 1 0 242649434 351174656 85053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 85736 85053 310 324 0 84806 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 342944 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 0.92 2/67 2338 /proc/meminfo: memFree=1452240/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=344756 CPUtime=1661.7 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 86253 0 0 0 166102 68 0 0 25 0 1 0 242649434 353030144 85500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 86189 85500 310 324 0 85259 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 344756 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/67 2338 /proc/meminfo: memFree=1450512/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=346524 CPUtime=1721.69 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 86688 0 0 0 172100 69 0 0 25 0 1 0 242649434 354840576 85935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 86631 85935 310 324 0 85701 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 346524 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/67 2338 /proc/meminfo: memFree=1448720/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=348164 CPUtime=1781.67 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 87108 0 0 0 178097 70 0 0 25 0 1 0 242649434 356519936 86355 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 87041 86355 310 324 0 86111 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 348164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.92 2/67 2338 /proc/meminfo: memFree=1448208/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=348864 CPUtime=1800.07 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 87260 0 0 0 179937 70 0 0 25 0 1 0 242649434 357236736 86507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 87216 86507 310 324 0 86286 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 348864 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.92 2/67 2338 /proc/meminfo: memFree=1448208/2055920 swapFree=4183092/4192956 [pid=2125] ppid=2123 vsize=348864 CPUtime=1800.07 /proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 87260 0 0 0 179937 70 0 0 25 0 1 0 242649434 357236736 86507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2125/statm: 87216 86507 310 324 0 86286 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 348864 Child status: 15 Real time (s): 1800.78 CPU time (s): 1800.14 CPU user time (s): 1799.38 CPU system time (s): 0.760884 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 348864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.38 system time used= 0.760884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87264 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= 3014 runsolver used 1.50177 second user time and 3.48847 second system time The end
Begin job on node74 on Mon Apr 30 15:35:47 UTC 2007 IDJOB= 432667 IDBENCH= 1666 IDSOLVER= 199 FILE ID= node74/432667-1177947346 PBS_JOBID= 4727526 Free space on /tmp= 103238 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standgub.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432667-1177947346/instance-432667-1177947346.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-432667-1177947346 -o ROOT/results/node74/solver-432667-1177947346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432667-1177947346/instance-432667-1177947346.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= be7d2de9880253117af16fa9444a1c79 RANDOM SEED= 388999047 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1794480 kB Buffers: 17264 kB Cached: 160452 kB SwapCached: 3096 kB Active: 77676 kB Inactive: 117076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1794480 kB SwapTotal: 4192956 kB SwapFree: 4183092 kB Dirty: 7584 kB Writeback: 0 kB Mapped: 22996 kB Slab: 52448 kB Committed_AS: 4138332 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103238 MiB End job on node74 on Mon Apr 30 16:05:50 UTC 2007