Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.11 | 1801.3 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb |
MD5SUM | e211111a6c1a3c27b5e79e770c101730 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 41 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 40 |
Optimality of the best value was proved | NO |
Number of variables | 15742 |
Total number of constraints | 530 |
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 | 530 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 522 |
Number of terms in the objective function | 1442 |
Biggest coefficient in the objective function | 62322 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 525467 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525467 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/351031-1176577033/instance-351031-1176577033.opb 0.00/0.01 c File size is 548727 bytes. 0.08/0.11 c Highest Coefficient sum: 525467 0.08/0.11 c Parsing was ok!! 0.08/0.11 c Total parsing time: 0.105 s 0.08/0.12 c Var: 15742 Constr: 802 44/0/758 Lit: 80607 Watch. Lit: 31125 0.08/0.12 c Obj. Vars: 1442 (9.16021 % of total variables) 1.19/1.25 c Pre-processing Time: 1.237 s 1.19/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.25 c 0 8684 627 73853 117 61281 147732 0 0 1.24 1.19/1.25 c Switching off LPR mode. 1800.00/1801.20 c 100 8684 727 82686 113 61619 162506 100 76 1.30 1800.00/1801.20 c 253 8684 880 98542 111 61965 178757 253 178 1.42 1800.00/1801.20 c 478 8684 1105 109702 99 62425 196633 478 306 1.56 1800.00/1801.20 c 822 8684 1449 136889 94 63055 216297 822 443 1.85 1800.00/1801.20 c 1349 8683 1976 156774 79 64132 237927 1349 654 2.06 1800.00/1801.20 c 2113 8683 2740 183431 66 65657 261720 2113 960 2.20 1800.00/1801.20 c 3260 8683 3887 210349 54 67914 287893 3260 1338 2.44 1800.00/1801.20 c 4981 8683 5608 267631 47 71363 316683 4981 1775 2.81 1800.00/1801.20 c 7565 8683 8192 360986 44 76532 348352 7565 2237 3.38 1800.00/1801.20 c 11444 8683 12071 450788 37 84289 383188 11444 2450 4.67 1800.00/1801.20 c 17266 8682 17893 654239 36 95943 421507 17266 2598 6.64 1800.00/1801.20 c 26004 8682 26631 1070434 40 113430 463658 26004 2924 8.89 1800.00/1801.20 c 39114 8682 39741 1411477 35 139650 510024 39114 2563 15.26 1800.00/1801.20 c 58785 8682 59412 2378409 40 178997 561027 58785 2205 26.65 1800.00/1801.20 c 88295 8682 88922 4127314 46 238053 617130 88295 1544 57.18 1800.00/1801.20 c 132579 8681 133206 6750555 50 326613 678844 132579 1767 75.01 1800.00/1801.20 c 198995 8681 199622 11905611 59 459415 746729 198995 1054 188.65 1800.00/1801.20 c 298618 8681 299245 20213362 67 658655 821402 298618 555 537.47 1800.00/1801.20 c 448057 8680 448684 31858216 71 957527 903543 448057 342 1306.73 1800.00/1801.20 c Resources Exceeded 1800.00/1801.20 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1801.20 c 19 639366 118411 1298502 639993 42863580 639366 355 1800.01 1800.00/1801.20 s UNKNOWN 1800.00/1801.20 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-351031-1176577033 -o ROOT/results/node60/solver-351031-1176577033 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351031-1176577033/instance-351031-1176577033.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 7052 /proc/meminfo: memFree=1467264/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=2332 CPUtime=0 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 105613306 2387968 26 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5538823 0 0 4096 0 0 0 0 17 1 0 0 /proc/7052/statm: 583 26 20 324 0 3 0 [startup+0.0873629 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7052 /proc/meminfo: memFree=1467264/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=6168 CPUtime=0.07 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 886 0 3 0 7 0 0 0 18 0 1 0 105613306 6316032 857 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7052/statm: 1542 857 377 324 0 477 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6168 [startup+0.101358 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7052 /proc/meminfo: memFree=1467264/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=6432 CPUtime=0.08 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 951 0 3 0 8 0 0 0 18 0 1 0 105613306 6586368 922 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5967400 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7052/statm: 1608 922 395 324 0 543 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6432 [startup+0.301379 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7052 /proc/meminfo: memFree=1467264/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=9200 CPUtime=0.28 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 1773 0 3 0 28 0 0 0 19 0 1 0 105613306 9420800 1610 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5967642 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7052/statm: 2300 1610 306 324 0 1369 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9200 [startup+0.701414 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7052 /proc/meminfo: memFree=1467264/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=9200 CPUtime=0.68 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 1773 0 3 0 67 1 0 0 22 0 1 0 105613306 9420800 1610 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 2300 1610 306 324 0 1369 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9200 [startup+1.50149 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1460536/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=9768 CPUtime=1.48 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 2057 0 3 0 146 2 0 0 25 0 1 0 105613306 10002432 1770 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 2442 1770 312 324 0 1511 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9768 [startup+3.10165 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1459896/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=12792 CPUtime=3.08 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 2812 0 3 0 304 4 0 0 25 0 1 0 105613306 13099008 2525 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 3198 2525 312 324 0 2267 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12792 [startup+6.30196 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1453752/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=17792 CPUtime=6.28 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 4065 0 3 0 622 6 0 0 25 0 1 0 105613306 18219008 3778 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 4448 3778 312 324 0 3517 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17792 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1441848/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=28892 CPUtime=12.68 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 6842 0 3 0 1258 10 0 0 25 0 1 0 105613306 29585408 6555 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 7223 6555 312 324 0 6292 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28892 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1426488/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=44172 CPUtime=25.48 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 10652 0 3 0 2533 15 0 0 25 0 1 0 105613306 45232128 10365 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 11043 10365 312 324 0 10112 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44172 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1410808/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=59756 CPUtime=51.04 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 14564 0 3 0 5083 21 0 0 25 0 1 0 105613306 61190144 14277 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 14939 14277 312 324 0 14008 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 59756 [startup+102.305 s] /proc/loadavg: 1.04 1.01 1.00 2/65 7053 /proc/meminfo: memFree=1326648/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=143548 CPUtime=102.22 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 35512 0 3 0 10169 53 0 0 25 0 1 0 105613306 146993152 35225 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 35887 35225 312 324 0 34956 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 143548 [startup+162.301 s] /proc/loadavg: 1.12 1.04 1.01 2/65 7053 /proc/meminfo: memFree=1303672/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=166984 CPUtime=162.18 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 41352 0 3 0 16152 66 0 0 25 0 1 0 105613306 170991616 41065 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 41746 41065 312 324 0 40815 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 166984 [startup+222.301 s] /proc/loadavg: 1.11 1.06 1.01 2/65 7053 /proc/meminfo: memFree=1278456/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=191704 CPUtime=222.11 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 47557 0 3 0 22133 78 0 0 25 0 1 0 105613306 196304896 47270 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 47926 47270 312 324 0 46995 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 191704 [startup+282.301 s] /proc/loadavg: 1.04 1.05 1.00 2/71 7231 /proc/meminfo: memFree=1262520/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=206656 CPUtime=282.06 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 51275 0 3 0 28110 96 0 0 25 0 1 0 105613306 211615744 50988 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 51664 50988 312 324 0 50733 0 Current children cumulated CPU time (s) 282.06 Current children cumulated vsize (KiB) 206656 [startup+342.301 s] /proc/loadavg: 1.01 1.03 1.00 2/65 7251 /proc/meminfo: memFree=1223800/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=246212 CPUtime=342.03 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 61176 0 3 0 34091 112 0 0 25 0 1 0 105613306 252121088 60889 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 61553 60889 312 324 0 60622 0 Current children cumulated CPU time (s) 342.03 Current children cumulated vsize (KiB) 246212 [startup+402.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 7251 /proc/meminfo: memFree=1201272/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=268960 CPUtime=401.99 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 66862 0 3 0 40076 123 0 0 25 0 1 0 105613306 275415040 66575 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 67240 66575 312 324 0 66309 0 Current children cumulated CPU time (s) 401.99 Current children cumulated vsize (KiB) 268960 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 7251 /proc/meminfo: memFree=1185528/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=284472 CPUtime=461.96 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 70734 0 3 0 46064 132 0 0 25 0 1 0 105613306 291299328 70447 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5967356 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 71118 70447 312 324 0 70187 0 Current children cumulated CPU time (s) 461.96 Current children cumulated vsize (KiB) 284472 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7251 /proc/meminfo: memFree=1173688/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=296452 CPUtime=521.93 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 73722 0 3 0 52055 138 0 0 25 0 1 0 105613306 303566848 73435 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 74113 73435 312 324 0 73182 0 Current children cumulated CPU time (s) 521.93 Current children cumulated vsize (KiB) 296452 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7251 /proc/meminfo: memFree=1146424/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=323720 CPUtime=581.88 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 80544 0 3 0 58039 149 0 0 25 0 1 0 105613306 331489280 80257 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 80930 80257 312 324 0 79999 0 Current children cumulated CPU time (s) 581.88 Current children cumulated vsize (KiB) 323720 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=1127992/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=341928 CPUtime=641.85 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 85087 0 3 0 64028 157 0 0 25 0 1 0 105613306 350134272 84800 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 85482 84800 312 324 0 84551 0 Current children cumulated CPU time (s) 641.85 Current children cumulated vsize (KiB) 341928 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=1089784/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=380208 CPUtime=821.74 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 94672 0 3 0 81998 176 0 0 25 0 1 0 105613306 389332992 94385 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 95052 94385 312 324 0 94121 0 Current children cumulated CPU time (s) 821.74 Current children cumulated vsize (KiB) 380208 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=1079992/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=389820 CPUtime=881.7 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 97063 0 3 0 87989 181 0 0 25 0 1 0 105613306 399175680 96776 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 97455 96776 312 324 0 96524 0 Current children cumulated CPU time (s) 881.7 Current children cumulated vsize (KiB) 389820 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=1071608/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=398216 CPUtime=941.67 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 99185 0 3 0 93982 185 0 0 25 0 1 0 105613306 407773184 98898 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 99554 98898 312 324 0 98623 0 Current children cumulated CPU time (s) 941.67 Current children cumulated vsize (KiB) 398216 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=1063864/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=405872 CPUtime=1001.64 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 101092 0 3 0 99974 190 0 0 25 0 1 0 105613306 415612928 100805 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 101468 100805 312 324 0 100537 0 Current children cumulated CPU time (s) 1001.64 Current children cumulated vsize (KiB) 405872 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=1057656/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=412216 CPUtime=1061.6 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 102661 0 3 0 105966 194 0 0 25 0 1 0 105613306 422109184 102374 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5975781 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 103054 102374 312 324 0 102123 0 Current children cumulated CPU time (s) 1061.6 Current children cumulated vsize (KiB) 412216 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=1044984/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=424876 CPUtime=1121.56 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 105824 0 3 0 111956 200 0 0 25 0 1 0 105613306 435073024 105537 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 106219 105537 312 324 0 105288 0 Current children cumulated CPU time (s) 1121.56 Current children cumulated vsize (KiB) 424876 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=1028024/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=442008 CPUtime=1181.53 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 110128 0 3 0 117944 209 0 0 25 0 1 0 105613306 452616192 109841 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 110502 109841 312 324 0 109571 0 Current children cumulated CPU time (s) 1181.53 Current children cumulated vsize (KiB) 442008 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=1014520/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=455112 CPUtime=1241.48 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 113387 0 3 0 123934 214 0 0 25 0 1 0 105613306 466034688 113100 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 113778 113100 312 324 0 112847 0 Current children cumulated CPU time (s) 1241.48 Current children cumulated vsize (KiB) 455112 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=1005432/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=464148 CPUtime=1301.44 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 115648 0 3 0 129926 218 0 0 25 0 1 0 105613306 475287552 115361 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 116037 115361 312 324 0 115106 0 Current children cumulated CPU time (s) 1301.44 Current children cumulated vsize (KiB) 464148 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=949112/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=520540 CPUtime=1361.41 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 129762 0 3 0 135906 235 0 0 25 0 1 0 105613306 533032960 129475 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 130135 129475 312 324 0 129204 0 Current children cumulated CPU time (s) 1361.41 Current children cumulated vsize (KiB) 520540 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=924088/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=545308 CPUtime=1421.38 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 135940 0 3 0 141893 245 0 0 25 0 1 0 105613306 558395392 135653 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 136327 135653 312 324 0 135396 0 Current children cumulated CPU time (s) 1421.38 Current children cumulated vsize (KiB) 545308 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=914168/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=555284 CPUtime=1481.33 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 138438 0 3 0 147882 251 0 0 25 0 1 0 105613306 568610816 138151 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 138821 138151 312 324 0 137890 0 Current children cumulated CPU time (s) 1481.33 Current children cumulated vsize (KiB) 555284 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=896632/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=572840 CPUtime=1541.3 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 142837 0 3 0 153869 261 0 0 25 0 1 0 105613306 586588160 142550 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572869 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 143210 142550 312 324 0 142279 0 Current children cumulated CPU time (s) 1541.3 Current children cumulated vsize (KiB) 572840 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=880952/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=588492 CPUtime=1601.26 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 146752 0 3 0 159859 267 0 0 25 0 1 0 105613306 602615808 146465 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 147123 146465 312 324 0 146192 0 Current children cumulated CPU time (s) 1601.26 Current children cumulated vsize (KiB) 588492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=874680/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=594732 CPUtime=1661.19 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 148298 0 3 0 165850 269 0 0 25 0 1 0 105613306 609005568 148011 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 148683 148011 312 324 0 147752 0 Current children cumulated CPU time (s) 1661.19 Current children cumulated vsize (KiB) 594732 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=867704/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=601760 CPUtime=1721.16 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 150062 0 3 0 171844 272 0 0 25 0 1 0 105613306 616202240 149775 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 150440 149775 312 324 0 149509 0 Current children cumulated CPU time (s) 1721.16 Current children cumulated vsize (KiB) 601760 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=848952/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=620280 CPUtime=1781.12 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 154705 0 3 0 177832 280 0 0 25 0 1 0 105613306 635166720 154418 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 155070 154418 312 324 0 154139 0 Current children cumulated CPU time (s) 1781.12 Current children cumulated vsize (KiB) 620280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7251 /proc/meminfo: memFree=842232/2055920 swapFree=4184868/4192956 [pid=7052] ppid=7050 vsize=0 CPUtime=1800.01 /proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194308 156394 0 3 0 179717 284 0 0 25 0 1 0 105613306 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7052/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1801.3 CPU time (s): 1800.11 CPU user time (s): 1797.17 CPU system time (s): 2.93355 CPU usage (%): 99.9339 Max. virtual memory (cumulated for all children) (KiB): 627060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.17 system time used= 2.93355 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156394 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 7931 runsolver used 1.72974 second user time and 4.83026 second system time The end
Begin job on node60 on Sat Apr 14 18:57:13 UTC 2007 IDJOB= 351031 IDBENCH= 1652 IDSOLVER= 163 FILE ID= node60/351031-1176577033 PBS_JOBID= 4556896 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/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351031-1176577033/instance-351031-1176577033.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-351031-1176577033 -o ROOT/results/node60/solver-351031-1176577033 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351031-1176577033/instance-351031-1176577033.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= e211111a6c1a3c27b5e79e770c101730 RANDOM SEED= 906223974 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1467672 kB Buffers: 44584 kB Cached: 392488 kB SwapCached: 2344 kB Active: 129396 kB Inactive: 318544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1467672 kB SwapTotal: 4192956 kB SwapFree: 4184868 kB Dirty: 4920 kB Writeback: 0 kB Mapped: 17816 kB Slab: 126332 kB Committed_AS: 145104 kB PageTables: 1468 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 node60 on Sat Apr 14 19:27:17 UTC 2007