Trace number 3721298

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
PB07: minisat+ 1.14SAT (TO)-39 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUMc9380923d34e254cfa512f89027f1d42
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 benchmark1325.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41095
Number of constraints which are clauses41095
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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c Parsing PB file...
0.39/0.43	c Converting 41095 PB-constraints to clauses...
0.39/0.44	c   -- Unit propagations: (none)
0.39/0.44	c   -- Detecting intervals from adjacent constraints: (none)
0.39/0.44	c   -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.39/0.48	c ==================================[MINISAT+]==================================
0.39/0.48	c | Conflicts | Original         | Learnt                           | Progress |
0.39/0.48	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.39/0.48	c ==============================================================================
0.39/0.48	c |         0 |   41095    82190 |   13698       0        0     nan |  0.000 % |
0.39/0.48	c ==============================================================================
0.39/0.48	c Found solution: -31
0.39/0.48	o -31
0.39/0.48	c ---[   0]---> Sorter-cost:35010     Base:
0.49/0.52	c ==================================[MINISAT+]==================================
0.49/0.52	c | Conflicts | Original         | Learnt                           | Progress |
0.49/0.52	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.49/0.52	c ==============================================================================
0.49/0.52	c |         0 |   77395   167462 |   25798       0        0     nan |  0.000 % |
0.49/0.56	c |       101 |   77238   167143 |   28377      90      929    10.3 |  0.331 % |
0.59/0.60	c |       251 |   76847   166316 |   31215     211     2466    11.7 |  1.208 % |
0.69/0.70	c |       476 |   75972   164442 |   34337     395     4215    10.7 |  3.304 % |
0.79/0.84	c |       813 |   74494   161218 |   37770     658     7446    11.3 |  6.726 % |
1.00/1.06	c |      1319 |   71556   154677 |   41547    1013    11473    11.3 | 13.931 % |
1.29/1.33	c |      2078 |   68045   146771 |   45702    1564    17859    11.4 | 22.774 % |
1.59/1.69	c |      3217 |   62670   134504 |   50273    2321    28070    12.1 | 36.635 % |
2.10/2.16	c |      4925 |   56128   119095 |   55300    3417    45635    13.4 | 53.971 % |
2.59/2.67	c |      7487 |   51841   108909 |   60830    5071    80265    15.8 | 65.575 % |
2.89/2.90	c ==============================================================================
2.89/2.90	c Found solution: -32
2.89/2.90	o -32
2.89/2.90	c ---[   0]---> Sorter-cost:    0     Base:
2.89/2.92	c ==================================[MINISAT+]==================================
2.89/2.92	c | Conflicts | Original         | Learnt                           | Progress |
2.89/2.92	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.89/2.92	c ==============================================================================
2.89/2.92	c |      8864 |   50474   105612 |   16824    6059   132156    21.8 | 65.575 % |
2.89/2.95	c |      8964 |   50044   104589 |   18506    6068   132299    21.8 | 70.483 % |
2.89/2.98	c |      9114 |   49720   103800 |   20357    6093   133270    21.9 | 71.397 % |
2.99/3.01	c |      9339 |   49622   103571 |   22392    6281   138021    22.0 | 71.655 % |
2.99/3.05	c |      9677 |   49534   103357 |   24632    6586   144121    21.9 | 71.908 % |
3.09/3.11	c |     10183 |   49289   102776 |   27095    7005   153375    21.9 | 72.576 % |
3.20/3.22	c |     10942 |   48817   101638 |   29804    7437   174082    23.4 | 73.908 % |
3.30/3.38	c |     12081 |   48123    99987 |   32785    8315   226746    27.3 | 75.808 % |
3.49/3.57	c |     13789 |   47814    99243 |   36063    9822   297504    30.3 | 76.774 % |
3.69/3.73	c ==============================================================================
3.69/3.73	c Found solution: -33
3.69/3.73	o -33
3.69/3.73	c ---[   0]---> Sorter-cost:    0     Base:
3.69/3.76	c ==================================[MINISAT+]==================================
3.69/3.76	c | Conflicts | Original         | Learnt                           | Progress |
3.69/3.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.69/3.76	c ==============================================================================
3.69/3.76	c |     15122 |   47804    99246 |   15934   11128   367947    33.1 | 76.774 % |
3.69/3.78	c |     15222 |   47639    98853 |   17527   11109   366482    33.0 | 77.190 % |
3.79/3.80	c |     15372 |   47595    98751 |   19280   11227   369541    32.9 | 77.307 % |
3.79/3.82	c |     15597 |   47595    98751 |   21208   11452   386987    33.8 | 77.307 % |
3.79/3.86	c |     15936 |   47595    98751 |   23328   11791   400789    34.0 | 77.307 % |
3.89/3.93	c |     16442 |   47499    98515 |   25661   12216   419172    34.3 | 77.584 % |
3.99/4.08	c |     17201 |   47006    97343 |   28228   12699   460842    36.3 | 78.935 % |
4.19/4.22	c |     18340 |   46999    97326 |   31050   13820   534818    38.7 | 78.955 % |
4.40/4.47	c |     20048 |   46939    97192 |   34155   15464   658464    42.6 | 79.104 % |
4.59/4.60	c ==============================================================================
4.59/4.60	c Found solution: -34
4.59/4.60	o -34
4.59/4.61	c ---[   0]---> Sorter-cost:    0     Base:
4.59/4.63	c ==================================[MINISAT+]==================================
4.59/4.63	c | Conflicts | Original         | Learnt                           | Progress |
4.59/4.63	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
4.59/4.63	c ==============================================================================
4.59/4.63	c |     20986 |   46927    97141 |   15642   16249   721785    44.4 | 79.104 % |
4.69/4.70	c |     21086 |   46732    96676 |   17206   16212   722537    44.6 | 79.688 % |
4.69/4.73	c |     21236 |   46721    96649 |   18926   16356   727214    44.5 | 79.720 % |
4.69/4.76	c |     21463 |   46721    96649 |   20819   16583   740187    44.6 | 79.720 % |
4.79/4.80	c |     21800 |   46721    96649 |   22901   16920   757005    44.7 | 79.720 % |
4.79/4.86	c |     22306 |   46721    96649 |   25191   17426   776599    44.6 | 79.720 % |
4.89/4.97	c |     23065 |   46718    96642 |   27710   18177   823057    45.3 | 79.728 % |
5.09/5.18	c |     24204 |   46648    96470 |   30481   19252   920173    47.8 | 79.929 % |
5.40/5.49	c |     25912 |   46551    96239 |   33530   20864  1063720    51.0 | 80.183 % |
5.99/6.01	c |     28474 |   46411    95903 |   36883   23262  1288226    55.4 | 80.568 % |
6.60/6.69	c |     32318 |   46361    95779 |   40571   27052  1576672    58.3 | 80.713 % |
7.89/7.92	c |     38085 |   46232    95472 |   44628   32638  2119521    64.9 | 81.067 % |
10.08/10.18	c |     46736 |   46197    95387 |   49091   41194  3124221    75.8 | 81.163 % |
13.69/13.74	c |     59710 |   45887    94639 |   54000   53780  4274679    79.5 | 82.040 % |
16.39/16.42	c ==============================================================================
16.39/16.42	c Found solution: -35
16.39/16.42	o -35
16.39/16.42	c ---[   0]---> Sorter-cost:    0     Base:
16.39/16.48	c ==================================[MINISAT+]==================================
16.39/16.48	c | Conflicts | Original         | Learnt                           | Progress |
16.39/16.48	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
16.39/16.48	c ==============================================================================
16.39/16.48	c |     68731 |   45876    94626 |   15292   62730  5053895    80.6 | 82.040 % |
16.49/16.54	c |     68831 |   45876    94626 |   16821   18447  1108901    60.1 | 82.148 % |
16.49/16.56	c |     68981 |   45852    94564 |   18503   18590  1112238    59.8 | 82.220 % |
16.59/16.61	c |     69207 |   45846    94550 |   20353   18795  1124590    59.8 | 82.236 % |
16.59/16.66	c |     69544 |   45846    94550 |   22389   19132  1156718    60.5 | 82.236 % |
16.69/16.74	c |     70050 |   45846    94550 |   24627   19638  1198376    61.0 | 82.236 % |
16.79/16.87	c |     70809 |   45846    94550 |   27090   20397  1276601    62.6 | 82.236 % |
16.99/17.06	c |     71948 |   45846    94550 |   29799   21536  1352008    62.8 | 82.236 % |
17.39/17.42	c |     73656 |   45846    94550 |   32779   23244  1501208    64.6 | 82.236 % |
17.89/17.94	c |     76218 |   45772    94364 |   36057   25794  1717538    66.6 | 82.460 % |
18.69/18.73	c ==============================================================================
18.69/18.73	c Found solution: -36
18.69/18.73	o -36
18.69/18.74	c ---[   0]---> Sorter-cost:    0     Base:
18.69/18.78	c ==================================[MINISAT+]==================================
18.69/18.78	c | Conflicts | Original         | Learnt                           | Progress |
18.69/18.78	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.69/18.78	c ==============================================================================
18.69/18.78	c |     79852 |   45763    94329 |   15254   29426  2135545    72.6 | 82.460 % |
18.79/18.80	c |     79952 |   45763    94329 |   16779   29526  2141968    72.5 | 82.494 % |
18.79/18.83	c |     80102 |   45763    94329 |   18457   29676  2155080    72.6 | 82.494 % |
18.79/18.87	c |     80327 |   45763    94329 |   20303   29901  2168898    72.5 | 82.494 % |
18.89/18.94	c |     80665 |   45763    94329 |   22333   30239  2188372    72.4 | 82.494 % |
18.99/19.04	c |     81171 |   45763    94329 |   24566   30745  2229210    72.5 | 82.494 % |
19.09/19.19	c |     81930 |   45763    94329 |   27023   31504  2289974    72.7 | 82.494 % |
19.39/19.40	c |     83069 |   45763    94329 |   29725   32643  2381067    72.9 | 82.494 % |
19.69/19.76	c |     84777 |   45763    94329 |   32698   34351  2511357    73.1 | 82.494 % |
20.29/20.31	c |     87340 |   45753    94303 |   35968   36906  2770585    75.1 | 82.526 % |
21.09/21.17	c |     91184 |   45690    94150 |   39564   40741  3063992    75.2 | 82.706 % |
22.59/22.60	c |     96950 |   45658    94074 |   43521   46425  3529731    76.0 | 82.794 % |
24.69/24.73	c |    105600 |   45646    94046 |   47873   55068  4237732    77.0 | 82.826 % |
28.08/28.13	c |    118574 |   45646    94046 |   52660   68042  5330410    78.3 | 82.826 % |
32.48/32.54	c |    138036 |   45576    93882 |   57927   34000  2343565    68.9 | 83.014 % |
34.88/34.96	c ==============================================================================
34.88/34.96	c Found solution: -37
34.88/34.96	o -37
34.88/34.97	c ---[   0]---> Sorter-cost:    0     Base:
34.98/35.01	c ==================================[MINISAT+]==================================
34.98/35.01	c | Conflicts | Original         | Learnt                           | Progress |
34.98/35.01	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
34.98/35.01	c ==============================================================================
34.98/35.01	c |    149466 |   45599    93945 |   15199   45430  3332463    73.4 | 83.014 % |
34.98/35.07	c |    149566 |   45599    93945 |   16718   17803  1045062    58.7 | 82.973 % |
34.98/35.09	c |    149718 |   45599    93945 |   18390   17955  1053066    58.7 | 82.973 % |
35.09/35.12	c |    149943 |   45599    93945 |   20229   18180  1067373    58.7 | 82.973 % |
35.09/35.18	c |    150281 |   45596    93938 |   22252   18516  1082787    58.5 | 82.981 % |
35.19/35.25	c |    150787 |   45593    93931 |   24478   19013  1111621    58.5 | 82.989 % |
35.28/35.36	c |    151546 |   45593    93931 |   26925   19772  1179618    59.7 | 82.989 % |
35.48/35.55	c |    152686 |   45593    93931 |   29618   20912  1287628    61.6 | 82.989 % |
35.78/35.84	c |    154394 |   45593    93931 |   32580   22620  1436347    63.5 | 82.989 % |
36.19/36.26	c |    156956 |   45580    93900 |   35838   25160  1626071    64.6 | 83.025 % |
36.88/36.94	c |    160800 |   45469    93635 |   39422   28964  1960525    67.7 | 83.337 % |
37.98/38.09	c |    166566 |   45422    93516 |   43364   34720  2450264    70.6 | 83.481 % |
39.88/39.95	c |    175216 |   45422    93516 |   47700   43370  3106157    71.6 | 83.481 % |
42.97/43.05	c |    188190 |   45409    93485 |   52471   56340  4190159    74.4 | 83.517 % |
47.87/47.93	c |    207651 |   45378    93412 |   57718   20752   843783    40.7 | 83.597 % |
53.36/53.49	c |    236844 |   45348    93342 |   63489   49941  3556546    71.2 | 83.677 % |
64.16/64.24	c |    280635 |   45332    93300 |   69838   29311  1271672    43.4 | 83.729 % |
77.97/78.04	c ==============================================================================
77.97/78.04	c Found solution: -38
77.97/78.04	o -38
77.97/78.04	c ---[   0]---> Sorter-cost:    0     Base:
77.97/78.07	c ==================================[MINISAT+]==================================
77.97/78.07	c | Conflicts | Original         | Learnt                           | Progress |
77.97/78.07	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
77.97/78.07	c ==============================================================================
77.97/78.07	c |    344995 |   45289    93179 |   15096   22206   620998    28.0 | 83.729 % |
77.97/78.09	c |    345095 |   45289    93179 |   16605   22306   624408    28.0 | 83.859 % |
78.07/78.12	c |    345245 |   45289    93179 |   18266   22456   629871    28.0 | 83.859 % |
78.07/78.15	c |    345471 |   45289    93179 |   20092   22682   637923    28.1 | 83.859 % |
78.16/78.20	c |    345808 |   45289    93179 |   22102   23019   650581    28.3 | 83.859 % |
78.16/78.25	c |    346315 |   45289    93179 |   24312   23526   669167    28.4 | 83.859 % |
78.26/78.35	c |    347074 |   45221    93013 |   26743   24280   705523    29.1 | 84.055 % |
78.36/78.50	c |    348213 |   45212    92988 |   29417   25414   778295    30.6 | 84.087 % |
78.66/78.73	c |    349921 |   45141    92818 |   32359   27103   880732    32.5 | 84.283 % |
78.96/79.04	c |    352483 |   45141    92818 |   35595   29665  1032114    34.8 | 84.283 % |
79.46/79.59	c |    356327 |   45141    92818 |   39155   33509  1294905    38.6 | 84.283 % |
80.36/80.49	c |    362093 |   45141    92818 |   43070   39275  1678091    42.7 | 84.283 % |
81.96/82.02	c |    370742 |   45141    92818 |   47377   47924  2281068    47.6 | 84.283 % |
84.76/84.83	c |    383716 |   45141    92818 |   52115   60898  2875601    47.2 | 84.283 % |
89.16/89.20	c |    403178 |   45131    92794 |   57327   26764   757803    28.3 | 84.311 % |
94.56/94.64	c |    432371 |   45125    92780 |   63059   55955  2218138    39.6 | 84.327 % |
104.06/104.15	c |    476160 |   45116    92759 |   69365   36944  1091586    29.5 | 84.351 % |
117.95/118.02	c |    541845 |   45114    92755 |   76302   33991   951202    28.0 | 84.355 % |
140.05/140.14	c |    640371 |   45101    92724 |   83932   58273  2804766    48.1 | 84.391 % |
177.45/177.54	c |    788161 |   45038    92569 |   92325   46297  1993503    43.1 | 84.575 % |
231.54/231.68	c |   1009845 |   45022    92533 |  101558   89371  3211573    35.9 | 84.615 % |
320.04/320.17	c |   1342371 |   44996    92473 |  111714   32607   881272    27.0 | 84.683 % |
436.10/436.28	c |   1841160 |   44807    92014 |  122885   96533  3118276    32.3 | 85.222 % |
623.18/623.36	c |   2589343 |   44695    91750 |  135174  145925  5320733    36.5 | 85.526 % |
914.83/915.07	c |   3711619 |   44609    91525 |  148691  125786  3844164    30.6 | 85.782 % |
1395.75/1396.03	c |   5395031 |   44433    91103 |  163560  160258  5675262    35.4 | 86.254 % |
1738.49/1738.81	c ==============================================================================
1738.49/1738.81	c Found solution: -39
1738.49/1738.81	o -39
1738.49/1738.81	c ---[   0]---> Sorter-cost:    0     Base:
1738.49/1738.86	c ==================================[MINISAT+]==================================
1738.49/1738.86	c | Conflicts | Original         | Learnt                           | Progress |
1738.49/1738.86	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1738.49/1738.86	c ==============================================================================
1738.49/1738.86	c |   6508334 |   44391    90988 |   14797   84630  2776355    32.8 | 86.254 % |
1738.70/1739.06	c |   6508434 |   44391    90988 |   16276   31805   780926    24.6 | 86.437 % |
1738.70/1739.09	c |   6508585 |   44391    90988 |   17904   31956   785497    24.6 | 86.437 % |
1738.80/1739.12	c |   6508810 |   44355    90894 |   19694   32180   789251    24.5 | 86.540 % |
1738.80/1739.16	c |   6509148 |   44355    90894 |   21664   32518   803179    24.7 | 86.540 % |
1738.89/1739.22	c |   6509654 |   44355    90894 |   23830   33024   818448    24.8 | 86.540 % |
1738.89/1739.29	c |   6510413 |   44355    90894 |   26213   33783   839590    24.9 | 86.540 % |
1739.09/1739.41	c |   6511552 |   44355    90894 |   28835   34922   877130    25.1 | 86.540 % |
1739.29/1739.60	c |   6513262 |   44355    90894 |   31718   36632   943203    25.7 | 86.540 % |
1739.59/1739.97	c |   6515824 |   44355    90894 |   34890   39194  1033009    26.4 | 86.540 % |
1740.09/1740.43	c |   6519668 |   44355    90894 |   38379   43038  1172091    27.2 | 86.540 % |
1740.79/1741.15	c |   6525434 |   44350    90883 |   42217   48803  1371122    28.1 | 86.552 % |
1742.00/1742.33	c |   6534083 |   44350    90883 |   46439   57452  1699070    29.6 | 86.552 % |
1743.99/1744.31	c |   6547057 |   44350    90883 |   51083   29498   521190    17.7 | 86.552 % |
1746.50/1746.87	c |   6566519 |   44350    90883 |   56191   48960  1309121    26.7 | 86.552 % |
1751.69/1752.07	c |   6595711 |   44350    90883 |   61810   78152  2469510    31.6 | 86.552 % |
1758.69/1759.00	c |   6639500 |   44342    90863 |   67991   70426  1879119    26.7 | 86.576 % |
1770.49/1770.81	c |   6705185 |   44342    90863 |   74790   75247  2516500    33.4 | 86.576 % |
1788.29/1788.63	c |   6803713 |   44342    90863 |   82270   39684   881525    22.2 | 86.576 % |
1800.09/1800.40	c 
1800.09/1800.40	c *** TERMINATED ***
1800.09/1800.40	s SATISFIABLE
1800.09/1800.40	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

