Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (MO) | 970.434 | 971.308 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb |
MD5SUM | fd717ffc3177aa889b23f16defdc157a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3248 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3248 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 524691 |
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.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/351512-1176603626/instance-351512-1176603626.opb 0.00/0.00 c File size is 302280 bytes. 0.04/0.06 c Highest Coefficient sum: 524691 0.04/0.06 c Parsing was ok!! 0.04/0.06 c Total parsing time: 0.058 s 0.04/0.06 c Var: 7195 Constr: 958 29/29/900 Lit: 41461 Watch. Lit: 10758 0.04/0.06 c Obj. Vars: 421 (5.85129 % of total variables) 2.89/2.90 c Pre-processing Time: 2.902 s 2.89/2.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.90 c 0 7188 958 41444 43 18043 83168 0 0 2.90 2.89/2.90 c Switching off LPR mode. 970.12/971.00 c 101 7188 1059 112540 106 27259 91485 101 33 2.98 970.12/971.00 c 252 7188 1210 160062 132 27711 100634 252 82 3.07 970.12/971.00 c 479 7188 1437 254050 176 28168 110698 479 151 3.17 970.12/971.00 c 819 7188 1777 413458 232 28925 121768 819 244 3.35 970.12/971.00 c 1364 7188 2322 705602 303 30772 133945 1364 360 3.78 970.12/971.00 c 2173 7188 3131 1009313 322 32151 147340 2173 482 4.50 970.12/971.00 c 3396 7188 4354 1718277 394 34472 162075 3396 584 5.81 970.12/971.00 c 5131 7188 6089 3103191 509 38046 178283 5131 631 8.12 970.12/971.00 c 7719 7188 8677 4218328 486 42660 196112 7719 745 10.36 970.12/971.00 c 11598 7188 12556 6162506 490 50281 215724 11598 818 14.18 970.12/971.00 c 17420 7188 18378 9215030 501 62426 237297 17420 793 21.95 970.12/971.00 c 26171 7188 27129 16145982 595 78909 261027 26171 638 40.97 970.12/971.00 c 39281 7188 40239 22754222 565 104978 287130 39281 591 66.38 970.12/971.00 c 58952 7188 59910 37472604 625 144176 315844 58952 432 136.23 970.12/971.00 c 88463 7188 89421 69785502 780 203651 347429 88463 252 350.29 970.12/971.00 c 132733 7188 133691 94775374 708 292480 382172 132733 257 515.97 970.12/971.00 c 199144 7188 200102 124272590 621 424276 420390 199144 253 785.01 970.12/971.00 c Caught signal: 15 970.12/971.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 970.12/971.00 c 17 230068 13760 955394 231026 142653657 230068 237 970.13 970.12/971.00 s UNKNOWN 970.12/971.00 c Total time: 970.131 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-351512-1176603626 -o ROOT/results/node25/solver-351512-1176603626 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351512-1176603626/instance-351512-1176603626.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: 1.00 1.00 1.00 3/64 21528 /proc/meminfo: memFree=1732552/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=12032 CPUtime=0 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 108279707 12320768 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 3008 335 281 324 0 2003 0 [startup+0.047933 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21528 /proc/meminfo: memFree=1732552/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=5056 CPUtime=0.04 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 632 0 0 0 4 0 0 0 18 0 1 0 108279707 5177344 600 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 1264 600 339 324 0 259 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5056 [startup+0.101941 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21528 /proc/meminfo: memFree=1732552/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=6044 CPUtime=0.09 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 959 0 0 0 9 0 0 0 18 0 1 0 108279707 6189056 853 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 1511 853 306 324 0 580 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6044 [startup+0.301975 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21528 /proc/meminfo: memFree=1732552/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=6044 CPUtime=0.29 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 962 0 0 0 29 0 0 0 19 0 1 0 108279707 6189056 856 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 1511 856 306 324 0 580 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6044 [startup+0.701044 s] /proc/loadavg: 1.00 1.00 1.00 3/64 21528 /proc/meminfo: memFree=1732552/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=6728 CPUtime=0.69 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 1260 0 0 0 68 1 0 0 22 0 1 0 108279707 6889472 1021 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 1682 1021 308 324 0 751 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6728 [startup+1.50118 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21529 /proc/meminfo: memFree=1729536/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=6728 CPUtime=1.48 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 1260 0 0 0 147 1 0 0 25 0 1 0 108279707 6889472 1021 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 1682 1021 308 324 0 751 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6728 [startup+3.10145 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21529 /proc/meminfo: memFree=1729408/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=8168 CPUtime=3.09 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 1650 0 0 0 307 2 0 0 25 0 1 0 108279707 8364032 1411 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 2042 1411 312 324 0 1111 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8168 [startup+6.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21529 /proc/meminfo: memFree=1711680/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=31664 CPUtime=6.29 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 7528 0 0 0 622 7 0 0 25 0 1 0 108279707 32423936 7289 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 7916 7289 312 324 0 6985 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31664 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21529 /proc/meminfo: memFree=1663936/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=76644 CPUtime=12.69 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 18769 0 0 0 1255 14 0 0 25 0 1 0 108279707 78483456 18530 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 19161 18530 312 324 0 18230 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76644 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21529 /proc/meminfo: memFree=1598784/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=138448 CPUtime=25.48 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 34218 0 0 0 2518 30 0 0 25 0 1 0 108279707 141770752 33979 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 34612 33979 312 324 0 33681 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 138448 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 21529 /proc/meminfo: memFree=1480896/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=256456 CPUtime=51.07 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 63727 0 0 0 5059 48 0 0 25 0 1 0 108279707 262610944 63488 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 64114 63488 312 324 0 63183 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 256456 [startup+102.306 s] /proc/loadavg: 1.15 1.03 1.01 2/72 23725 /proc/meminfo: memFree=1334336/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=396308 CPUtime=102.21 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 98697 0 0 0 10146 75 0 0 25 0 1 0 108279707 405819392 98458 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21528/statm: 99077 98458 312 324 0 98146 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 396308 [startup+162.302 s] /proc/loadavg: 1.99 1.30 1.10 3/72 10659 /proc/meminfo: memFree=1168560/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=539708 CPUtime=161.87 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 134547 0 0 0 16087 100 0 0 25 0 1 0 108279707 552660992 134308 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21528/statm: 134927 134308 312 324 0 133996 0 Current children cumulated CPU time (s) 161.87 Current children cumulated vsize (KiB) 539708 [startup+222.302 s] /proc/loadavg: 1.71 1.36 1.13 2/65 23790 /proc/meminfo: memFree=1003968/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=689760 CPUtime=221.66 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 172056 0 0 0 22039 127 0 0 25 0 1 0 108279707 706314240 171817 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 172440 171817 312 324 0 171509 0 Current children cumulated CPU time (s) 221.66 Current children cumulated vsize (KiB) 689760 [startup+282.301 s] /proc/loadavg: 1.26 1.29 1.12 2/65 23790 /proc/meminfo: memFree=927872/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=767640 CPUtime=281.64 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 191521 0 0 0 28026 138 0 0 25 0 1 0 108279707 786063360 191282 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 191910 191282 312 324 0 190979 0 Current children cumulated CPU time (s) 281.64 Current children cumulated vsize (KiB) 767640 [startup+342.302 s] /proc/loadavg: 1.09 1.23 1.11 2/65 23790 /proc/meminfo: memFree=814464/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=879648 CPUtime=341.62 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 219514 0 0 0 34012 150 0 0 25 0 1 0 108279707 900759552 219275 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 219912 219275 312 324 0 218981 0 Current children cumulated CPU time (s) 341.62 Current children cumulated vsize (KiB) 879648 [startup+402.302 s] /proc/loadavg: 1.03 1.19 1.10 2/65 23790 /proc/meminfo: memFree=672128/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=1022680 CPUtime=401.61 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 255290 0 0 0 39988 173 0 0 25 0 1 0 108279707 1047224320 255051 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 255670 255051 312 324 0 254739 0 Current children cumulated CPU time (s) 401.61 Current children cumulated vsize (KiB) 1022680 [startup+462.302 s] /proc/loadavg: 1.01 1.15 1.09 2/65 23790 /proc/meminfo: memFree=561536/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=1131892 CPUtime=461.58 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 282579 0 0 0 45969 189 0 0 25 0 1 0 108279707 1159057408 282340 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 282973 282340 312 324 0 282042 0 Current children cumulated CPU time (s) 461.58 Current children cumulated vsize (KiB) 1131892 [startup+522.301 s] /proc/loadavg: 1.00 1.12 1.08 2/65 23790 /proc/meminfo: memFree=461440/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=1238096 CPUtime=521.57 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 309120 0 0 0 51951 206 0 0 25 0 1 0 108279707 1267810304 308881 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 309524 308881 312 324 0 308593 0 Current children cumulated CPU time (s) 521.57 Current children cumulated vsize (KiB) 1238096 [startup+582.301 s] /proc/loadavg: 1.00 1.10 1.08 2/65 23790 /proc/meminfo: memFree=360704/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=1332424 CPUtime=581.55 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 332720 0 0 0 57933 222 0 0 25 0 1 0 108279707 1364402176 332481 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 333106 332481 312 324 0 332175 0 Current children cumulated CPU time (s) 581.55 Current children cumulated vsize (KiB) 1332424 [startup+642.302 s] /proc/loadavg: 1.00 1.08 1.07 2/65 23790 /proc/meminfo: memFree=277632/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=1414696 CPUtime=641.52 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 353291 0 0 0 63912 240 0 0 25 0 1 0 108279707 1448648704 353052 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 353674 353052 312 324 0 352743 0 Current children cumulated CPU time (s) 641.52 Current children cumulated vsize (KiB) 1414696 [startup+702.302 s] /proc/loadavg: 1.00 1.06 1.06 2/65 23790 /proc/meminfo: memFree=174976/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=1517696 CPUtime=701.51 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 379042 0 0 0 69895 256 0 0 25 0 1 0 108279707 1554120704 378803 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 379424 378803 312 324 0 378493 0 Current children cumulated CPU time (s) 701.51 Current children cumulated vsize (KiB) 1517696 [startup+762.305 s] /proc/loadavg: 1.00 1.05 1.06 2/65 23790 /proc/meminfo: memFree=108480/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=1583612 CPUtime=761.49 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 395518 0 0 0 75881 268 0 0 25 0 1 0 108279707 1621618688 395279 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 395903 395279 312 324 0 394972 0 Current children cumulated CPU time (s) 761.49 Current children cumulated vsize (KiB) 1583612 [startup+822.301 s] /proc/loadavg: 1.00 1.04 1.05 2/65 23790 /proc/meminfo: memFree=19840/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=1672796 CPUtime=821.47 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 417799 0 0 0 81863 284 0 0 25 0 1 0 108279707 1712943104 417560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 418199 417560 312 324 0 417268 0 Current children cumulated CPU time (s) 821.47 Current children cumulated vsize (KiB) 1672796 [startup+882.302 s] /proc/loadavg: 1.00 1.03 1.05 2/65 23790 /proc/meminfo: memFree=15552/2055920 swapFree=4192812/4192956 [pid=21528] ppid=21526 vsize=1744784 CPUtime=881.45 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 435809 0 0 0 87846 299 0 0 25 0 1 0 108279707 1786658816 435570 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 436196 435570 312 324 0 435265 0 Current children cumulated CPU time (s) 881.45 Current children cumulated vsize (KiB) 1744784 [startup+942.302 s] /proc/loadavg: 1.00 1.02 1.04 2/65 23790 /proc/meminfo: memFree=16064/2055920 swapFree=4191892/4192956 [pid=21528] ppid=21526 vsize=1802344 CPUtime=941.43 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 450194 0 0 0 93833 310 0 0 25 0 1 0 108279707 1845600256 449955 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 450586 449955 312 324 0 449655 0 Current children cumulated CPU time (s) 941.43 Current children cumulated vsize (KiB) 1802344 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+971.002 s] /proc/loadavg: 1.00 1.02 1.04 2/65 23790 /proc/meminfo: memFree=15552/2055920 swapFree=4191892/4192956 [pid=21528] ppid=21526 vsize=1843304 CPUtime=970.12 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194304 460426 0 0 0 96696 316 0 0 25 0 1 0 108279707 1887543296 460187 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 460826 460187 312 324 0 459895 0 Current children cumulated CPU time (s) 970.12 Current children cumulated vsize (KiB) 1843304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+971.202 s] /proc/loadavg: 1.00 1.02 1.04 2/66 23791 /proc/meminfo: memFree=1221560/2055920 swapFree=4191892/4192956 [pid=21528] ppid=21526 vsize=0 CPUtime=970.32 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194308 460427 0 0 0 96696 336 0 0 25 0 1 0 108279707 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 970.32 Current children cumulated vsize (KiB) 0 [startup+971.306 s] /proc/loadavg: 1.00 1.02 1.04 2/66 23791 /proc/meminfo: memFree=1221560/2055920 swapFree=4191892/4192956 [pid=21528] ppid=21526 vsize=0 CPUtime=970.42 /proc/21528/stat : 21528 (bsolo3.0.16) R 21526 21528 29373 0 -1 4194308 460427 0 0 0 96696 346 0 0 25 0 1 0 108279707 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/21528/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 970.42 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 971.308 CPU time (s): 970.434 CPU user time (s): 966.965 CPU system time (s): 3.46947 CPU usage (%): 99.91 Max. virtual memory (cumulated for all children) (KiB): 1843304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 966.965 system time used= 3.46947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460427 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= 3412 runsolver used 0.808877 second user time and 2.04569 second system time The end
Begin job on node25 on Sun Apr 15 02:20:26 UTC 2007 IDJOB= 351512 IDBENCH= 1771 IDSOLVER= 163 FILE ID= node25/351512-1176603626 PBS_JOBID= 4556983 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351512-1176603626/instance-351512-1176603626.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-351512-1176603626 -o ROOT/results/node25/solver-351512-1176603626 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351512-1176603626/instance-351512-1176603626.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= fd717ffc3177aa889b23f16defdc157a RANDOM SEED= 219316600 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1733024 kB Buffers: 35780 kB Cached: 180732 kB SwapCached: 0 kB Active: 45024 kB Inactive: 192396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1733024 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4680 kB Writeback: 0 kB Mapped: 30716 kB Slab: 71580 kB Committed_AS: 984492 kB PageTables: 1484 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= 66560 MiB End job on node25 on Sun Apr 15 02:36:39 UTC 2007