Trace number 372407

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14OPT8034 967.179 967.393

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
MD5SUMdfa433e4e6a88cd1c776cef0a80ce991
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8034
Best CPU time to get the best result obtained on this benchmark0.017996
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8034
Optimality of the best value was proved YES
Number of variables210
Total number of constraints220
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Number of terms in the objective function 210
Biggest coefficient in the objective function 2937
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 109101
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2937
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 109101
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
0.00/0.01	c Converting 240 PB-constraints to clauses...
0.00/0.01	c   -- Unit propagations: (none)
0.00/0.01	c   -- Detecting intervals from adjacent constraints: ####################
0.00/0.01	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................
0.00/0.01	c ---[ 238]---> BDD-cost:   17
0.00/0.01	c ---[ 236]---> BDD-cost:   17
0.00/0.01	c ---[ 234]---> BDD-cost:   17
0.00/0.01	c ---[ 232]---> BDD-cost:   17
0.00/0.01	c ---[ 230]---> BDD-cost:   17
0.00/0.01	c ---[ 228]---> BDD-cost:   17
0.00/0.01	c ---[ 226]---> BDD-cost:   17
0.00/0.01	c ---[ 224]---> BDD-cost:   17
0.00/0.01	c ---[ 222]---> BDD-cost:   17
0.00/0.01	c ---[ 220]---> BDD-cost:   17
0.00/0.01	c ---[ 218]---> BDD-cost:   17
0.00/0.01	c ---[ 216]---> BDD-cost:   17
0.00/0.01	c ---[ 214]---> BDD-cost:   17
0.00/0.01	c ---[ 212]---> BDD-cost:   17
0.00/0.01	c ---[ 210]---> BDD-cost:   17
0.00/0.01	c ---[ 208]---> BDD-cost:   17
0.00/0.01	c ---[ 206]---> BDD-cost:   17
0.00/0.01	c ---[ 204]---> BDD-cost:   17
0.00/0.01	c ---[ 202]---> BDD-cost:   17
0.00/0.01	c ---[ 200]---> BDD-cost:   17
0.00/0.01	c ==================================[MINISAT+]==================================
0.00/0.01	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.01	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |    1040     2600 |     346       0        0     nan |  0.000 % |
0.00/0.01	c ==============================================================================
0.00/0.01	c Found solution: 9519
0.00/0.01	o 9519
0.00/0.01	c ---[   0]---> Sorter-cost:62168     Base: 2 3 3 2 3 3
1.19/1.24	c ==================================[MINISAT+]==================================
1.19/1.24	c | Conflicts | Original         | Learnt                           | Progress |
1.19/1.24	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.19/1.24	c ==============================================================================
1.19/1.24	c |         0 |  158216   369717 |   52738       0        0     nan |  0.000 % |
1.39/1.48	c |       100 |  158216   369717 |   58011     100     1051    10.5 |  0.037 % |
1.79/1.82	c |       251 |  158216   369717 |   63812     251    42082   167.7 |  0.037 % |
2.29/2.34	c |       478 |  158216   369717 |   70194     478    80353   168.1 |  0.037 % |
2.99/3.05	c |       816 |  158162   369595 |   77213     815   132211   162.2 |  0.059 % |
4.99/5.00	c |      1324 |  157749   368661 |   84935    1265   186086   147.1 |  0.247 % |
8.89/8.92	c |      2084 |  157749   368661 |   93428    2025   335648   165.8 |  0.247 % |
11.39/11.46	c |      3223 |  156898   366728 |  102771    3155   457707   145.1 |  0.664 % |
18.88/18.90	c |      4933 |  156079   364865 |  113048    4850   803075   165.6 |  1.071 % |
27.99/28.09	c |      7496 |  156079   364865 |  124353    7413  1166811   157.4 |  1.071 % |
39.68/39.76	c |     11341 |  155733   364077 |  136788   11255  1735486   154.2 |  1.241 % |
60.88/60.93	c |     17107 |  155141   362722 |  150467   17014  3085988   181.4 |  1.550 % |
88.47/88.57	c |     25756 |  154866   362102 |  165514   25656  4855834   189.3 |  1.676 % |
136.56/136.63	c |     38730 |  154035   360201 |  182065   38547  7818863   202.8 |  2.100 % |
164.25/164.37	c ==============================================================================
164.25/164.37	c Found solution: 9479
164.25/164.37	o 9479
164.25/164.37	c ---[   0]---> Sorter-cost:   10     Base: 2 3 3 2 3 3
165.55/165.64	c ==================================[MINISAT+]==================================
165.55/165.64	c | Conflicts | Original         | Learnt                           | Progress |
165.55/165.64	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
165.55/165.64	c ==============================================================================
165.55/165.64	c |     45126 |  154304   361367 |   51434   44916  8870539   197.5 |  2.100 % |
166.05/166.16	c |     45228 |  154304   361367 |   56577   45018  8881144   197.3 |  2.382 % |
166.65/166.70	c |     45379 |  154304   361367 |   62235   45169  8904901   197.1 |  2.382 % |
167.55/167.66	c |     45606 |  154304   361367 |   68458   45396  8943684   197.0 |  2.382 % |
168.65/168.77	c |     45943 |  154304   361367 |   75304   45733  8979519   196.3 |  2.382 % |
171.06/171.15	c |     46449 |  153899   360439 |   82834   46236  9039754   195.5 |  2.594 % |
174.26/174.38	c |     47208 |  153899   360439 |   91118   46995  9083614   193.3 |  2.594 % |
174.96/175.05	c ==============================================================================
174.96/175.05	c Found solution: 9113
174.96/175.05	o 9113
174.96/175.05	c ---[   0]---> Sorter-cost:    7     Base: 2 3 3 2 3 3
176.16/176.29	c ==================================[MINISAT+]==================================
176.16/176.29	c | Conflicts | Original         | Learnt                           | Progress |
176.16/176.29	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
176.16/176.29	c ==============================================================================
176.16/176.29	c |     47360 |  153915   360570 |   51305   47147  9133040   193.7 |  2.594 % |
176.66/176.76	c |     47462 |  153915   360570 |   56435   47249  9149553   193.6 |  2.596 % |
177.56/177.64	c |     47613 |  153915   360570 |   62079   47400  9182066   193.7 |  2.596 % |
178.65/178.70	c |     47840 |  153915   360570 |   68286   47627  9225076   193.7 |  2.596 % |
179.55/179.68	c |     48179 |  153915   360570 |   75115   47966  9247108   192.8 |  2.596 % |
181.75/181.88	c |     48686 |  153915   360570 |   82627   48473  9360589   193.1 |  2.596 % |
185.05/185.14	c |     49445 |  153088   358690 |   90889   49194  9385065   190.8 |  3.006 % |
191.85/191.95	c |     50586 |  153088   358690 |   99978   50335  9656117   191.8 |  3.006 % |
198.85/198.90	c |     52294 |  153088   358690 |  109976   52043 10131021   194.7 |  3.006 % |
216.84/216.92	c |     54856 |  153088   358690 |  120974   54605 10576096   193.7 |  3.006 % |
235.63/235.74	c |     58700 |  152868   358189 |  133071   58446 11172470   191.2 |  3.116 % |
282.73/282.82	c |     64466 |  152274   356826 |  146379   64205 12741655   198.5 |  3.425 % |
302.72/302.82	c ==============================================================================
302.72/302.82	c Found solution: 8447
302.72/302.82	o 8447
302.72/302.83	c ---[   0]---> Sorter-cost:    6     Base: 2 3 3 2 3 3
304.02/304.10	c ==================================[MINISAT+]==================================
304.02/304.10	c | Conflicts | Original         | Learnt                           | Progress |
304.02/304.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
304.02/304.10	c ==============================================================================
304.02/304.10	c |     68935 |  151275   354529 |   50425   68632 13973382   203.6 |  3.425 % |
304.53/304.64	c |     69035 |  151091   354111 |   55467   17349  3257794   187.8 |  4.058 % |
305.73/305.89	c |     69186 |  151091   354111 |   61014   17500  3277511   187.3 |  4.058 % |
307.22/307.34	c |     69412 |  151091   354111 |   67115   17726  3305752   186.5 |  4.058 % |
308.22/308.39	c |     69749 |  151091   354111 |   73827   18063  3367771   186.4 |  4.058 % |
310.22/310.39	c |     70255 |  150760   353348 |   81209   18564  3433762   185.0 |  4.235 % |
314.42/314.60	c |     71016 |  150760   353348 |   89330   19325  3556457   184.0 |  4.235 % |
319.72/319.87	c |     72155 |  150760   353348 |   98264   20464  3769889   184.2 |  4.235 % |
327.52/327.67	c |     73867 |  150752   353330 |  108090   22175  4058035   183.0 |  4.239 % |
328.02/328.17	c ==============================================================================
328.02/328.17	c Found solution: 8119
328.02/328.17	o 8119
328.02/328.17	c ---[   0]---> Sorter-cost:    8     Base: 2 3 3 2 3 3
329.22/329.38	c ==================================[MINISAT+]==================================
329.22/329.38	c | Conflicts | Original         | Learnt                           | Progress |
329.22/329.38	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
329.22/329.38	c ==============================================================================
329.22/329.38	c |     73999 |  150776   353479 |   50258   22307  4079045   182.9 |  4.239 % |
329.52/329.64	c |     74101 |  150776   353479 |   55283   22409  4083892   182.2 |  4.239 % |
330.42/330.56	c |     74252 |  150776   353479 |   60812   22560  4108863   182.1 |  4.239 % |
331.22/331.36	c |     74477 |  150776   353479 |   66893   22785  4135708   181.5 |  4.239 % |
332.32/332.50	c |     74814 |  150776   353479 |   73582   23122  4170009   180.3 |  4.239 % |
334.42/334.51	c |     75320 |  150697   353298 |   80941   23627  4256555   180.2 |  4.281 % |
337.52/337.64	c |     76081 |  150697   353298 |   89035   24388  4373544   179.3 |  4.281 % |
342.21/342.36	c |     77220 |  150697   353298 |   97938   25527  4519378   177.0 |  4.281 % |
342.91/343.10	c ==============================================================================
342.91/343.10	c Found solution: 8061
342.91/343.10	o 8061
343.02/343.10	c ---[   0]---> Sorter-cost:    6     Base: 2 3 3 2 3 3
344.22/344.32	c ==================================[MINISAT+]==================================
344.22/344.32	c | Conflicts | Original         | Learnt                           | Progress |
344.22/344.32	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
344.22/344.32	c ==============================================================================
344.22/344.32	c |     77480 |  150707   353326 |   50235   25787  4563868   177.0 |  4.281 % |
344.51/344.66	c |     77581 |  150707   353326 |   55258   25888  4570968   176.6 |  4.282 % |
344.91/345.08	c |     77731 |  150707   353326 |   60784   26038  4575940   175.7 |  4.282 % |
345.61/345.79	c |     77956 |  150707   353326 |   66862   26263  4587739   174.7 |  4.282 % |
346.61/346.74	c |     78294 |  150632   353155 |   73549   26600  4612597   173.4 |  4.321 % |
347.61/347.76	c |     78801 |  150632   353155 |   80903   27107  4652896   171.6 |  4.322 % |
351.01/351.16	c |     79560 |  149739   351086 |   88994   27827  4751119   170.7 |  4.821 % |
356.71/356.82	c |     80701 |  149739   351086 |   97893   28968  4940040   170.5 |  4.821 % |
363.51/363.69	c |     82411 |  149739   351086 |  107683   30678  5046941   164.5 |  4.821 % |
375.71/375.89	c |     84974 |  149733   351072 |  118451   33240  5453656   164.1 |  4.824 % |
398.60/398.75	c |     88818 |  149733   351072 |  130296   37084  6045873   163.0 |  4.824 % |
425.89/426.01	c |     94584 |  149567   350698 |  143326   42845  6879142   160.6 |  4.900 % |
478.58/478.75	c |    103233 |  149567   350698 |  157658   51494  8129904   157.9 |  4.900 % |
554.76/554.96	c |    116210 |  149567   350698 |  173424   64471 10284065   159.5 |  4.900 % |
639.74/639.92	c ==============================================================================
639.74/639.92	c Found solution: 8034
639.74/639.92	o 8034
639.74/639.92	c ---[   0]---> Sorter-cost:    6     Base: 2 3 3 2 3 3
641.06/641.23	c ==================================[MINISAT+]==================================
641.06/641.23	c | Conflicts | Original         | Learnt                           | Progress |
641.06/641.23	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
641.06/641.23	c ==============================================================================
641.06/641.23	c |    130778 |  149575   350716 |   49858   79039 12409650   157.0 |  4.900 % |
641.75/641.99	c |    130879 |  149575   350716 |   54843   22063  2111301    95.7 |  4.902 % |
642.35/642.53	c |    131029 |  149358   350221 |   60328   22186  2124379    95.8 |  5.010 % |
643.26/643.41	c |    131256 |  149358   350221 |   66360   22413  2139276    95.4 |  5.010 % |
644.75/644.96	c |    131594 |  149358   350221 |   72997   22751  2175400    95.6 |  5.010 % |
646.45/646.62	c |    132100 |  149358   350221 |   80296   23257  2221907    95.5 |  5.010 % |
650.65/650.81	c |    132859 |  149358   350221 |   88326   24016  2337006    97.3 |  5.010 % |
657.05/657.29	c |    133998 |  149358   350221 |   97159   25155  2532525   100.7 |  5.010 % |
666.15/666.37	c |    135706 |  149358   350221 |  106875   26863  2721508   101.3 |  5.010 % |
682.55/682.76	c |    138270 |  149358   350221 |  117562   29427  3175913   107.9 |  5.010 % |
702.04/702.29	c |    142115 |  149338   350181 |  129318   33270  3604292   108.3 |  5.026 % |
731.73/731.92	c |    147881 |  149064   349557 |  142250   39033  4505468   115.4 |  5.156 % |
783.52/783.71	c |    156530 |  149064   349557 |  156475   47682  5901601   123.8 |  5.156 % |
857.81/858.05	c |    169506 |  149064   349557 |  172123   60658  8133967   134.1 |  5.156 % |
967.08/967.37	c ==============================================================================
967.08/967.37	c Optimal solution: 8034
967.08/967.37	s OPTIMUM FOUND
967.08/967.37	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
967.08/967.37	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
967.08/967.37	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 -x82
967.08/967.37	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106
967.08/967.37	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127
967.08/967.37	v -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148
967.08/967.37	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
967.08/967.37	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
967.08/967.37	v x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210
967.08/967.37	c _______________________________________________________________________________
967.08/967.37	c 
967.08/967.37	c restarts              : 79
967.08/967.37	c conflicts             : 186379         (193 /sec)
967.08/967.37	c decisions             : 361659         (374 /sec)
967.08/967.37	c propagations          : 0              (0 /sec)
967.08/967.37	c inspects              : 0              (0 /sec)
967.08/967.37	c CPU time              : 966.971 s
967.08/967.37	c _______________________________________________________________________________