Verifier Data 

OK	-39

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-3721298-1338554479/watcher-3721298-1338554479 -o /tmp/evaluation-result-3721298-1338554479/solver-3721298-1338554479 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721298-1338554479.opb 

running on 4 cores: 1,3,5,7

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: 5.57 3.45 2.25 4/177 8721
/proc/meminfo: memFree=28728792/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=1264 CPUtime=0 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 187 0 0 0 0 0 0 0 20 0 1 0 321573852 1294336 145 33554432000 134512640 135395479 4290583840 4290582204 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 316 145 74 216 0 98 0

[startup+0.0392709 s]
/proc/loadavg: 5.57 3.45 2.25 4/177 8721
/proc/meminfo: memFree=28728792/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=2068 CPUtime=0.03 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 361 0 0 0 3 0 0 0 20 0 1 0 321573852 2117632 319 33554432000 134512640 135395479 4290583840 4290582856 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 517 319 74 216 0 299 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2068

[startup+0.100257 s]
/proc/loadavg: 5.57 3.45 2.25 4/177 8721
/proc/meminfo: memFree=28728792/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=3332 CPUtime=0.09 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 681 0 0 0 9 0 0 0 20 0 1 0 321573852 3411968 639 33554432000 134512640 135395479 4290583840 4290582672 134618678 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 833 639 74 216 0 615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3332

