Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | Signal | 1609.56 | 1610.22 |
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/0.00 c Parsing PB file... 26.88/26.95 c Converting 808 PB-constraints to clauses... 27.08/27.17 c -- Unit propagations: pppp 1593.44/1594.19 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################################################################################################################################################################################################################################################################### 1593.74/1594.47 c -- Clauses(.)/Splits(s): (none) 1593.74/1594.47 c ---[ 806]---> Adder-cost: 1258 maxlim: 22020070 bits: 25/25 1593.94/1594.64 c ---[ 804]---> Sorter-cost: 1448 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1593.94/1594.66 c ---[ 802]---> Adder-cost: 932 maxlim: 11010026 bits: 24/24 1594.04/1594.76 c ---[ 800]---> Adder-cost: 572 maxlim: 5505014 bits: 24/23 1594.14/1594.82 c ---[ 798]---> Adder-cost: 1192 maxlim: 14942185 bits: 25/24 1594.24/1594.95 c ---[ 796]---> Adder-cost: 728 maxlim: 8388594 bits: 24/23 1594.34/1595.03 c ---[ 794]---> Adder-cost: 1150 maxlim: 14942185 bits: 25/24 1594.44/1595.16 c ---[ 792]---> Adder-cost: 1582 maxlim: 20971488 bits: 25/25 1594.64/1595.33 c ---[ 790]---> Adder-cost: 1654 maxlim: 21233631 bits: 25/25 1594.84/1595.52 c ---[ 788]---> Adder-cost: 1618 maxlim: 21233631 bits: 25/25 1595.04/1595.70 c ---[ 786]---> Adder-cost: 1088 maxlim: 16252906 bits: 25/24 1595.14/1595.82 c ---[ 784]---> Adder-cost: 1196 maxlim: 14680042 bits: 25/24 1595.24/1595.95 c ---[ 782]---> Adder-cost: 1190 maxlim: 15204328 bits: 25/24 1595.34/1596.08 c ---[ 780]---> Adder-cost: 1618 maxlim: 21495774 bits: 25/25 1595.54/1596.26 c ---[ 778]---> Adder-cost: 654 maxlim: 9175028 bits: 24/24 1595.64/1596.33 c ---[ 776]---> Adder-cost: 1122 maxlim: 14417899 bits: 25/24 1595.74/1596.46 c ---[ 774]---> Adder-cost: 1820 maxlim: 18350054 bits: 26/25 1595.94/1596.67 c ---[ 772]---> Adder-cost: 1819 maxlim: 18350054 bits: 26/25 1596.14/1596.88 c ---[ 770]---> Adder-cost: 764 maxlim: 8912880 bits: 24/24 1596.24/1596.97 c ---[ 768]---> Adder-cost: 1260 maxlim: 15466469 bits: 25/24 1596.44/1597.11 c ---[ 766]---> Adder-cost: 1296 maxlim: 15204326 bits: 25/24 1596.54/1597.25 c ---[ 764]---> Adder-cost: 764 maxlim: 9437167 bits: 24/24 1596.63/1597.34 c ---[ 762]---> Adder-cost: 1209 maxlim: 8388590 bits: 24/23 1596.73/1597.47 c ---[ 760]---> Adder-cost: 1406 maxlim: 10223596 bits: 25/24 1596.93/1597.63 c ---[ 758]---> Adder-cost: 868 maxlim: 5505012 bits: 24/23 1597.03/1597.72 c ---[ 756]---> Adder-cost: 1108 maxlim: 9437167 bits: 25/24 1597.13/1597.84 c ---[ 754]---> Adder-cost: 370 maxlim: 3145720 bits: 23/22 1597.13/1597.88 c ---[ 752]---> Adder-cost: 716 maxlim: 6291444 bits: 24/23 1597.23/1597.96 c ---[ 750]---> Adder-cost: 1108 maxlim: 11534318 bits: 25/24 1597.33/1598.08 c ---[ 748]---> Adder-cost: 414 maxlim: 3932152 bits: 23/22 1597.43/1598.13 c ---[ 746]---> Adder-cost: 398 maxlim: 3145718 bits: 22/22 1597.43/1598.17 c ---[ 744]---> Adder-cost: 960 maxlim: 11141101 bits: 25/24 1597.54/1598.28 c ---[ 742]---> Adder-cost: 1070 maxlim: 13107178 bits: 25/24 1597.73/1598.40 c ---[ 740]---> Adder-cost: 1070 maxlim: 13107178 bits: 25/24 1597.83/1598.52 c ---[ 738]---> Adder-cost: 1716 maxlim: 22806489 bits: 25/25 1598.03/1598.71 c ---[ 736]---> Adder-cost: 1214 maxlim: 9961452 bits: 25/24 1598.13/1598.84 c ---[ 734]---> Adder-cost: 686 maxlim: 4194296 bits: 23/22 1598.23/1598.92 c ---[ 732]---> Adder-cost: 948 maxlim: 6815731 bits: 24/23 1598.33/1599.03 c ---[ 730]---> Adder-cost: 1528 maxlim: 12582888 bits: 25/24 1598.43/1599.19 c ---[ 728]---> Adder-cost: 1526 maxlim: 12058602 bits: 25/24 1598.64/1599.36 c ---[ 726]---> Adder-cost: 1122 maxlim: 11534322 bits: 25/24 1598.74/1599.49 c ---[ 724]---> Adder-cost: 1214 maxlim: 9437166 bits: 25/24 1598.93/1599.62 c ---[ 722]---> Adder-cost: 1526 maxlim: 11796459 bits: 25/24 1599.03/1599.79 c ---[ 720]---> Adder-cost: 1123 maxlim: 8126453 bits: 24/23 1599.23/1599.92 c ---[ 718]---> Adder-cost: 887 maxlim: 6553590 bits: 24/23 1599.33/1600.02 c ---[ 716]---> Adder-cost: 563 maxlim: 3145721 bits: 23/22 1599.33/1600.08 c ---[ 714]---> Adder-cost: 1073 maxlim: 8126449 bits: 24/23 1599.53/1600.20 c ---[ 712]---> Adder-cost: 1316 maxlim: 15204322 bits: 25/24 1599.63/1600.35 c ---[ 710]---> Adder-cost: 1098 maxlim: 12582887 bits: 25/24 1599.74/1600.46 c ---[ 708]---> Adder-cost: 1674 maxlim: 16908257 bits: 25/25 1599.93/1600.67 c ---[ 706]---> Adder-cost: 1602 maxlim: 15859685 bits: 25/24 1600.13/1600.85 c ---[ 704]---> Adder-cost: 1672 maxlim: 16646114 bits: 25/24 1600.33/1601.04 c ---[ 702]---> Adder-cost: 1564 maxlim: 15728614 bits: 25/24 1600.53/1601.21 c ---[ 700]---> Adder-cost: 1076 maxlim: 11272175 bits: 25/24 1600.63/1601.33 c ---[ 698]---> Adder-cost: 948 maxlim: 9175025 bits: 24/24 1600.73/1601.44 c ---[ 696]---> Adder-cost: 872 maxlim: 8912881 bits: 24/24 1600.84/1601.53 c ---[ 694]---> Adder-cost: 1494 maxlim: 15466471 bits: 25/24 1601.03/1601.70 c ---[ 692]---> Adder-cost: 992 maxlim: 9961454 bits: 25/24 1601.13/1601.81 c ---[ 690]---> Adder-cost: 1258 maxlim: 23592933 bits: 25/25 1601.23/1601.96 c ---[ 688]---> Adder-cost: 1284 maxlim: 12189672 bits: 25/24 1601.43/1602.10 c ---[ 686]---> Adder-cost: 1054 maxlim: 10092525 bits: 24/24 1601.54/1602.22 c ---[ 684]---> Adder-cost: 892 maxlim: 4325363 bits: 24/23 1601.64/1602.32 c ---[ 682]---> Adder-cost: 862 maxlim: 3801078 bits: 23/22 1601.74/1602.41 c ---[ 680]---> Adder-cost: 785 maxlim: 3538934 bits: 23/22 1601.74/1602.50 c ---[ 678]---> Adder-cost: 484 maxlim: 3014649 bits: 23/22 1601.84/1602.55 c ---[ 676]---> Adder-cost: 622 maxlim: 5505010 bits: 23/23 1601.94/1602.62 c ---[ 674]---> Adder-cost: 1235 maxlim: 7077870 bits: 24/23 1602.04/1602.75 c ---[ 672]---> Adder-cost: 830 maxlim: 3670008 bits: 23/22 1602.14/1602.85 c ---[ 670]---> Adder-cost: 1359 maxlim: 6815729 bits: 24/23 1602.34/1603.00 c ---[ 668]---> Adder-cost: 635 maxlim: 2883576 bits: 23/22 1602.34/1603.07 c ---[ 666]---> Adder-cost: 868 maxlim: 3932151 bits: 23/22 1602.44/1603.17 c ---[ 664]---> Adder-cost: 1256 maxlim: 25165794 bits: 25/25 1602.64/1603.32 c ---[ 662]---> Adder-cost: 1164 maxlim: 9568237 bits: 25/24 1602.74/1603.45 c ---[ 660]---> Adder-cost: 1586 maxlim: 13238246 bits: 25/24 1602.94/1603.62 c ---[ 658]---> Adder-cost: 1064 maxlim: 8650737 bits: 25/24 1603.04/1603.74 c ---[ 656]---> Adder-cost: 750 maxlim: 6160371 bits: 24/23 1603.14/1603.83 c ---[ 654]---> Adder-cost: 474 maxlim: 1048570 bits: 21/20 1603.14/1603.88 c ---[ 652]---> Adder-cost: 510 maxlim: 3538933 bits: 23/22 1603.24/1603.94 c ---[ 650]---> Adder-cost: 946 maxlim: 9830382 bits: 24/24 1603.34/1604.04 c ---[ 648]---> Adder-cost: 1250 maxlim: 14024678 bits: 25/24 1603.44/1604.18 c ---[ 646]---> Adder-cost: 910 maxlim: 9830382 bits: 24/24 1603.54/1604.28 c ---[ 644]---> Adder-cost: 836 maxlim: 3276794 bits: 23/22 1603.64/1604.38 c ---[ 642]---> Adder-cost: 1546 maxlim: 9568235 bits: 25/24 1603.84/1604.55 c ---[ 640]---> Adder-cost: 751 maxlim: 3801079 bits: 23/22 1603.94/1604.63 c ---[ 638]---> Adder-cost: 1289 maxlim: 7208946 bits: 24/23 1604.04/1604.78 c ---[ 636]---> Adder-cost: 1618 maxlim: 10092522 bits: 25/24 1604.24/1604.96 c ---[ 634]---> Adder-cost: 1436 maxlim: 9043948 bits: 25/24 1604.44/1605.12 c ---[ 632]---> Adder-cost: 1139 maxlim: 6160373 bits: 24/23 1604.54/1605.25 c ---[ 630]---> Adder-cost: 900 maxlim: 4325365 bits: 24/23 1604.64/1605.34 c ---[ 628]---> Adder-cost: 902 maxlim: 5111796 bits: 24/23 1604.74/1605.44 c ---[ 626]---> Adder-cost: 399 maxlim: 917498 bits: 21/20 1604.74/1605.49 c ---[ 624]---> Adder-cost: 1272 maxlim: 12713958 bits: 25/24 1604.94/1605.63 c ---[ 622]---> Adder-cost: 868 maxlim: 6684659 bits: 24/23 1605.04/1605.73 c ---[ 620]---> Adder-cost: 644 maxlim: 5636087 bits: 24/23 1605.14/1605.81 c ---[ 618]---> Adder-cost: 1164 maxlim: 9961453 bits: 25/24 1605.24/1605.94 c ---[ 616]---> Adder-cost: 1066 maxlim: 9568239 bits: 25/24 1605.34/1606.06 c ---[ 614]---> Adder-cost: 1000 maxlim: 9176042 bits: 24/24 1605.44/1606.16 c ---[ 612]---> Adder-cost: 1272 maxlim: 10617834 bits: 25/24 1605.64/1606.31 c ---[ 610]---> Adder-cost: 1202 maxlim: 10486762 bits: 25/24 1605.74/1606.45 c ---[ 608]---> Adder-cost: 1157 maxlim: 3932148 bits: 23/22 1605.84/1606.58 c ---[ 606]---> Adder-cost: 1557 maxlim: 7077868 bits: 24/23 1606.04/1606.75 c ---[ 604]---> Adder-cost: 1042 maxlim: 4063220 bits: 23/22 1606.14/1606.86 c ---[ 602]---> Adder-cost: 781 maxlim: 2752503 bits: 23/22 1606.24/1606.95 c ---[ 600]---> Adder-cost: 924 maxlim: 7340015 bits: 24/23 1606.34/1607.05 c ---[ 598]---> Adder-cost: 860 maxlim: 6292467 bits: 24/23 1606.44/1607.15 c ---[ 596]---> Adder-cost: 1504 maxlim: 11796458 bits: 25/24 1606.64/1607.32 c ---[ 594]---> Adder-cost: 722 maxlim: 1310712 bits: 22/21 1606.74/1607.40 c ---[ 592]---> Adder-cost: 1038 maxlim: 6160370 bits: 24/23 1606.84/1607.51 c ---[ 590]---> Adder-cost: 1006 maxlim: 3932149 bits: 23/22 1606.94/1607.62 c ---[ 588]---> Adder-cost: 779 maxlim: 3407862 bits: 23/22 1607.04/1607.71 c ---[ 586]---> Adder-cost: 1027 maxlim: 3671028 bits: 23/22 1607.14/1607.82 c ---[ 584]---> Adder-cost: 883 maxlim: 2884598 bits: 23/22 1607.24/1607.92 c ---[ 582]---> Adder-cost: 1294 maxlim: 24641507 bits: 25/25 1607.34/1608.07 c ---[ 580]---> Adder-cost: 909 maxlim: 1572855 bits: 22/21 1607.44/1608.17 c ---[ 578]--->
ERROR: no interpretation found !
/tmp/evaluation/349396-1176699467/instance-349396-1176699467.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-349396-1176699467 -o ROOT/results/node20/solver-349396-1176699467 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349396-1176699467/minisat+ /tmp/evaluation/349396-1176699467/instance-349396-1176699467.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.00 1.00 3/77 1539 /proc/meminfo: memFree=1822912/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=1344 CPUtime=0 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 156 0 0 0 0 0 0 0 18 0 1 0 117864231 1376256 141 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134614584 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 336 141 67 215 0 118 0 [startup+0.0685841 s] /proc/loadavg: 0.99 1.00 1.00 3/77 1539 /proc/meminfo: memFree=1822912/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=4904 CPUtime=0.06 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 996 0 0 0 6 0 0 0 18 0 1 0 117864231 5021696 939 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 1226 939 67 215 0 1008 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4904 [startup+0.101592 s] /proc/loadavg: 0.99 1.00 1.00 3/77 1539 /proc/meminfo: memFree=1822912/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=6740 CPUtime=0.09 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 1387 0 0 0 9 0 0 0 18 0 1 0 117864231 6901760 1322 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 1685 1322 67 215 0 1467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6740 [startup+0.301631 s] /proc/loadavg: 0.99 1.00 1.00 3/77 1539 /proc/meminfo: memFree=1822912/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=17504 CPUtime=0.29 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 3906 0 0 0 28 1 0 0 19 0 1 0 117864231 17924096 3593 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 4376 3593 67 215 0 4158 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17504 [startup+0.701712 s] /proc/loadavg: 0.99 1.00 1.00 3/77 1539 /proc/meminfo: memFree=1822912/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=37184 CPUtime=0.69 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 9413 0 0 0 65 4 0 0 22 0 1 0 117864231 38076416 8406 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012112 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 9296 8406 74 215 0 9078 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37184 [startup+1.50187 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1540 /proc/meminfo: memFree=1788600/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=39304 CPUtime=1.49 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 9935 0 0 0 144 5 0 0 25 0 1 0 117864231 40247296 8928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003218 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 9826 8928 74 215 0 9608 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39304 [startup+3.10119 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1540 /proc/meminfo: memFree=1785848/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=44032 CPUtime=3.09 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 11113 0 0 0 303 6 0 0 25 0 1 0 117864231 45088768 10106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 11008 10106 74 215 0 10790 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44032 [startup+6.30184 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1540 /proc/meminfo: memFree=1730104/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=97084 CPUtime=6.29 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 24835 0 0 0 618 11 0 0 25 0 1 0 117864231 99414016 23208 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 24271 23208 74 215 0 24053 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 97084 [startup+12.7011 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1540 /proc/meminfo: memFree=1736632/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=84760 CPUtime=12.68 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 42064 0 0 0 1249 19 0 0 25 0 1 0 117864231 86794240 20281 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005791 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 21190 20281 75 215 0 20972 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 84760 [startup+25.5017 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1540 /proc/meminfo: memFree=1702328/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=126792 CPUtime=25.48 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 71326 0 0 0 2515 33 0 0 25 0 1 0 117864231 129835008 30574 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 31698 30574 75 215 0 31480 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 126792 [startup+51.1019 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1540 /proc/meminfo: memFree=1682168/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=51.07 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 5072 35 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805987 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 145284 [startup+102.305 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1540 /proc/meminfo: memFree=1682104/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=102.25 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 10190 35 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 145284 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1540 /proc/meminfo: memFree=1682040/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=162.24 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 16188 36 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 145284 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/84 1678 /proc/meminfo: memFree=1680576/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=222.15 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 22179 36 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003912 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 145284 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1681464/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=282.1 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 28174 36 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005844 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 145284 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1681464/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=342.09 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 34172 37 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 145284 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1681528/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=402.06 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 40169 37 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 145284 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1681528/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=462.04 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 46167 37 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 145284 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1681528/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=522.02 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 52164 38 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805987 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 145284 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1681464/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=582 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 58162 38 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 145284 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1681400/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=641.98 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 64160 38 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 145284 ################ # More data... # ################ /proc/meminfo: memFree=1681144/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=881.89 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 88149 40 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005778 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 145284 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1681144/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=941.87 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 94146 41 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 145284 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1681080/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=1001.85 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 100144 41 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 145284 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1681016/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=1061.82 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 106141 41 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 145284 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1680952/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=1121.81 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 112139 42 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012076 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 145284 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1680824/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=1181.78 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 118136 42 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 145284 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1680632/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=1241.76 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 124134 42 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812638 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 145284 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1680568/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=1301.75 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 130132 43 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005338 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 145284 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1680568/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=1361.72 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 136129 43 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 145284 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1680504/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=1421.7 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 142127 43 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 145284 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1680440/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=1481.67 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 148124 43 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012164 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 145284 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1680440/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=145284 CPUtime=1541.66 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76385 0 0 0 154122 44 0 0 25 0 1 0 117864231 148770816 35269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809964 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 36321 35269 83 215 0 36103 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 145284 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1684408/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=141212 CPUtime=1601.64 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76479 0 0 0 160119 45 0 0 25 0 1 0 117864231 144601088 34275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 35303 34275 107 215 0 35085 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 141212 Solver just ended. Dumping a history of the last processes samples [startup+1606.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1684344/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=141212 CPUtime=1605.64 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76479 0 0 0 160519 45 0 0 25 0 1 0 117864231 144601088 34275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134550376 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 35303 34275 107 215 0 35085 0 Current children cumulated CPU time (s) 1605.64 Current children cumulated vsize (KiB) 141212 [startup+1607.9 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1684344/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=141212 CPUtime=1607.24 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 76479 0 0 0 160679 45 0 0 25 0 1 0 117864231 144601088 34275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002740 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 35303 34275 107 215 0 35085 0 Current children cumulated CPU time (s) 1607.24 Current children cumulated vsize (KiB) 141212 [startup+1609.5 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1682232/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=153772 CPUtime=1608.83 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4194304 80122 0 0 0 160837 46 0 0 25 0 1 0 117864231 157462528 37413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 38444 37413 107 215 0 38226 0 Current children cumulated CPU time (s) 1608.83 Current children cumulated vsize (KiB) 153772 [startup+1609.9 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1682232/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=159784 CPUtime=1609.24 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4195840 81633 0 0 0 160845 79 0 0 25 0 1 0 117864231 163618816 38902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 39946 38902 107 215 0 39728 0 Current children cumulated CPU time (s) 1609.24 Current children cumulated vsize (KiB) 159784 [startup+1610.1 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1682232/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=159784 CPUtime=1609.44 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4195840 82052 0 0 0 160845 99 0 0 25 0 1 0 117864231 163618816 38902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 39946 38902 107 215 0 39728 0 Current children cumulated CPU time (s) 1609.44 Current children cumulated vsize (KiB) 159784 [startup+1610.2 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1743 /proc/meminfo: memFree=1682232/2055920 swapFree=4156664/4192956 [pid=1539] ppid=1537 vsize=0 CPUtime=1609.54 /proc/1539/stat : 1539 (minisat+) R 1537 1539 854 0 -1 4195844 82546 0 0 0 160845 109 0 0 25 0 1 0 117864231 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1539/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1609.54 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Real time (s): 1610.22 CPU time (s): 1609.56 CPU user time (s): 1608.45 CPU system time (s): 1.11183 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (KiB): 159784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1608.45 system time used= 1.11183 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82546 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= 27424 runsolver used 1.84372 second user time and 3.77642 second system time The end
Begin job on node20 on Mon Apr 16 04:57:49 UTC 2007 IDJOB= 349396 IDBENCH= 2403 IDSOLVER= 156 FILE ID= node20/349396-1176699467 PBS_JOBID= 4560029 Free space on /tmp= 66520 MiB SOLVER NAME= minisat+ 1.14 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= /tmp/evaluation/349396-1176699467/minisat+ /tmp/evaluation/349396-1176699467/instance-349396-1176699467.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-349396-1176699467 -o ROOT/results/node20/conversion-349396-1176699467 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/349396-1176699467/instance-349396-1176699467.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-349396-1176699467 -o ROOT/results/node20/solver-349396-1176699467 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349396-1176699467/minisat+ /tmp/evaluation/349396-1176699467/instance-349396-1176699467.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= d322c8ef05198e65a211d45af91a5272 RANDOM SEED= 993763953 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1823384 kB Buffers: 16496 kB Cached: 142832 kB SwapCached: 15500 kB Active: 78060 kB Inactive: 110244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823384 kB SwapTotal: 4192956 kB SwapFree: 4156664 kB Dirty: 20980 kB Writeback: 0 kB Mapped: 35200 kB Slab: 29836 kB Committed_AS: 1753556 kB PageTables: 1712 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= 66369 MiB End job on node20 on Mon Apr 16 05:24:39 UTC 2007