Verifier Data (download as text)

OK	8034

Conversion Script Data (download as text)

/tmp/evaluation/372407-1177093100/instance-372407-1177093100.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node52/watcher-372407-1177093100 -o ROOT/results/node52/solver-372407-1177093100 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372407-1177093100/minisat+ /tmp/evaluation/372407-1177093100/instance-372407-1177093100.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.97 0.98 0.99 3/64 25996
/proc/meminfo: memFree=1735428/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=1048 CPUtime=0
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 64155057 1073152 102 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 262 103 74 215 0 44 0

[startup+0.076649 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 25996
/proc/meminfo: memFree=1735428/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=2240 CPUtime=0.07
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 420 0 0 0 7 0 0 0 18 0 1 0 64155057 2293760 405 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012117 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 560 405 103 215 0 342 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2240

[startup+0.101649 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 25996
/proc/meminfo: memFree=1735428/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=2072 CPUtime=0.09
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 426 0 0 0 9 0 0 0 18 0 1 0 64155057 2121728 369 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134834166 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 518 369 106 215 0 300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2072

[startup+0.301662 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 25996
/proc/meminfo: memFree=1735428/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=2072 CPUtime=0.29
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 426 0 0 0 29 0 0 0 19 0 1 0 64155057 2121728 369 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134530454 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 518 369 106 215 0 300 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2072

[startup+0.701691 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 25996
/proc/meminfo: memFree=1735428/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=2072 CPUtime=0.69
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 426 0 0 0 69 0 0 0 22 0 1 0 64155057 2121728 369 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 518 369 106 215 0 300 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2072

[startup+1.50174 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1734204/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=14704 CPUtime=1.49
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 3499 0 0 0 147 2 0 0 25 0 1 0 64155057 15056896 3267 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 3676 3267 110 215 0 3458 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14704

[startup+3.10185 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1722236/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=15352 CPUtime=3.09
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 3667 0 0 0 307 2 0 0 25 0 1 0 64155057 15720448 3435 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134578228 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 3838 3435 111 215 0 3620 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15352

[startup+6.30107 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1721404/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=15992 CPUtime=6.29
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 3821 0 0 0 626 3 0 0 25 0 1 0 64155057 16375808 3589 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580274 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 3998 3589 111 215 0 3780 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15992

[startup+12.7015 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1720196/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=17036 CPUtime=12.69
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 4075 0 0 0 1266 3 0 0 25 0 1 0 64155057 17444864 3843 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581210 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 4259 3843 111 215 0 4041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17036

[startup+25.5014 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1717892/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=19480 CPUtime=25.49
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 4676 0 0 0 2545 4 0 0 25 0 1 0 64155057 19947520 4444 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574311 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 4870 4444 111 215 0 4652 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19480

[startup+51.1011 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1711620/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=25972 CPUtime=51.08
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 6297 0 0 0 5102 6 0 0 25 0 1 0 64155057 26595328 6065 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 6493 6065 111 215 0 6275 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25972

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1697668/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=39552 CPUtime=102.27
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 9704 0 0 0 10218 9 0 0 25 0 1 0 64155057 40501248 9472 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 9888 9472 111 215 0 9670 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39552

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1685252/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=52040 CPUtime=162.25
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 12809 0 0 0 16213 12 0 0 25 0 1 0 64155057 53288960 12577 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574387 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 13010 12577 111 215 0 12792 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 52040

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1676996/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=60152 CPUtime=222.25
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 14888 0 0 0 22210 15 0 0 25 0 1 0 64155057 61595648 14614 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573975 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 15038 14614 111 215 0 14820 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 60152

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1668612/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=68624 CPUtime=282.23
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 16992 0 0 0 28206 17 0 0 25 0 1 0 64155057 70270976 16718 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134575414 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 17156 16718 111 215 0 16938 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 68624

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663172/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73708 CPUtime=342.21
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18350 0 0 0 34203 18 0 0 25 0 1 0 64155057 75476992 18013 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18427 18013 111 215 0 18209 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 73708

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663172/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73708 CPUtime=402.2
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18392 0 0 0 40202 18 0 0 25 0 1 0 64155057 75476992 18013 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581327 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18427 18013 111 215 0 18209 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 73708

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663172/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73708 CPUtime=462.19
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18392 0 0 0 46201 18 0 0 25 0 1 0 64155057 75476992 18013 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18427 18013 111 215 0 18209 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 73708

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663172/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73708 CPUtime=522.17
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18392 0 0 0 52199 18 0 0 25 0 1 0 64155057 75476992 18013 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18427 18013 111 215 0 18209 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 73708

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663172/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73708 CPUtime=582.16
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18393 0 0 0 58198 18 0 0 25 0 1 0 64155057 75476992 18014 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574147 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18427 18014 111 215 0 18209 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 73708

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=642.16
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 64197 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 73700

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=702.14
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 70195 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 702.14
Current children cumulated vsize (KiB) 73700

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=762.13
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 76194 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 762.13
Current children cumulated vsize (KiB) 73700

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=822.11
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 82192 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 73700

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=882.1
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 88191 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 73700

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=942.09
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 94190 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 73700

Solver just ended. Dumping a history of the last processes samples

[startup+947.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=946.89
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 94670 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576672 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 946.89
Current children cumulated vsize (KiB) 73700

[startup+959.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=959.68
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 95949 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574376 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 959.68
Current children cumulated vsize (KiB) 73700

[startup+963.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=962.88
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 96269 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573950 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 962.88
Current children cumulated vsize (KiB) 73700

[startup+964.705 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=964.49
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 96430 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 964.49
Current children cumulated vsize (KiB) 73700

[startup+966.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=966.08
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 96589 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 966.08
Current children cumulated vsize (KiB) 73700

[startup+967.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=966.88
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 96669 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 966.88
Current children cumulated vsize (KiB) 73700

[startup+967.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25997
/proc/meminfo: memFree=1663108/2055920 swapFree=4182956/4192956
[pid=25996] ppid=25994 vsize=73700 CPUtime=967.08
/proc/25996/stat : 25996 (minisat+) R 25994 25996 25196 0 -1 4194304 18444 0 0 0 96689 19 0 0 25 0 1 0 64155057 75468800 18021 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25996/statm: 18425 18021 111 215 0 18207 0
Current children cumulated CPU time (s) 967.08
Current children cumulated vsize (KiB) 73700

Child status: 30
Real time (s): 967.393
CPU time (s): 967.179
CPU user time (s): 966.975
CPU system time (s): 0.203968
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 73876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 966.975
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18448
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= 7
involuntary context switches= 731

runsolver used 0.639902 second user time and 2.01869 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Fri Apr 20 18:18:20 UTC 2007

IDJOB= 372407
IDBENCH= 24970
IDSOLVER= 156
FILE ID= node52/372407-1177093100

PBS_JOBID= 4640346

Free space on /tmp= 66311 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb
COMMAND LINE= /tmp/evaluation/372407-1177093100/minisat+ /tmp/evaluation/372407-1177093100/instance-372407-1177093100.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node52/convwatcher-372407-1177093100 -o ROOT/results/node52/conversion-372407-1177093100 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372407-1177093100/instance-372407-1177093100.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-372407-1177093100 -o ROOT/results/node52/solver-372407-1177093100 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372407-1177093100/minisat+ /tmp/evaluation/372407-1177093100/instance-372407-1177093100.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  dfa433e4e6a88cd1c776cef0a80ce991

RANDOM SEED= 927383525

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.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:       1735836 kB
Buffers:         29908 kB
Cached:         239980 kB
SwapCached:       3744 kB
Active:          93324 kB
Inactive:       186152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1735836 kB
SwapTotal:     4192956 kB
SwapFree:      4182956 kB
Dirty:            2348 kB
Writeback:           0 kB
Mapped:          15628 kB
Slab:            26552 kB
Committed_AS:  1712496 kB
PageTables:       1484 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= 66311 MiB

End job on node52 on Fri Apr 20 18:34:27 UTC 2007