[startup+0.300217 s]
/proc/loadavg: 5.57 3.45 2.25 4/177 8721
/proc/meminfo: memFree=28728792/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=7520 CPUtime=0.29 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 1725 0 0 0 29 0 0 0 20 0 1 0 321573852 7700480 1683 33554432000 134512640 135395479 4290583840 4290582204 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 1880 1683 74 216 0 1662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7520

[startup+0.700204 s]
/proc/loadavg: 5.57 3.45 2.25 4/177 8721
/proc/meminfo: memFree=28728792/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=15884 CPUtime=0.69 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 3853 0 0 0 66 3 0 0 20 0 1 0 321573852 16265216 3704 33554432000 134512640 135395479 4290583840 4290582192 134569759 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 3971 3704 110 216 0 3753 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15884

[startup+1.50018 s]
/proc/loadavg: 5.57 3.45 2.25 3/178 8722
/proc/meminfo: memFree=28715424/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=15884 CPUtime=1.49 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 3853 0 0 0 146 3 0 0 20 0 1 0 321573852 16265216 3704 33554432000 134512640 135395479 4290583840 4290582240 134582027 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 3971 3704 110 216 0 3753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15884

[startup+3.10013 s]
/proc/loadavg: 5.57 3.45 2.25 3/178 8722
/proc/meminfo: memFree=28714848/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=15952 CPUtime=3.09 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 3887 0 0 0 306 3 0 0 20 0 1 0 321573852 16334848 3738 33554432000 134512640 135395479 4290583840 4290581808 134576754 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 3988 3738 110 216 0 3770 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15952

