Trace number 3723547

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB12: minisatp 1.0-2-g022594cOPT-40 270.088 270.136

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM9984e76947bf9addca42277d72ff7107
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark61.0357
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved YES
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.04	c Converting 41314 PB-constraints to clauses...
0.00/0.05	c   -- Unit propagations: (none)
0.00/0.05	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.05	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.08	c ==================================[MINISAT+]==================================
0.00/0.08	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.08	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.08	c ==============================================================================
0.00/0.08	c |         0 |   41314    82628 |   13771       0        0    -nan |  0.000 % |
0.00/0.08	c ==============================================================================
0.00/0.08	c Found solution: -30
0.00/0.08	c ---[   0]---> Sorter-cost:35010     Base:
0.00/0.10	c ==================================[MINISAT+]==================================
0.00/0.10	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.10	c ==============================================================================
0.00/0.10	c |         0 |   77458   167531 |   25819       0        0    -nan |  0.000 % |
0.00/0.12	c |       100 |   77224   167047 |   28400      90      679     7.5 |  0.530 % |
0.00/0.16	c |       250 |   76700   165951 |   31240     214     2374    11.1 |  1.770 % |
0.00/0.22	c |       475 |   75508   163377 |   34365     394     4266    10.8 |  4.479 % |
0.00/0.32	c |       812 |   74380   160896 |   37801     671     7040    10.5 |  7.203 % |
0.00/0.45	c |      1318 |   72161   155973 |   41581    1015    11367    11.2 | 12.665 % |
0.00/0.65	c |      2077 |   69164   149206 |   45739    1606    18243    11.4 | 20.247 % |
0.00/0.89	c |      3217 |   64977   139685 |   50313    2407    27449    11.4 | 31.072 % |
1.09/1.17	c |      4925 |   59937   128064 |   55345    3608    47502    13.2 | 43.947 % |
1.48/1.51	c |      7487 |   55278   116998 |   60879    5455    76469    14.0 | 56.599 % |
1.48/1.55	c ==============================================================================
1.48/1.55	c Found solution: -31
1.48/1.55	c ---[   0]---> Sorter-cost:    0     Base:
1.48/1.56	c ==================================[MINISAT+]==================================
1.48/1.56	c | Conflicts | Original         | Learnt                           | Progress |
1.48/1.56	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.48/1.56	c ==============================================================================
1.48/1.56	c |      7842 |   55004   116446 |   18334    5691    83312    14.6 | 56.599 % |
1.48/1.57	c |      7942 |   54859   116103 |   20167    5768    84368    14.6 | 57.946 % |
1.48/1.59	c |      8092 |   54593   115461 |   22184    5876    86551    14.7 | 58.795 % |
1.58/1.62	c |      8317 |   54375   114933 |   24402    6048    91261    15.1 | 59.298 % |
1.58/1.67	c |      8655 |   53883   113773 |   26842    6319    96967    15.3 | 60.682 % |
1.68/1.73	c |      9161 |   53360   112542 |   29527    6765   104197    15.4 | 62.047 % |
1.78/1.82	c |      9920 |   52504   110490 |   32479    7368   115346    15.7 | 64.368 % |
1.88/1.96	c |     11059 |   51199   107383 |   35727    8187   145774    17.8 | 67.893 % |
2.09/2.17	c |     12767 |   49678   103781 |   39300    9442   186087    19.7 | 72.001 % |
2.19/2.23	c ==============================================================================
2.19/2.23	c Found solution: -32
2.19/2.23	c ---[   0]---> Sorter-cost:    0     Base:
2.19/2.23	c ==================================[MINISAT+]==================================
2.19/2.23	c | Conflicts | Original         | Learnt                           | Progress |
2.19/2.23	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.19/2.23	c ==============================================================================
2.19/2.23	c |     13185 |   49193   102589 |   16397    9653   194194    20.1 | 72.001 % |
2.19/2.26	c |     13285 |   48894   101859 |   18036    9608   194309    20.2 | 74.216 % |
2.19/2.28	c |     13435 |   48709   101400 |   19840    9646   196888    20.4 | 74.767 % |
2.28/2.30	c |     13661 |   48570   101069 |   21824    9838   203930    20.7 | 75.145 % |
2.28/2.35	c |     13998 |   48321   100456 |   24006   10085   212786    21.1 | 75.865 % |
2.28/2.35	c ==============================================================================
2.28/2.35	c Found solution: -33
2.28/2.35	c ---[   0]---> Sorter-cost:    0     Base:
2.28/2.36	c ==================================[MINISAT+]==================================
2.28/2.36	c | Conflicts | Original         | Learnt                           | Progress |
2.28/2.36	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.28/2.36	c ==============================================================================
2.28/2.36	c |     14051 |   48347   100546 |   16115   10138   214780    21.2 | 75.865 % |
2.28/2.37	c |     14151 |   48310   100455 |   17726   10217   215914    21.1 | 75.932 % |
2.28/2.39	c |     14304 |   48221   100236 |   19499   10327   218970    21.2 | 76.190 % |
2.38/2.41	c |     14529 |   48185   100152 |   21449   10469   231074    22.1 | 76.286 % |
2.38/2.45	c |     14866 |   48034    99790 |   23593   10701   238038    22.2 | 76.696 % |
2.38/2.49	c |     15373 |   47996    99694 |   25953   11185   256087    22.9 | 76.813 % |
2.48/2.56	c |     16132 |   47801    99222 |   28548   11783   294491    25.0 | 77.351 % |
2.58/2.68	c |     17271 |   47423    98329 |   31403   12647   339552    26.8 | 78.372 % |
2.78/2.83	c |     18981 |   47184    97733 |   34543   14180   404108    28.5 | 79.059 % |
3.08/3.12	c |     21543 |   46949    97170 |   37998   16553   577196    34.9 | 79.698 % |
3.19/3.21	c ==============================================================================
3.19/3.21	c Found solution: -34
3.19/3.21	c ---[   0]---> Sorter-cost:    0     Base:
3.19/3.22	c ==================================[MINISAT+]==================================
3.19/3.22	c | Conflicts | Original         | Learnt                           | Progress |
3.19/3.22	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.19/3.22	c ==============================================================================
3.19/3.22	c |     22140 |   46807    96785 |   15602   16904   605692    35.8 | 79.698 % |
3.19/3.27	c |     22241 |   46601    96255 |   17162   16773   603759    36.0 | 80.740 % |
3.19/3.28	c |     22391 |   46601    96255 |   18878   16923   611148    36.1 | 80.740 % |
3.29/3.31	c |     22616 |   46557    96147 |   20766   17084   614264    36.0 | 80.869 % |
3.29/3.36	c |     22954 |   46507    96031 |   22842   17314   633833    36.6 | 81.001 % |
3.38/3.41	c |     23461 |   46507    96031 |   25127   17821   667225    37.4 | 81.001 % |
3.38/3.47	c |     24220 |   46507    96031 |   27639   18580   709008    38.2 | 81.001 % |
3.48/3.59	c |     25359 |   46507    96031 |   30403   19719   781015    39.6 | 81.001 % |
3.78/3.80	c |     27067 |   46440    95876 |   33444   21380   887948    41.5 | 81.178 % |
4.08/4.12	c |     29629 |   46432    95856 |   36788   23927  1099105    45.9 | 81.202 % |
4.58/4.62	c ==============================================================================
4.58/4.62	c Found solution: -35
4.58/4.62	c ---[   0]---> Sorter-cost:    0     Base:
4.58/4.68	c ==================================[MINISAT+]==================================
4.58/4.68	c | Conflicts | Original         | Learnt                           | Progress |
4.58/4.68	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
4.58/4.68	c ==============================================================================
4.58/4.68	c |     33153 |   46426    95858 |   15475   27424  1460751    53.3 | 81.202 % |
4.58/4.68	c |     33254 |   46426    95858 |   17022   27525  1469202    53.4 | 81.294 % |
4.58/4.69	c |     33404 |   46404    95806 |   18724   27635  1476776    53.4 | 81.354 % |
4.68/4.73	c |     33629 |   46372    95726 |   20597   27772  1488492    53.6 | 81.450 % |
4.68/4.77	c |     33968 |   46372    95726 |   22656   28111  1513082    53.8 | 81.450 % |
4.78/4.85	c |     34474 |   46372    95726 |   24922   28617  1544786    54.0 | 81.450 % |
4.88/4.96	c |     35236 |   46362    95704 |   27414   29365  1597110    54.4 | 81.474 % |
5.08/5.14	c |     36375 |   46333    95637 |   30156   30372  1693473    55.8 | 81.550 % |
5.28/5.40	c |     38083 |   46333    95637 |   33172   32080  1866660    58.2 | 81.550 % |
5.79/5.88	c |     40645 |   46330    95630 |   36489   34592  2123572    61.4 | 81.558 % |
6.29/6.39	c ==============================================================================
6.29/6.39	c Found solution: -36
6.29/6.39	c ---[   0]---> Sorter-cost:    0     Base:
6.39/6.40	c ==================================[MINISAT+]==================================
6.39/6.40	c | Conflicts | Original         | Learnt                           | Progress |
6.39/6.40	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
6.39/6.40	c ==============================================================================
6.39/6.40	c |     43665 |   46287    95514 |   15429   37005  2259052    61.0 | 81.558 % |
6.39/6.44	c |     43767 |   46287    95514 |   16971   17509  1045325    59.7 | 81.688 % |
6.39/6.45	c |     43917 |   46287    95514 |   18669   17659  1051183    59.5 | 81.688 % |
6.39/6.48	c |     44143 |   46287    95514 |   20535   17885  1064105    59.5 | 81.688 % |
6.50/6.53	c |     44481 |   46287    95514 |   22589   18223  1088348    59.7 | 81.688 % |
6.50/6.60	c |     44988 |   46287    95514 |   24848   18730  1133935    60.5 | 81.688 % |
6.69/6.71	c |     45747 |   46239    95406 |   27333   19407  1185437    61.1 | 81.808 % |
6.79/6.89	c |     46888 |   46218    95353 |   30066   20512  1291663    63.0 | 81.872 % |
7.09/7.17	c |     48596 |   46158    95205 |   33073   22154  1408911    63.6 | 82.048 % |
7.49/7.59	c |     51158 |   46100    95065 |   36380   24686  1592301    64.5 | 82.212 % |
8.19/8.24	c |     55005 |   46062    94975 |   40018   28478  1969572    69.2 | 82.316 % |
9.19/9.24	c |     60773 |   46053    94952 |   44020   34213  2524661    73.8 | 82.344 % |
10.79/10.80	c ==============================================================================
10.79/10.80	c Found solution: -37
10.79/10.80	c ---[   0]---> Sorter-cost:    0     Base:
10.79/10.82	c ==================================[MINISAT+]==================================
10.79/10.82	c | Conflicts | Original         | Learnt                           | Progress |
10.79/10.82	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.79/10.82	c ==============================================================================
10.79/10.82	c |     68623 |   46027    94892 |   15342   42045  3196890    76.0 | 82.344 % |
10.79/10.85	c |     68723 |   46027    94892 |   16876   17832  1097813    61.6 | 82.448 % |
10.79/10.87	c |     68874 |   46027    94892 |   18563   17983  1106700    61.5 | 82.448 % |
10.89/10.90	c |     69099 |   46027    94892 |   20420   18208  1119408    61.5 | 82.448 % |
10.89/10.96	c |     69437 |   45959    94726 |   22462   18537  1132337    61.1 | 82.628 % |
10.99/11.02	c |     69944 |   45959    94726 |   24708   19044  1170141    61.4 | 82.628 % |
11.09/11.14	c |     70703 |   45878    94534 |   27179   19760  1220560    61.8 | 82.844 % |
11.19/11.29	c |     71843 |   45878    94534 |   29897   20900  1297576    62.1 | 82.844 % |
11.49/11.51	c |     73551 |   45878    94534 |   32886   22608  1433352    63.4 | 82.844 % |
11.89/11.90	c |     76113 |   45878    94534 |   36175   25170  1626721    64.6 | 82.844 % |
12.39/12.49	c |     79957 |   45878    94534 |   39793   29014  2002671    69.0 | 82.844 % |
13.39/13.48	c |     85723 |   45878    94534 |   43772   34780  2381554    68.5 | 82.844 % |
15.09/15.12	c |     94373 |   45802    94348 |   48149   43390  3036621    70.0 | 83.063 % |
17.88/17.99	c |    107347 |   45792    94324 |   52964   56361  3718430    66.0 | 83.091 % |
23.09/23.11	c |    126809 |   45784    94304 |   58261   18988   667608    35.2 | 83.115 % |
28.58/28.65	c |    156001 |   45762    94252 |   64087   48168  2367128    49.1 | 83.175 % |
37.48/37.56	c ==============================================================================
37.48/37.56	c Found solution: -38
37.48/37.56	c ---[   0]---> Sorter-cost:    0     Base:
37.48/37.57	c ==================================[MINISAT+]==================================
37.48/37.57	c | Conflicts | Original         | Learnt                           | Progress |
37.48/37.57	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
37.48/37.57	c ==============================================================================
37.48/37.57	c |    195403 |   45667    93987 |   15222   20535   878476    42.8 | 83.175 % |
37.48/37.58	c |    195504 |   45667    93987 |   16744   20636   884137    42.8 | 83.461 % |
37.58/37.61	c |    195654 |   45634    93901 |   18418   20770   889291    42.8 | 83.565 % |
37.58/37.63	c |    195880 |   45634    93901 |   20260   20996   899665    42.8 | 83.565 % |
37.58/37.68	c |    196217 |   45634    93901 |   22286   21333   919724    43.1 | 83.565 % |
37.68/37.73	c |    196723 |   45634    93901 |   24515   21839   947195    43.4 | 83.565 % |
37.78/37.83	c |    197483 |   45634    93901 |   26966   22599  1002506    44.4 | 83.565 % |
37.88/37.97	c |    198622 |   45634    93901 |   29663   23738  1052116    44.3 | 83.565 % |
38.18/38.20	c |    200330 |   45634    93901 |   32629   25446  1134682    44.6 | 83.565 % |
38.49/38.56	c |    202892 |   45634    93901 |   35892   28008  1311523    46.8 | 83.565 % |
38.98/39.09	c |    206736 |   45634    93901 |   39481   31852  1511217    47.4 | 83.565 % |
39.88/39.97	c |    212503 |   45634    93901 |   43430   37619  1792496    47.6 | 83.565 % |
41.38/41.49	c |    221155 |   45632    93897 |   47773   46270  2338454    50.5 | 83.569 % |
43.78/43.90	c |    234129 |   45629    93890 |   52550   59242  3028982    51.1 | 83.577 % |
47.37/47.42	c |    253590 |   45552    93705 |   57805   24369   948925    38.9 | 83.792 % |
51.77/51.83	c |    282783 |   45524    93639 |   63586   53555  2316842    43.3 | 83.868 % |
59.57/59.64	c |    326572 |   45509    93604 |   69944   33098  1028406    31.1 | 83.908 % |
71.17/71.25	c |    392256 |   45491    93564 |   76939   28936  1164299    40.2 | 83.952 % |
86.67/86.73	c |    490782 |   45389    93316 |   84633   50505  2625352    52.0 | 84.236 % |
103.67/103.74	c ==============================================================================
103.67/103.74	c Found solution: -39
103.67/103.74	c ---[   0]---> Sorter-cost:    0     Base:
103.67/103.75	c ==================================[MINISAT+]==================================
103.67/103.75	c | Conflicts | Original         | Learnt                           | Progress |
103.67/103.75	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
103.67/103.75	c ==============================================================================
103.67/103.75	c |    577404 |   45395    93336 |   15131   52666  1549396    29.4 | 84.236 % |
103.87/103.92	c |    577504 |   45395    93336 |   16644   23022   514096    22.3 | 84.288 % |
103.87/103.93	c |    577656 |   45395    93336 |   18308   23174   519361    22.4 | 84.288 % |
103.87/103.96	c |    577881 |   45395    93336 |   20139   23399   525530    22.5 | 84.288 % |
103.97/104.01	c |    578219 |   45395    93336 |   22153   23737   535006    22.5 | 84.288 % |
103.97/104.06	c |    578725 |   45395    93336 |   24368   24243   551556    22.8 | 84.288 % |
104.07/104.13	c |    579484 |   45395    93336 |   26805   25002   573287    22.9 | 84.288 % |
104.17/104.24	c |    580624 |   45395    93336 |   29486   26142   616383    23.6 | 84.288 % |
104.37/104.42	c |    582333 |   45395    93336 |   32434   27851   668726    24.0 | 84.288 % |
104.67/104.73	c |    584895 |   45395    93336 |   35678   30413   746694    24.6 | 84.288 % |
105.17/105.21	c |    588741 |   45395    93336 |   39245   34259   865917    25.3 | 84.288 % |
105.97/106.05	c |    594509 |   45390    93323 |   43170   40026  1029102    25.7 | 84.304 % |
107.27/107.34	c |    603160 |   45390    93323 |   47487   48677  1303424    26.8 | 84.304 % |
109.27/109.30	c |    616134 |   45385    93312 |   52236   61650  1690381    27.4 | 84.316 % |
112.27/112.31	c |    635595 |   45385    93312 |   57459   30093   714890    23.8 | 84.316 % |
115.47/115.57	c |    664787 |   45192    92906 |   63205   33428  1040740    31.1 | 84.487 % |
122.07/122.19	c |    708576 |   45158    92826 |   69526   77205  3020508    39.1 | 84.579 % |
132.46/132.55	c |    774261 |   45142    92788 |   76479   76362  2933706    38.4 | 84.622 % |
148.37/148.47	c |    872787 |   45017    92471 |   84127   31478   903332    28.7 | 84.973 % |
169.96/170.02	c |   1020576 |   44932    92264 |   92539   57824  1717744    29.7 | 85.204 % |
199.75/199.86	c ==============================================================================
199.75/199.86	c Found solution: -40
199.75/199.86	c ---[   0]---> Sorter-cost:33854     Base:
199.75/199.89	c ==================================[MINISAT+]==================================
199.75/199.89	c | Conflicts | Original         | Learnt                           | Progress |
199.75/199.89	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
199.75/199.89	c ==============================================================================
199.75/199.89	c |   1207142 |   78249   170380 |   26083   73471  2540909    34.6 | 85.204 % |
199.95/200.02	c |   1207242 |   78249   170380 |   28691   29351   698742    23.8 | 46.357 % |
199.95/200.05	c |   1207392 |   78249   170380 |   31560   29501   705272    23.9 | 46.357 % |
200.06/200.11	c |   1207617 |   78233   170348 |   34716   29725   715027    24.1 | 46.374 % |
200.06/200.19	c |   1207954 |   78233   170348 |   38188   30062   725126    24.1 | 46.374 % |
200.25/200.30	c |   1208460 |   78233   170348 |   42006   30568   744736    24.4 | 46.374 % |
200.35/200.45	c |   1209220 |   78233   170348 |   46207   31328   773270    24.7 | 46.374 % |
200.55/200.68	c |   1210359 |   78176   170233 |   50828   32465   813126    25.0 | 46.434 % |
200.95/201.07	c |   1212067 |   78176   170233 |   55911   34173   875586    25.6 | 46.434 % |
201.55/201.68	c |   1214629 |   78176   170233 |   61502   36735   987979    26.9 | 46.434 % |
202.45/202.58	c |   1218473 |   78176   170233 |   67652   40579  1147493    28.3 | 46.434 % |
203.95/204.04	c |   1224243 |   78176   170233 |   74417   46349  1389380    30.0 | 46.434 % |
206.25/206.39	c |   1232892 |   78084   170039 |   81859   54991  1741495    31.7 | 46.540 % |
209.65/209.74	c |   1245867 |   78057   169985 |   90045   67965  2181718    32.1 | 46.571 % |
215.75/215.89	c |   1265329 |   77925   169693 |   99050   87412  2936132    33.6 | 46.737 % |
224.95/225.08	c |   1294521 |   77867   169573 |  108955  116602  4059416    34.8 | 46.801 % |
237.55/237.67	c |   1338310 |   77698   169214 |  119850   57356  1654901    28.9 | 47.000 % |
257.35/257.49	c |   1403994 |   77141   168049 |  131835  121366  4111826    33.9 | 47.484 % |
270.04/270.13	c ==============================================================================
270.04/270.13	c Optimal solution: -40
270.04/270.13	s OPTIMUM FOUND
270.04/270.13	v -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
270.04/270.13	c _______________________________________________________________________________
270.04/270.13	c 
270.04/270.13	c restarts              : 140
270.04/270.13	c conflicts             : 1439214        (5330 /sec)
270.04/270.13	c decisions             : 1804104        (6681 /sec)
270.04/270.13	c propagations          : 0              (0 /sec)
270.04/270.13	c inspects              : 0              (0 /sec)
270.04/270.13	c CPU time              : 270.025 s
270.04/270.13	c _______________________________________________________________________________

