Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.11 | 1800.77 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pp08a.opb |
MD5SUM | ff5b6f1c6eab20bc880408fc770c13e2 |
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 | 5344 |
Total number of constraints | 136 |
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 | 136 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 240 |
Number of terms in the objective function | 3424 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 180407058264 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 180407058264 |
Number of bits of the biggest sum of numbers | 38 |
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/433339-1177957821/instance-433339-1177957821.opb 0.00/0.00 c File size is 204679 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Highest Coefficient sum: 1.80407e+11 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.06 s 0.00/0.06 c Var: 5344 Constr: 200 0/0/200 Lit: 21184 Watch. Lit: 4807 0.00/0.06 c Obj. Vars: 3424 (64.0719 % of total variables) 0.09/0.10 c Pre-processing Time: 0.102 s 1800.04/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.70 c 0 4600 200 21184 105 6037 42368 0 0 0.10 1800.04/1800.70 c 100 4600 300 29990 99 7519 46605 100 884 0.11 1800.04/1800.70 c 251 4600 451 59372 131 7874 51266 251 1731 0.14 1800.04/1800.70 c 476 4600 676 79613 117 8342 56393 476 2783 0.17 1800.04/1800.70 c 815 4600 1015 109230 107 9012 62033 815 3899 0.21 1800.04/1800.70 c 1324 4600 1524 151336 99 10030 68237 1324 4762 0.28 1800.04/1800.70 c 2088 4600 2288 209189 91 11569 75061 2088 5494 0.38 1800.04/1800.70 c 3235 4600 3435 297235 86 13966 82568 3235 6138 0.53 1800.04/1800.70 c 4956 4600 5156 424857 82 17421 90825 4956 6608 0.75 1800.04/1800.70 c 7541 4600 7741 676854 87 22556 99908 7541 6423 1.17 1800.04/1800.70 c 11420 4600 11620 1033761 88 31505 109899 11420 4546 2.51 1800.04/1800.70 c 17243 4600 17443 1628209 93 43290 120889 17243 3402 5.07 1800.04/1800.70 c 25980 4600 26180 2406093 91 62164 132978 25980 3500 7.42 1800.04/1800.70 c 39091 4600 39291 3997912 101 88192 146276 39091 2032 19.23 1800.04/1800.70 c 58762 4600 58962 5774772 97 128475 160904 58762 1908 30.79 1800.04/1800.70 c 88272 4600 88472 7846459 88 187424 176995 88272 1603 55.06 1800.04/1800.70 c 132542 4600 132742 11166076 84 277750 194695 132542 1098 120.70 1800.04/1800.70 c 198953 4600 13994 1954766 139 41195 214165 13794 603 329.62 1800.04/1800.70 c 298574 4600 113615 9539882 83 240590 235582 113415 515 579.48 1800.04/1800.70 c 448010 4600 37172 4281230 115 89703 259141 36972 591 757.12 1800.04/1800.70 c 672168 4600 14714 1627989 110 44736 285056 14514 468 1435.61 1800.04/1800.70 c Caught signal: 15 1800.04/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.70 c 20 770283 8663 845901 112829 10138667 112629 427 1800.05 1800.04/1800.70 s UNKNOWN 1800.04/1800.70 c Total time: 1800.05 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-433339-1177957821 -o ROOT/results/node13/solver-433339-1177957821 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433339-1177957821/instance-433339-1177957821.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.94 0.97 0.93 3/77 12090 /proc/meminfo: memFree=1581256/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=11936 CPUtime=0 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 243699911 12222464 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 2984 332 279 324 0 2004 0 [startup+0.0997521 s] /proc/loadavg: 0.94 0.97 0.93 3/77 12090 /proc/meminfo: memFree=1581256/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=5488 CPUtime=0.09 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 861 0 0 0 9 0 0 0 18 0 1 0 243699911 5619712 720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 1372 720 305 324 0 442 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5488 [startup+0.101752 s] /proc/loadavg: 0.94 0.97 0.93 3/77 12090 /proc/meminfo: memFree=1581256/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=5488 CPUtime=0.09 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 861 0 0 0 9 0 0 0 18 0 1 0 243699911 5619712 720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 1372 720 305 324 0 442 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5488 [startup+0.301794 s] /proc/loadavg: 0.94 0.97 0.93 3/77 12090 /proc/meminfo: memFree=1581256/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=7152 CPUtime=0.29 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 1325 0 0 0 28 1 0 0 19 0 1 0 243699911 7323648 1144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 1788 1145 310 324 0 858 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7152 [startup+0.70188 s] /proc/loadavg: 0.94 0.97 0.93 3/77 12090 /proc/meminfo: memFree=1581256/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=10512 CPUtime=0.69 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 2164 0 0 0 68 1 0 0 23 0 1 0 243699911 10764288 1983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 2628 1983 310 324 0 1698 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10512 [startup+1.50105 s] /proc/loadavg: 0.94 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1572288/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=16196 CPUtime=1.48 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 3582 0 0 0 147 1 0 0 25 0 1 0 243699911 16584704 3401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 4049 3401 310 324 0 3119 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 16196 [startup+3.10139 s] /proc/loadavg: 0.94 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1566336/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=22672 CPUtime=3.09 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 5211 0 0 0 306 3 0 0 25 0 1 0 243699911 23216128 5030 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 5668 5031 310 324 0 4738 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22672 [startup+6.30107 s] /proc/loadavg: 0.94 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1554496/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=34052 CPUtime=6.28 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 8047 0 0 0 624 4 0 0 25 0 1 0 243699911 34869248 7866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 8513 7866 310 324 0 7583 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34052 [startup+12.7014 s] /proc/loadavg: 0.95 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1532800/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=53492 CPUtime=12.69 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 12923 0 0 0 1262 7 0 0 25 0 1 0 243699911 54775808 12742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 13373 12742 310 324 0 12443 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53492 [startup+25.5012 s] /proc/loadavg: 0.96 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1507976/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=77660 CPUtime=25.49 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 18970 0 0 0 2538 11 0 0 25 0 1 0 243699911 79523840 18789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 19415 18789 310 324 0 18485 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77660 [startup+51.1016 s] /proc/loadavg: 0.97 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1472200/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=113156 CPUtime=51.07 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 27841 0 0 0 5091 16 0 0 25 0 1 0 243699911 115871744 27660 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 28289 27660 310 324 0 27359 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 113156 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1432136/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=153044 CPUtime=102.26 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 37808 0 0 0 10201 25 0 0 25 0 1 0 243699911 156717056 37627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 38261 37627 310 324 0 37331 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 153044 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1367048/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=218300 CPUtime=162.23 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 54114 0 0 0 16184 39 0 0 25 0 1 0 243699911 223539200 53933 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 54575 53933 310 324 0 53645 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 218300 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1324552/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=260360 CPUtime=222.21 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 64626 0 0 0 22173 48 0 0 25 0 1 0 243699911 266608640 64445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 65090 64445 310 324 0 64160 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 260360 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1295432/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=289468 CPUtime=282.19 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 71908 0 0 0 28164 55 0 0 25 0 1 0 243699911 296415232 71727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 72367 71727 310 324 0 71437 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 289468 [startup+342.303 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1294472/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=289984 CPUtime=342.16 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 72244 0 0 0 34161 55 0 0 25 0 1 0 243699911 296943616 71869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 72496 71869 310 324 0 71566 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 289984 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1294408/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=289984 CPUtime=402.15 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 72244 0 0 0 40159 56 0 0 25 0 1 0 243699911 296943616 71869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 72496 71869 310 324 0 71566 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 289984 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1294408/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=289984 CPUtime=462.12 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 72244 0 0 0 46156 56 0 0 25 0 1 0 243699911 296943616 71869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 72496 71869 310 324 0 71566 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 289984 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1294344/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=289984 CPUtime=522.1 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 72244 0 0 0 52153 57 0 0 25 0 1 0 243699911 296943616 71869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 72496 71869 310 324 0 71566 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 289984 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1294344/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=289984 CPUtime=582.07 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 72246 0 0 0 58150 57 0 0 25 0 1 0 243699911 296943616 71871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12325688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 72496 71871 310 324 0 71566 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 289984 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12091 /proc/meminfo: memFree=1294280/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=289984 CPUtime=642.06 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 72246 0 0 0 64148 58 0 0 25 0 1 0 243699911 296943616 71871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 72496 71871 310 324 0 71566 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 289984 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 12093 /proc/meminfo: memFree=1261576/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=322308 CPUtime=881.97 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 80553 0 0 0 88132 65 0 0 25 0 1 0 243699911 330043392 79944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 80577 79944 310 324 0 79647 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 322308 [startup+942.302 s] /proc/loadavg: 1.05 0.99 0.93 2/78 12093 /proc/meminfo: memFree=1261576/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=322308 CPUtime=941.94 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 80553 0 0 0 94129 65 0 0 25 0 1 0 243699911 330043392 79944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 80577 79944 310 324 0 79647 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 322308 [startup+1002.3 s] /proc/loadavg: 1.02 0.99 0.93 2/78 12093 /proc/meminfo: memFree=1259912/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=324104 CPUtime=1001.92 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 81016 0 0 0 100126 66 0 0 25 0 1 0 243699911 331882496 80407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 81026 80407 310 324 0 80096 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 324104 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 12093 /proc/meminfo: memFree=1235912/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=348168 CPUtime=1061.91 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 87028 0 0 0 106118 73 0 0 25 0 1 0 243699911 356524032 86419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 87042 86419 310 324 0 86112 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 348168 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 12093 /proc/meminfo: memFree=1216968/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=366840 CPUtime=1121.88 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 91689 0 0 0 112110 78 0 0 25 0 1 0 243699911 375644160 91080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 91710 91080 310 324 0 90780 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 366840 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 12093 /proc/meminfo: memFree=1210440/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=373420 CPUtime=1181.86 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 93333 0 0 0 118106 80 0 0 25 0 1 0 243699911 382382080 92724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 93355 92724 310 324 0 92425 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 373420 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.93 2/78 12093 /proc/meminfo: memFree=1200968/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=382576 CPUtime=1241.84 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 95636 0 0 0 124101 83 0 0 25 0 1 0 243699911 391757824 95027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 95644 95027 310 324 0 94714 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 382576 [startup+1302.3 s] /proc/loadavg: 1.08 1.02 0.94 2/78 12093 /proc/meminfo: memFree=1191688/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1301.82 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 130096 86 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 391456 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 0.94 2/78 12093 /proc/meminfo: memFree=1191688/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1361.79 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 136093 86 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 391456 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 0.94 2/78 12093 /proc/meminfo: memFree=1191688/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1421.77 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 142090 87 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 391456 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 12093 /proc/meminfo: memFree=1191688/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1481.75 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 148087 88 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 391456 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 12093 /proc/meminfo: memFree=1191624/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1541.73 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 154085 88 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 391456 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 12093 /proc/meminfo: memFree=1191560/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1601.71 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 160082 89 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 391456 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 12093 /proc/meminfo: memFree=1191560/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1661.68 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 166079 89 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 391456 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 12093 /proc/meminfo: memFree=1191496/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1721.66 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 172077 89 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 391456 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 12093 /proc/meminfo: memFree=1191304/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1781.64 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 178074 90 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 391456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.94 2/78 12093 /proc/meminfo: memFree=1191304/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1800.04 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 179914 90 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 391456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.94 2/78 12093 /proc/meminfo: memFree=1191304/2055920 swapFree=4159412/4192956 [pid=12090] ppid=12088 vsize=391456 CPUtime=1800.04 /proc/12090/stat : 12090 (bsolo3.0.17) R 12088 12090 11731 0 -1 4194304 98110 0 0 0 179914 90 0 0 25 0 1 0 243699911 400850944 97245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12090/statm: 97864 97245 310 324 0 96934 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 391456 Child status: 15 Real time (s): 1800.77 CPU time (s): 1800.11 CPU user time (s): 1799.14 CPU system time (s): 0.967852 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 392480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.14 system time used= 0.967852 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98114 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= 37156 runsolver used 1.40679 second user time and 3.85441 second system time The end
Begin job on node13 on Mon Apr 30 18:30:21 UTC 2007 IDJOB= 433339 IDBENCH= 2499 IDSOLVER= 199 FILE ID= node13/433339-1177957821 PBS_JOBID= 4727729 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433339-1177957821/instance-433339-1177957821.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-433339-1177957821 -o ROOT/results/node13/solver-433339-1177957821 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433339-1177957821/instance-433339-1177957821.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= ff5b6f1c6eab20bc880408fc770c13e2 RANDOM SEED= 841634751 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1581728 kB Buffers: 13428 kB Cached: 378776 kB SwapCached: 12736 kB Active: 51084 kB Inactive: 364256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1581728 kB SwapTotal: 4192956 kB SwapFree: 4159412 kB Dirty: 7188 kB Writeback: 0 kB Mapped: 30116 kB Slab: 44336 kB Committed_AS: 6964308 kB PageTables: 1872 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= 66558 MiB End job on node13 on Mon Apr 30 19:00:24 UTC 2007