[startup+6.3001 s]
/proc/loadavg: 5.29 3.42 2.25 3/178 8722
/proc/meminfo: memFree=28716836/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=19364 CPUtime=6.29 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 4718 0 0 0 626 3 0 0 20 0 1 0 321573852 19828736 4569 33554432000 134512640 135395479 4290583840 4290582192 134580929 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 4841 4570 110 216 0 4623 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19364

[startup+12.7002 s]
/proc/loadavg: 5.10 3.41 2.25 3/178 8722
/proc/meminfo: memFree=28705868/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=30332 CPUtime=12.69 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 7445 0 0 0 1265 4 0 0 20 0 1 0 321573852 31059968 7296 33554432000 134512640 135395479 4290583840 4290582192 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 7583 7296 110 216 0 7365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30332

[startup+25.5002 s]
/proc/loadavg: 4.41 3.34 2.25 3/178 8722
/proc/meminfo: memFree=28701652/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=35324 CPUtime=25.49 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 8701 0 0 0 2545 4 0 0 20 0 1 0 321573852 36171776 8552 33554432000 134512640 135395479 4290583840 4290581888 134583956 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 8831 8552 110 216 0 8613 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35324

[startup+51.1001 s]
/proc/loadavg: 3.59 3.24 2.24 3/178 8722
/proc/meminfo: memFree=28692296/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=38856 CPUtime=51.07 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 9602 0 0 0 5103 4 0 0 20 0 1 0 321573852 39788544 9448 33554432000 134512640 135395479 4290583840 4290582192 134580890 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 9714 9448 110 216 0 9496 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38856