Verifier Data 

OK	-40

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723547-1338571528/watcher-3723547-1338571528 -o /tmp/evaluation-result-3723547-1338571528/solver-3723547-1338571528 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723547-1338571528.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 12612
/proc/meminfo: memFree=28165084/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0

[startup+0.0384199 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 12612
/proc/meminfo: memFree=28165084/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100313 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 12612
/proc/meminfo: memFree=28165084/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 12612
/proc/meminfo: memFree=28165084/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700257 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 12612
/proc/meminfo: memFree=28165084/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12617
/proc/meminfo: memFree=28144584/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=21720 CPUtime=1.48 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 5217 0 0 0 146 2 0 0 20 0 1 0 323278679 22241280 5173 33554432000 4194304 5276501 140737308366304 140737308364552 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 5430 5173 118 265 0 5162 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30868

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 12617
/proc/meminfo: memFree=28143964/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=21720 CPUtime=3.08 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 5217 0 0 0 306 2 0 0 20 0 1 0 323278679 22241280 5173 33554432000 4194304 5276501 140737308366304 140737308364552 4399846 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 5430 5173 118 265 0 5162 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30868

[startup+6.30027 s]
/proc/loadavg: 2.16 2.03 1.93 3/177 12617
/proc/meminfo: memFree=28143104/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=25004 CPUtime=6.29 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 6039 0 0 0 626 3 0 0 20 0 1 0 323278679 25604096 5995 33554432000 4194304 5276501 140737308366304 140737308364552 4399424 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 6251 5995 119 265 0 5983 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34152

[startup+12.7003 s]
/proc/loadavg: 2.15 2.03 1.93 3/177 12617
/proc/meminfo: memFree=28135804/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=29652 CPUtime=12.69 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 7227 0 0 0 1266 3 0 0 20 0 1 0 323278679 30363648 7140 33554432000 4194304 5276501 140737308366304 140737308364552 4400448 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 7413 7140 119 265 0 7145 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38800

[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 1.93 3/177 12617
/proc/meminfo: memFree=28126396/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=37868 CPUtime=25.48 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 9275 0 0 0 2545 3 0 0 20 0 1 0 323278679 38776832 9188 33554432000 4194304 5276501 140737308366304 140737308364552 4399741 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 9467 9188 119 265 0 9199 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47016

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.93 3/177 12659
/proc/meminfo: memFree=28082828/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=44820 CPUtime=51.07 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 11016 0 0 0 5103 4 0 0 20 0 1 0 323278679 45895680 10923 33554432000 4194304 5276501 140737308366304 140737308364552 4395128 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 11205 10923 119 265 0 10937 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53968

[startup+102.306 s]
/proc/loadavg: 2.03 2.02 1.93 3/177 12659
/proc/meminfo: memFree=28033648/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=48476 CPUtime=102.27 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 11846 0 0 0 10222 5 0 0 20 0 1 0 323278679 49639424 11754 33554432000 4194304 5276501 140737308366304 140737308364728 4406459 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 12119 11754 119 265 0 11851 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 57624

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/177 12660
/proc/meminfo: memFree=28002400/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=49312 CPUtime=162.26 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 12021 0 0 0 16221 5 0 0 20 0 1 0 323278679 50495488 11929 33554432000 4194304 5276501 140737308366304 140737308364728 4399937 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 12328 11929 119 265 0 12060 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 58460

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27944360/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=54652 CPUtime=222.25 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 13108 0 0 0 22220 5 0 0 20 0 1 0 323278679 55963648 13015 33554432000 4194304 5276501 140737308366304 140737308364552 4399829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 13663 13015 119 265 0 13395 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 63800

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

[startup+230.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27943120/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=56088 CPUtime=230.25 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 13499 0 0 0 23020 5 0 0 20 0 1 0 323278679 57434112 13406 33554432000 4194304 5276501 140737308366304 140737308364488 4396806 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 14022 13406 119 265 0 13754 0
Current children cumulated CPU time (s) 230.25
Current children cumulated vsize (KiB) 65236

[startup+255.9 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27942252/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=56504 CPUtime=255.84 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 13618 0 0 0 25579 5 0 0 20 0 1 0 323278679 57860096 13525 33554432000 4194304 5276501 140737308366304 140737308364488 4399749 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 14126 13525 119 265 0 13858 0
Current children cumulated CPU time (s) 255.84
Current children cumulated vsize (KiB) 65652

[startup+262.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27942128/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=56780 CPUtime=262.24 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 13678 0 0 0 26219 5 0 0 20 0 1 0 323278679 58142720 13585 33554432000 4194304 5276501 140737308366304 140737308364488 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 14195 13585 119 265 0 13927 0
Current children cumulated CPU time (s) 262.24
Current children cumulated vsize (KiB) 65928

[startup+265.5 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27941684/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=56908 CPUtime=265.44 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 13711 0 0 0 26539 5 0 0 20 0 1 0 323278679 58273792 13618 33554432000 4194304 5276501 140737308366304 140737308364712 4390912 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 14227 13618 119 265 0 13959 0
Current children cumulated CPU time (s) 265.44
Current children cumulated vsize (KiB) 66056

[startup+268.7 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27941684/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=56908 CPUtime=268.64 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 13711 0 0 0 26859 5 0 0 20 0 1 0 323278679 58273792 13618 33554432000 4194304 5276501 140737308366304 140737308364712 4390285 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 14227 13618 119 265 0 13959 0
Current children cumulated CPU time (s) 268.64
Current children cumulated vsize (KiB) 66056

[startup+269.506 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27941684/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=56908 CPUtime=269.44 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 13711 0 0 0 26939 5 0 0 20 0 1 0 323278679 58273792 13618 33554432000 4194304 5276501 140737308366304 140737308364712 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 14227 13618 119 265 0 13959 0
Current children cumulated CPU time (s) 269.44
Current children cumulated vsize (KiB) 66056

[startup+269.9 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27941684/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=56908 CPUtime=269.84 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 13711 0 0 0 26979 5 0 0 20 0 1 0 323278679 58273792 13618 33554432000 4194304 5276501 140737308366304 140737308364712 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 14227 13618 119 265 0 13959 0
Current children cumulated CPU time (s) 269.84
Current children cumulated vsize (KiB) 66056

[startup+270.1 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27941684/32873852 swapFree=6856/6856
[pid=12612] ppid=12610 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12612/stat : 12612 (minisat+_script) S 12610 12612 10505 0 -1 4202496 382 551 0 0 0 0 0 0 20 0 1 0 323278679 9367552 276 33554432000 4194304 5064252 140733847904672 140733847903584 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12612/statm: 2287 276 236 213 0 72 0
[pid=12616] ppid=12612 vsize=56908 CPUtime=270.04 cores=0,2,4,6
/proc/12616/stat : 12616 (minisat+_64-bit) R 12612 12612 10505 0 -1 4202496 13711 0 0 0 26999 5 0 0 20 0 1 0 323278679 58273792 13618 33554432000 4194304 5276501 140737308366304 140737308364712 4399741 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12616/statm: 14227 13618 119 265 0 13959 0
Current children cumulated CPU time (s) 270.04
Current children cumulated vsize (KiB) 66056

Child status: 0
Real time (s): 270.136
CPU time (s): 270.088
CPU user time (s): 270.027
CPU system time (s): 0.06099
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 66056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 270.027
system time used= 0.06099
maximum resident set size= 54472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14660
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= 33
involuntary context switches= 285

runsolver used 0.404938 second user time and 1.10583 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-01 19:25:28
IDJOB=3723547
IDBENCH=2243
IDSOLVER=2307
FILE ID=node128/3723547-1338571528
RUNJOBID= node128-1338569698-12414
PBS_JOBID= 14635885
Free space on /tmp= 70504 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723547-1338571528/watcher-3723547-1338571528 -o /tmp/evaluation-result-3723547-1338571528/solver-3723547-1338571528 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723547-1338571528.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107
RANDOM SEED=290780661

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28164836 kB
Buffers:          513108 kB
Cached:          3275204 kB
SwapCached:          784 kB
Active:          1693704 kB
Inactive:        2125360 kB
Active(anon):      21808 kB
Inactive(anon):    11368 kB
Active(file):    1671896 kB
Inactive(file):  2113992 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106552 kB
Dirty:              6132 kB
Writeback:             0 kB
AnonPages:         48752 kB
Mapped:            14520 kB
Shmem:               200 kB
Slab:             751864 kB
SReclaimable:     193968 kB
SUnreclaim:       557896 kB
KernelStack:        1440 kB
PageTables:         3852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     144492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70500 MiB
End job on node128 at 2012-06-01 19:29:58