Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.13 | 1800.84 |
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 | 1087 |
Best CPU time to get the best result obtained on this benchmark | 1800.29 |
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/0.00 c Parsing PB file... 0.03/0.07 c Converting 151 PB-constraints to clauses... 0.03/0.07 c -- Unit propagations: ppppppppppp 0.03/0.08 c -- Detecting intervals from adjacent constraints: (none) 0.03/0.08 c -- Clauses(.)/Splits(s): ssssssss......................ss.sss 0.03/0.09 c ---[ 147]---> BDD-cost: 13 0.03/0.09 c ---[ 146]---> BDD-cost: 13 0.03/0.09 c ---[ 145]---> BDD-cost: 13 0.03/0.09 c ---[ 144]---> BDD-cost: 13 0.03/0.09 c ---[ 143]---> BDD-cost: 13 0.03/0.09 c ---[ 142]---> BDD-cost: 13 0.03/0.09 c ---[ 141]---> BDD-cost: 13 0.03/0.09 c ---[ 140]---> BDD-cost: 13 0.03/0.09 c ---[ 109]---> BDD-cost: 9 0.03/0.09 c ---[ 108]---> BDD-cost: 9 0.03/0.09 c ---[ 107]---> BDD-cost: 9 0.03/0.09 c ---[ 106]---> BDD-cost: 9 0.03/0.09 c ---[ 105]---> BDD-cost: 9 0.03/0.09 c ---[ 104]---> BDD-cost: 9 0.03/0.09 c ---[ 103]---> BDD-cost: 9 0.03/0.09 c ---[ 102]---> BDD-cost: 9 0.03/0.09 c ---[ 101]---> BDD-cost: 9 0.03/0.09 c ---[ 100]---> BDD-cost: 9 0.03/0.09 c ---[ 99]---> BDD-cost: 9 0.03/0.09 c ---[ 98]---> BDD-cost: 9 0.03/0.09 c ---[ 97]---> BDD-cost: 9 0.03/0.09 c ---[ 96]---> BDD-cost: 9 0.03/0.09 c ---[ 95]---> BDD-cost: 9 0.03/0.09 c ---[ 94]---> BDD-cost: 9 0.03/0.09 c ---[ 93]---> Adder-cost: 306 maxlim: 3452 bits: 13/12 0.09/0.12 c ---[ 92]---> Adder-cost: 413 maxlim: 7771 bits: 14/13 0.09/0.16 c ---[ 91]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 0.09/0.17 c ---[ 90]---> Adder-cost: 358 maxlim: 7629 bits: 14/13 0.19/0.27 c ---[ 89]---> Adder-cost: 266 maxlim: 4964 bits: 14/13 0.29/0.36 c ---[ 88]---> Adder-cost: 366 maxlim: 7629 bits: 14/13 0.39/0.46 c ---[ 87]---> Adder-cost: 366 maxlim: 7629 bits: 14/13 0.49/0.56 c ---[ 86]---> Adder-cost: 366 maxlim: 7629 bits: 14/13 0.59/0.66 c ---[ 85]---> Adder-cost: 130 maxlim: 4118 bits: 14/13 0.59/0.67 c ---[ 84]---> Adder-cost: 320 maxlim: 4135 bits: 13/13 0.69/0.70 c ---[ 83]---> Adder-cost: 252 maxlim: 4964 bits: 14/13 0.69/0.78 c ---[ 82]---> Adder-cost: 266 maxlim: 4964 bits: 14/13 0.79/0.87 c ---[ 81]---> Adder-cost: 320 maxlim: 3452 bits: 13/12 0.89/0.91 c ---[ 80]---> Adder-cost: 306 maxlim: 3452 bits: 13/12 0.89/0.94 c ---[ 79]---> Adder-cost: 494 maxlim: 8271 bits: 14/14 1.00/1.01 c ---[ 78]---> Adder-cost: 584 maxlim: 15567 bits: 15/14 1.00/1.09 c ---[ 77]---> Adder-cost: 354 maxlim: 3660 bits: 13/12 1.10/1.12 c ---[ 76]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 1.10/1.13 c ---[ 75]---> Sorter-cost: 2454 Base: 3 3 2 3 2 3 1.10/1.15 c ---[ 74]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 1.39/1.47 c ---[ 73]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.49/1.54 c ---[ 72]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.59/1.60 c ---[ 71]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.59/1.66 c ---[ 70]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.69/1.72 c ---[ 69]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.69/1.78 c ---[ 68]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.79/1.85 c ---[ 67]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 2.10/2.16 c ---[ 66]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 2.20/2.22 c ---[ 65]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 2.20/2.29 c ---[ 64]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 2.59/2.61 c ---[ 63]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 2.89/2.92 c ---[ 62]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 3.20/3.24 c ---[ 61]---> Sorter-cost: 2999 Base: 3 3 3 5 11 2 2 2 3 3.59/3.61 c ---[ 60]---> Sorter-cost: 2914 Base: 3 3 3 5 11 2 2 3 2 3.89/3.93 c ---[ 59]---> Sorter-cost: 2862 Base: 3 3 3 5 11 2 2 3 2 4.19/4.25 c ---[ 58]---> Sorter-cost: 2643 Base: 3 7 2 2 2 2 2 2 2 2 4.19/4.28 c ---[ 57]---> Adder-cost: 228 maxlim: 808 bits: 11/10 4.19/4.30 c ---[ 56]---> Sorter-cost: 631 Base: 2 2 2 2 2 2 2 4.29/4.30 c ---[ 55]---> Sorter-cost: 2543 Base: 3 7 2 2 2 2 2 2 4.29/4.33 c ---[ 53]---> BDD-cost: 86 4.29/4.33 c ---[ 52]---> Sorter-cost: 2694 Base: 3 7 2 2 2 2 2 4.29/4.35 c ---[ 51]---> Sorter-cost: 2639 Base: 3 7 2 2 2 2 2 4.29/4.37 c ---[ 50]---> Adder-cost: 230 maxlim: 2359 bits: 13/12 4.29/4.40 c ---[ 49]---> BDD-cost: 85 4.29/4.40 c ---[ 48]---> Adder-cost: 110 maxlim: 531 bits: 11/10 4.39/4.40 c ---[ 47]---> Sorter-cost: 2772 Base: 3 7 2 2 2 2 2 2 2 2 4.39/4.44 c ---[ 42]---> Sorter-cost: 2793 Base: 3 7 2 2 2 2 2 2 2 2 4.39/4.47 c ---[ 41]---> Sorter-cost: 2793 Base: 3 7 2 2 2 2 2 2 2 2 4.49/4.51 c ---[ 40]---> Adder-cost: 439 maxlim: 3737 bits: 13/12 4.49/4.55 c ---[ 39]---> Adder-cost: 515 maxlim: 12869 bits: 15/14 4.59/4.62 c ---[ 38]---> Adder-cost: 163 maxlim: 841 bits: 11/10 4.59/4.63 c ---[ 37]---> Sorter-cost: 634 Base: 2 2 2 2 2 2 2 4.59/4.63 c ---[ 35]---> Adder-cost: 172 maxlim: 2826 bits: 12/12 4.59/4.66 c ---[ 34]---> Adder-cost: 170 maxlim: 2826 bits: 12/12 4.59/4.69 c ---[ 33]---> Sorter-cost: 1679 Base: 3 5 3 2 2 4.68/4.70 c ---[ 32]---> Adder-cost: 156 maxlim: 1349 bits: 12/11 4.68/4.72 c ---[ 31]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 4.68/4.75 c ---[ 30]---> Adder-cost: 182 maxlim: 2826 bits: 12/12 4.68/4.78 c ---[ 29]---> Adder-cost: 162 maxlim: 2826 bits: 12/12 4.78/4.80 c ---[ 28]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 4.78/4.83 c ---[ 27]---> Adder-cost: 164 maxlim: 2826 bits: 12/12 4.78/4.86 c ---[ 26]---> Adder-cost: 182 maxlim: 2826 bits: 12/12 4.78/4.88 c ---[ 25]---> Sorter-cost: 1727 Base: 3 5 3 2 2 4.88/4.90 c ---[ 24]---> Sorter-cost: 1727 Base: 3 5 3 2 2 4.88/4.92 c ---[ 23]---> Adder-cost: 176 maxlim: 3756 bits: 13/12 4.88/4.95 c ---[ 22]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 4.88/4.97 c ---[ 21]---> Sorter-cost: 2653 Base: 3 3 5 5 2 2 3 4.98/5.05 c ---[ 20]---> Sorter-cost: 2577 Base: 3 7 2 2 2 2 2 2 2 5 5.08/5.14 c ---[ 19]---> Adder-cost: 172 maxlim: 2826 bits: 12/12 5.08/5.18 c ---[ 18]---> Adder-cost: 160 maxlim: 2826 bits: 12/12 5.18/5.21 c ---[ 17]---> Sorter-cost: 2439 Base: 3 3 3 3 3 3 2 5.18/5.28 c ---[ 16]---> Adder-cost: 160 maxlim: 2826 bits: 12/12 5.28/5.30 c ---[ 15]---> Sorter-cost: 1679 Base: 3 5 3 2 2 5.28/5.32 c ---[ 14]---> Sorter-cost: 1717 Base: 5 3 3 2 2 2 5.28/5.34 c ---[ 13]---> Sorter-cost: 2439 Base: 3 3 3 3 3 3 2 5.38/5.40 c ---[ 12]---> BDD-cost: 5 5.38/5.40 c ---[ 11]---> BDD-cost: 5 5.38/5.41 c ---[ 10]---> BDD-cost: 5 5.38/5.41 c ---[ 9]---> BDD-cost: 5 5.38/5.41 c ---[ 8]---> BDD-cost: 5 5.38/5.41 c ---[ 7]---> BDD-cost: 5 5.38/5.41 c ---[ 6]---> BDD-cost: 5 5.38/5.41 c ---[ 5]---> BDD-cost: 5 5.38/5.41 c ---[ 4]---> Adder-cost: 47 maxlim: 12 bits: 5/4 5.38/5.41 c ---[ 3]---> Sorter-cost: 717 Base: 2 2 2 2 2 2 2 2 5.38/5.41 c ---[ 2]---> BDD-cost: 82 5.38/5.41 c ---[ 1]---> BDD-cost: 84 5.38/5.41 c ---[ 0]---> Sorter-cost: 679 Base: 2 2 2 2 2 2 5.58/5.67 c ==================================[MINISAT+]================================== 5.58/5.67 c | Conflicts | Original | Learnt | Progress | 5.58/5.67 c | | Clauses Literals | Max Clauses Literals LPC | | 5.58/5.67 c ============================================================================== 5.58/5.67 c | 0 | 267116 707572 | 89038 0 0 nan | 0.000 % | 5.58/5.68 c | 100 | 267116 707572 | 97941 100 478 4.8 | 0.975 % | 5.68/5.71 c | 252 | 267105 707548 | 107735 251 1266 5.0 | 0.978 % | 5.68/5.79 c | 477 | 266998 707308 | 118509 473 2441 5.2 | 1.013 % | 5.78/5.88 c | 816 | 265662 703751 | 130360 805 4983 6.2 | 1.362 % | 5.98/6.01 c | 1322 | 265637 703695 | 143396 1309 7976 6.1 | 1.370 % | 6.18/6.26 c | 2082 | 265141 702553 | 157736 2048 12830 6.3 | 1.543 % | 6.48/6.54 c | 3221 | 264950 702097 | 173509 3170 21781 6.9 | 1.601 % | 6.98/7.02 c | 4929 | 264884 701933 | 190860 4870 40058 8.2 | 1.619 % | 7.48/7.60 c | 7492 | 264655 701407 | 209946 7415 80422 10.8 | 1.696 % | 8.78/8.86 c | 11336 | 264335 700648 | 230941 11231 113918 10.1 | 1.794 % | 10.18/10.20 c | 17102 | 264214 700376 | 254035 16989 214607 12.6 | 1.839 % | 11.78/11.88 c | 25751 | 264181 700257 | 279439 25634 386387 15.1 | 1.840 % | 14.38/14.47 c | 38727 | 264044 699944 | 307383 38593 729028 18.9 | 1.886 % | 17.67/17.74 c | 58188 | 263851 699506 | 338121 58052 1266406 21.8 | 1.942 % | 24.38/24.43 c | 87381 | 263825 699437 | 371933 87239 2687031 30.8 | 1.951 % | 34.28/34.31 c | 131171 | 262908 697122 | 409127 130949 4086395 31.2 | 2.222 % | 60.97/61.07 c | 196856 | 262433 695953 | 450039 196597 7088777 36.1 | 2.375 % | 117.34/117.48 c | 295383 | 262390 695856 | 495043 295117 10701373 36.3 | 2.391 % | 256.59/256.76 c | 443172 | 261874 694648 | 544548 442864 16605568 37.5 | 2.563 % | 472.52/472.78 c | 664857 | 261618 694042 | 599003 135072 5048949 37.4 | 2.654 % | 794.22/794.55 c | 997382 | 261348 693314 | 658903 467562 19991504 42.8 | 2.716 % | 1268.76/1269.34 c | 1496174 | 260713 691734 | 724793 330657 12445868 37.6 | 2.915 % | 1800.09/1800.80 c 1800.09/1800.80 c *** TERMINATED *** 1800.09/1800.80 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/351388-1176597977/instance-351388-1176597977.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-351388-1176597977 -o ROOT/results/node46/solver-351388-1176597977 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351388-1176597977/minisat+ /tmp/evaluation/351388-1176597977/instance-351388-1176597977.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.06 1.05 3/65 3784 /proc/meminfo: memFree=1460768/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=1344 CPUtime=0 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 176 0 0 0 0 0 0 0 18 0 1 0 14480673 1376256 161 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 336 163 68 215 0 118 0 [startup+0.0421159 s] /proc/loadavg: 0.99 1.06 1.05 3/65 3784 /proc/meminfo: memFree=1460768/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=1536 CPUtime=0.03 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 242 0 0 0 3 0 0 0 18 0 1 0 14480673 1572864 227 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 384 227 75 215 0 166 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1536 [startup+0.101125 s] /proc/loadavg: 0.99 1.06 1.05 3/65 3784 /proc/meminfo: memFree=1460768/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=1836 CPUtime=0.09 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 336 0 0 0 9 0 0 0 18 0 1 0 14480673 1880064 321 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134680883 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 459 321 92 215 0 241 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1836 [startup+0.301163 s] /proc/loadavg: 0.99 1.06 1.05 3/65 3784 /proc/meminfo: memFree=1460768/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=2188 CPUtime=0.29 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 430 0 0 0 29 0 0 0 19 0 1 0 14480673 2240512 415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134680237 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 547 415 108 215 0 329 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2188 [startup+0.701237 s] /proc/loadavg: 0.99 1.06 1.05 3/65 3784 /proc/meminfo: memFree=1460768/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=2188 CPUtime=0.69 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 435 0 0 0 69 0 0 0 22 0 1 0 14480673 2240512 420 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 547 420 108 215 0 329 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2188 [startup+1.50138 s] /proc/loadavg: 0.99 1.06 1.05 2/66 3785 /proc/meminfo: memFree=1459480/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=2592 CPUtime=1.49 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 524 0 0 0 149 0 0 0 25 0 1 0 14480673 2654208 509 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 648 509 109 215 0 430 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 2592 [startup+3.10168 s] /proc/loadavg: 0.99 1.06 1.05 2/66 3785 /proc/meminfo: memFree=1458648/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=3416 CPUtime=3.09 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 753 0 0 0 309 0 0 0 25 0 1 0 14480673 3497984 696 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003881 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 854 696 109 215 0 636 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3416 [startup+6.30127 s] /proc/loadavg: 0.99 1.06 1.05 2/66 3785 /proc/meminfo: memFree=1455640/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=23200 CPUtime=6.28 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 5535 0 0 0 626 2 0 0 25 0 1 0 14480673 23756800 5206 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 5800 5206 124 215 0 5582 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23200 [startup+12.7025 s] /proc/loadavg: 0.99 1.06 1.05 2/66 3785 /proc/meminfo: memFree=1437584/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=26316 CPUtime=12.68 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 6321 0 0 0 1265 3 0 0 25 0 1 0 14480673 26947584 5992 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 6579 5992 124 215 0 6361 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26316 [startup+25.5018 s] /proc/loadavg: 0.99 1.06 1.05 2/66 3785 /proc/meminfo: memFree=1425624/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=38772 CPUtime=25.47 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 9384 0 0 0 2542 5 0 0 25 0 1 0 14480673 39702528 9055 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 9693 9055 124 215 0 9475 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 38772 [startup+51.1016 s] /proc/loadavg: 0.99 1.05 1.05 2/66 3785 /proc/meminfo: memFree=1409560/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=54940 CPUtime=51.06 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 13432 0 0 0 5097 9 0 0 25 0 1 0 14480673 56258560 13103 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 13735 13103 124 215 0 13517 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 54940 [startup+102.305 s] /proc/loadavg: 0.99 1.04 1.04 2/66 3785 /proc/meminfo: memFree=1391192/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=73004 CPUtime=102.25 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 17942 0 0 0 10211 14 0 0 25 0 1 0 14480673 74756096 17613 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 18251 17613 124 215 0 18033 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 73004 [startup+162.301 s] /proc/loadavg: 0.99 1.03 1.04 2/66 3785 /proc/meminfo: memFree=1375000/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=89540 CPUtime=162.23 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 22002 0 0 0 16205 18 0 0 25 0 1 0 14480673 91688960 21673 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 22385 21673 124 215 0 22167 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 89540 [startup+222.301 s] /proc/loadavg: 0.99 1.02 1.03 2/66 3785 /proc/meminfo: memFree=1362904/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=101416 CPUtime=222.21 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 24990 0 0 0 22200 21 0 0 25 0 1 0 14480673 103849984 24661 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 25354 24661 124 215 0 25136 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 101416 [startup+282.301 s] /proc/loadavg: 0.99 1.02 1.02 2/66 3785 /proc/meminfo: memFree=1351384/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=112768 CPUtime=282.19 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 27883 0 0 0 28194 25 0 0 25 0 1 0 14480673 115474432 27554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 28192 27554 124 215 0 27974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 112768 [startup+342.302 s] /proc/loadavg: 0.99 1.01 1.02 2/66 3785 /proc/meminfo: memFree=1341784/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=123100 CPUtime=342.17 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 30254 0 0 0 34189 28 0 0 25 0 1 0 14480673 126054400 29925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580975 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 30775 29925 124 215 0 30557 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 123100 [startup+402.302 s] /proc/loadavg: 0.99 1.01 1.01 2/66 3785 /proc/meminfo: memFree=1331544/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=133316 CPUtime=402.15 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 32852 0 0 0 40185 30 0 0 25 0 1 0 14480673 136515584 32523 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 33329 32523 124 215 0 33111 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 133316 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.01 2/66 3785 /proc/meminfo: memFree=1326040/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=138712 CPUtime=462.12 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 34178 0 0 0 46181 31 0 0 25 0 1 0 14480673 142041088 33849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 34678 33849 124 215 0 34460 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 138712 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3785 /proc/meminfo: memFree=1326040/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=138712 CPUtime=522.1 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 34179 0 0 0 52179 31 0 0 25 0 1 0 14480673 142041088 33850 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 34678 33850 124 215 0 34460 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 138712 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3785 /proc/meminfo: memFree=1325976/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=138712 CPUtime=582.08 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 34184 0 0 0 58177 31 0 0 25 0 1 0 14480673 142041088 33855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 34678 33855 124 215 0 34460 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 138712 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3785 /proc/meminfo: memFree=1325976/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=138712 CPUtime=642.07 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 34187 0 0 0 64175 32 0 0 25 0 1 0 14480673 142041088 33858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 34678 33858 124 215 0 34460 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 138712 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3785 /proc/meminfo: memFree=1325528/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=139232 CPUtime=822.01 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 34297 0 0 0 82169 32 0 0 25 0 1 0 14480673 142573568 33968 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 34808 33968 124 215 0 34590 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 139232 [startup+882.302 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3785 /proc/meminfo: memFree=1321304/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=143444 CPUtime=881.99 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 35370 0 0 0 88165 34 0 0 25 0 1 0 14480673 146886656 35041 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 35861 35041 124 215 0 35643 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 143444 [startup+942.303 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1307920/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=156688 CPUtime=941.87 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 38670 0 0 0 94149 38 0 0 25 0 1 0 14480673 160448512 38341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 39172 38341 124 215 0 38954 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 156688 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1298520/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=166036 CPUtime=1001.85 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 41048 0 0 0 100144 41 0 0 25 0 1 0 14480673 170020864 40719 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 41509 40719 124 215 0 41291 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 166036 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288792/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1061.83 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43465 0 0 0 106139 44 0 0 25 0 1 0 14480673 179851264 43136 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568484 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43136 124 215 0 43691 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 175636 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288792/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1121.81 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43468 0 0 0 112137 44 0 0 25 0 1 0 14480673 179851264 43139 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43139 124 215 0 43691 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 175636 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288728/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1181.79 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43478 0 0 0 118135 44 0 0 25 0 1 0 14480673 179851264 43149 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43149 124 215 0 43691 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 175636 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288728/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1241.77 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43478 0 0 0 124133 44 0 0 25 0 1 0 14480673 179851264 43149 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43149 124 215 0 43691 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 175636 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288728/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1301.76 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43478 0 0 0 130131 45 0 0 25 0 1 0 14480673 179851264 43149 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43149 124 215 0 43691 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 175636 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288728/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1361.73 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43479 0 0 0 136128 45 0 0 25 0 1 0 14480673 179851264 43150 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43150 124 215 0 43691 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 175636 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288728/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1421.72 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43484 0 0 0 142127 45 0 0 25 0 1 0 14480673 179851264 43155 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43155 124 215 0 43691 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 175636 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288664/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1481.69 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43487 0 0 0 148124 45 0 0 25 0 1 0 14480673 179851264 43158 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43158 124 215 0 43691 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 175636 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288664/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1541.67 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43495 0 0 0 154122 45 0 0 25 0 1 0 14480673 179851264 43166 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43166 124 215 0 43691 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 175636 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288664/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1601.65 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43497 0 0 0 160120 45 0 0 25 0 1 0 14480673 179851264 43168 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43168 124 215 0 43691 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 175636 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288664/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=175636 CPUtime=1661.62 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43499 0 0 0 166117 45 0 0 25 0 1 0 14480673 179851264 43170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 43909 43170 124 215 0 43691 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 175636 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1288472/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=177004 CPUtime=1721.6 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 43550 0 0 0 172115 45 0 0 25 0 1 0 14480673 181252096 43221 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581122 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 44251 43221 124 215 0 44033 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 177004 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1283224/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=182064 CPUtime=1781.59 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 44845 0 0 0 178112 47 0 0 25 0 1 0 14480673 186433536 44516 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 45516 44516 124 215 0 45298 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 182064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 1.00 1.00 2/66 3983 /proc/meminfo: memFree=1283224/2055920 swapFree=4192956/4192956 [pid=3784] ppid=3782 vsize=182064 CPUtime=1800.09 /proc/3784/stat : 3784 (minisat+) R 3782 3784 31654 0 -1 4194304 44845 0 0 0 179962 47 0 0 25 0 1 0 14480673 186433536 44516 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3784/statm: 45516 44516 124 215 0 45298 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 182064 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): 1800.84 CPU time (s): 1800.13 CPU user time (s): 1799.62 CPU system time (s): 0.500923 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 182064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.500923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44846 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 2442 runsolver used 1.25381 second user time and 3.75843 second system time The end
Begin job on node46 on Sun Apr 15 00:46:17 UTC 2007 IDJOB= 351388 IDBENCH= 1742 IDSOLVER= 156 FILE ID= node46/351388-1176597977 PBS_JOBID= 4556978 Free space on /tmp= 66218 MiB SOLVER NAME= minisat+ 1.14 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= /tmp/evaluation/351388-1176597977/minisat+ /tmp/evaluation/351388-1176597977/instance-351388-1176597977.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node46/convwatcher-351388-1176597977 -o ROOT/results/node46/conversion-351388-1176597977 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351388-1176597977/instance-351388-1176597977.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-351388-1176597977 -o ROOT/results/node46/solver-351388-1176597977 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351388-1176597977/minisat+ /tmp/evaluation/351388-1176597977/instance-351388-1176597977.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= b7f7c91542d49e4b7d5c93771b085583 RANDOM SEED= 140254396 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1461304 kB Buffers: 72708 kB Cached: 405060 kB SwapCached: 0 kB Active: 274392 kB Inactive: 235864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1461304 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2568 kB Writeback: 0 kB Mapped: 29524 kB Slab: 70372 kB Committed_AS: 172564 kB PageTables: 1480 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= 66218 MiB End job on node46 on Sun Apr 15 01:16:20 UTC 2007