[startup+102.306 s]
/proc/loadavg: 2.69 3.04 2.23 3/177 8722
/proc/meminfo: memFree=28651964/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=39940 CPUtime=102.26 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 9847 0 0 0 10222 4 0 0 20 0 1 0 321573852 40898560 9690 33554432000 134512640 135395479 4290583840 4290581808 134576243 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 9985 9690 110 216 0 9767 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 39940

[startup+162.3 s]
/proc/loadavg: 2.25 2.85 2.21 3/177 8723
/proc/meminfo: memFree=28641068/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=40412 CPUtime=162.25 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 9971 0 0 0 16221 4 0 0 20 0 1 0 321573852 41381888 9814 33554432000 134512640 135395479 4290583840 4290581712 134574460 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 10103 9814 110 216 0 9885 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40412

[startup+222.3 s]
/proc/loadavg: 2.09 2.69 2.19 3/177 8723
/proc/meminfo: memFree=28559352/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=42024 CPUtime=222.24 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 10341 0 0 0 22220 4 0 0 20 0 1 0 321573852 43032576 10184 33554432000 134512640 135395479 4290583840 4290582192 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 10506 10184 110 216 0 10288 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 42024

[startup+282.3 s]
/proc/loadavg: 2.11 2.58 2.18 3/176 8723
/proc/meminfo: memFree=28488796/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=42488 CPUtime=282.23 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 10466 0 0 0 28219 4 0 0 20 0 1 0 321573852 43507712 10309 33554432000 134512640 135395479 4290583840 4290582192 134580915 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 10622 10309 110 216 0 10404 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 42488

