Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 11 | 1800.59 | 1801.14 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_15.r.opb |
MD5SUM | 7e1b8a9f40a52781f7629bf04a2d5793 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.84787 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 15 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
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.01 c Converting 100 PB-constraints to clauses... 0.01 c -- Unit propagations: (none) 0.01 c -- Detecting intervals from adjacent constraints: (none) 0.01 c -- Clauses(.)/Splits(s): .................................................................................................... 0.01 c ==================================[MINISAT+]================================== 0.01 c | Conflicts | Original | Learnt | Progress | 0.01 c | | Clauses Literals | Max Clauses Literals LPC | | 0.01 c ============================================================================== 0.01 c | 0 | 100 1239 | 33 0 0 nan | 0.000 % | 0.01 c ============================================================================== 0.01 c [1mFound solution: 16[0m 0.01 o 16 0.01 c ---[ 0]---> Sorter-cost: 2208 Base: 0.02 c ==================================[MINISAT+]================================== 0.02 c | Conflicts | Original | Learnt | Progress | 0.02 c | | Clauses Literals | Max Clauses Literals LPC | | 0.02 c ============================================================================== 0.02 c | 0 | 2454 6726 | 818 0 0 nan | 0.000 % | 0.03 c ============================================================================== 0.03 c [1mFound solution: 15[0m 0.03 o 15 0.03 c ---[ 0]---> Sorter-cost: 0 Base: 0.04 c ==================================[MINISAT+]================================== 0.04 c | Conflicts | Original | Learnt | Progress | 0.04 c | | Clauses Literals | Max Clauses Literals LPC | | 0.04 c ============================================================================== 0.04 c | 83 | 2467 6759 | 822 83 2015 24.3 | 0.000 % | 0.05 c | 185 | 2467 6759 | 904 185 5783 31.3 | 1.522 % | 0.06 c | 336 | 2467 6759 | 994 336 12102 36.0 | 1.522 % | 0.09 c | 561 | 2467 6759 | 1094 561 23653 42.2 | 1.522 % | 0.12 c | 900 | 2467 6759 | 1203 900 40038 44.5 | 1.522 % | 0.18 c | 1406 | 2467 6759 | 1323 1406 66240 47.1 | 1.522 % | 0.26 c | 2165 | 2467 6759 | 1456 1462 69874 47.8 | 1.522 % | 0.38 c | 3304 | 2467 6759 | 1601 921 39985 43.4 | 1.522 % | 0.58 c | 5012 | 2467 6759 | 1762 1723 80620 46.8 | 1.522 % | 0.89 c | 7574 | 2467 6759 | 1938 1328 55423 41.7 | 1.522 % | 1.18 c ============================================================================== 1.18 c [1mFound solution: 14[0m 1.18 o 14 1.18 c ---[ 0]---> Sorter-cost: 0 Base: 1.19 c ==================================[MINISAT+]================================== 1.19 c | Conflicts | Original | Learnt | Progress | 1.19 c | | Clauses Literals | Max Clauses Literals LPC | | 1.19 c ============================================================================== 1.19 c | 9863 | 2458 6737 | 819 1433 62188 43.4 | 1.522 % | 1.21 c | 9966 | 2458 6737 | 900 820 31581 38.5 | 2.188 % | 1.23 c | 10116 | 2458 6737 | 990 970 39371 40.6 | 2.188 % | 1.25 c | 10341 | 2458 6737 | 1090 1195 49678 41.6 | 2.188 % | 1.29 c | 10679 | 2458 6737 | 1199 936 34337 36.7 | 2.188 % | 1.34 c | 11185 | 2458 6737 | 1319 1442 56535 39.2 | 2.188 % | 1.42 c | 11945 | 2458 6737 | 1450 1481 57865 39.1 | 2.188 % | 1.55 c | 13085 | 2458 6737 | 1595 1010 32205 31.9 | 2.188 % | 1.72 c | 14793 | 2458 6737 | 1755 935 29333 31.4 | 2.188 % | 2.00 c | 17355 | 2458 6737 | 1931 1534 58801 38.3 | 2.188 % | 2.46 c | 21199 | 2458 6737 | 2124 1091 36227 33.2 | 2.188 % | 3.15 c | 26966 | 2458 6737 | 2336 2230 88215 39.6 | 2.188 % | 3.33 c ============================================================================== 3.33 c [1mFound solution: 13[0m 3.33 o 13 3.33 c ---[ 0]---> Sorter-cost: 0 Base: 3.34 c ==================================[MINISAT+]================================== 3.34 c | Conflicts | Original | Learnt | Progress | 3.34 c | | Clauses Literals | Max Clauses Literals LPC | | 3.34 c ============================================================================== 3.34 c | 28347 | 2472 6773 | 824 2357 95497 40.5 | 2.188 % | 3.35 c | 28447 | 2472 6773 | 906 690 21013 30.5 | 2.237 % | 3.36 c | 28597 | 2472 6773 | 997 840 26767 31.9 | 2.237 % | 3.39 c | 28823 | 2472 6773 | 1096 1066 35406 33.2 | 2.237 % | 3.43 c | 29160 | 2472 6773 | 1206 734 20557 28.0 | 2.237 % | 3.49 c | 29667 | 2472 6773 | 1327 1241 40088 32.3 | 2.237 % | 3.56 c | 30426 | 2472 6773 | 1459 1228 37633 30.6 | 2.237 % | 3.69 c | 31566 | 2472 6773 | 1605 1561 51957 33.3 | 2.237 % | 3.88 c | 33274 | 2472 6773 | 1766 1467 48810 33.3 | 2.237 % | 4.19 c | 35836 | 2472 6773 | 1942 1064 37983 35.7 | 2.237 % | 4.66 c | 39680 | 2472 6773 | 2137 1729 59393 34.4 | 2.237 % | 5.42 c | 45447 | 2472 6773 | 2350 1642 63816 38.9 | 2.237 % | 6.63 c | 54097 | 2472 6773 | 2586 1379 46474 33.7 | 2.237 % | 8.26 c | 67074 | 2472 6773 | 2844 1644 55224 33.6 | 2.237 % | 10.70 c | 86539 | 2472 6773 | 3129 2818 94440 33.5 | 2.237 % | 14.46 c | 115732 | 2472 6773 | 3442 1949 75197 38.6 | 2.237 % | 19.86 c | 159523 | 2472 6773 | 3786 3491 136112 39.0 | 2.237 % | 27.78 c | 225209 | 2472 6773 | 4164 2891 107524 37.2 | 2.237 % | 40.95 c | 323736 | 2472 6773 | 4581 3094 113593 36.7 | 2.237 % | 60.73 c | 471527 | 2472 6773 | 5039 4717 178106 37.8 | 2.237 % | 91.32 c | 693212 | 2472 6773 | 5543 3192 117371 36.8 | 2.237 % | 138.52 c | 1025738 | 2472 6773 | 6097 4721 165730 35.1 | 2.237 % | 210.84 c | 1524529 | 2472 6773 | 6707 4168 160787 38.6 | 2.237 % | 324.83 c | 2272712 | 2472 6773 | 7378 6783 250275 36.9 | 2.237 % | 375.94 c ============================================================================== 375.94 c [1mFound solution: 12[0m 375.94 o 12 375.94 c ---[ 0]---> Sorter-cost: 0 Base: 375.95 c ==================================[MINISAT+]================================== 375.95 c | Conflicts | Original | Learnt | Progress | 375.95 c | | Clauses Literals | Max Clauses Literals LPC | | 375.95 c ============================================================================== 375.95 c | 2604673 | 2314 6401 | 771 7018 261965 37.3 | 2.237 % | 375.98 c | 2604774 | 2314 6401 | 848 499 11186 22.4 | 8.877 % | 375.99 c | 2604925 | 2314 6401 | 932 650 16885 26.0 | 8.877 % | 376.01 c | 2605151 | 2314 6401 | 1026 876 25373 29.0 | 8.877 % | 376.05 c | 2605488 | 2314 6401 | 1128 1213 39106 32.2 | 8.877 % | 376.10 c | 2605995 | 2314 6401 | 1241 997 30338 30.4 | 8.877 % | 376.17 c | 2606755 | 2314 6401 | 1365 984 28683 29.1 | 8.877 % | 376.29 c | 2607895 | 2314 6401 | 1502 1273 41496 32.6 | 8.877 % | 376.47 c | 2609603 | 2314 6401 | 1652 1005 29802 29.7 | 8.877 % | 376.74 c | 2612166 | 2314 6401 | 1817 1559 52689 33.8 | 8.877 % | 377.18 c | 2616010 | 2314 6401 | 1999 1902 61795 32.5 | 8.877 % | 377.82 c | 2621776 | 2314 6401 | 2199 1524 44713 29.3 | 8.877 % | 378.78 c | 2630425 | 2314 6401 | 2419 2328 76345 32.8 | 8.877 % | 380.29 c | 2643400 | 2314 6401 | 2661 2656 83974 31.6 | 8.877 % | 382.46 c | 2662861 | 2314 6401 | 2927 2839 88190 31.1 | 8.877 % | 385.90 c | 2692053 | 2314 6401 | 3220 3283 109454 33.3 | 8.877 % | 391.17 c | 2735845 | 2314 6401 | 3542 3180 121911 38.3 | 8.877 % | 399.29 c | 2801533 | 2314 6401 | 3896 3251 111553 34.3 | 8.877 % | 411.57 c | 2900059 | 2314 6401 | 4286 3269 110208 33.7 | 8.877 % | 429.78 c | 3047848 | 2314 6401 | 4715 4542 139804 30.8 | 8.877 % | 458.01 c | 3269533 | 2314 6401 | 5186 3816 125950 33.0 | 8.877 % | 501.64 c | 3602061 | 2314 6401 | 5705 4377 135079 30.9 | 8.877 % | 570.10 c | 4100849 | 2314 6401 | 6276 5757 209164 36.3 | 8.877 % | 678.21 c | 4849035 | 2314 6401 | 6903 4552 161585 35.5 | 8.877 % | 714.90 c ============================================================================== 714.90 c [1mFound solution: 11[0m 714.90 o 11 714.90 c ---[ 0]---> Sorter-cost: 0 Base: 714.91 c ==================================[MINISAT+]================================== 714.91 c | Conflicts | Original | Learnt | Progress | 714.91 c | | Clauses Literals | Max Clauses Literals LPC | | 714.91 c ============================================================================== 714.91 c | 5096696 | 2325 6429 | 775 6895 238995 34.7 | 8.877 % | 714.95 c | 5096798 | 2325 6429 | 852 964 23225 24.1 | 8.900 % | 714.96 c | 5096949 | 2325 6429 | 937 1115 29121 26.1 | 8.900 % | 714.99 c | 5097177 | 2325 6429 | 1031 786 18239 23.2 | 8.900 % | 715.03 c | 5097515 | 2325 6429 | 1134 1124 30135 26.8 | 8.900 % | 715.08 c | 5098023 | 2325 6429 | 1248 1632 47497 29.1 | 8.900 % | 715.16 c | 5098784 | 2325 6429 | 1372 1577 47052 29.8 | 8.900 % | 715.29 c | 5099923 | 2325 6429 | 1510 1123 32403 28.9 | 8.900 % | 715.49 c | 5101634 | 2325 6429 | 1661 1008 25955 25.7 | 8.900 % | 715.77 c | 5104200 | 2325 6429 | 1827 1593 40232 25.3 | 8.900 % | 716.22 c | 5108044 | 2325 6429 | 2010 2044 64219 31.4 | 8.900 % | 716.83 c | 5113810 | 2325 6429 | 2211 2112 74867 35.4 | 8.900 % | 717.83 c | 5122462 | 2325 6429 | 2432 1881 61632 32.8 | 8.900 % | 719.35 c | 5135441 | 2325 6429 | 2675 2240 69527 31.0 | 8.900 % | 721.62 c | 5154902 | 2325 6429 | 2943 1918 56330 29.4 | 8.900 % | 725.05 c | 5184094 | 2325 6429 | 3237 1684 48103 28.6 | 8.900 % | 730.45 c | 5227883 | 2325 6429 | 3561 2355 67052 28.5 | 8.900 % | 738.64 c | 5293567 | 2325 6429 | 3917 3810 119466 31.4 | 8.900 % | 751.16 c | 5392094 | 2325 6429 | 4308 4209 133069 31.6 | 8.900 % | 771.12 c | 5539886 | 2325 6429 | 4739 3109 94396 30.4 | 8.900 % | 799.37 c | 5761569 | 2325 6429 | 5213 4471 127090 28.4 | 8.900 % | 843.88 c | 6094094 | 2325 6429 | 5735 5484 189463 34.5 | 8.900 % | 916.24 c | 6592882 | 2325 6429 | 6308 5820 157367 27.0 | 8.900 % | 1026.65 c | 7341064 | 2325 6429 | 6939 3708 100966 27.2 | 8.900 % | 1192.47 c | 8463338 | 2325 6429 | 7633 6166 164108 26.6 | 8.900 % | 1444.07 c | 10146750 | 2325 6429 | 8396 6290 181708 28.9 | 8.900 % | 1801.13 c 1801.13 c *** TERMINATED *** 1801.13 s SATISFIABLE 1801.13 v -x1 -x2 x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 1801.13 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 1801.13 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1801.13 v -x82 x83 -x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
OK 11
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node43/watcher-49691-1154091194 -o ROOT/results/node43/solver-49691-1154091194 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49691-1154091194/instance-49691-1154091194.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 3/64 1617 /proc/meminfo: memFree=843104/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=1048 CPUtime=0 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 155990446 1073152 94 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 262 94 74 215 0 44 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.95 0.98 2/64 1617 /proc/meminfo: memFree=841632/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=2432 CPUtime=10 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 493 0 0 0 1000 0 0 0 25 0 1 0 155990446 2490368 477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 608 477 110 215 0 390 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 2432 [startup+20.0077 s] /proc/loadavg: 0.94 0.96 0.98 2/64 1617 /proc/meminfo: memFree=841312/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=2956 CPUtime=19.99 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 613 0 0 0 1999 0 0 0 25 0 1 0 155990446 3026944 597 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 739 597 110 215 0 521 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 2956 [startup+30.0136 s] /proc/loadavg: 0.95 0.96 0.98 2/64 1617 /proc/meminfo: memFree=841056/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=3220 CPUtime=30 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 687 0 0 0 3000 0 0 0 25 0 1 0 155990446 3297280 671 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 805 671 110 215 0 587 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 3220 [startup+40.0194 s] /proc/loadavg: 0.95 0.96 0.98 2/64 1617 /proc/meminfo: memFree=840928/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=3352 CPUtime=40 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 719 0 0 0 4000 0 0 0 25 0 1 0 155990446 3432448 703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 838 703 110 215 0 620 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 3352 [startup+50.0253 s] /proc/loadavg: 0.96 0.96 0.98 2/64 1617 /proc/meminfo: memFree=840736/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=3616 CPUtime=50 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 787 0 0 0 5000 0 0 0 25 0 1 0 155990446 3702784 771 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 904 771 110 215 0 686 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 3616 [startup+60.0311 s] /proc/loadavg: 0.97 0.96 0.98 2/64 1617 /proc/meminfo: memFree=840608/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=3748 CPUtime=60 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 815 0 0 0 6000 0 0 0 25 0 1 0 155990446 3837952 799 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 937 799 110 215 0 719 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 3748 [startup+70.037 s] /proc/loadavg: 0.97 0.96 0.98 2/64 1617 /proc/meminfo: memFree=840352/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4012 CPUtime=70.01 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 877 0 0 0 7001 0 0 0 25 0 1 0 155990446 4108288 861 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576132 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1003 861 110 215 0 785 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 4012 [startup+80.0429 s] /proc/loadavg: 0.98 0.96 0.98 2/64 1617 /proc/meminfo: memFree=840288/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4012 CPUtime=80.01 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 890 0 0 0 8001 0 0 0 25 0 1 0 155990446 4108288 874 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580249 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1003 874 110 215 0 785 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 4012 [startup+90.0487 s] /proc/loadavg: 0.98 0.96 0.98 2/64 1617 /proc/meminfo: memFree=840224/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4144 CPUtime=90.02 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 905 0 0 0 9002 0 0 0 25 0 1 0 155990446 4243456 889 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581192 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1036 889 110 215 0 818 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 4144 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.98 2/64 1617 /proc/meminfo: memFree=839904/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4408 CPUtime=100.02 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 974 0 0 0 10002 0 0 0 25 0 1 0 155990446 4513792 958 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1102 958 110 215 0 884 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 4408 [startup+110.06 s] /proc/loadavg: 0.98 0.96 0.98 2/64 1617 /proc/meminfo: memFree=839904/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4408 CPUtime=110.02 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 978 0 0 0 11002 0 0 0 25 0 1 0 155990446 4513792 962 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1102 962 110 215 0 884 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 4408 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1617 /proc/meminfo: memFree=839840/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4408 CPUtime=120.02 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 992 0 0 0 12002 0 0 0 25 0 1 0 155990446 4513792 976 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1102 976 110 215 0 884 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 4408 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1617 /proc/meminfo: memFree=839840/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4544 CPUtime=130.03 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 1015 0 0 0 13003 0 0 0 25 0 1 0 155990446 4653056 999 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1136 999 110 215 0 918 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 4544 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1617 /proc/meminfo: memFree=839712/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4672 CPUtime=140.03 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 1039 0 0 0 14003 0 0 0 25 0 1 0 155990446 4784128 1023 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1168 1023 110 215 0 950 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 4672 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1617 /proc/meminfo: memFree=839584/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4804 CPUtime=150.03 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 1076 0 0 0 15003 0 0 0 25 0 1 0 155990446 4919296 1060 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581497 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1201 1060 110 215 0 983 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 4804 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1617 /proc/meminfo: memFree=839520/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4804 CPUtime=160.04 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 1088 0 0 0 16004 0 0 0 25 0 1 0 155990446 4919296 1072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581512 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1201 1072 110 215 0 983 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 4804 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1617 /proc/meminfo: memFree=839456/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4948 CPUtime=170.04 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 1097 0 0 0 17004 0 0 0 25 0 1 0 155990446 5066752 1081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1237 1081 110 215 0 1019 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 4948 [startup+180.101 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1617 /proc/meminfo: memFree=839392/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4948 CPUtime=180.04 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 1113 0 0 0 18004 0 0 0 25 0 1 0 155990446 5066752 1097 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1237 1097 110 215 0 1019 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 4948 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1617 /proc/meminfo: memFree=839392/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4948 CPUtime=190.05 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 1115 0 0 0 19005 0 0 0 25 0 1 0 155990446 5066752 1099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1237 1099 110 215 0 1019 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 4948 [startup+200.113 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1617 /proc/meminfo: memFree=839328/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=4948 CPUtime=200.05 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 1128 0 0 0 20005 0 0 0 25 0 1 0 155990446 5066752 1112 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 1237 1112 110 215 0 1019 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 4948 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1617 ################ # More data... # ################ /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2046 0 0 0 178143 6 0 0 25 0 1 0 155990446 9064448 2030 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2030 110 215 0 1995 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 8852 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1782.49 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2053 0 0 0 178243 6 0 0 25 0 1 0 155990446 9064448 2037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574075 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2037 110 215 0 1995 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 8852 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1783.5 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2053 0 0 0 178344 6 0 0 25 0 1 0 155990446 9064448 2037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2037 110 215 0 1995 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 8852 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1784.5 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2053 0 0 0 178444 6 0 0 25 0 1 0 155990446 9064448 2037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2037 110 215 0 1995 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 8852 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1785.51 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2053 0 0 0 178545 6 0 0 25 0 1 0 155990446 9064448 2037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572985 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2037 110 215 0 1995 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 8852 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1786.51 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2053 0 0 0 178645 6 0 0 25 0 1 0 155990446 9064448 2037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579239 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2037 110 215 0 1995 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 8852 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1787.51 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2053 0 0 0 178745 6 0 0 25 0 1 0 155990446 9064448 2037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2037 110 215 0 1995 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 8852 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1788.52 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2053 0 0 0 178846 6 0 0 25 0 1 0 155990446 9064448 2037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2037 110 215 0 1995 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 8852 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.98 3/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1789.52 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2054 0 0 0 178946 6 0 0 25 0 1 0 155990446 9064448 2038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2038 110 215 0 1995 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 8852 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1790.53 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2054 0 0 0 179047 6 0 0 25 0 1 0 155990446 9064448 2038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2038 110 215 0 1995 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 8852 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1791.53 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2054 0 0 0 179147 6 0 0 25 0 1 0 155990446 9064448 2038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574147 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2038 110 215 0 1995 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 8852 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1792.54 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2054 0 0 0 179248 6 0 0 25 0 1 0 155990446 9064448 2038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2038 110 215 0 1995 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 8852 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1793.54 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2054 0 0 0 179348 6 0 0 25 0 1 0 155990446 9064448 2038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2038 110 215 0 1995 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 8852 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1794.55 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2054 0 0 0 179449 6 0 0 25 0 1 0 155990446 9064448 2038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2038 110 215 0 1995 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 8852 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835488/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1795.55 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2060 0 0 0 179549 6 0 0 25 0 1 0 155990446 9064448 2044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575416 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2044 110 215 0 1995 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 8852 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835424/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1796.56 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2066 0 0 0 179650 6 0 0 25 0 1 0 155990446 9064448 2050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2050 110 215 0 1995 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 8852 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835424/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=8852 CPUtime=1797.56 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2066 0 0 0 179750 6 0 0 25 0 1 0 155990446 9064448 2050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2213 2050 110 215 0 1995 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 8852 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835424/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=9004 CPUtime=1798.57 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2072 0 0 0 179851 6 0 0 25 0 1 0 155990446 9220096 2056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2251 2056 110 215 0 2033 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 9004 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835424/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=9004 CPUtime=1799.57 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2072 0 0 0 179951 6 0 0 25 0 1 0 155990446 9220096 2056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573925 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2251 2056 110 215 0 2033 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 9004 [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835424/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=9004 CPUtime=1800.58 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2072 0 0 0 180052 6 0 0 25 0 1 0 155990446 9220096 2056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2251 2056 110 215 0 2033 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 9004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1823 /proc/meminfo: memFree=835424/2055920 swapFree=4183032/4192956 [pid=1617] ppid=1615 vsize=9004 CPUtime=1800.58 /proc/1617/stat : 1617 (minisat+) R 1615 1617 1568 0 -1 4194304 2072 0 0 0 180052 6 0 0 25 0 1 0 155990446 9220096 2056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1617/statm: 2251 2056 110 215 0 2033 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 9004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 10 Real time (s): 1801.14 CPU time (s): 1800.59 CPU user time (s): 1800.52 CPU system time (s): 0.06499 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (Kb): 9004 The end
Begin job on node43 on Fri Jul 28 12:53:14 UTC 2006 FILE ID= 49691-1154091194 PBS_JOBID= 885678 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_15.r.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49691-1154091194/instance-49691-1154091194.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-49691-1154091194 -o ROOT/results/node43/solver-49691-1154091194 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49691-1154091194/instance-49691-1154091194.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 7e1b8a9f40a52781f7629bf04a2d5793 RANDOM SEED= 860532466 TIMEOUT= 1800 seconds /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.221 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.221 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: 843376 kB Buffers: 38920 kB Cached: 1106984 kB SwapCached: 4384 kB Active: 452376 kB Inactive: 702792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 843376 kB SwapTotal: 4192956 kB SwapFree: 4183032 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14704 kB Slab: 43496 kB Committed_AS: 598596 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Fri Jul 28 13:23:16 UTC 2006