Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.54 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-bell3b.opb |
MD5SUM | b7f7c91542d49e4b7d5c93771b085583 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1146 |
Best CPU time to get the best result obtained on this benchmark | 1800.41 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1087 |
Optimality of the best value was proved | NO |
Number of variables | 2283 |
Total number of constraints | 151 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 129 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 195 |
Number of terms in the objective function | 1780 |
Biggest coefficient in the objective function | 24508 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525566 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261895 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525566 |
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.07 c Converting 151 PB-constraints to clauses... 0.07 c -- Unit propagations: ppppppppppp 0.08 c -- Detecting intervals from adjacent constraints: (none) 0.08 c -- Clauses(.)/Splits(s): ssssssss......................ss.sss 0.08 c ---[ 147]---> BDD-cost: 13 0.08 c ---[ 146]---> BDD-cost: 13 0.08 c ---[ 145]---> BDD-cost: 13 0.08 c ---[ 144]---> BDD-cost: 13 0.08 c ---[ 143]---> BDD-cost: 13 0.08 c ---[ 142]---> BDD-cost: 13 0.08 c ---[ 141]---> BDD-cost: 13 0.08 c ---[ 140]---> BDD-cost: 13 0.08 c ---[ 109]---> BDD-cost: 9 0.08 c ---[ 108]---> BDD-cost: 9 0.08 c ---[ 107]---> BDD-cost: 9 0.08 c ---[ 106]---> BDD-cost: 9 0.08 c ---[ 105]---> BDD-cost: 9 0.08 c ---[ 104]---> BDD-cost: 9 0.08 c ---[ 103]---> BDD-cost: 9 0.08 c ---[ 102]---> BDD-cost: 9 0.08 c ---[ 101]---> BDD-cost: 9 0.08 c ---[ 100]---> BDD-cost: 9 0.08 c ---[ 99]---> BDD-cost: 9 0.08 c ---[ 98]---> BDD-cost: 9 0.08 c ---[ 97]---> BDD-cost: 9 0.08 c ---[ 96]---> BDD-cost: 9 0.08 c ---[ 95]---> BDD-cost: 9 0.08 c ---[ 94]---> BDD-cost: 9 0.08 c ---[ 93]---> Adder-cost: 306 maxlim: 3452 bits: 13/12 0.11 c ---[ 92]---> Adder-cost: 413 maxlim: 7771 bits: 14/13 0.15 c ---[ 91]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 0.16 c ---[ 90]---> Adder-cost: 358 maxlim: 7629 bits: 14/13 0.25 c ---[ 89]---> Adder-cost: 266 maxlim: 4964 bits: 14/13 0.34 c ---[ 88]---> Adder-cost: 366 maxlim: 7629 bits: 14/13 0.43 c ---[ 87]---> Adder-cost: 366 maxlim: 7629 bits: 14/13 0.52 c ---[ 86]---> Adder-cost: 366 maxlim: 7629 bits: 14/13 0.61 c ---[ 85]---> Adder-cost: 130 maxlim: 4118 bits: 14/13 0.62 c ---[ 84]---> Adder-cost: 320 maxlim: 4135 bits: 13/13 0.65 c ---[ 83]---> Adder-cost: 252 maxlim: 4964 bits: 14/13 0.72 c ---[ 82]---> Adder-cost: 266 maxlim: 4964 bits: 14/13 0.81 c ---[ 81]---> Adder-cost: 320 maxlim: 3452 bits: 13/12 0.84 c ---[ 80]---> Adder-cost: 306 maxlim: 3452 bits: 13/12 0.87 c ---[ 79]---> Adder-cost: 494 maxlim: 8271 bits: 14/14 0.93 c ---[ 78]---> Adder-cost: 584 maxlim: 15567 bits: 15/14 1.01 c ---[ 77]---> Adder-cost: 354 maxlim: 3660 bits: 13/12 1.03 c ---[ 76]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 1.04 c ---[ 75]---> Sorter-cost: 2454 Base: 3 3 2 3 2 3 1.07 c ---[ 74]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 1.36 c ---[ 73]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.42 c ---[ 72]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.47 c ---[ 71]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.53 c ---[ 70]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.59 c ---[ 69]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.64 c ---[ 68]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.70 c ---[ 67]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 1.99 c ---[ 66]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 2.05 c ---[ 65]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 2.11 c ---[ 64]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 2.40 c ---[ 63]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 2.70 c ---[ 62]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 2.99 c ---[ 61]---> Sorter-cost: 2999 Base: 3 3 3 5 11 2 2 2 3 3.33 c ---[ 60]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 3.63 c ---[ 59]---> Sorter-cost: 2862 Base: 3 3 3 5 11 2 2 3 2 3.92 c ---[ 58]---> Sorter-cost: 2643 Base: 3 7 2 2 2 2 2 2 2 2 3.95 c ---[ 57]---> Adder-cost: 228 maxlim: 808 bits: 11/10 3.97 c ---[ 56]---> Sorter-cost: 631 Base: 2 2 2 2 2 2 2 3.97 c ---[ 55]---> Sorter-cost: 2543 Base: 3 7 2 2 2 2 2 2 3.99 c ---[ 53]---> BDD-cost: 86 3.99 c ---[ 52]---> Sorter-cost: 2694 Base: 3 7 2 2 2 2 2 4.01 c ---[ 51]---> Sorter-cost: 2639 Base: 3 7 2 2 2 2 2 4.03 c ---[ 50]---> Adder-cost: 230 maxlim: 2359 bits: 13/12 4.05 c ---[ 49]---> BDD-cost: 85 4.06 c ---[ 48]---> Adder-cost: 110 maxlim: 531 bits: 11/10 4.06 c ---[ 47]---> Sorter-cost: 2772 Base: 3 7 2 2 2 2 2 2 2 2 4.09 c ---[ 42]---> Sorter-cost: 2793 Base: 3 7 2 2 2 2 2 2 2 2 4.12 c ---[ 41]---> Sorter-cost: 2793 Base: 3 7 2 2 2 2 2 2 2 2 4.16 c ---[ 40]---> Adder-cost: 439 maxlim: 3737 bits: 13/12 4.20 c ---[ 39]---> Adder-cost: 515 maxlim: 12869 bits: 15/14 4.26 c ---[ 38]---> Adder-cost: 163 maxlim: 841 bits: 11/10 4.27 c ---[ 37]---> Sorter-cost: 634 Base: 2 2 2 2 2 2 2 4.27 c ---[ 35]---> Adder-cost: 172 maxlim: 2826 bits: 12/12 4.30 c ---[ 34]---> Adder-cost: 170 maxlim: 2826 bits: 12/12 4.32 c ---[ 33]---> Sorter-cost: 1679 Base: 3 5 3 2 2 4.34 c ---[ 32]---> Adder-cost: 156 maxlim: 1349 bits: 12/11 4.35 c ---[ 31]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 4.38 c ---[ 30]---> Adder-cost: 182 maxlim: 2826 bits: 12/12 4.40 c ---[ 29]---> Adder-cost: 162 maxlim: 2826 bits: 12/12 4.43 c ---[ 28]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 4.45 c ---[ 27]---> Adder-cost: 164 maxlim: 2826 bits: 12/12 4.47 c ---[ 26]---> Adder-cost: 182 maxlim: 2826 bits: 12/12 4.50 c ---[ 25]---> Sorter-cost: 1727 Base: 3 5 3 2 2 4.51 c ---[ 24]---> Sorter-cost: 1727 Base: 3 5 3 2 2 4.53 c ---[ 23]---> Adder-cost: 176 maxlim: 3756 bits: 13/12 4.56 c ---[ 22]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 4.58 c ---[ 21]---> Sorter-cost: 2653 Base: 3 3 5 5 2 2 3 4.65 c ---[ 20]---> Sorter-cost: 2577 Base: 3 7 2 2 2 2 2 2 2 5 4.73 c ---[ 19]---> Adder-cost: 172 maxlim: 2826 bits: 12/12 4.77 c ---[ 18]---> Adder-cost: 160 maxlim: 2826 bits: 12/12 4.80 c ---[ 17]---> Sorter-cost: 2439 Base: 3 3 3 3 3 3 2 4.86 c ---[ 16]---> Adder-cost: 160 maxlim: 2826 bits: 12/12 4.88 c ---[ 15]---> Sorter-cost: 1679 Base: 3 5 3 2 2 4.90 c ---[ 14]---> Sorter-cost: 1717 Base: 5 3 3 2 2 2 4.92 c ---[ 13]---> Sorter-cost: 2439 Base: 3 3 3 3 3 3 2 4.97 c ---[ 12]---> BDD-cost: 5 4.97 c ---[ 11]---> BDD-cost: 5 4.97 c ---[ 10]---> BDD-cost: 5 4.97 c ---[ 9]---> BDD-cost: 5 4.97 c ---[ 8]---> BDD-cost: 5 4.98 c ---[ 7]---> BDD-cost: 5 4.98 c ---[ 6]---> BDD-cost: 5 4.98 c ---[ 5]---> BDD-cost: 5 4.98 c ---[ 4]---> Adder-cost: 47 maxlim: 12 bits: 5/4 4.98 c ---[ 3]---> Sorter-cost: 717 Base: 2 2 2 2 2 2 2 2 4.98 c ---[ 2]---> BDD-cost: 82 4.98 c ---[ 1]---> BDD-cost: 84 4.98 c ---[ 0]---> Sorter-cost: 679 Base: 2 2 2 2 2 2 5.21 c ==================================[MINISAT+]================================== 5.21 c | Conflicts | Original | Learnt | Progress | 5.21 c | | Clauses Literals | Max Clauses Literals LPC | | 5.21 c ============================================================================== 5.21 c | 0 | 267116 707572 | 89038 0 0 nan | 0.000 % | 5.22 c | 100 | 267116 707572 | 97941 100 478 4.8 | 0.975 % | 5.26 c | 252 | 267105 707548 | 107735 251 1266 5.0 | 0.978 % | 5.33 c | 477 | 266998 707308 | 118509 473 2441 5.2 | 1.013 % | 5.42 c | 816 | 265662 703751 | 130360 805 4983 6.2 | 1.362 % | 5.53 c | 1322 | 265637 703695 | 143396 1309 7976 6.1 | 1.370 % | 5.76 c | 2082 | 265141 702553 | 157736 2048 12830 6.3 | 1.543 % | 6.03 c | 3221 | 264950 702097 | 173509 3170 21781 6.9 | 1.601 % | 6.47 c | 4929 | 264884 701933 | 190860 4870 40058 8.2 | 1.619 % | 7.02 c | 7492 | 264655 701407 | 209946 7415 80422 10.8 | 1.696 % | 8.20 c | 11336 | 264335 700648 | 230941 11231 113918 10.1 | 1.794 % | 9.47 c | 17102 | 264214 700376 | 254035 16989 214607 12.6 | 1.839 % | 11.06 c | 25751 | 264181 700257 | 279439 25634 386387 15.1 | 1.840 % | 13.49 c | 38727 | 264044 699944 | 307383 38593 729028 18.9 | 1.886 % | 16.55 c | 58188 | 263851 699506 | 338121 58052 1266406 21.8 | 1.942 % | 22.79 c | 87381 | 263825 699437 | 371933 87239 2687031 30.8 | 1.951 % | 32.00 c | 131171 | 262908 697122 | 409127 130949 4086395 31.2 | 2.222 % | 57.21 c | 196856 | 262433 695953 | 450039 196597 7088777 36.1 | 2.375 % | 111.08 c | 295383 | 262390 695856 | 495043 295117 10701373 36.3 | 2.391 % | 245.54 c | 443172 | 261874 694648 | 544548 442864 16605568 37.5 | 2.563 % | 454.03 c | 664857 | 261618 694042 | 599003 135072 5048949 37.4 | 2.654 % | 763.64 c | 997382 | 261348 693314 | 658903 467562 19991504 42.8 | 2.716 % | 1220.51 c | 1496174 | 260713 691734 | 724793 330657 12445868 37.6 | 2.915 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 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/node75/watcher-35110-1149347882 -o ROOT/results/node75/solver-35110-1149347882 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node75/35110-1149347882/instance-35110-1149347882.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.94 2/64 26589 /proc/meminfo: memFree=1808312/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=1180 CPUtime=0 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 130 0 0 0 0 0 0 0 19 0 1 0 200451603 1208320 115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 295 115 67 215 0 77 0 [startup+10.0022 s] /proc/loadavg: 0.92 0.95 0.94 2/64 26589 /proc/meminfo: memFree=1785864/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=25364 CPUtime=9.99 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 6097 0 0 0 997 2 0 0 25 0 1 0 200451603 25972736 5768 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 6341 5768 124 215 0 6123 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 25364 [startup+20.0082 s] /proc/loadavg: 0.93 0.96 0.94 2/64 26589 /proc/meminfo: memFree=1776584/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=34792 CPUtime=19.99 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 8416 0 0 0 1996 3 0 0 25 0 1 0 200451603 35627008 8087 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 8698 8087 124 215 0 8480 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 34792 [startup+30.0142 s] /proc/loadavg: 0.94 0.96 0.94 2/64 26589 /proc/meminfo: memFree=1768008/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=43368 CPUtime=30 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 10560 0 0 0 2995 5 0 0 25 0 1 0 200451603 44408832 10231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 10842 10231 124 215 0 10624 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 43368 [startup+40.0202 s] /proc/loadavg: 0.95 0.96 0.94 2/64 26589 /proc/meminfo: memFree=1761544/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=49840 CPUtime=40 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 12162 0 0 0 3993 7 0 0 25 0 1 0 200451603 51036160 11833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 12460 11833 124 215 0 12242 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 49840 [startup+50.0262 s] /proc/loadavg: 0.96 0.96 0.94 2/64 26589 /proc/meminfo: memFree=1755272/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=56012 CPUtime=50 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 13726 0 0 0 4991 9 0 0 25 0 1 0 200451603 57356288 13397 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 14003 13397 124 215 0 13785 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 56012 [startup+60.0322 s] /proc/loadavg: 0.96 0.96 0.94 2/64 26589 /proc/meminfo: memFree=1750408/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=60784 CPUtime=60 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 14945 0 0 0 5990 10 0 0 25 0 1 0 200451603 62242816 14616 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 15196 14616 124 215 0 14978 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 60784 [startup+70.0382 s] /proc/loadavg: 0.97 0.96 0.94 2/64 26589 /proc/meminfo: memFree=1746952/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=64664 CPUtime=70.01 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 15806 0 0 0 6990 11 0 0 25 0 1 0 200451603 66215936 15477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580756 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 16166 15477 124 215 0 15948 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 64664 [startup+80.0452 s] /proc/loadavg: 0.97 0.96 0.94 2/64 26589 /proc/meminfo: memFree=1743560/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=67964 CPUtime=80 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 16654 0 0 0 7989 11 0 0 25 0 1 0 200451603 69595136 16325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580816 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 16991 16325 124 215 0 16773 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 67964 [startup+90.0522 s] /proc/loadavg: 0.98 0.96 0.94 2/64 26589 /proc/meminfo: memFree=1740488/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=70888 CPUtime=90.01 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 17426 0 0 0 8989 12 0 0 25 0 1 0 200451603 72589312 17097 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 17722 17097 124 215 0 17504 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 70888 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.94 2/64 26589 /proc/meminfo: memFree=1737160/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=74188 CPUtime=100.01 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 18255 0 0 0 9989 12 0 0 25 0 1 0 200451603 75968512 17926 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 18547 17926 124 215 0 18329 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 74188 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.94 2/64 26589 /proc/meminfo: memFree=1733448/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=77888 CPUtime=110.01 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 19181 0 0 0 10988 13 0 0 25 0 1 0 200451603 79757312 18852 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 19472 18852 124 215 0 19254 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 77888 [startup+120.071 s] /proc/loadavg: 0.98 0.97 0.94 2/64 26589 /proc/meminfo: memFree=1730504/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=80724 CPUtime=120.02 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 19913 0 0 0 11988 14 0 0 25 0 1 0 200451603 82661376 19584 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 20181 19584 124 215 0 19963 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 80724 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26589 /proc/meminfo: memFree=1727880/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=83900 CPUtime=130.02 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 20565 0 0 0 12988 14 0 0 25 0 1 0 200451603 85913600 20236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 20975 20236 124 215 0 20757 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 83900 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26589 /proc/meminfo: memFree=1725512/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=86156 CPUtime=140.02 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 21143 0 0 0 13986 16 0 0 25 0 1 0 200451603 88223744 20814 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 21539 20814 124 215 0 21321 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 86156 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26589 /proc/meminfo: memFree=1722952/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=88676 CPUtime=150.03 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 21780 0 0 0 14986 17 0 0 25 0 1 0 200451603 90804224 21451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 22169 21451 124 215 0 21951 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 88676 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26589 /proc/meminfo: memFree=1720520/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=91044 CPUtime=160.03 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 22387 0 0 0 15985 18 0 0 25 0 1 0 200451603 93229056 22058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 22761 22058 124 215 0 22543 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 91044 [startup+170.103 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26589 /proc/meminfo: memFree=1718408/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=93144 CPUtime=170.03 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 22909 0 0 0 16985 18 0 0 25 0 1 0 200451603 95379456 22580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 23286 22580 124 215 0 23068 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 93144 [startup+180.109 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26589 /proc/meminfo: memFree=1716360/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=95144 CPUtime=180.04 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 23431 0 0 0 17985 19 0 0 25 0 1 0 200451603 97427456 23102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 23786 23102 124 215 0 23568 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 95144 [startup+190.115 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26589 /proc/meminfo: memFree=1714248/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=97288 CPUtime=190.04 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 23952 0 0 0 18985 19 0 0 25 0 1 0 200451603 99622912 23623 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 24322 23623 124 215 0 24104 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 97288 [startup+200.122 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26589 /proc/meminfo: memFree=1712584/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=98876 CPUtime=200.04 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 24366 0 0 0 19985 19 0 0 25 0 1 0 200451603 101249024 24037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 24719 24037 124 215 0 24501 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 98876 [startup+210.128 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26589 /proc/meminfo: memFree=1710472/2055920 swapFree=4182500/4192956 ################ # More data... # ################ [pid=26589] ppid=26587 vsize=182384 CPUtime=1781.42 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 178101 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 182384 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1782.42 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 178201 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587961 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 182384 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1783.43 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 178302 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1783.43 Current children cumulated vsize (Kb) 182384 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1784.43 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 178402 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 182384 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1785.44 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 178503 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 182384 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1786.44 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 178603 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 182384 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1787.44 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 178703 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 182384 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1788.45 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 178804 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1788.45 Current children cumulated vsize (Kb) 182384 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1789.45 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 178904 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 182384 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1790.46 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 179005 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 182384 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1791.46 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 179105 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581507 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 182384 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1792.47 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 179206 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1792.47 Current children cumulated vsize (Kb) 182384 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1793.47 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 179306 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 182384 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1794.48 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 179407 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 182384 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1795.48 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 179507 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 182384 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1796.48 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 179607 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 182384 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1630024/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1797.49 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44895 0 0 0 179708 41 0 0 25 0 1 0 200451603 186761216 44566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580634 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44566 124 215 0 45378 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 182384 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1629960/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1798.49 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44910 0 0 0 179808 41 0 0 25 0 1 0 200451603 186761216 44581 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44581 124 215 0 45378 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 182384 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1629960/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1799.5 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44910 0 0 0 179909 41 0 0 25 0 1 0 200451603 186761216 44581 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44581 124 215 0 45378 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 182384 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1629960/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1800.5 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44910 0 0 0 180009 41 0 0 25 0 1 0 200451603 186761216 44581 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44581 124 215 0 45378 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 182384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.94 2/64 26591 /proc/meminfo: memFree=1629960/2055920 swapFree=4182500/4192956 [pid=26589] ppid=26587 vsize=182384 CPUtime=1800.51 /proc/26589/stat : 26589 (minisat+) R 26587 26589 26543 0 -1 4194304 44910 0 0 0 180010 41 0 0 25 0 1 0 200451603 186761216 44581 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/26589/statm: 45596 44581 124 215 0 45378 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 182384 Sending SIGTERM to -26589 Sleeping 2 seconds Child status: 0 Real time (s): 1801.23 CPU time (s): 1800.54 CPU user time (s): 1800.1 CPU system time (s): 0.441932 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (Kb): 182384
Begin job on node75 on Sat Jun 3 15:18:02 UTC 2006 FILE ID= 35110-1149347882 PBS_JOBID= 310819 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node75/35110-1149347882/instance-35110-1149347882.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-35110-1149347882 -o ROOT/results/node75/solver-35110-1149347882 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node75/35110-1149347882/instance-35110-1149347882.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= b7f7c91542d49e4b7d5c93771b085583 RANDOM SEED= 692845524 /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.259 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.259 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1808712 kB Buffers: 23452 kB Cached: 158780 kB SwapCached: 2048 kB Active: 43264 kB Inactive: 147500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1808712 kB SwapTotal: 4192956 kB SwapFree: 4182500 kB Dirty: 164 kB Writeback: 0 kB Mapped: 16032 kB Slab: 42368 kB Committed_AS: 348524 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node75 on Sat Jun 3 15:48:03 UTC 2006