[startup+342.3 s]
/proc/loadavg: 2.04 2.47 2.17 3/177 8724
/proc/meminfo: memFree=28487320/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=43388 CPUtime=342.23 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 10656 0 0 0 34218 5 0 0 20 0 1 0 321573852 44429312 10499 33554432000 134512640 135395479 4290583840 4290582192 134580744 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 10847 10499 110 216 0 10629 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 43388

[startup+402.3 s]
/proc/loadavg: 2.01 2.38 2.16 3/177 8724
/proc/meminfo: memFree=28479192/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=51260 CPUtime=402.21 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 12628 0 0 0 40216 5 0 0 20 0 1 0 321573852 52490240 12517 33554432000 134512640 135395479 4290583840 4290582192 134581218 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 12815 12517 110 216 0 12597 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 51260

[startup+462.3 s]
/proc/loadavg: 2.00 2.31 2.15 3/177 8725
/proc/meminfo: memFree=28410992/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=52016 CPUtime=462.2 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 12726 0 0 0 46215 5 0 0 20 0 1 0 321573852 53264384 12615 33554432000 134512640 135395479 4290583840 4290582192 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 13004 12615 110 216 0 12786 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 52016

[startup+522.3 s]
/proc/loadavg: 2.00 2.25 2.14 3/177 8725
/proc/meminfo: memFree=28363748/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=52160 CPUtime=522.2 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 12779 0 0 0 52214 6 0 0 20 0 1 0 321573852 53411840 12668 33554432000 134512640 135395479 4290583840 4290582176 134581327 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 13040 12668 110 216 0 12822 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 52160

