Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.63 | 1801.24 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-d6cube.opb |
MD5SUM | d322c8ef05198e65a211d45af91a5272 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 185520 |
Total number of constraints | 404 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 404 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 185520 |
Number of terms in the objective function | 185520 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6640019433432 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 193273528320 |
Number of bits of the biggest number in a constraint | 38 |
Biggest sum of numbers in a constraint | 11024119093221 |
Number of bits of the biggest sum of numbers | 44 |
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... 26.60 c Converting 808 PB-constraints to clauses... 26.83 c -- Unit propagations: pppp 1593.07 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################################################################################################################################################################################################################################################################### 1593.36 c -- Clauses(.)/Splits(s): (none) 1593.36 c ---[ 806]---> Adder-cost: 1258 maxlim: 22020070 bits: 25/25 1593.52 c ---[ 804]---> Sorter-cost: 1448 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1593.55 c ---[ 802]---> Adder-cost: 932 maxlim: 11010026 bits: 24/24 1593.65 c ---[ 800]---> Adder-cost: 572 maxlim: 5505014 bits: 24/23 1593.71 c ---[ 798]---> Adder-cost: 1192 maxlim: 14942185 bits: 25/24 1593.84 c ---[ 796]---> Adder-cost: 728 maxlim: 8388594 bits: 24/23 1593.92 c ---[ 794]---> Adder-cost: 1150 maxlim: 14942185 bits: 25/24 1594.05 c ---[ 792]---> Adder-cost: 1582 maxlim: 20971488 bits: 25/25 1594.23 c ---[ 790]---> Adder-cost: 1654 maxlim: 21233631 bits: 25/25 1594.41 c ---[ 788]---> Adder-cost: 1618 maxlim: 21233631 bits: 25/25 1594.59 c ---[ 786]---> Adder-cost: 1088 maxlim: 16252906 bits: 25/24 1594.72 c ---[ 784]---> Adder-cost: 1196 maxlim: 14680042 bits: 25/24 1594.85 c ---[ 782]---> Adder-cost: 1190 maxlim: 15204328 bits: 25/24 1594.98 c ---[ 780]---> Adder-cost: 1618 maxlim: 21495774 bits: 25/25 1595.16 c ---[ 778]---> Adder-cost: 654 maxlim: 9175028 bits: 24/24 1595.23 c ---[ 776]---> Adder-cost: 1122 maxlim: 14417899 bits: 25/24 1595.36 c ---[ 774]---> Adder-cost: 1820 maxlim: 18350054 bits: 26/25 1595.57 c ---[ 772]---> Adder-cost: 1819 maxlim: 18350054 bits: 26/25 1595.78 c ---[ 770]---> Adder-cost: 764 maxlim: 8912880 bits: 24/24 1595.86 c ---[ 768]---> Adder-cost: 1260 maxlim: 15466469 bits: 25/24 1596.00 c ---[ 766]---> Adder-cost: 1296 maxlim: 15204326 bits: 25/24 1596.15 c ---[ 764]---> Adder-cost: 764 maxlim: 9437167 bits: 24/24 1596.23 c ---[ 762]---> Adder-cost: 1209 maxlim: 8388590 bits: 24/23 1596.36 c ---[ 760]---> Adder-cost: 1406 maxlim: 10223596 bits: 25/24 1596.52 c ---[ 758]---> Adder-cost: 868 maxlim: 5505012 bits: 24/23 1596.61 c ---[ 756]---> Adder-cost: 1108 maxlim: 9437167 bits: 25/24 1596.73 c ---[ 754]---> Adder-cost: 370 maxlim: 3145720 bits: 23/22 1596.77 c ---[ 752]---> Adder-cost: 716 maxlim: 6291444 bits: 24/23 1596.85 c ---[ 750]---> Adder-cost: 1108 maxlim: 11534318 bits: 25/24 1596.98 c ---[ 748]---> Adder-cost: 414 maxlim: 3932152 bits: 23/22 1597.02 c ---[ 746]---> Adder-cost: 398 maxlim: 3145718 bits: 22/22 1597.07 c ---[ 744]---> Adder-cost: 960 maxlim: 11141101 bits: 25/24 1597.18 c ---[ 742]---> Adder-cost: 1070 maxlim: 13107178 bits: 25/24 1597.29 c ---[ 740]---> Adder-cost: 1070 maxlim: 13107178 bits: 25/24 1597.41 c ---[ 738]---> Adder-cost: 1716 maxlim: 22806489 bits: 25/25 1597.61 c ---[ 736]---> Adder-cost: 1214 maxlim: 9961452 bits: 25/24 1597.74 c ---[ 734]---> Adder-cost: 686 maxlim: 4194296 bits: 23/22 1597.82 c ---[ 732]---> Adder-cost: 948 maxlim: 6815731 bits: 24/23 1597.92 c ---[ 730]---> Adder-cost: 1528 maxlim: 12582888 bits: 25/24 1598.09 c ---[ 728]---> Adder-cost: 1526 maxlim: 12058602 bits: 25/24 1598.26 c ---[ 726]---> Adder-cost: 1122 maxlim: 11534322 bits: 25/24 1598.38 c ---[ 724]---> Adder-cost: 1214 maxlim: 9437166 bits: 25/24 1598.51 c ---[ 722]---> Adder-cost: 1526 maxlim: 11796459 bits: 25/24 1598.68 c ---[ 720]---> Adder-cost: 1123 maxlim: 8126453 bits: 24/23 1598.81 c ---[ 718]---> Adder-cost: 887 maxlim: 6553590 bits: 24/23 1598.91 c ---[ 716]---> Adder-cost: 563 maxlim: 3145721 bits: 23/22 1598.97 c ---[ 714]---> Adder-cost: 1073 maxlim: 8126449 bits: 24/23 1599.09 c ---[ 712]---> Adder-cost: 1316 maxlim: 15204322 bits: 25/24 1599.24 c ---[ 710]---> Adder-cost: 1098 maxlim: 12582887 bits: 25/24 1599.36 c ---[ 708]---> Adder-cost: 1674 maxlim: 16908257 bits: 25/25 1599.56 c ---[ 706]---> Adder-cost: 1602 maxlim: 15859685 bits: 25/24 1599.74 c ---[ 704]---> Adder-cost: 1672 maxlim: 16646114 bits: 25/24 1599.93 c ---[ 702]---> Adder-cost: 1564 maxlim: 15728614 bits: 25/24 1600.10 c ---[ 700]---> Adder-cost: 1076 maxlim: 11272175 bits: 25/24 1600.22 c ---[ 698]---> Adder-cost: 948 maxlim: 9175025 bits: 24/24 1600.33 c ---[ 696]---> Adder-cost: 872 maxlim: 8912881 bits: 24/24 1600.43 c ---[ 694]---> Adder-cost: 1494 maxlim: 15466471 bits: 25/24 1600.60 c ---[ 692]---> Adder-cost: 992 maxlim: 9961454 bits: 25/24 1600.71 c ---[ 690]---> Adder-cost: 1258 maxlim: 23592933 bits: 25/25 1600.85 c ---[ 688]---> Adder-cost: 1284 maxlim: 12189672 bits: 25/24 1601.00 c ---[ 686]---> Adder-cost: 1054 maxlim: 10092525 bits: 24/24 1601.11 c ---[ 684]---> Adder-cost: 892 maxlim: 4325363 bits: 24/23 1601.21 c ---[ 682]---> Adder-cost: 862 maxlim: 3801078 bits: 23/22 1601.31 c ---[ 680]---> Adder-cost: 785 maxlim: 3538934 bits: 23/22 1601.39 c ---[ 678]---> Adder-cost: 484 maxlim: 3014649 bits: 23/22 1601.44 c ---[ 676]---> Adder-cost: 622 maxlim: 5505010 bits: 23/23 1601.51 c ---[ 674]---> Adder-cost: 1235 maxlim: 7077870 bits: 24/23 1601.65 c ---[ 672]---> Adder-cost: 830 maxlim: 3670008 bits: 23/22 1601.75 c ---[ 670]---> Adder-cost: 1359 maxlim: 6815729 bits: 24/23 1601.90 c ---[ 668]---> Adder-cost: 635 maxlim: 2883576 bits: 23/22 1601.97 c ---[ 666]---> Adder-cost: 868 maxlim: 3932151 bits: 23/22 1602.07 c ---[ 664]---> Adder-cost: 1256 maxlim: 25165794 bits: 25/25 1602.21 c ---[ 662]---> Adder-cost: 1164 maxlim: 9568237 bits: 25/24 1602.34 c ---[ 660]---> Adder-cost: 1586 maxlim: 13238246 bits: 25/24 1602.52 c ---[ 658]---> Adder-cost: 1064 maxlim: 8650737 bits: 25/24 1602.64 c ---[ 656]---> Adder-cost: 750 maxlim: 6160371 bits: 24/23 1602.72 c ---[ 654]---> Adder-cost: 474 maxlim: 1048570 bits: 21/20 1602.77 c ---[ 652]---> Adder-cost: 510 maxlim: 3538933 bits: 23/22 1602.83 c ---[ 650]---> Adder-cost: 946 maxlim: 9830382 bits: 24/24 1602.93 c ---[ 648]---> Adder-cost: 1250 maxlim: 14024678 bits: 25/24 1603.07 c ---[ 646]---> Adder-cost: 910 maxlim: 9830382 bits: 24/24 1603.17 c ---[ 644]---> Adder-cost: 836 maxlim: 3276794 bits: 23/22 1603.27 c ---[ 642]---> Adder-cost: 1546 maxlim: 9568235 bits: 25/24 1603.43 c ---[ 640]---> Adder-cost: 751 maxlim: 3801079 bits: 23/22 1603.52 c ---[ 638]---> Adder-cost: 1289 maxlim: 7208946 bits: 24/23 1603.66 c ---[ 636]---> Adder-cost: 1618 maxlim: 10092522 bits: 25/24 1603.84 c ---[ 634]---> Adder-cost: 1436 maxlim: 9043948 bits: 25/24 1604.00 c ---[ 632]---> Adder-cost: 1139 maxlim: 6160373 bits: 24/23 1604.13 c ---[ 630]---> Adder-cost: 900 maxlim: 4325365 bits: 24/23 1604.22 c ---[ 628]---> Adder-cost: 902 maxlim: 5111796 bits: 24/23 1604.32 c ---[ 626]---> Adder-cost: 399 maxlim: 917498 bits: 21/20 1604.37 c ---[ 624]---> Adder-cost: 1272 maxlim: 12713958 bits: 25/24 1604.51 c ---[ 622]---> Adder-cost: 868 maxlim: 6684659 bits: 24/23 1604.61 c ---[ 620]---> Adder-cost: 644 maxlim: 5636087 bits: 24/23 1604.68 c ---[ 618]---> Adder-cost: 1164 maxlim: 9961453 bits: 25/24 1604.81 c ---[ 616]---> Adder-cost: 1066 maxlim: 9568239 bits: 25/24 1604.93 c ---[ 614]---> Adder-cost: 1000 maxlim: 9176042 bits: 24/24 1605.04 c ---[ 612]---> Adder-cost: 1272 maxlim: 10617834 bits: 25/24 1605.18 c ---[ 610]---> Adder-cost: 1202 maxlim: 10486762 bits: 25/24 1605.32 c ---[ 608]---> Adder-cost: 1157 maxlim: 3932148 bits: 23/22 1605.45 c ---[ 606]---> Adder-cost: 1557 maxlim: 7077868 bits: 24/23 1605.62 c ---[ 604]---> Adder-cost: 1042 maxlim: 4063220 bits: 23/22 1605.73 c ---[ 602]---> Adder-cost: 781 maxlim: 2752503 bits: 23/22 1605.82 c ---[ 600]---> Adder-cost: 924 maxlim: 7340015 bits: 24/23 1605.92 c ---[ 598]---> Adder-cost: 860 maxlim: 6292467 bits: 24/23 1606.02 c ---[ 596]---> Adder-cost: 1504 maxlim: 11796458 bits: 25/24 1606.19 c ---[ 594]---> Adder-cost: 722 maxlim: 1310712 bits: 22/21 1606.27 c ---[ 592]---> Adder-cost: 1038 maxlim: 6160370 bits: 24/23 1606.38 c ---[ 590]---> Adder-cost: 1006 maxlim: 3932149 bits: 23/22 1606.49 c ---[ 588]---> Adder-cost: 779 maxlim: 3407862 bits: 23/22 1606.58 c ---[ 586]---> Adder-cost: 1027 maxlim: 3671028 bits: 23/22 1606.69 c ---[ 584]---> Adder-cost: 883 maxlim: 2884598 bits: 23/22 1606.79 c ---[ 582]---> Adder-cost: 1294 maxlim: 24641507 bits: 25/25 1606.94 c ---[ 580]---> Adder-cost: 909 maxlim: 1572855 bits: 22/21 1607.04 c ---[ 578]---> Adder-cost: 253971 maxlim: 6265494064 bits: 33/33 1670.74 c ---[ 576]---> Adder-cost: 148263 maxlim: 4695680768 bits: 33/33 1695.85 c ---[ 574]---> Adder-cost: 90832 maxlim: 3908037527 bits: 32/32 1709.68 c ---[ 572]---> Adder-cost: 70488 maxlim: 4573226882 bits: 33/33 1722.94 c ---[ 570]---> Adder-cost: 77270 maxlim: 7374624741 bits: 33/33 1745.25 c ---[ 566]---> Adder-cost: 1224 maxlim: 22020072 bits: 25/25 1745.39 c ---[ 564]---> Adder-cost: 1262 maxlim: 22544359 bits: 25/25 1745.55 c ---[ 562]---> Adder-cost: 830 maxlim: 7864303 bits: 24/23 1745.64 c ---[ 560]---> Adder-cost: 900 maxlim: 8912875 bits: 24/24 1745.75 c ---[ 558]---> Adder-cost: 830 maxlim: 7864303 bits: 24/23 1745.84 c ---[ 556]---> Adder-cost: 1016 maxlim: 16252908 bits: 25/24 1745.96 c ---[ 554]---> Adder-cost: 1060 maxlim: 11272169 bits: 24/24 1746.08 c ---[ 552]---> Adder-cost: 772 maxlim: 11534320 bits: 24/24 1746.17 c ---[ 550]---> Adder-cost: 828 maxlim: 13631472 bits: 25/24 1746.27 c ---[ 548]---> Adder-cost: 1055 maxlim: 17825770 bits: 25/25 1746.40 c ---[ 546]---> Adder-cost: 1186 maxlim: 23068647 bits: 25/25 1746.54 c ---[ 544]---> Adder-cost: 158132 maxlim: 4135709951 bits: 33/32 1776.26 c ---[ 542]---> Adder-cost: 16408 maxlim: 344981091 bits: 29/29 1778.60 c ---[ 540]---> Adder-cost: 53398 maxlim: 721419487 bits: 31/30 1785.08 c ---[ 538]---> Adder-cost: 71455 maxlim: 897972975 bits: 31/30 1800.75 c ---[ 536]---> 1801.18 c *** TERMINATED *** 1801.18 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node0/watcher-35771-1149310132 -o ROOT/results/node0/solver-35771-1149310132 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node0/35771-1149310132/instance-35771-1149310132.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.99 0.95 3/64 19226 /proc/meminfo: memFree=1771160/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=1048 CPUtime=0 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 114 0 0 0 0 0 0 0 19 0 1 0 196674899 1073152 99 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 262 99 67 215 0 44 0 [startup+10.0028 s] /proc/loadavg: 0.94 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1689568/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=85928 CPUtime=9.98 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 37555 0 0 0 981 17 0 0 21 0 1 0 196674899 87990272 20495 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134809827 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 21482 20495 75 215 0 21264 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 85928 [startup+20.0099 s] /proc/loadavg: 0.95 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1663904/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=111844 CPUtime=19.99 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 61898 0 0 0 1971 28 0 0 25 0 1 0 196674899 114528256 26999 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 27961 26999 75 215 0 27743 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 111844 [startup+30.0161 s] /proc/loadavg: 0.96 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=29.98 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 2963 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134812766 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 145284 [startup+40.0222 s] /proc/loadavg: 0.96 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=39.99 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 3964 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134808937 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 145284 [startup+50.0283 s] /proc/loadavg: 0.97 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=49.99 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 4964 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 145284 [startup+60.0344 s] /proc/loadavg: 0.97 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=59.99 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 5964 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134806252 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 145284 [startup+70.0406 s] /proc/loadavg: 0.98 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=70 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 6965 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 145284 [startup+80.0467 s] /proc/loadavg: 0.98 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=80 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 7965 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012076 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 145284 [startup+90.0528 s] /proc/loadavg: 0.98 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1631008/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=90 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 8965 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012155 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 145284 [startup+100.059 s] /proc/loadavg: 0.98 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=100.01 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 9966 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134812775 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 145284 [startup+110.065 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=110.01 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 10966 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134530490 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 145284 [startup+120.071 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=120.01 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 11966 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 145284 [startup+130.077 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=130.02 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 12967 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134805960 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 145284 [startup+140.083 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=140.02 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 13967 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005842 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 145284 [startup+150.09 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=150.02 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 14967 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 145284 [startup+160.096 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1631008/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=160.03 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 15968 35 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 145284 [startup+170.102 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1631008/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=170.04 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 16968 36 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012195 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 145284 [startup+180.108 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=180.04 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 17968 36 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 145284 [startup+190.114 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=190.04 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 18968 36 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005828 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 145284 [startup+200.12 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=145284 CPUtime=200.05 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 76387 0 0 0 19969 36 0 0 25 0 1 0 196674899 148770816 35270 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012073 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 36321 35270 83 215 0 36103 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 145284 [startup+210.126 s] /proc/loadavg: 0.99 0.99 0.95 2/64 19226 /proc/meminfo: memFree=1630944/2055920 swapFree=4191892/4192956 ################ # More data... # ################ [pid=19226] ppid=19224 vsize=342508 CPUtime=1781.47 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 178078 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 342508 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1782.47 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 178178 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012195 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 342508 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1783.47 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 178278 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134809811 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 342508 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1784.48 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 178379 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134529087 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 342508 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1785.48 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 178479 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 342508 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1786.49 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 178580 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135003216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 342508 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1787.49 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 178680 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005773 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 342508 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1788.5 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 178781 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135003878 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 342508 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1789.5 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 178881 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134838060 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 342508 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1790.51 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 178982 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134808936 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 342508 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1791.51 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179082 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134838474 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 342508 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1792.51 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179182 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012155 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 342508 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1793.52 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179283 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 342508 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1794.52 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179383 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005850 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 342508 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 0.96 3/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1795.53 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179484 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134679776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 342508 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1796.53 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179584 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135012086 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 342508 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1797.54 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179685 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 342508 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1798.54 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179785 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135005838 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 342508 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1799.55 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179886 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134690434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 342508 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1800.55 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179986 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135003235 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 342508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 19421 /proc/meminfo: memFree=1433696/2055920 swapFree=4191892/4192956 [pid=19226] ppid=19224 vsize=342508 CPUtime=1800.56 /proc/19226/stat : 19226 (minisat+) R 19224 19226 19180 0 -1 4194304 146421 0 0 0 179987 69 0 0 25 0 1 0 196674899 350728192 84297 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134838324 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19226/statm: 85627 84297 107 215 0 85409 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 342508 Sending SIGTERM to -19226 Sleeping 2 seconds Child status: 0 Real time (s): 1801.24 CPU time (s): 1800.63 CPU user time (s): 1799.87 CPU system time (s): 0.753885 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (Kb): 349940
Begin job on node0 on Sat Jun 3 04:48:54 UTC 2006 FILE ID= 35771-1149310132 PBS_JOBID= 307916 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node0/35771-1149310132/instance-35771-1149310132.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node0/watcher-35771-1149310132 -o ROOT/results/node0/solver-35771-1149310132 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node0/35771-1149310132/instance-35771-1149310132.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= d322c8ef05198e65a211d45af91a5272 RANDOM SEED= 912900913 /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.236 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.236 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: 1771560 kB Buffers: 23136 kB Cached: 194276 kB SwapCached: 460 kB Active: 61100 kB Inactive: 172876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1771560 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 228 kB Writeback: 0 kB Mapped: 25740 kB Slab: 36340 kB Committed_AS: 229148 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node0 on Sat Jun 3 05:18:55 UTC 2006