Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.13 | 1800.6 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg.opb |
MD5SUM | 4f19aa044e880280faec0077a2509ba8 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 4890 |
Total number of constraints | 363 |
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 | 363 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 540 |
Number of terms in the objective function | 3930 |
Biggest coefficient in the objective function | 5373004087296 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 556141355997381 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 22763326668800000 |
Number of bits of the biggest number in a constraint | 55 |
Biggest sum of numbers in a constraint | 46271983665442689 |
Number of bits of the biggest sum of numbers | 56 |
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/433303-1177957465/instance-433303-1177957465.opb 0.00/0.00 c File size is 783503 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Highest Coefficient sum: 4.6272e+16 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.107 s 0.09/0.11 c Var: 4890 Constr: 399 6/0/393 Lit: 56430 Watch. Lit: 31202 0.09/0.11 c Obj. Vars: 3930 (80.3681 % of total variables) 0.19/0.23 c Pre-processing Time: 0.232 s 1800.03/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.50 c 0 2992 175 30930 176 23540 61860 0 0 0.23 1800.03/1800.50 c 101 2992 276 37051 134 24858 68047 101 405 0.25 1800.03/1800.50 c 251 2992 426 50771 119 25900 74852 251 890 0.28 1800.03/1800.50 c 476 2992 651 74393 114 26532 82338 476 963 0.49 1800.03/1800.50 c 815 2992 990 101019 102 27178 90572 815 819 0.99 1800.03/1800.50 c 1325 2992 1500 132970 88 28260 99630 1325 925 1.43 1800.03/1800.50 c 2088 2992 2263 269147 118 29633 109594 2088 1292 1.61 1800.03/1800.50 c 3234 2992 3409 357143 104 31629 120554 3234 1687 1.92 1800.03/1800.50 c 4955 2992 5130 618011 120 35129 132610 4955 2075 2.39 1800.03/1800.50 c 7540 2992 7715 858460 111 40372 145872 7540 2283 3.30 1800.03/1800.50 c 11420 2992 11595 1785632 154 47918 160460 11420 2321 4.92 1800.03/1800.50 c 17243 2992 17418 3136293 180 59531 176507 17243 2391 7.21 1800.03/1800.50 c 25981 2992 26156 5134942 196 76981 194158 25981 2310 11.24 1800.03/1800.50 c 39092 2992 39267 9280399 236 102896 213574 39092 1068 36.58 1800.03/1800.50 c 58763 2992 58938 11667346 197 142219 234932 58763 962 61.08 1800.03/1800.50 c 88275 2991 88450 14412005 162 201043 258426 88275 1061 83.14 1800.03/1800.50 c 132546 2991 132721 17347047 130 289574 284269 132546 748 177.18 1800.03/1800.50 c 198957 2991 199132 23807388 119 422331 312696 198957 757 262.48 1800.03/1800.50 c 298577 2991 298752 42928793 143 621579 343966 298577 175 1701.59 1800.03/1800.50 c Caught signal: 15 1800.03/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.50 c 18 311392 2874 337840 311567 45431941 311392 172 1800.03 1800.03/1800.50 s UNKNOWN 1800.03/1800.50 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-433303-1177957465 -o ROOT/results/node63/solver-433303-1177957465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433303-1177957465/instance-433303-1177957465.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.95 0.90 3/64 14707 /proc/meminfo: memFree=1788428/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=12504 CPUtime=0 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 271736476 12804096 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3183935 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 3126 332 279 324 0 2004 0 [startup+0.0655049 s] /proc/loadavg: 0.92 0.95 0.90 3/64 14707 /proc/meminfo: memFree=1788428/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=5412 CPUtime=0.05 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 653 0 0 0 5 0 0 0 18 0 1 0 271736476 5541888 623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 1353 623 395 324 0 231 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5412 [startup+0.101509 s] /proc/loadavg: 0.92 0.95 0.90 3/64 14707 /proc/meminfo: memFree=1788428/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=5672 CPUtime=0.09 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 789 0 0 0 9 0 0 0 18 0 1 0 271736476 5808128 759 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 1418 759 455 324 0 296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5672 [startup+0.30153 s] /proc/loadavg: 0.92 0.95 0.90 3/64 14707 /proc/meminfo: memFree=1788428/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=6400 CPUtime=0.29 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 1211 0 0 0 28 1 0 0 19 0 1 0 271736476 6553600 983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 1600 983 310 324 0 670 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6400 [startup+0.701572 s] /proc/loadavg: 0.92 0.95 0.90 3/64 14707 /proc/meminfo: memFree=1788428/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=6528 CPUtime=0.69 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 1216 0 0 0 68 1 0 0 22 0 1 0 271736476 6684672 988 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 1632 988 310 324 0 702 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6528 [startup+1.50166 s] /proc/loadavg: 0.93 0.95 0.90 2/65 14708 /proc/meminfo: memFree=1785412/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=7700 CPUtime=1.49 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 1532 0 0 0 148 1 0 0 25 0 1 0 271736476 7884800 1304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 1925 1304 310 324 0 995 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7700 [startup+3.10183 s] /proc/loadavg: 0.93 0.95 0.90 2/65 14708 /proc/meminfo: memFree=1780676/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=16500 CPUtime=3.09 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 3724 0 0 0 307 2 0 0 25 0 1 0 271736476 16896000 3496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 4125 3496 310 324 0 3195 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16500 [startup+6.30116 s] /proc/loadavg: 0.93 0.95 0.90 2/65 14708 /proc/meminfo: memFree=1757508/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=40936 CPUtime=6.29 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 9835 0 0 0 623 6 0 0 25 0 1 0 271736476 41918464 9607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 10234 9607 310 324 0 9304 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40936 [startup+12.7018 s] /proc/loadavg: 0.94 0.96 0.91 2/65 14708 /proc/meminfo: memFree=1717060/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=75932 CPUtime=12.68 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 18584 0 0 0 1258 10 0 0 25 0 1 0 271736476 77754368 18356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 18983 18356 310 324 0 18053 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 75932 [startup+25.5012 s] /proc/loadavg: 0.95 0.96 0.91 2/65 14708 /proc/meminfo: memFree=1678852/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=113480 CPUtime=25.48 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 27957 0 0 0 2532 16 0 0 25 0 1 0 271736476 116203520 27729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 28370 27729 310 324 0 27440 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 113480 [startup+51.1019 s] /proc/loadavg: 0.97 0.96 0.91 2/65 14708 /proc/meminfo: memFree=1641284/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=151056 CPUtime=51.08 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 37372 0 0 0 5085 23 0 0 25 0 1 0 271736476 154681344 37144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 37764 37144 310 324 0 36834 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 151056 [startup+102.304 s] /proc/loadavg: 0.98 0.96 0.91 2/65 14708 /proc/meminfo: memFree=1575812/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=216056 CPUtime=102.26 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 53600 0 0 0 10192 34 0 0 25 0 1 0 271736476 221241344 53372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 54014 53372 310 324 0 53084 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 216056 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1554820/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=236884 CPUtime=162.25 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 58830 0 0 0 16186 39 0 0 25 0 1 0 271736476 242569216 58602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 59221 58602 310 324 0 58291 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 236884 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1518340/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=273520 CPUtime=222.23 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 67982 0 0 0 22178 45 0 0 25 0 1 0 271736476 280084480 67754 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 68380 67754 310 324 0 67450 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 273520 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1430788/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=361200 CPUtime=282.22 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 89905 0 0 0 28160 62 0 0 25 0 1 0 271736476 369868800 89677 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 90300 89677 310 324 0 89370 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 361200 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1396996/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=394400 CPUtime=342.2 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 98188 0 0 0 34150 70 0 0 25 0 1 0 271736476 403865600 97960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 98600 97960 310 324 0 97670 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 394400 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1376900/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=414560 CPUtime=402.18 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 103235 0 0 0 40143 75 0 0 25 0 1 0 271736476 424509440 103007 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 103640 103007 310 324 0 102710 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 414560 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1361540/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=429592 CPUtime=462.17 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 107008 0 0 0 46137 80 0 0 25 0 1 0 271736476 439902208 106780 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 107398 106780 310 324 0 106468 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 429592 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1349252/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=442048 CPUtime=522.15 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 110099 0 0 0 52132 83 0 0 25 0 1 0 271736476 452657152 109871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 110512 109871 310 324 0 109582 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 442048 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1337988/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=453108 CPUtime=582.13 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 112881 0 0 0 58127 86 0 0 25 0 1 0 271736476 463982592 112653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 113277 112653 310 324 0 112347 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 453108 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1327812/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=463136 CPUtime=642.12 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 115389 0 0 0 64124 88 0 0 25 0 1 0 271736476 474251264 115161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 115784 115161 310 324 0 114854 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 463136 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1292164/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=498856 CPUtime=882.06 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 124298 0 0 0 88108 98 0 0 25 0 1 0 271736476 510828544 124070 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 124714 124070 310 324 0 123784 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 498856 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1284228/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=506832 CPUtime=942.04 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 126303 0 0 0 94103 101 0 0 25 0 1 0 271736476 518995968 126075 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3411598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 126708 126075 310 324 0 125778 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 506832 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1276100/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=514808 CPUtime=1002.03 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 128310 0 0 0 100100 103 0 0 25 0 1 0 271736476 527163392 128082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 128702 128082 310 324 0 127772 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 514808 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14708 /proc/meminfo: memFree=1268932/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=522004 CPUtime=1062.02 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 130108 0 0 0 106097 105 0 0 25 0 1 0 271736476 534532096 129880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 130501 129880 310 324 0 129571 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 522004 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14710 /proc/meminfo: memFree=1261764/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=529076 CPUtime=1122 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 131874 0 0 0 112094 106 0 0 25 0 1 0 271736476 541773824 131646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 132269 131646 310 324 0 131339 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 529076 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14710 /proc/meminfo: memFree=1255108/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=535888 CPUtime=1181.99 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 133567 0 0 0 118090 109 0 0 25 0 1 0 271736476 548749312 133339 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 133972 133339 310 324 0 133042 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 535888 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14710 /proc/meminfo: memFree=1248836/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=542076 CPUtime=1241.96 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 135104 0 0 0 124086 110 0 0 25 0 1 0 271736476 555085824 134876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 135519 134876 310 324 0 134589 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 542076 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 14710 /proc/meminfo: memFree=1242500/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=548260 CPUtime=1301.96 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 136667 0 0 0 130084 112 0 0 25 0 1 0 271736476 561418240 136439 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 137065 136439 310 324 0 136135 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 548260 [startup+1362.3 s] /proc/loadavg: 1.04 0.99 0.91 2/65 14710 /proc/meminfo: memFree=1236612/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=554176 CPUtime=1361.94 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 138142 0 0 0 136080 114 0 0 25 0 1 0 271736476 567476224 137914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 138544 137914 310 324 0 137614 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 554176 [startup+1422.31 s] /proc/loadavg: 1.05 1.00 0.92 2/65 14710 /proc/meminfo: memFree=1230596/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=560088 CPUtime=1421.93 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 139616 0 0 0 142077 116 0 0 25 0 1 0 271736476 573530112 139388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 140022 139388 310 324 0 139092 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 560088 [startup+1482.3 s] /proc/loadavg: 1.06 1.01 0.93 2/65 14710 /proc/meminfo: memFree=1224964/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=565748 CPUtime=1481.91 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 141027 0 0 0 148073 118 0 0 25 0 1 0 271736476 579325952 140799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 141437 140799 310 324 0 140507 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 565748 [startup+1542.3 s] /proc/loadavg: 1.12 1.04 0.94 2/65 14710 /proc/meminfo: memFree=1219460/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=571148 CPUtime=1541.89 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 142398 0 0 0 154070 119 0 0 25 0 1 0 271736476 584855552 142170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 142787 142170 310 324 0 141857 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 571148 [startup+1602.3 s] /proc/loadavg: 1.07 1.04 0.94 2/65 14710 /proc/meminfo: memFree=1214084/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=576552 CPUtime=1601.88 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 143750 0 0 0 160067 121 0 0 25 0 1 0 271736476 590389248 143522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 144138 143522 310 324 0 143208 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 576552 [startup+1662.3 s] /proc/loadavg: 1.06 1.05 0.95 2/65 14710 /proc/meminfo: memFree=1209028/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=581572 CPUtime=1661.86 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 144999 0 0 0 166063 123 0 0 25 0 1 0 271736476 595529728 144771 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 145393 144771 310 324 0 144463 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 581572 [startup+1722.3 s] /proc/loadavg: 1.02 1.04 0.95 2/65 14710 /proc/meminfo: memFree=1198404/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=592516 CPUtime=1721.84 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 147716 0 0 0 172059 125 0 0 25 0 1 0 271736476 606736384 147488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 148129 147488 310 324 0 147199 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 592516 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 0.95 2/65 14710 /proc/meminfo: memFree=1178116/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=612484 CPUtime=1781.83 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 152714 0 0 0 178053 130 0 0 25 0 1 0 271736476 627183616 152486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 153121 152486 310 324 0 152191 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 612484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.02 0.95 2/65 14710 /proc/meminfo: memFree=1172356/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=618144 CPUtime=1800.03 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 154123 0 0 0 179871 132 0 0 25 0 1 0 271736476 632979456 153895 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 154536 153895 310 324 0 153606 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 618144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.02 0.95 2/65 14710 /proc/meminfo: memFree=1172356/2055920 swapFree=4182900/4192956 [pid=14707] ppid=14705 vsize=618144 CPUtime=1800.03 /proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 154123 0 0 0 179871 132 0 0 25 0 1 0 271736476 632979456 153895 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14707/statm: 154536 153895 310 324 0 153606 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 618144 Child status: 15 Real time (s): 1800.6 CPU time (s): 1800.13 CPU user time (s): 1798.71 CPU system time (s): 1.41978 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 618144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.71 system time used= 1.41978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154127 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= 3480 runsolver used 1.46078 second user time and 3.46447 second system time The end
Begin job on node63 on Mon Apr 30 18:24:26 UTC 2007 IDJOB= 433303 IDBENCH= 2457 IDSOLVER= 199 FILE ID= node63/433303-1177957465 PBS_JOBID= 4727723 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433303-1177957465/instance-433303-1177957465.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-433303-1177957465 -o ROOT/results/node63/solver-433303-1177957465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433303-1177957465/instance-433303-1177957465.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 4f19aa044e880280faec0077a2509ba8 RANDOM SEED= 46851992 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1788836 kB Buffers: 14512 kB Cached: 176652 kB SwapCached: 3860 kB Active: 79884 kB Inactive: 120932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788836 kB SwapTotal: 4192956 kB SwapFree: 4182900 kB Dirty: 7484 kB Writeback: 0 kB Mapped: 15608 kB Slab: 52280 kB Committed_AS: 2356792 kB PageTables: 1460 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 node63 on Mon Apr 30 18:54:28 UTC 2007