[startup+582.3 s]
/proc/loadavg: 2.00 2.20 2.12 3/178 8728
/proc/meminfo: memFree=28363588/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=52588 CPUtime=582.19 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 12870 0 0 0 58213 6 0 0 20 0 1 0 321573852 53850112 12759 33554432000 134512640 135395479 4290583840 4290582192 134580965 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 13147 12759 110 216 0 12929 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 52588

[startup+642.3 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/177 8729
/proc/meminfo: memFree=28324280/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=57032 CPUtime=822.14 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 13974 0 0 0 82208 6 0 0 20 0 1 0 321573852 58400768 13872 33554432000 134512640 135395479 4290583840 4290582192 134580896 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 14258 13872 110 216 0 14040 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 57032

[startup+882.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/177 8729
/proc/meminfo: memFree=28324136/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=57212 CPUtime=882.13 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 13986 0 0 0 88207 6 0 0 20 0 1 0 321573852 58585088 13884 33554432000 134512640 135395479 4290583840 4290582192 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 14303 13884 110 216 0 14085 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 57212

[startup+942.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/177 8729
/proc/meminfo: memFree=28323932/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=57540 CPUtime=942.12 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 14079 0 0 0 94206 6 0 0 20 0 1 0 321573852 58920960 14025 33554432000 134512640 135395479 4290583840 4290582144 134580473 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 14385 14025 110 216 0 14167 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 57540

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/177 8729
/proc/meminfo: memFree=28323488/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=58272 CPUtime=1002.11 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 14218 0 0 0 100205 6 0 0 20 0 1 0 321573852 59670528 14164 33554432000 134512640 135395479 4290583840 4290582192 134581463 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 14568 14164 110 216 0 14350 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 58272

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/177 8730
/proc/meminfo: memFree=28322992/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=58536 CPUtime=1062.1 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 14290 0 0 0 106204 6 0 0 20 0 1 0 321573852 59940864 14236 33554432000 134512640 135395479 4290583840 4290582192 134580915 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 14634 14236 110 216 0 14416 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 58536

[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.06 3/177 8730
/proc/meminfo: memFree=28321132/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=58680 CPUtime=1122.09 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 14340 0 0 0 112203 6 0 0 20 0 1 0 321573852 60088320 14286 33554432000 134512640 135395479 4290583840 4290582192 134581014 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 14670 14286 110 216 0 14452 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 58680

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/178 8733
/proc/meminfo: memFree=28316800/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=62944 CPUtime=1182.09 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 15375 0 0 0 118202 7 0 0 20 0 1 0 321573852 64454656 15321 33554432000 134512640 135395479 4290583840 4290581808 134576754 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 15736 15321 110 216 0 15518 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 62944

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/178 8756
/proc/meminfo: memFree=28315908/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=62944 CPUtime=1242.07 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 15403 0 0 0 124200 7 0 0 20 0 1 0 321573852 64454656 15372 33554432000 134512640 135395479 4290583840 4290582192 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 15736 15372 110 216 0 15518 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 62944

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/177 8756
/proc/meminfo: memFree=28311480/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=67488 CPUtime=1302.07 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 16528 0 0 0 130199 8 0 0 20 0 1 0 321573852 69107712 16497 33554432000 134512640 135395479 4290583840 4290582192 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 16872 16497 110 216 0 16654 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 67488

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/177 8757
/proc/meminfo: memFree=28308876/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=70648 CPUtime=1362.05 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 17275 0 0 0 136197 8 0 0 20 0 1 0 321573852 72343552 17244 33554432000 134512640 135395479 4290583840 4290582192 134580783 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 17662 17244 110 216 0 17444 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 70648

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 8757
/proc/meminfo: memFree=28308752/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=70728 CPUtime=1422.05 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 17302 0 0 0 142197 8 0 0 20 0 1 0 321573852 72425472 17271 33554432000 134512640 135395479 4290583840 4290582144 134580299 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 17682 17271 110 216 0 17464 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 70728

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 8757
/proc/meminfo: memFree=28309000/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=70728 CPUtime=1482.04 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 17307 0 0 0 148196 8 0 0 20 0 1 0 321573852 72425472 17276 33554432000 134512640 135395479 4290583840 4290582192 134580744 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 17682 17276 110 216 0 17464 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 70728

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.02 3/177 8757
/proc/meminfo: memFree=28308496/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=70808 CPUtime=1542.02 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 17318 0 0 0 154194 8 0 0 20 0 1 0 321573852 72507392 17316 33554432000 134512640 135395479 4290583840 4290582096 134568472 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 17702 17316 110 216 0 17484 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 70808

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.02 3/177 8757
/proc/meminfo: memFree=28308748/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=70808 CPUtime=1602.01 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 17318 0 0 0 160193 8 0 0 20 0 1 0 321573852 72507392 17316 33554432000 134512640 135395479 4290583840 4290582192 134581488 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 17702 17316 110 216 0 17484 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 70808

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 8758
/proc/meminfo: memFree=28308748/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=70808 CPUtime=1662.01 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 17318 0 0 0 166193 8 0 0 20 0 1 0 321573852 72507392 17316 33554432000 134512640 135395479 4290583840 4290582144 134580311 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 17702 17316 110 216 0 17484 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 70808

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 8758
/proc/meminfo: memFree=28308252/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=70948 CPUtime=1722 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 17337 0 0 0 172192 8 0 0 20 0 1 0 321573852 72650752 17335 33554432000 134512640 135395479 4290583840 4290582192 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 17737 17335 110 216 0 17519 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 70948

[startup+1782.3 s]
/proc/loadavg: 1.95 1.98 2.00 3/178 8810
/proc/meminfo: memFree=28684876/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=70948 CPUtime=1781.99 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 17358 0 0 0 178191 8 0 0 20 0 1 0 321573852 72650752 17356 33554432000 134512640 135395479 4290583840 4290582160 134573376 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 17737 17356 110 216 0 17519 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 70948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.97 1.98 2.00 3/177 8810
/proc/meminfo: memFree=28683768/32873648 swapFree=6864/6864
[pid=8721] ppid=8719 vsize=70948 CPUtime=1800.09 cores=1,3,5,7
/proc/8721/stat : 8721 (minisat+) R 8719 8721 8161 0 -1 4202496 17358 0 0 0 180001 8 0 0 20 0 1 0 321573852 72650752 17356 33554432000 134512640 135395479 4290583840 4290582192 134581436 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/8721/statm: 17737 17356 110 216 0 17519 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 70948

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.02
CPU system time (s): 0.089986
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 70948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.089986
maximum resident set size= 69432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17360
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= 31
involuntary context switches= 1853

runsolver used 3.44048 second user time and 9.01463 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-01 14:41:19
IDJOB=3721298
IDBENCH=2241
IDSOLVER=2306
FILE ID=node120/3721298-1338554479
RUNJOBID= node120-1338552574-8178
PBS_JOBID= 14635864
Free space on /tmp= 70788 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721298-1338554479/watcher-3721298-1338554479 -o /tmp/evaluation-result-3721298-1338554479/solver-3721298-1338554479 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721298-1338554479.opb            

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

MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42
RANDOM SEED=1111937558

node120.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.456
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.91
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.456
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.456
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	: 5331.92
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.456
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.88
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.456
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.456
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.83
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.456
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.456
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:       32873648 kB
MemFree:        28729612 kB
Buffers:          511552 kB
Cached:          2642616 kB
SwapCached:         1572 kB
Active:          1629136 kB
Inactive:        1585896 kB
Active(anon):      52896 kB
Inactive(anon):     9236 kB
Active(file):    1576240 kB
Inactive(file):  1576660 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:              9348 kB
Writeback:            24 kB
AnonPages:        116628 kB
Mapped:            11520 kB
Shmem:                32 kB
Slab:             790704 kB
SReclaimable:     234132 kB
SUnreclaim:       556572 kB
KernelStack:        1512 kB
PageTables:         4320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     176224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721298-1338554479.opb

Free space on /tmp at the end= 70784 MiB
End job on node120 at 2012-06-01 15:11:21