Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.24 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb |
MD5SUM | 33434aafd8d2cc52b903fb501d38927b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14036 |
Total number of constraints | 600 |
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 | 600 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1523 |
Number of terms in the objective function | 13946 |
Biggest coefficient in the objective function | 1187 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 535685 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262020 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 535685 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432745-1177948799/instance-432745-1177948799.opb 0.00/0.00 c File size is 559683 bytes. 0.09/0.11 c Highest Coefficient sum: 535685 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.108 s 0.09/0.11 c Var: 14036 Constr: 700 55/0/645 Lit: 68668 Watch. Lit: 25115 0.09/0.11 c Obj. Vars: 13946 (99.3588 % of total variables) 8.39/8.50 c Pre-processing Time: 8.495 s 8.49/8.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.50 c 0 7802 595 66673 112 50907 116746 0 0 8.49 8.49/8.50 c Switching off LPR mode. 1800.09/1800.60 c 100 7802 695 78841 113 51118 128421 100 11 8.77 1800.09/1800.60 c 250 7802 845 97142 114 51446 141264 250 26 9.30 1800.09/1800.60 c 479 7802 1074 126625 117 51908 155391 479 48 9.83 1800.09/1800.60 c 820 7802 1415 170114 120 52598 170931 820 74 11.07 1800.09/1800.60 c 1329 7802 1924 209007 108 53625 188025 1329 109 12.11 1800.09/1800.60 c 2093 7802 2688 322743 120 55146 206828 2093 89 23.45 1800.09/1800.60 c 3239 7802 3834 485832 126 57438 227511 3239 111 29.03 1800.09/1800.60 c 4960 7802 5555 873715 157 60868 250263 4960 111 44.41 1800.09/1800.60 c 7544 7802 8139 1330229 163 66060 275290 7544 128 58.64 1800.09/1800.60 c 11424 7802 12019 2232538 185 73808 302820 11424 141 80.81 1800.09/1800.60 c 17246 7802 17841 3343186 187 85466 333103 17246 147 116.83 1800.09/1800.60 c 25983 7802 26578 4911888 184 102933 366414 25983 153 169.28 1800.09/1800.60 c 39093 7802 39688 8821651 222 129148 403056 39093 169 230.25 1800.09/1800.60 c 58766 7802 59361 12923921 217 168510 443362 58766 166 353.78 1800.09/1800.60 c 88276 7802 88871 18079229 203 227525 487699 88276 169 519.47 1800.09/1800.60 c 132546 7802 133141 28515431 214 316072 536469 132546 166 797.05 1800.09/1800.60 c 198956 7802 199551 51007327 255 448885 590116 198956 138 1432.28 1800.09/1800.60 c Caught signal: 15 1800.09/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.60 c 17 242753 136679 4273004 243348 72617949 242753 134 1800.09 1800.09/1800.60 s UNKNOWN 1800.09/1800.60 c Total time: 1800.09 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-432745-1177948799 -o ROOT/results/node65/solver-432745-1177948799 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432745-1177948799/instance-432745-1177948799.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.96 0.91 3/64 24451 /proc/meminfo: memFree=1853688/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=12284 CPUtime=0 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 270869505 12578816 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 3071 333 279 324 0 2004 0 [startup+0.0737721 s] /proc/loadavg: 0.91 0.96 0.91 3/64 24451 /proc/meminfo: memFree=1853688/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=6152 CPUtime=0.06 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 871 0 0 0 6 0 0 0 18 0 1 0 270869505 6299648 841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 1538 842 366 324 0 471 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6152 [startup+0.102774 s] /proc/loadavg: 0.91 0.96 0.91 3/64 24451 /proc/meminfo: memFree=1853688/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=6540 CPUtime=0.09 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 986 0 0 0 9 0 0 0 18 0 1 0 270869505 6696960 956 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 1635 956 404 324 0 568 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6540 [startup+0.302791 s] /proc/loadavg: 0.91 0.96 0.91 3/64 24451 /proc/meminfo: memFree=1853688/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=8256 CPUtime=0.29 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 1585 0 0 0 29 0 0 0 19 0 1 0 270869505 8454144 1418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 2064 1418 304 324 0 1134 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8256 [startup+0.701824 s] /proc/loadavg: 0.91 0.96 0.91 3/64 24451 /proc/meminfo: memFree=1853688/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=8256 CPUtime=0.69 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 1586 0 0 0 69 0 0 0 22 0 1 0 270869505 8454144 1419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 2064 1419 304 324 0 1134 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8256 [startup+1.50189 s] /proc/loadavg: 0.91 0.96 0.91 2/65 24452 /proc/meminfo: memFree=1849200/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=8256 CPUtime=1.49 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 1586 0 0 0 149 0 0 0 25 0 1 0 270869505 8454144 1419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 2064 1419 304 324 0 1134 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8256 [startup+3.10102 s] /proc/loadavg: 0.91 0.96 0.91 2/65 24452 /proc/meminfo: memFree=1849008/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=8256 CPUtime=3.09 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 1586 0 0 0 308 1 0 0 25 0 1 0 270869505 8454144 1419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 2064 1419 304 324 0 1134 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8256 [startup+6.30129 s] /proc/loadavg: 0.92 0.97 0.91 2/65 24452 /proc/meminfo: memFree=1848304/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=8908 CPUtime=6.28 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 1855 0 0 0 627 1 0 0 25 0 1 0 270869505 9121792 1578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 2227 1578 306 324 0 1297 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8908 [startup+12.7018 s] /proc/loadavg: 0.93 0.97 0.91 2/65 24452 /proc/meminfo: memFree=1847032/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=10340 CPUtime=12.69 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 2347 0 0 0 1267 2 0 0 25 0 1 0 270869505 10588160 1948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 2585 1948 310 324 0 1655 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10340 [startup+25.5019 s] /proc/loadavg: 0.94 0.97 0.91 2/65 24452 /proc/meminfo: memFree=1845112/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=12288 CPUtime=25.48 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 2827 0 0 0 2546 2 0 0 25 0 1 0 270869505 12582912 2428 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 3072 2428 310 324 0 2142 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12288 [startup+51.102 s] /proc/loadavg: 0.96 0.97 0.91 2/65 24452 /proc/meminfo: memFree=1835192/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=22348 CPUtime=51.08 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 5335 0 0 0 5105 3 0 0 25 0 1 0 270869505 22884352 4936 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 5587 4936 310 324 0 4657 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22348 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.91 2/71 24622 /proc/meminfo: memFree=1812936/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=42696 CPUtime=102.2 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 10444 0 0 0 10213 7 0 0 25 0 1 0 270869505 43720704 10045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 10674 10045 310 324 0 9744 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 42696 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1787192/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=69644 CPUtime=162.16 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 17169 0 0 0 16206 10 0 0 25 0 1 0 270869505 71315456 16770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 17411 16770 310 324 0 16481 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 69644 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1739192/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=117376 CPUtime=222.15 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 29107 0 0 0 22198 17 0 0 25 0 1 0 270869505 120193024 28708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 29344 28708 310 324 0 28414 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 117376 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1701944/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=155532 CPUtime=282.13 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 38623 0 0 0 28190 23 0 0 25 0 1 0 270869505 159264768 38224 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 38883 38224 310 324 0 37953 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 155532 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1681656/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=174764 CPUtime=342.12 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 43446 0 0 0 34185 27 0 0 25 0 1 0 270869505 178958336 43047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 43691 43047 310 324 0 42761 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 174764 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1660600/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=196184 CPUtime=402.11 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 48793 0 0 0 40180 31 0 0 25 0 1 0 270869505 200892416 48394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 49046 48394 310 324 0 48116 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 196184 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1630840/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=225456 CPUtime=462.09 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 56130 0 0 0 46173 36 0 0 25 0 1 0 270869505 230866944 55731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 56364 55731 310 324 0 55434 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 225456 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1607864/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=248652 CPUtime=522.08 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 61922 0 0 0 52168 40 0 0 25 0 1 0 270869505 254619648 61523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 62163 61523 310 324 0 61233 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 248652 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1565240/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=291176 CPUtime=582.06 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 72554 0 0 0 58159 47 0 0 25 0 1 0 270869505 298164224 72155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 72794 72155 310 324 0 71864 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 291176 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1528696/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=327296 CPUtime=642.05 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 81592 0 0 0 64153 52 0 0 25 0 1 0 270869505 335151104 81193 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 81824 81193 310 324 0 80894 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 327296 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1433464/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=422412 CPUtime=881.99 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 105370 0 0 0 88129 70 0 0 25 0 1 0 270869505 432549888 104971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 105603 104971 310 324 0 104673 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 422412 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1407992/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=448336 CPUtime=941.98 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 111825 0 0 0 94124 74 0 0 25 0 1 0 270869505 459096064 111426 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 112084 111426 310 324 0 111154 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 448336 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1379000/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=477024 CPUtime=1001.96 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 119004 0 0 0 100118 78 0 0 25 0 1 0 270869505 488472576 118605 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 119256 118605 310 324 0 118326 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 477024 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1348088/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=507808 CPUtime=1061.95 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 126717 0 0 0 106112 83 0 0 25 0 1 0 270869505 519995392 126318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 126952 126318 310 324 0 126022 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 507808 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24650 /proc/meminfo: memFree=1330040/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=525676 CPUtime=1121.94 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 131171 0 0 0 112108 86 0 0 25 0 1 0 270869505 538292224 130772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 131419 130772 310 324 0 130489 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 525676 [startup+1182.3 s] /proc/loadavg: 1.07 0.99 0.91 2/65 24650 /proc/meminfo: memFree=1294648/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=561008 CPUtime=1181.92 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 139999 0 0 0 118100 92 0 0 25 0 1 0 270869505 574472192 139600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 140252 139600 310 324 0 139322 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 561008 [startup+1242.3 s] /proc/loadavg: 1.10 1.00 0.92 2/65 24650 /proc/meminfo: memFree=1275192/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=580404 CPUtime=1241.91 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 144860 0 0 0 124095 96 0 0 25 0 1 0 270869505 594333696 144461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 145101 144461 310 324 0 144171 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 580404 [startup+1302.3 s] /proc/loadavg: 1.07 1.01 0.93 2/65 24650 /proc/meminfo: memFree=1249464/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=606044 CPUtime=1301.9 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 151257 0 0 0 130088 102 0 0 25 0 1 0 270869505 620589056 150858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 151511 150858 310 324 0 150581 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 606044 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 0.93 2/65 24650 /proc/meminfo: memFree=1213560/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=642020 CPUtime=1361.88 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 160273 0 0 0 136080 108 0 0 25 0 1 0 270869505 657428480 159874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 160505 159874 310 324 0 159575 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 642020 [startup+1422.3 s] /proc/loadavg: 1.01 1.00 0.93 2/65 24650 /proc/meminfo: memFree=1181048/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=674296 CPUtime=1421.87 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 168334 0 0 0 142075 112 0 0 25 0 1 0 270869505 690479104 167935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 168574 167935 310 324 0 167644 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 674296 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 24650 /proc/meminfo: memFree=1165304/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=690160 CPUtime=1481.85 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 172286 0 0 0 148070 115 0 0 25 0 1 0 270869505 706723840 171887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 172540 171887 310 324 0 171610 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 690160 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 24650 /proc/meminfo: memFree=1111672/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=743592 CPUtime=1541.83 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 185640 0 0 0 154060 123 0 0 25 0 1 0 270869505 761438208 185241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 185898 185241 310 324 0 184968 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 743592 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 24650 /proc/meminfo: memFree=1046648/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=808860 CPUtime=1601.82 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 201984 0 0 0 160048 134 0 0 25 0 1 0 270869505 828272640 201585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 202215 201585 310 324 0 201285 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 808860 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 24650 /proc/meminfo: memFree=1003960/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=851192 CPUtime=1661.81 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 212566 0 0 0 166040 141 0 0 25 0 1 0 270869505 871620608 212167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 212798 212167 310 324 0 211868 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 851192 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 24650 /proc/meminfo: memFree=949240/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=906376 CPUtime=1721.79 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 226351 0 0 0 172030 149 0 0 25 0 1 0 270869505 928129024 225952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 226594 225952 310 324 0 225664 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 906376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 24650 /proc/meminfo: memFree=907000/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=948060 CPUtime=1781.78 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 236761 0 0 0 178021 157 0 0 25 0 1 0 270869505 970813440 236362 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 237015 236362 310 324 0 236085 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 948060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.93 2/65 24650 /proc/meminfo: memFree=896952/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=957812 CPUtime=1800.09 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 239210 0 0 0 179850 159 0 0 25 0 1 0 270869505 980799488 238811 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 239453 238811 310 324 0 238523 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 957812 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.93 2/65 24650 /proc/meminfo: memFree=896952/2055920 swapFree=4184072/4192956 [pid=24451] ppid=24449 vsize=0 CPUtime=1800.19 /proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194308 239214 0 0 0 179850 169 0 0 25 0 1 0 270869505 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/24451/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.77 CPU time (s): 1800.24 CPU user time (s): 1798.5 CPU system time (s): 1.74273 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 957812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.5 system time used= 1.74273 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 239214 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= 2824 runsolver used 1.45078 second user time and 3.52346 second system time The end
Begin job on node65 on Mon Apr 30 15:59:59 UTC 2007 IDJOB= 432745 IDBENCH= 1750 IDSOLVER= 199 FILE ID= node65/432745-1177948799 PBS_JOBID= 4727665 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432745-1177948799/instance-432745-1177948799.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-432745-1177948799 -o ROOT/results/node65/solver-432745-1177948799 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432745-1177948799/instance-432745-1177948799.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 33434aafd8d2cc52b903fb501d38927b RANDOM SEED= 388446273 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1854160 kB Buffers: 16772 kB Cached: 109160 kB SwapCached: 2860 kB Active: 31720 kB Inactive: 104000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854160 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 7132 kB Writeback: 0 kB Mapped: 15760 kB Slab: 52116 kB Committed_AS: 2601256 kB PageTables: 1456 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 node65 on Mon Apr 30 16:30:02 UTC 2007