Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1799.95 | 1800.6 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/349534-1176706425/instance-349534-1176706425.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.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Highest Coefficient sum: 1.80407e+11 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.035 s 0.00/0.04 c Var: 5344 Constr: 200 0/0/200 Lit: 21184 Watch. Lit: 4807 0.00/0.04 c Obj. Vars: 3424 (64.0719 % of total variables) 0.00/0.08 c Pre-processing Time: 0.079 s 1799.95/1800.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.54 c 0 4600 200 21184 105 6037 42368 0 0 0.08 1799.95/1800.54 c 100 4600 300 29990 99 7519 46605 100 1098 0.09 1799.95/1800.54 c 251 4600 451 59372 131 7874 51266 251 2024 0.12 1799.95/1800.54 c 476 4600 676 79613 117 8342 56393 476 3131 0.15 1799.95/1800.54 c 815 4600 1015 109230 107 9012 62033 815 4267 0.19 1799.95/1800.54 c 1324 4600 1524 151336 99 10030 68237 1324 5092 0.26 1799.95/1800.54 c 2088 4600 2288 209189 91 11569 75061 2088 5752 0.36 1799.95/1800.54 c 3235 4600 3435 297235 86 13966 82568 3235 6318 0.51 1799.95/1800.54 c 4956 4600 5156 424857 82 17421 90825 4956 6733 0.74 1799.95/1800.54 c 7541 4600 7741 676854 87 22556 99908 7541 6467 1.17 1799.95/1800.54 c 11420 4600 11620 1033761 88 31505 109899 11420 4742 2.41 1799.95/1800.54 c 17243 4600 17443 1628209 93 43290 120889 17243 3556 4.85 1799.95/1800.54 c 25980 4600 26180 2406093 91 62164 132978 25980 3606 7.20 1799.95/1800.54 c 39091 4600 39291 3997912 101 88192 146276 39091 2044 19.12 1799.95/1800.54 c 58762 4600 58962 5774772 97 128475 160904 58762 1925 30.52 1799.95/1800.54 c 88272 4600 88472 7846459 88 187424 176995 88272 1611 54.77 1799.95/1800.54 c 132542 4600 132742 11166076 84 277750 194695 132542 1098 120.63 1799.95/1800.54 c 198953 4600 13994 1954766 139 41195 214165 13794 603 329.45 1799.95/1800.54 c 298574 4600 113615 9539882 83 240590 235582 113415 515 579.48 1799.95/1800.54 c 448010 4600 37172 4281230 115 89703 259141 36972 591 757.31 1799.95/1800.54 c 672168 4600 14714 1627989 110 44736 285056 14514 468 1435.64 1799.95/1800.54 c Resources Exceeded 1799.95/1800.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.54 c 20 769995 8663 845611 112541 10114305 112341 427 1800.00 1799.95/1800.54 s UNKNOWN 1799.95/1800.54 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-349534-1176706425 -o ROOT/results/node43/solver-349534-1176706425 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349534-1176706425/instance-349534-1176706425.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.88 0.99 0.99 3/64 9927 /proc/meminfo: memFree=1668480/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=11936 CPUtime=0 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 118554333 12222464 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 2984 335 281 324 0 2003 0 [startup+0.00903591 s] /proc/loadavg: 0.88 0.99 0.99 3/64 9927 /proc/meminfo: memFree=1668480/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=12076 CPUtime=0 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 406 0 0 0 0 0 0 0 18 0 1 0 118554333 12365824 374 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 3019 374 288 324 0 2038 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12076 [startup+0.101043 s] /proc/loadavg: 0.88 0.99 0.99 3/64 9927 /proc/meminfo: memFree=1668480/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=5352 CPUtime=0.09 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 891 0 0 0 8 1 0 0 18 0 1 0 118554333 5480448 708 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 1338 709 311 324 0 407 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5352 [startup+0.301061 s] /proc/loadavg: 0.88 0.99 0.99 3/64 9927 /proc/meminfo: memFree=1668480/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=7280 CPUtime=0.29 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 1360 0 0 0 28 1 0 0 19 0 1 0 118554333 7454720 1177 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 1820 1177 312 324 0 889 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7280 [startup+0.701096 s] /proc/loadavg: 0.88 0.99 0.99 3/64 9927 /proc/meminfo: memFree=1668480/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=10512 CPUtime=0.69 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 2194 0 0 0 68 1 0 0 22 0 1 0 118554333 10764288 2011 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 2628 2011 312 324 0 1697 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10512 [startup+1.50117 s] /proc/loadavg: 0.88 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1659384/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=16196 CPUtime=1.48 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 3594 0 0 0 146 2 0 0 25 0 1 0 118554333 16584704 3411 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 4049 3411 312 324 0 3118 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 16196 [startup+3.10131 s] /proc/loadavg: 0.89 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1653560/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=23184 CPUtime=3.09 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 5335 0 0 0 305 4 0 0 25 0 1 0 118554333 23740416 5152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 5796 5152 312 324 0 4865 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23184 [startup+6.30159 s] /proc/loadavg: 0.89 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1640512/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=34700 CPUtime=6.29 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 8239 0 0 0 623 6 0 0 25 0 1 0 118554333 35532800 8056 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 8675 8056 312 324 0 7744 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34700 [startup+12.7011 s] /proc/loadavg: 0.91 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1619328/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=53876 CPUtime=12.69 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 13034 0 0 0 1259 10 0 0 25 0 1 0 118554333 55169024 12851 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 13469 12851 312 324 0 12538 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53876 [startup+25.5013 s] /proc/loadavg: 0.92 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1594560/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=78052 CPUtime=25.48 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 19052 0 0 0 2533 15 0 0 25 0 1 0 118554333 79925248 18869 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 19513 18869 312 324 0 18582 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 78052 [startup+51.1015 s] /proc/loadavg: 0.95 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1558848/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=113284 CPUtime=51.07 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 27868 0 0 0 5082 25 0 0 25 0 1 0 118554333 116002816 27685 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5164733 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 28321 27685 312 324 0 27390 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 113284 [startup+102.305 s] /proc/loadavg: 0.98 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1518784/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=153176 CPUtime=102.26 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 37840 0 0 0 10187 39 0 0 25 0 1 0 118554333 156852224 37657 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 38294 37657 312 324 0 37363 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 153176 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1453760/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=218300 CPUtime=162.24 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 54131 0 0 0 16167 57 0 0 25 0 1 0 118554333 223539200 53948 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 54575 53948 312 324 0 53644 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 218300 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1411328/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=260360 CPUtime=222.23 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 64635 0 0 0 22151 72 0 0 25 0 1 0 118554333 266608640 64452 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 65090 64452 312 324 0 64159 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 260360 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1382272/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=289468 CPUtime=282.21 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 71910 0 0 0 28140 81 0 0 25 0 1 0 118554333 296415232 71727 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 72367 71727 312 324 0 71436 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 289468 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1381312/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=289984 CPUtime=342.2 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 72248 0 0 0 34136 84 0 0 25 0 1 0 118554333 296943616 71871 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 72496 71871 312 324 0 71565 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 289984 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 9928 /proc/meminfo: memFree=1381312/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=289984 CPUtime=402.18 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 72248 0 0 0 40130 88 0 0 25 0 1 0 118554333 296943616 71871 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 72496 71871 312 324 0 71565 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 289984 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/71 10050 /proc/meminfo: memFree=1380168/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=289984 CPUtime=462.11 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 72248 0 0 0 46118 93 0 0 25 0 1 0 118554333 296943616 71871 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 72496 71871 312 324 0 71565 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 289984 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 10126 /proc/meminfo: memFree=1381120/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=289984 CPUtime=522.06 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 72248 0 0 0 52110 96 0 0 25 0 1 0 118554333 296943616 71871 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 72496 71871 312 324 0 71565 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 289984 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 10126 /proc/meminfo: memFree=1381120/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=289984 CPUtime=582.05 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 72250 0 0 0 58104 101 0 0 25 0 1 0 118554333 296943616 71873 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 72496 71873 312 324 0 71565 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 289984 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 10126 /proc/meminfo: memFree=1381120/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=289984 CPUtime=642.03 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 72250 0 0 0 64096 107 0 0 25 0 1 0 118554333 296943616 71873 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 72496 71873 312 324 0 71565 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 289984 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 1.07 1.03 1.00 2/65 10126 /proc/meminfo: memFree=1279552/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1421.84 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 142015 169 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 391456 [startup+1482.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 10126 /proc/meminfo: memFree=1279552/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1481.83 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 148010 173 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 391456 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 10126 /proc/meminfo: memFree=1279552/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1541.81 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 154005 176 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 391456 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 10126 /proc/meminfo: memFree=1279488/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1601.8 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 160001 179 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 391456 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1279552/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1661.79 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 165997 182 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 391456 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1279552/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1721.77 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 171992 185 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 391456 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1279488/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1781.76 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 177989 187 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 391456 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1279488/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1799.95 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 179808 187 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 391456 # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1799.95 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1799.95 s) to the 'lost time'. [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1664320/2055920 swapFree=4191892/4192956 [pid=9927] ppid=-1 vsize=0 CPUtime=0 /proc/9927/stat : ptX/proc/9927/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1279488/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1791.36 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 178949 187 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5172870 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 391456 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1279488/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1794.55 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 179268 187 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 391456 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1279488/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1797.75 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 179588 187 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 391456 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1279488/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1799.35 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 179748 187 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1799.35 Current children cumulated vsize (KiB) 391456 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1279488/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1799.75 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 179788 187 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5172864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1799.75 Current children cumulated vsize (KiB) 391456 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1279488/2055920 swapFree=4191892/4192956 [pid=9927] ppid=9925 vsize=391456 CPUtime=1799.95 /proc/9927/stat : 9927 (bsolo3.0.16) R 9925 9927 9867 0 -1 4194304 98114 0 0 0 179808 187 0 0 25 0 1 0 118554333 400850944 97247 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9927/statm: 97864 97247 312 324 0 96933 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 391456 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10126 /proc/meminfo: memFree=1664320/2055920 swapFree=4191892/4192956 [pid=9927] ppid=-1 vsize=0 CPUtime=0 /proc/9927/stat : ptX/proc/9927/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9927 and gives # childrusage.ru_utime.tv_sec=1798 # childrusage.ru_utime.tv_usec=122643 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=941704 # CPU time returned by wait4() is 1800.06 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1799.95 # lost CPU user time (s): 1798.08 # lost CPU system time (s): 1.87 Real time (s): 1800.6 CPU time (s): 1799.95 CPU user time (s): 1798.08 CPU system time (s): 1.87 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (KiB): 392480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.12 system time used= 1.9417 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98115 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= 1862 runsolver used 1.37079 second user time and 3.61245 second system time The end
Begin job on node43 on Mon Apr 16 06:53:45 UTC 2007 IDJOB= 349534 IDBENCH= 2499 IDSOLVER= 163 FILE ID= node43/349534-1176706425 PBS_JOBID= 4560078 Free space on /tmp= 66549 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/349534-1176706425/instance-349534-1176706425.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-349534-1176706425 -o ROOT/results/node43/solver-349534-1176706425 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349534-1176706425/instance-349534-1176706425.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= ff5b6f1c6eab20bc880408fc770c13e2 RANDOM SEED= 882683469 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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.218 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.218 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: 1668952 kB Buffers: 61100 kB Cached: 238512 kB SwapCached: 268 kB Active: 127924 kB Inactive: 187224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1668952 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 4784 kB Writeback: 0 kB Mapped: 23596 kB Slab: 57896 kB Committed_AS: 1489716 kB PageTables: 1392 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= 66549 MiB End job on node43 on Mon Apr 16 07:23:46 UTC 2007