Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.76 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-share1b.opb |
MD5SUM | bba1c13067ee4807fb3278415b1e1268 |
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 | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6750 |
Total number of constraints | 117 |
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 | 117 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1110 |
Number of terms in the objective function | 930 |
Biggest coefficient in the objective function | 52096 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 525037 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262126 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525113 |
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 c Parsing PB file... 0.62 c Converting 206 PB-constraints to clauses... 0.62 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 1.01 c -- Detecting intervals from adjacent constraints: ######################################################################################### 1.02 c -- Clauses(.)/Splits(s): (none) 1.02 c ---[ 204]---> Adder-cost: 130 maxlim: 97 bits: 7/7 1.03 c ---[ 202]---> Adder-cost: 60 maxlim: 55 bits: 7/6 1.03 c ---[ 200]---> Sorter-cost: 619 Base: 2 1.03 c ---[ 198]---> Adder-cost: 138 maxlim: 151 bits: 8/8 1.04 c ---[ 196]---> Sorter-cost: 611 Base: 2 2 2 2 2 1.04 c ---[ 194]---> Adder-cost: 146 maxlim: 268 bits: 9/9 1.05 c ---[ 192]---> Adder-cost: 146 maxlim: 260 bits: 9/9 1.06 c ---[ 190]---> Sorter-cost: 606 Base: 2 2 2 2 1.06 c ---[ 188]---> Adder-cost: 132 maxlim: 1047 bits: 11/11 1.07 c ---[ 186]---> Adder-cost: 138 maxlim: 133 bits: 8/8 1.08 c ---[ 184]---> Adder-cost: 426 maxlim: 218230 bits: 19/18 1.35 c ---[ 182]---> Sorter-cost: 609 Base: 2 2 2 2 2 1.35 c ---[ 180]---> Adder-cost: 396 maxlim: 248 bits: 9/8 1.38 c ---[ 178]---> Sorter-cost: 173 Base: 2 2 2 2 1.38 c ---[ 177]---> Adder-cost: 283 maxlim: 30 bits: 6/5 1.39 c ---[ 175]---> Adder-cost: 339 maxlim: 30 bits: 6/5 1.40 c ---[ 173]---> Adder-cost: 294 maxlim: 207 bits: 8/8 1.43 c ---[ 172]---> Adder-cost: 273 maxlim: 103 bits: 8/7 1.44 c ---[ 171]---> Adder-cost: 102 maxlim: 103 bits: 8/7 1.44 c ---[ 169]---> Adder-cost: 418 maxlim: 253 bits: 9/8 1.47 c ---[ 167]---> Sorter-cost: 174 Base: 2 2 2 2 1.47 c ---[ 166]---> Adder-cost: 281 maxlim: 18 bits: 6/5 1.48 c ---[ 164]---> Adder-cost: 211 maxlim: 19 bits: 6/5 1.49 c ---[ 162]---> Adder-cost: 298 maxlim: 212 bits: 8/8 1.51 c ---[ 161]---> Adder-cost: 269 maxlim: 113 bits: 8/7 1.52 c ---[ 160]---> Adder-cost: 78 maxlim: 84 bits: 7/7 1.53 c ---[ 158]---> Adder-cost: 454 maxlim: 302 bits: 10/9 1.54 c ---[ 156]---> Sorter-cost: 669 Base: 2 2 2 2 2 2 2 2 2 1.55 c ---[ 155]---> Adder-cost: 340 maxlim: 386 bits: 10/9 1.58 c ---[ 153]---> Adder-cost: 366 maxlim: 363 bits: 10/9 1.61 c ---[ 151]---> Adder-cost: 352 maxlim: 462 bits: 10/9 1.65 c ---[ 150]---> Adder-cost: 273 maxlim: 139 bits: 9/8 1.66 c ---[ 148]---> Adder-cost: 700 maxlim: 10283 bits: 15/14 1.76 c ---[ 146]---> Adder-cost: 351 maxlim: 46039 bits: 17/16 1.88 c ---[ 144]---> Adder-cost: 953 maxlim: 11104 bits: 15/14 2.08 c ---[ 142]---> Adder-cost: 1635 maxlim: 3992 bits: 13/12 2.19 c ---[ 140]---> Adder-cost: 1194 maxlim: 8358 bits: 14/14 2.40 c ---[ 138]---> Adder-cost: 1102 maxlim: 8474 bits: 14/14 2.55 c ---[ 136]---> Adder-cost: 808 maxlim: 8024 bits: 14/13 2.61 c ---[ 134]---> Adder-cost: 685 maxlim: 12594 bits: 15/14 2.81 c ---[ 133]---> Adder-cost: 517 maxlim: 11338 bits: 15/14 2.92 c ---[ 132]---> Adder-cost: 553 maxlim: 6783 bits: 14/13 3.01 c ---[ 131]---> Adder-cost: 554 maxlim: 8391 bits: 15/14 3.11 c ---[ 129]---> Adder-cost: 782 maxlim: 55091 bits: 17/16 3.25 c ---[ 127]---> Adder-cost: 372 maxlim: 348753 bits: 19/19 3.57 c ---[ 125]---> Adder-cost: 951 maxlim: 29254 bits: 16/15 4.19 c ---[ 123]---> Adder-cost: 2890 maxlim: 90280 bits: 17/17 5.31 c ---[ 121]---> Adder-cost: 1824 maxlim: 26260 bits: 15/15 5.75 c ---[ 119]---> Adder-cost: 1618 maxlim: 24929 bits: 15/15 6.02 c ---[ 117]---> Adder-cost: 2208 maxlim: 126529 bits: 18/17 6.75 c ---[ 115]---> Adder-cost: 672 maxlim: 86240 bits: 17/17 7.28 c ---[ 114]---> Adder-cost: 641 maxlim: 56279 bits: 17/16 7.51 c ---[ 113]---> Adder-cost: 602 maxlim: 28511 bits: 16/15 7.82 c ---[ 112]---> Adder-cost: 517 maxlim: 40644 bits: 17/16 8.12 c ---[ 110]---> Adder-cost: 238 maxlim: 159 bits: 8/8 8.13 c ---[ 108]---> Adder-cost: 110 maxlim: 84 bits: 7/7 8.14 c ---[ 106]---> Adder-cost: 266 maxlim: 304 bits: 9/9 8.15 c ---[ 104]---> Adder-cost: 180 maxlim: 127 bits: 8/7 8.16 c ---[ 102]---> Sorter-cost: 611 Base: 2 2 2 2 2 8.16 c ---[ 100]---> Adder-cost: 148 maxlim: 333 bits: 9/9 8.17 c ---[ 98]---> Adder-cost: 260 maxlim: 227 bits: 8/8 8.18 c ---[ 96]---> Adder-cost: 122 maxlim: 132 bits: 8/8 8.18 c ---[ 94]---> Adder-cost: 224 maxlim: 150 bits: 8/8 8.20 c ---[ 92]---> Sorter-cost: 272 Base: 7 8.20 c ---[ 90]---> Adder-cost: 116 maxlim: 597 bits: 11/10 8.21 c ---[ 88]---> Adder-cost: 146 maxlim: 457 bits: 10/9 8.21 c ---[ 86]---> Adder-cost: 254 maxlim: 3930 bits: 13/12 8.24 c ---[ 84]---> Adder-cost: 280 maxlim: 202 bits: 8/8 8.26 c ---[ 82]---> Sorter-cost: 171 Base: 2 2 2 2 8.26 c ---[ 81]---> Adder-cost: 223 maxlim: 19 bits: 6/5 8.26 c ---[ 79]---> Adder-cost: 221 maxlim: 20 bits: 6/5 8.27 c ---[ 77]---> Adder-cost: 202 maxlim: 144 bits: 8/8 8.29 c ---[ 76]---> Adder-cost: 173 maxlim: 91 bits: 8/7 8.29 c ---[ 74]---> Adder-cost: 217 maxlim: 23 bits: 6/5 8.30 c ---[ 73]---> Adder-cost: 52 maxlim: 39 bits: 6/6 8.30 c ---[ 71]---> Adder-cost: 296 maxlim: 215 bits: 8/8 8.32 c ---[ 69]---> Sorter-cost: 193 Base: 2 8.32 c ---[ 68]---> Adder-cost: 212 maxlim: 23 bits: 6/5 8.33 c ---[ 66]---> Adder-cost: 202 maxlim: 24 bits: 6/5 8.33 c ---[ 64]---> Adder-cost: 184 maxlim: 169 bits: 8/8 8.35 c ---[ 63]---> Adder-cost: 216 maxlim: 94 bits: 8/7 8.35 c ---[ 62]---> Sorter-cost: 584 Base: 7 8.36 c ---[ 60]---> Adder-cost: 336 maxlim: 321 bits: 10/9 8.37 c ---[ 58]---> Sorter-cost: 672 Base: 2 2 2 2 2 2 2 2 2 8.37 c ---[ 57]---> Adder-cost: 264 maxlim: 536 bits: 10/10 8.39 c ---[ 55]---> Adder-cost: 252 maxlim: 534 bits: 10/10 8.41 c ---[ 53]---> Adder-cost: 264 maxlim: 463 bits: 10/9 8.44 c ---[ 52]---> Adder-cost: 219 maxlim: 113 bits: 8/7 8.44 c ---[ 50]---> Adder-cost: 519 maxlim: 500 bits: 10/9 8.46 c ---[ 48]---> Sorter-cost: 2989 Base: 3 7 2 2 2 2 2 8.49 c ---[ 46]---> Adder-cost: 674 maxlim: 748 bits: 11/10 8.53 c ---[ 44]---> Adder-cost: 2202 maxlim: 10040 bits: 14/14 8.99 c ---[ 42]---> Adder-cost: 1592 maxlim: 13887 bits: 14/14 9.28 c ---[ 40]---> Adder-cost: 1406 maxlim: 13469 bits: 14/14 9.49 c ---[ 38]---> Adder-cost: 1558 maxlim: 14644 bits: 14/14 9.80 c ---[ 36]---> Adder-cost: 451 maxlim: 748 bits: 11/10 9.85 c ---[ 35]---> Adder-cost: 379 maxlim: 481 bits: 10/9 9.87 c ---[ 34]---> Adder-cost: 412 maxlim: 502 bits: 10/9 9.91 c ---[ 33]---> Adder-cost: 342 maxlim: 597 bits: 11/10 9.95 c ---[ 31]---> Adder-cost: 573 maxlim: 1528 bits: 12/11 9.99 c ---[ 29]---> Sorter-cost: 1904 Base: 2 2 2 2 7 3 3 2 2 10.03 c ---[ 27]---> Adder-cost: 768 maxlim: 2287 bits: 13/12 10.10 c ---[ 25]---> Adder-cost: 2416 maxlim: 19229 bits: 15/15 10.67 c ---[ 23]---> Adder-cost: 1794 maxlim: 22215 bits: 15/15 11.04 c ---[ 21]---> Adder-cost: 1560 maxlim: 21654 bits: 15/15 11.30 c ---[ 19]---> Adder-cost: 1860 maxlim: 25689 bits: 15/15 11.67 c ---[ 17]---> Adder-cost: 484 maxlim: 4190 bits: 13/13 11.74 c ---[ 16]---> Adder-cost: 408 maxlim: 1396 bits: 12/11 11.77 c ---[ 15]---> Adder-cost: 429 maxlim: 1895 bits: 12/11 11.82 c ---[ 14]---> Adder-cost: 416 maxlim: 2783 bits: 13/12 11.89 c ---[ 12]---> Adder-cost: 142 maxlim: 462 bits: 10/9 11.89 c ---[ 10]---> Adder-cost: 104 maxlim: 140 bits: 8/8 11.90 c ---[ 8]---> Adder-cost: 660 maxlim: 11018 bits: 15/14 12.06 c ---[ 6]---> Adder-cost: 428 maxlim: 492 bits: 10/9 12.08 c ---[ 4]---> Adder-cost: 617 maxlim: 65518 bits: 17/16 12.57 c ---[ 2]---> Adder-cost: 440 maxlim: 1537 bits: 12/11 12.61 c ---[ 0]---> Sorter-cost: 604 Base: 2 2 2 2 12.93 c ==================================[MINISAT+]================================== 12.93 c | Conflicts | Original | Learnt | Progress | 12.93 c | | Clauses Literals | Max Clauses Literals LPC | | 12.93 c ============================================================================== 12.93 c | 0 | 419971 1462521 | 139990 0 0 nan | 0.000 % | 12.96 c | 100 | 419963 1462495 | 153989 99 344 3.5 | 5.454 % | 12.99 c | 250 | 419955 1462469 | 169387 248 948 3.8 | 5.456 % | 13.04 c | 476 | 419947 1462443 | 186326 473 2231 4.7 | 5.457 % | 13.16 c | 814 | 419915 1462339 | 204959 807 5719 7.1 | 5.462 % | 13.23 c | 1321 | 419907 1462313 | 225455 1313 10430 7.9 | 5.464 % | 13.30 c | 2081 | 419907 1462313 | 248000 2073 19457 9.4 | 5.464 % | 13.42 c | 3220 | 419899 1462287 | 272800 3211 41514 12.9 | 5.465 % | 13.62 c | 4929 | 419891 1462261 | 300080 4919 74870 15.2 | 5.467 % | 14.01 c | 7491 | 419597 1461203 | 330089 7442 109649 14.7 | 5.479 % | 14.70 c | 11337 | 419435 1460805 | 363098 11278 154808 13.7 | 5.528 % | 15.59 c | 17103 | 419414 1460750 | 399407 17041 283271 16.6 | 5.534 % | 17.28 c | 25752 | 418270 1457415 | 439348 25577 459691 18.0 | 5.785 % | 19.97 c | 38727 | 418223 1457258 | 483283 38546 983976 25.5 | 5.794 % | 25.77 c | 58189 | 417462 1454589 | 531611 57763 1613283 27.9 | 5.851 % | 33.82 c | 87381 | 417360 1454237 | 584772 86890 2607321 30.0 | 5.864 % | 54.11 c | 131170 | 416528 1451843 | 643250 126867 5486938 43.2 | 6.075 % | 101.25 c | 196855 | 414650 1445321 | 707575 189527 9124206 48.1 | 6.258 % | 172.50 c | 295381 | 414432 1444650 | 778332 288001 15043304 52.2 | 6.309 % | 385.16 c | 443170 | 414400 1444554 | 856166 435787 25089461 57.6 | 6.318 % | 774.06 c | 664854 | 414321 1444349 | 941782 657464 42095491 64.0 | 6.346 % | 1678.23 c | 997380 | 414157 1443859 | 1035960 61372 6082938 99.1 | 6.392 % | 1801.18 c 1801.18 c *** TERMINATED *** 1801.18 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-35047-1149333165 -o ROOT/results/node21/solver-35047-1149333165 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node21/35047-1149333165/instance-35047-1149333165.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.94 3/64 2059 /proc/meminfo: memFree=1375304/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=1180 CPUtime=0 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 123 0 0 0 0 0 0 0 18 0 1 0 198979643 1208320 108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 295 108 67 215 0 77 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.95 0.94 2/64 2059 /proc/meminfo: memFree=1366672/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=9836 CPUtime=9.99 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 2750 0 0 0 998 1 0 0 25 0 1 0 198979643 10072064 2301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679959 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 2459 2301 107 215 0 2241 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9836 [startup+20.009 s] /proc/loadavg: 0.94 0.96 0.94 2/64 2059 /proc/meminfo: memFree=1340312/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=37920 CPUtime=19.99 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 9400 0 0 0 1996 3 0 0 25 0 1 0 198979643 38830080 8891 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 9480 8891 124 215 0 9262 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 37920 [startup+30.0151 s] /proc/loadavg: 0.95 0.96 0.94 2/64 2059 /proc/meminfo: memFree=1334488/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=43876 CPUtime=29.99 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 10869 0 0 0 2995 4 0 0 25 0 1 0 198979643 44929024 10360 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 10969 10360 124 215 0 10751 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 43876 [startup+40.0211 s] /proc/loadavg: 0.95 0.96 0.94 2/64 2059 /proc/meminfo: memFree=1327128/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=51268 CPUtime=40 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 12715 0 0 0 3994 6 0 0 25 0 1 0 198979643 52498432 12206 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 12817 12206 124 215 0 12599 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 51268 [startup+50.0273 s] /proc/loadavg: 0.96 0.96 0.94 2/64 2059 /proc/meminfo: memFree=1321048/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=57304 CPUtime=50 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 14230 0 0 0 4992 8 0 0 25 0 1 0 198979643 58679296 13721 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 14326 13721 124 215 0 14108 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 57304 [startup+60.0333 s] /proc/loadavg: 0.97 0.96 0.94 2/64 2059 /proc/meminfo: memFree=1316952/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=61384 CPUtime=60.01 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 15270 0 0 0 5992 9 0 0 25 0 1 0 198979643 62857216 14761 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 15346 14761 124 215 0 15128 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 61384 [startup+70.0394 s] /proc/loadavg: 0.97 0.96 0.94 2/64 2059 /proc/meminfo: memFree=1312088/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=66396 CPUtime=70.01 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 16473 0 0 0 6991 10 0 0 25 0 1 0 198979643 67989504 15964 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 16599 15964 124 215 0 16381 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 66396 [startup+80.0455 s] /proc/loadavg: 0.98 0.96 0.94 2/64 2059 /proc/meminfo: memFree=1308120/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=70356 CPUtime=80.01 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 17457 0 0 0 7989 12 0 0 25 0 1 0 198979643 72044544 16948 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 17589 16948 124 215 0 17371 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 70356 [startup+90.0516 s] /proc/loadavg: 0.98 0.96 0.94 2/64 2059 /proc/meminfo: memFree=1304856/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=73664 CPUtime=90.02 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 18285 0 0 0 8989 13 0 0 25 0 1 0 198979643 75431936 17776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 18416 17776 124 215 0 18198 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 73664 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.94 2/64 2059 /proc/meminfo: memFree=1301848/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=76576 CPUtime=100.01 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 19028 0 0 0 9988 13 0 0 25 0 1 0 198979643 78413824 18519 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573110 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 19144 18519 124 215 0 18926 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 76576 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.94 2/64 2059 /proc/meminfo: memFree=1297048/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=81184 CPUtime=110.03 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 20218 0 0 0 10988 15 0 0 25 0 1 0 198979643 83132416 19709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 20296 19709 124 215 0 20078 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 81184 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2059 /proc/meminfo: memFree=1292632/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=86068 CPUtime=120.03 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 21329 0 0 0 11987 16 0 0 25 0 1 0 198979643 88133632 20820 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 21517 20820 124 215 0 21299 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 86068 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2059 /proc/meminfo: memFree=1287960/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=90548 CPUtime=130.03 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 22484 0 0 0 12986 17 0 0 25 0 1 0 198979643 92721152 21975 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 22637 21975 124 215 0 22419 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 90548 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2059 /proc/meminfo: memFree=1283352/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=95176 CPUtime=140.03 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 23631 0 0 0 13985 18 0 0 25 0 1 0 198979643 97460224 23122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 23794 23122 124 215 0 23576 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 95176 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2059 /proc/meminfo: memFree=1279448/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=99000 CPUtime=150.04 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 24605 0 0 0 14985 19 0 0 25 0 1 0 198979643 101376000 24096 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 24750 24096 124 215 0 24532 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 99000 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2059 /proc/meminfo: memFree=1277080/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=101236 CPUtime=160.03 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 25200 0 0 0 15984 19 0 0 25 0 1 0 198979643 103665664 24691 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 25309 24691 124 215 0 25091 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 101236 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2059 /proc/meminfo: memFree=1274776/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=103648 CPUtime=170.04 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 25780 0 0 0 16984 20 0 0 25 0 1 0 198979643 106135552 25271 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 25912 25271 124 215 0 25694 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 103648 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2059 /proc/meminfo: memFree=1271512/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=106816 CPUtime=180.05 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 26593 0 0 0 17984 21 0 0 25 0 1 0 198979643 109379584 26084 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 26704 26084 124 215 0 26486 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 106816 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2059 /proc/meminfo: memFree=1268504/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=109716 CPUtime=190.04 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 27345 0 0 0 18983 21 0 0 25 0 1 0 198979643 112349184 26836 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 27429 26836 124 215 0 27211 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 109716 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2059 /proc/meminfo: memFree=1265880/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=112944 CPUtime=200.05 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 28003 0 0 0 19983 22 0 0 25 0 1 0 198979643 115654656 27494 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 28236 27494 124 215 0 28018 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 112944 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2059 /proc/meminfo: memFree=1263128/2055920 swapFree=4181452/4192956 ################ # More data... # ################ [pid=2059] ppid=2057 vsize=333992 CPUtime=1781.6 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 178075 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 333992 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1782.6 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 178175 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 333992 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1783.61 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 178276 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 333992 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1784.61 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 178376 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 333992 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1785.62 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 178477 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 333992 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1786.62 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 178577 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 333992 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1787.63 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 178678 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 333992 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1788.63 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 178778 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 333992 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1789.63 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 178878 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 333992 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1790.64 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 178979 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 333992 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1791.64 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179079 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 333992 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1792.65 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179180 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 333992 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1793.65 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179280 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 333992 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1794.66 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179381 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 333992 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1795.66 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179481 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 333992 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1796.67 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179582 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 333992 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1797.67 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179682 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 333992 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1798.68 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179783 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 333992 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1799.68 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179883 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 333992 [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1800.69 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179984 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 333992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.94 2/64 2061 /proc/meminfo: memFree=1044704/2055920 swapFree=4181452/4192956 [pid=2059] ppid=2057 vsize=333992 CPUtime=1800.69 /proc/2059/stat : 2059 (minisat+) R 2057 2059 2008 0 -1 4194304 83160 0 0 0 179984 85 0 0 25 0 1 0 198979643 342007808 82651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2059/statm: 83498 82651 124 215 0 83280 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 333992 Sending SIGTERM to -2059 Sleeping 2 seconds Child status: 0 Real time (s): 1801.24 CPU time (s): 1800.76 CPU user time (s): 1799.85 CPU system time (s): 0.91486 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (Kb): 333992
Begin job on node21 on Sat Jun 3 11:12:46 UTC 2006 FILE ID= 35047-1149333165 PBS_JOBID= 310004 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-share1b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node21/35047-1149333165/instance-35047-1149333165.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-35047-1149333165 -o ROOT/results/node21/solver-35047-1149333165 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node21/35047-1149333165/instance-35047-1149333165.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= bba1c13067ee4807fb3278415b1e1268 RANDOM SEED= 578866444 /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.240 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.240 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: 1375704 kB Buffers: 36908 kB Cached: 569608 kB SwapCached: 3308 kB Active: 136892 kB Inactive: 478452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1375704 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 144 kB Writeback: 0 kB Mapped: 14740 kB Slab: 50884 kB Committed_AS: 327944 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Sat Jun 3 11:42:47 UTC 2006