Trace number 3721300

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.1 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-4.opb
MD5SUM7262f9f4ab1a3ada75b3b140acf97f7d
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 benchmark269.661
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 constraints41605
Number of constraints which are clauses41605
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.44	c Converting 41605 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 |   41605    83210 |   13868       0        0     nan |  0.000 % |
0.39/0.48	c ==============================================================================
0.39/0.48	c Found solution: -29
0.39/0.48	o -29
0.39/0.49	c ---[   0]---> Sorter-cost:35010     Base:
0.49/0.53	c ==================================[MINISAT+]==================================
0.49/0.53	c | Conflicts | Original         | Learnt                           | Progress |
0.49/0.53	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.49/0.53	c ==============================================================================
0.49/0.53	c |         0 |   77753   168122 |   25917       0        0     nan |  0.000 % |
0.49/0.58	c |       101 |   77380   167357 |   28508      74     1087    14.7 |  0.796 % |
0.59/0.63	c |       251 |   76935   166400 |   31359     187     2027    10.8 |  1.831 % |
0.69/0.73	c |       476 |   75593   163504 |   34495     333     4511    13.5 |  4.972 % |
0.79/0.86	c ==============================================================================
0.79/0.86	c Found solution: -32
0.79/0.86	o -32
0.79/0.87	c ---[   0]---> Sorter-cost:    0     Base:
0.79/0.88	c ==================================[MINISAT+]==================================
0.79/0.88	c | Conflicts | Original         | Learnt                           | Progress |
0.79/0.88	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.79/0.88	c ==============================================================================
0.79/0.88	c |       781 |   74235   160714 |   24745     565     8133    14.4 |  4.972 % |
0.89/0.93	c |       881 |   73694   159487 |   27219     640     8842    13.8 | 10.031 % |
0.89/0.97	c |      1031 |   73182   158344 |   29941     742     9894    13.3 | 11.290 % |
1.00/1.07	c |      1256 |   71817   155279 |   32935     908    11980    13.2 | 14.690 % |
1.10/1.18	c |      1593 |   70390   152058 |   36229    1120    14315    12.8 | 18.255 % |
1.29/1.34	c |      2099 |   68314   147352 |   39852    1473    20259    13.8 | 23.529 % |
1.59/1.60	c |      2858 |   64983   139810 |   43837    2005    27170    13.6 | 31.922 % |
1.79/1.87	c |      3997 |   61942   132839 |   48221    2827    38151    13.5 | 39.672 % |
2.20/2.24	c |      5705 |   57794   123031 |   53043    4147    58590    14.1 | 50.708 % |
2.69/2.72	c |      8267 |   53937   113879 |   58347    6175   101349    16.4 | 61.198 % |
3.20/3.27	c |     12111 |   51088   107100 |   64182    9376   209229    22.3 | 68.931 % |
3.59/3.62	c ==============================================================================
3.59/3.62	c Found solution: -33
3.59/3.62	o -33
3.59/3.62	c ---[   0]---> Sorter-cost:    0     Base:
3.59/3.64	c ==================================[MINISAT+]==================================
3.59/3.64	c | Conflicts | Original         | Learnt                           | Progress |
3.59/3.64	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.59/3.64	c ==============================================================================
3.59/3.64	c |     14510 |   50433   105575 |   16811   11454   342561    29.9 | 68.931 % |
3.59/3.66	c |     14610 |   50433   105575 |   18492   11554   344419    29.8 | 70.722 % |
3.59/3.67	c |     14761 |   50433   105575 |   20341   11705   350475    29.9 | 70.722 % |
3.69/3.70	c |     14986 |   50433   105575 |   22375   11930   361583    30.3 | 70.722 % |
3.69/3.78	c |     15324 |   50107   104782 |   24612   12183   372190    30.5 | 71.626 % |
3.79/3.86	c |     15831 |   49933   104364 |   27074   12595   390221    31.0 | 72.104 % |
3.89/3.97	c |     16590 |   49629   103648 |   29781   13283   428057    32.2 | 72.916 % |
4.19/4.20	c |     17729 |   48931   101939 |   32759   14235   473128    33.2 | 74.898 % |
4.40/4.42	c |     19438 |   48867   101783 |   36035   15894   575254    36.2 | 75.083 % |
4.79/4.89	c |     22000 |   48275   100352 |   39639   18090   716401    39.6 | 76.734 % |
5.29/5.36	c ==============================================================================
5.29/5.36	c Found solution: -34
5.29/5.36	o -34
5.29/5.36	c ---[   0]---> Sorter-cost:    0     Base:
5.29/5.39	c ==================================[MINISAT+]==================================
5.29/5.39	c | Conflicts | Original         | Learnt                           | Progress |
5.29/5.39	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.29/5.39	c ==============================================================================
5.29/5.39	c |     24883 |   48095    99832 |   16031   20800   934720    44.9 | 76.734 % |
5.40/5.48	c |     24983 |   47740    98976 |   17634   20624   932425    45.2 | 78.263 % |
5.50/5.51	c |     25133 |   47740    98976 |   19397   20774   941755    45.3 | 78.263 % |
5.50/5.54	c |     25358 |   47702    98882 |   21337   20927   950824    45.4 | 78.376 % |
5.50/5.59	c |     25695 |   47702    98882 |   23470   21264   970411    45.6 | 78.376 % |
5.59/5.67	c |     26201 |   47700    98878 |   25818   21769  1001975    46.0 | 78.380 % |
5.79/5.83	c |     26960 |   47487    98334 |   28399   22339  1043094    46.7 | 79.015 % |
5.99/6.02	c |     28099 |   47449    98246 |   31239   23430  1110397    47.4 | 79.115 % |
6.29/6.33	c |     29807 |   47449    98246 |   34363   25138  1301421    51.8 | 79.115 % |
6.79/6.84	c |     32369 |   47408    98151 |   37800   27600  1517138    55.0 | 79.224 % |
7.39/7.41	c ==============================================================================
7.39/7.41	c Found solution: -35
7.39/7.41	o -35
7.39/7.42	c ---[   0]---> Sorter-cost:    0     Base:
7.39/7.45	c ==================================[MINISAT+]==================================
7.39/7.45	c | Conflicts | Original         | Learnt                           | Progress |
7.39/7.45	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.39/7.45	c ==============================================================================
7.39/7.45	c |     34890 |   47234    97752 |   15744   29984  1760205    58.7 | 79.224 % |
7.39/7.49	c |     34990 |   47194    97654 |   17318   29906  1761335    58.9 | 79.907 % |
7.49/7.52	c |     35140 |   47194    97654 |   19050   30056  1774039    59.0 | 79.907 % |
7.49/7.56	c |     35365 |   47194    97654 |   20955   30281  1792828    59.2 | 79.907 % |
7.59/7.63	c |     35702 |   47194    97654 |   23050   30618  1825661    59.6 | 79.907 % |
7.69/7.72	c |     36208 |   47194    97654 |   25355   31124  1860327    59.8 | 79.907 % |
7.79/7.88	c |     36968 |   47166    97583 |   27891   31860  1920463    60.3 | 79.991 % |
8.09/8.12	c |     38109 |   47162    97573 |   30680   32897  2012855    61.2 | 80.003 % |
8.39/8.49	c |     39818 |   47162    97573 |   33748   34606  2163659    62.5 | 80.003 % |
8.98/9.07	c |     42380 |   47162    97573 |   37123   37168  2449092    65.9 | 80.003 % |
10.08/10.12	c |     46227 |   47060    97338 |   40835   40876  2850607    69.7 | 80.260 % |
11.69/11.76	c |     51994 |   46982    97141 |   44919   46508  3471568    74.6 | 80.484 % |
14.29/14.33	c |     60644 |   46934    97017 |   49411   54952  4522068    82.3 | 80.632 % |
15.88/15.99	c ==============================================================================
15.88/15.99	c Found solution: -36
15.88/15.99	o -36
15.88/15.99	c ---[   0]---> Sorter-cost:    0     Base:
15.98/16.05	c ==================================[MINISAT+]==================================
15.98/16.05	c | Conflicts | Original         | Learnt                           | Progress |
15.98/16.05	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.98/16.05	c ==============================================================================
15.98/16.05	c |     65436 |   46893    96903 |   15631   59362  5113871    86.1 | 80.632 % |
16.08/16.11	c |     65536 |   46893    96903 |   17194   18644  1614753    86.6 | 80.749 % |
16.08/16.17	c |     65686 |   46854    96804 |   18913   18767  1618131    86.2 | 80.869 % |
16.18/16.22	c |     65911 |   46795    96659 |   20804   18985  1627818    85.7 | 81.042 % |
16.18/16.28	c |     66248 |   46795    96659 |   22885   19322  1649457    85.4 | 81.042 % |
16.28/16.35	c |     66756 |   46795    96659 |   25173   19830  1672800    84.4 | 81.042 % |
16.39/16.50	c |     67518 |   46795    96659 |   27691   20592  1744416    84.7 | 81.042 % |
16.68/16.72	c |     68657 |   46795    96659 |   30460   21731  1856295    85.4 | 81.042 % |
16.98/17.03	c |     70366 |   46795    96659 |   33506   23440  1997186    85.2 | 81.042 % |
17.49/17.58	c |     72928 |   46742    96532 |   36857   25984  2212431    85.1 | 81.190 % |
18.38/18.48	c |     76774 |   46714    96464 |   40542   29821  2582192    86.6 | 81.266 % |
19.79/19.83	c |     82540 |   46712    96460 |   44597   35586  3095009    87.0 | 81.270 % |
21.99/22.06	c |     91190 |   46712    96460 |   49056   44236  3866480    87.4 | 81.270 % |
25.68/25.73	c |    104165 |   46623    96245 |   53962   57037  4993464    87.5 | 81.522 % |
31.58/31.66	c |    123626 |   46580    96146 |   59358   20979  1569020    74.8 | 81.634 % |
37.67/37.74	c |    152819 |   46485    95911 |   65294   50114  4321342    86.2 | 81.914 % |
49.47/49.54	c |    196609 |   46391    95677 |   71824   26970  1175384    43.6 | 82.190 % |
67.86/67.97	c |    262293 |   46384    95660 |   79006   92651  5737328    61.9 | 82.211 % |
95.05/95.10	c |    360821 |   46278    95411 |   86907   25024  2605510   104.1 | 82.491 % |
136.26/136.35	c |    508611 |   46094    94961 |   95597   83876  6252924    74.5 | 83.019 % |
199.93/200.01	c ==============================================================================
199.93/200.01	c Found solution: -37
199.93/200.01	o -37
199.93/200.01	c ---[   0]---> Sorter-cost:    0     Base:
199.93/200.09	c ==================================[MINISAT+]==================================
199.93/200.09	c | Conflicts | Original         | Learnt                           | Progress |
199.93/200.09	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
199.93/200.09	c ==============================================================================
199.93/200.09	c |    717483 |   46005    94755 |   15335   96623  8602712    89.0 | 83.019 % |
200.23/200.33	c |    717587 |   46005    94755 |   16868   22197  1267225    57.1 | 83.286 % |
200.23/200.35	c |    717738 |   46005    94755 |   18555   22348  1275292    57.1 | 83.286 % |
200.23/200.38	c |    717966 |   46005    94755 |   20410   22576  1285093    56.9 | 83.286 % |
200.33/200.44	c |    718303 |   45968    94665 |   22451   22910  1304131    56.9 | 83.386 % |
200.43/200.51	c |    718809 |   45968    94665 |   24697   23416  1340629    57.3 | 83.386 % |
200.53/200.60	c |    719568 |   45968    94665 |   27166   24175  1390694    57.5 | 83.386 % |
200.63/200.77	c |    720707 |   45940    94599 |   29883   25310  1470712    58.1 | 83.462 % |
200.93/201.03	c |    722416 |   45940    94599 |   32871   27019  1600072    59.2 | 83.462 % |
201.33/201.41	c |    724978 |   45940    94599 |   36159   29581  1792036    60.6 | 83.462 % |
201.93/202.06	c |    728822 |   45899    94498 |   39775   33410  2086802    62.5 | 83.578 % |
203.03/203.15	c |    734588 |   45899    94498 |   43752   39176  2585425    66.0 | 83.578 % |
204.83/204.91	c |    743238 |   45899    94498 |   48127   47826  3234109    67.6 | 83.578 % |
207.83/207.94	c |    756213 |   45899    94498 |   52940   60801  4112651    67.6 | 83.578 % |
212.62/212.76	c |    775674 |   45899    94498 |   58234   25812   976849    37.8 | 83.578 % |
218.73/218.88	c |    804866 |   45899    94498 |   64058   55004  3048293    55.4 | 83.578 % |
225.43/225.58	c ==============================================================================
225.43/225.58	c Found solution: -38
225.43/225.58	o -38
225.43/225.58	c ---[   0]---> Sorter-cost:    0     Base:
225.52/225.63	c ==================================[MINISAT+]==================================
225.52/225.63	c | Conflicts | Original         | Learnt                           | Progress |
225.52/225.63	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
225.52/225.63	c ==============================================================================
225.52/225.63	c |    828882 |   45888    94437 |   15296   79014  3988820    50.5 | 83.578 % |
225.62/225.79	c |    828982 |   45888    94437 |   16825   22761   627140    27.6 | 83.615 % |
225.72/225.82	c |    829132 |   45888    94437 |   18508   22911   630990    27.5 | 83.615 % |
225.72/225.86	c |    829357 |   45888    94437 |   20358   23136   640661    27.7 | 83.615 % |
225.82/225.91	c |    829694 |   45888    94437 |   22394   23473   657843    28.0 | 83.615 % |
225.82/225.99	c |    830200 |   45888    94437 |   24634   23979   684188    28.5 | 83.615 % |
225.92/226.09	c |    830959 |   45888    94437 |   27097   24738   724605    29.3 | 83.615 % |
226.12/226.23	c |    832098 |   45888    94437 |   29807   25877   793788    30.7 | 83.615 % |
226.32/226.42	c |    833807 |   45888    94437 |   32788   27586   909845    33.0 | 83.615 % |
226.62/226.75	c |    836369 |   45888    94437 |   36067   30148  1085925    36.0 | 83.615 % |
227.22/227.31	c |    840215 |   45859    94365 |   39673   33990  1344419    39.6 | 83.695 % |
228.12/228.24	c |    845982 |   45854    94354 |   43641   39754  1665902    41.9 | 83.707 % |
229.62/229.74	c |    854631 |   45854    94354 |   48005   48403  2179968    45.0 | 83.707 % |
232.12/232.21	c |    867605 |   45854    94354 |   52805   61377  2869493    46.8 | 83.707 % |
236.12/236.23	c |    887067 |   45854    94354 |   58086   26347   974862    37.0 | 83.707 % |
241.42/241.50	c |    916259 |   45842    94328 |   63895   55530  2672612    48.1 | 83.735 % |
250.62/250.73	c |    960048 |   45791    94207 |   70284   36113  1076244    29.8 | 83.867 % |
264.62/264.78	c |   1025732 |   45769    94155 |   77313   31589  1033687    32.7 | 83.927 % |
286.61/286.73	c |   1124258 |   45765    94145 |   85044   52954  1908600    36.0 | 83.939 % |
321.71/321.84	c |   1272048 |   45697    93969 |   93548   33998   973037    28.6 | 84.147 % |
375.70/375.82	c |   1493731 |   45669    93899 |  102903   83838  2466700    29.4 | 84.231 % |
453.09/453.22	c |   1826256 |   45530    93562 |  113194  118102  4961674    42.0 | 84.627 % |
574.57/574.72	c |   2325044 |   45423    93303 |  124513   79467  2746416    34.6 | 84.931 % |
630.56/630.79	c ==============================================================================
630.56/630.79	c Found solution: -39
630.56/630.79	o -39
630.56/630.79	c ---[   0]---> Sorter-cost:    0     Base:
630.66/630.82	c ==================================[MINISAT+]==================================
630.66/630.82	c | Conflicts | Original         | Learnt                           | Progress |
630.66/630.82	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
630.66/630.82	c ==============================================================================
630.66/630.82	c |   2534497 |   45402    93261 |   15134   55317  1659578    30.0 | 84.931 % |
630.76/630.93	c |   2534597 |   45402    93261 |   16647   25512   658480    25.8 | 85.047 % |
630.76/630.95	c |   2534747 |   45402    93261 |   18312   25662   669088    26.1 | 85.047 % |
630.76/630.98	c |   2534972 |   45381    93214 |   20143   25885   676813    26.1 | 85.099 % |
630.86/631.02	c |   2535309 |   45381    93214 |   22157   26222   692101    26.4 | 85.099 % |
630.86/631.08	c |   2535816 |   45381    93214 |   24373   26729   719275    26.9 | 85.099 % |
630.96/631.17	c |   2536575 |   45381    93214 |   26810   27488   757885    27.6 | 85.099 % |
631.16/631.31	c |   2537714 |   45381    93214 |   29491   28627   828159    28.9 | 85.099 % |
631.36/631.52	c |   2539422 |   45381    93214 |   32441   30335   900045    29.7 | 85.099 % |
631.66/631.83	c |   2541987 |   45357    93151 |   35685   32899   999008    30.4 | 85.175 % |
632.16/632.31	c |   2545832 |   45321    93069 |   39253   36729  1168735    31.8 | 85.258 % |
632.96/633.12	c |   2551598 |   45317    93059 |   43179   42492  1374598    32.3 | 85.270 % |
634.26/634.47	c |   2560247 |   45317    93059 |   47496   51141  1657135    32.4 | 85.270 % |
636.46/636.63	c |   2573221 |   45309    93039 |   52246   64109  2144339    33.4 | 85.294 % |
639.76/639.97	c |   2592684 |   45309    93039 |   57471   32865   813385    24.7 | 85.294 % |
644.26/644.50	c |   2621877 |   45307    93035 |   63218   62057  2151680    34.7 | 85.298 % |
652.45/652.60	c |   2665666 |   45304    93028 |   69540   46112  1381925    30.0 | 85.306 % |
664.35/664.52	c |   2731350 |   45208    92775 |   76494   47422  1685177    35.5 | 85.585 % |
683.75/683.97	c |   2829876 |   45116    92530 |   84143   76082  2642202    34.7 | 85.843 % |
712.85/713.08	c |   2977665 |   45061    92391 |   92558   66690  2101097    31.5 | 86.011 % |
762.54/762.77	c |   3199349 |   45035    92331 |  101813   37223  1120347    30.1 | 86.078 % |
841.63/841.86	c |   3531874 |   44995    92227 |  111995   96334  3801024    39.5 | 86.206 % |
952.91/953.13	c |   4030662 |   44923    92018 |  123194   88907  3012836    33.9 | 86.413 % |
1112.58/1112.86	c |   4778846 |   44639    91375 |  135514  112840  4211102    37.3 | 86.863 % |
1367.55/1367.87	c |   5901121 |   44346    90726 |  149065   62189  1519336    24.4 | 87.269 % |
1759.19/1759.50	c |   7584532 |   43994    89962 |  163972  152232  5003446    32.9 | 87.663 % |
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-3721300-1338554480/watcher-3721300-1338554480 -o /tmp/evaluation-result-3721300-1338554480/solver-3721300-1338554480 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721300-1338554480.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 2.09 1.78 3/176 7445
/proc/meminfo: memFree=28446368/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=1264 CPUtime=0 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 185 0 0 0 0 0 0 0 20 0 1 0 321572597 1294336 143 33554432000 134512640 135395479 4294155968 4294154368 135003007 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 316 143 74 216 0 98 0

[startup+0.0607409 s]
/proc/loadavg: 2.19 2.09 1.78 3/176 7445
/proc/meminfo: memFree=28446368/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=2484 CPUtime=0.05 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 474 0 0 0 5 0 0 0 20 0 1 0 321572597 2543616 432 33554432000 134512640 135395479 4294155968 4294154528 134809939 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 621 432 74 216 0 403 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2484

[startup+0.10026 s]
/proc/loadavg: 2.19 2.09 1.78 3/176 7445
/proc/meminfo: memFree=28446368/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=3332 CPUtime=0.09 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 683 0 0 0 9 0 0 0 20 0 1 0 321572597 3411968 641 33554432000 134512640 135395479 4294155968 4294154380 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 833 641 74 216 0 615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3332

[startup+0.300226 s]
/proc/loadavg: 2.19 2.09 1.78 3/176 7445
/proc/meminfo: memFree=28446368/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=7520 CPUtime=0.29 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 1731 0 0 0 29 0 0 0 20 0 1 0 321572597 7700480 1689 33554432000 134512640 135395479 4294155968 4294154800 134618678 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 1880 1689 74 216 0 1662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7520

[startup+0.700238 s]
/proc/loadavg: 2.19 2.09 1.78 3/176 7445
/proc/meminfo: memFree=28446368/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=16032 CPUtime=0.69 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 3888 0 0 0 66 3 0 0 20 0 1 0 321572597 16416768 3738 33554432000 134512640 135395479 4294155968 4294154432 134588652 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 4008 3738 110 216 0 3790 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16032

[startup+1.50023 s]
/proc/loadavg: 2.19 2.09 1.78 3/177 7446
/proc/meminfo: memFree=28431860/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=16100 CPUtime=1.49 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 3923 0 0 0 146 3 0 0 20 0 1 0 321572597 16486400 3773 33554432000 134512640 135395479 4294155968 4294154320 134581071 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 4025 3773 110 216 0 3807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16100

[startup+3.10023 s]
/proc/loadavg: 2.17 2.09 1.78 3/177 7446
/proc/meminfo: memFree=28431364/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=16100 CPUtime=3.09 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 3923 0 0 0 306 3 0 0 20 0 1 0 321572597 16486400 3773 33554432000 134512640 135395479 4294155968 4294154320 134581028 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 4025 3773 110 216 0 3807 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16100

[startup+6.30022 s]
/proc/loadavg: 2.17 2.09 1.78 3/177 7446
/proc/meminfo: memFree=28430248/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=18856 CPUtime=6.29 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 4613 0 0 0 626 3 0 0 20 0 1 0 321572597 19308544 4463 33554432000 134512640 135395479 4294155968 4294154288 134573043 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 4714 4463 110 216 0 4496 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18856

[startup+12.7002 s]
/proc/loadavg: 2.16 2.09 1.79 3/177 7447
/proc/meminfo: memFree=28418740/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=30072 CPUtime=12.69 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 7398 0 0 0 1265 4 0 0 20 0 1 0 321572597 30793728 7248 33554432000 134512640 135395479 4294155968 4294154320 134581028 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 7518 7248 110 216 0 7300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30072

[startup+25.5002 s]
/proc/loadavg: 2.12 2.09 1.79 3/177 7447
/proc/meminfo: memFree=28411848/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=35736 CPUtime=25.48 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 8844 0 0 0 2544 4 0 0 20 0 1 0 321572597 36593664 8692 33554432000 134512640 135395479 4294155968 4294154320 134580943 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 8934 8692 110 216 0 8716 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35736

[startup+51.1002 s]
/proc/loadavg: 2.08 2.08 1.79 3/177 7447
/proc/meminfo: memFree=28403088/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=44228 CPUtime=51.07 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 10956 0 0 0 5102 5 0 0 20 0 1 0 321572597 45289472 10795 33554432000 134512640 135395479 4294155968 4294153936 134579312 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 11057 10795 110 216 0 10839 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44228

[startup+102.306 s]
/proc/loadavg: 2.10 2.08 1.81 3/177 7495
/proc/meminfo: memFree=28356188/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=51844 CPUtime=102.26 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 12842 0 0 0 10221 5 0 0 20 0 1 0 321572597 53088256 12681 33554432000 134512640 135395479 4294155968 4294154320 134580908 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 12961 12681 110 216 0 12743 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51844

[startup+162.3 s]
/proc/loadavg: 2.04 2.06 1.82 3/177 7495
/proc/meminfo: memFree=28286556/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=67528 CPUtime=162.25 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 16769 0 0 0 16218 7 0 0 20 0 1 0 321572597 69148672 16608 33554432000 134512640 135395479 4294155968 4294153840 134574486 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 16882 16608 110 216 0 16664 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 67528

[startup+222.3 s]
/proc/loadavg: 2.06 2.06 1.83 3/177 7495
/proc/meminfo: memFree=28272956/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70064 CPUtime=222.22 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17418 0 0 0 22215 7 0 0 20 0 1 0 321572597 71745536 17246 33554432000 134512640 135395479 4294155968 4294154320 134580947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17516 17246 110 216 0 17298 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 70064

[startup+282.3 s]
/proc/loadavg: 2.10 2.07 1.84 3/177 7495
/proc/meminfo: memFree=28233136/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70064 CPUtime=282.21 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17418 0 0 0 28214 7 0 0 20 0 1 0 321572597 71745536 17246 33554432000 134512640 135395479 4294155968 4294154432 134588991 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17516 17246 110 216 0 17298 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 70064

[startup+342.3 s]
/proc/loadavg: 2.04 2.05 1.85 3/177 7496
/proc/meminfo: memFree=28200584/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70064 CPUtime=342.2 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17419 0 0 0 34213 7 0 0 20 0 1 0 321572597 71745536 17250 33554432000 134512640 135395479 4294155968 4294152080 134592486 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17516 17250 110 216 0 17298 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 70064

[startup+402.3 s]
/proc/loadavg: 2.05 2.05 1.86 3/177 7496
/proc/meminfo: memFree=28200520/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70064 CPUtime=402.19 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17426 0 0 0 40212 7 0 0 20 0 1 0 321572597 71745536 17257 33554432000 134512640 135395479 4294155968 4294153840 134574486 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17516 17257 110 216 0 17298 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 70064

[startup+462.3 s]
/proc/loadavg: 2.02 2.04 1.86 3/177 7496
/proc/meminfo: memFree=28188368/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70064 CPUtime=462.18 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17436 0 0 0 46211 7 0 0 20 0 1 0 321572597 71745536 17267 33554432000 134512640 135395479 4294155968 4294153840 134573868 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17516 17267 110 216 0 17298 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 70064

[startup+522.3 s]
/proc/loadavg: 2.06 2.05 1.88 3/178 7499
/proc/meminfo: memFree=28178780/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70064 CPUtime=522.17 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17437 0 0 0 52210 7 0 0 20 0 1 0 321572597 71745536 17268 33554432000 134512640 135395479 4294155968 4294153840 134573832 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17516 17268 110 216 0 17298 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 70064

[startup+582.3 s]
/proc/loadavg: 2.02 2.04 1.88 3/177 7499
/proc/meminfo: memFree=28178860/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70064 CPUtime=582.17 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17437 0 0 0 58210 7 0 0 20 0 1 0 321572597 71745536 17268 33554432000 134512640 135395479 4294155968 4294154320 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17516 17268 110 216 0 17298 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 70064

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.02 1.91 3/177 7500
/proc/meminfo: memFree=28125456/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70332 CPUtime=822.13 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17449 0 0 0 82206 7 0 0 20 0 1 0 321572597 72019968 17280 33554432000 134512640 135395479 4294155968 4294154016 134584044 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17583 17280 110 216 0 17365 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 70332

[startup+882.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/177 7500
/proc/meminfo: memFree=28083420/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70332 CPUtime=882.12 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17449 0 0 0 88205 7 0 0 20 0 1 0 321572597 72019968 17280 33554432000 134512640 135395479 4294155968 4294154320 134581183 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17583 17280 110 216 0 17365 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 70332

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 7501
/proc/meminfo: memFree=28081188/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70496 CPUtime=942.11 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17478 0 0 0 94204 7 0 0 20 0 1 0 321572597 72187904 17309 33554432000 134512640 135395479 4294155968 4294154320 134580973 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17624 17309 110 216 0 17406 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 70496

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 7501
/proc/meminfo: memFree=28081116/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70496 CPUtime=1002.1 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17478 0 0 0 100203 7 0 0 20 0 1 0 321572597 72187904 17309 33554432000 134512640 135395479 4294155968 4294154320 134580768 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17624 17309 110 216 0 17406 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 70496

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7501
/proc/meminfo: memFree=28081116/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70496 CPUtime=1062.09 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17478 0 0 0 106202 7 0 0 20 0 1 0 321572597 72187904 17309 33554432000 134512640 135395479 4294155968 4294154320 134581028 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17624 17309 110 216 0 17406 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 70496

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 7504
/proc/meminfo: memFree=28080332/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70660 CPUtime=1122.08 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17510 0 0 0 112201 7 0 0 20 0 1 0 321572597 72355840 17341 33554432000 134512640 135395479 4294155968 4294154016 134584044 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17665 17341 110 216 0 17447 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 70660

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.91 5/182 7512
/proc/meminfo: memFree=28080192/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70824 CPUtime=1182.07 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17552 0 0 0 118200 7 0 0 20 0 1 0 321572597 72523776 17383 33554432000 134512640 135395479 4294155968 4294154320 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17706 17383 110 216 0 17488 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 70824

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7528
/proc/meminfo: memFree=28080372/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70824 CPUtime=1242.07 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17555 0 0 0 124199 8 0 0 20 0 1 0 321572597 72523776 17386 33554432000 134512640 135395479 4294155968 4294154320 134581412 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17706 17386 110 216 0 17488 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 70824

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7528
/proc/meminfo: memFree=28080124/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70824 CPUtime=1302.07 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17555 0 0 0 130199 8 0 0 20 0 1 0 321572597 72523776 17386 33554432000 134512640 135395479 4294155968 4294154320 134580756 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17706 17386 110 216 0 17488 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 70824

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7528
/proc/meminfo: memFree=28079876/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=70824 CPUtime=1362.05 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17556 0 0 0 136197 8 0 0 20 0 1 0 321572597 72523776 17387 33554432000 134512640 135395479 4294155968 4294153936 134577189 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17706 17387 110 216 0 17488 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 70824

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7528
/proc/meminfo: memFree=28080000/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=71152 CPUtime=1422.05 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17641 0 0 0 142197 8 0 0 20 0 1 0 321572597 72859648 17472 33554432000 134512640 135395479 4294155968 4294154320 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17788 17472 110 216 0 17570 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 71152

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 7528
/proc/meminfo: memFree=28080124/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=71152 CPUtime=1482.03 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17642 0 0 0 148195 8 0 0 20 0 1 0 321572597 72859648 17473 33554432000 134512640 135395479 4294155968 4294154320 134581469 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17788 17473 110 216 0 17570 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 71152

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 7529
/proc/meminfo: memFree=28079628/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=71496 CPUtime=1542.03 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17707 0 0 0 154195 8 0 0 20 0 1 0 321572597 73211904 17538 33554432000 134512640 135395479 4294155968 4294154320 134580941 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17874 17538 110 216 0 17656 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 71496

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 7529
/proc/meminfo: memFree=28079132/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=71952 CPUtime=1602.02 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17773 0 0 0 160194 8 0 0 20 0 1 0 321572597 73678848 17604 33554432000 134512640 135395479 4294155968 4294154320 134581014 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 17988 17604 110 216 0 17770 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 71952

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 7529
/proc/meminfo: memFree=28078944/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=72168 CPUtime=1662.01 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17831 0 0 0 166193 8 0 0 20 0 1 0 321572597 73900032 17668 33554432000 134512640 135395479 4294155968 4294153840 134574238 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 18042 17668 110 216 0 17824 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 72168

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 7530
/proc/meminfo: memFree=28078672/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=72328 CPUtime=1722 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17872 0 0 0 172192 8 0 0 20 0 1 0 321572597 74063872 17709 33554432000 134512640 135395479 4294155968 4294153936 134576171 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 18082 17709 110 216 0 17864 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 72328

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 7532
/proc/meminfo: memFree=28078688/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=72700 CPUtime=1781.99 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17956 0 0 0 178191 8 0 0 20 0 1 0 321572597 74444800 17793 33554432000 134512640 135395479 4294155968 4294154320 134580947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 18175 17793 110 216 0 17957 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 72700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7532
/proc/meminfo: memFree=28078820/32873844 swapFree=7108/7108
[pid=7445] ppid=7443 vsize=72700 CPUtime=1800.09 cores=0,2,4,6
/proc/7445/stat : 7445 (minisat+) R 7443 7445 7173 0 -1 4202496 17957 0 0 0 180001 8 0 0 20 0 1 0 321572597 74444800 17794 33554432000 134512640 135395479 4294155968 4294154320 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/7445/statm: 18175 17794 110 216 0 17957 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 72700

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.1
CPU user time (s): 1800.02
CPU system time (s): 0.085986
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 72700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.085986
maximum resident set size= 71184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17959
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= 32
involuntary context switches= 1875

runsolver used 3.2825 second user time and 8.60269 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-01 14:41:20
IDJOB=3721300
IDBENCH=2244
IDSOLVER=2306
FILE ID=node139/3721300-1338554480
RUNJOBID= node139-1338552572-7189
PBS_JOBID= 14635845
Free space on /tmp= 71096 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-4.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721300-1338554480/watcher-3721300-1338554480 -o /tmp/evaluation-result-3721300-1338554480/solver-3721300-1338554480 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721300-1338554480.opb            

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

MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d
RANDOM SEED=1911456512

node139.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.750
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	: 5333.50
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.750
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.750
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.90
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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
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.750
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:       32873844 kB
MemFree:        28446904 kB
Buffers:          454228 kB
Cached:          3085344 kB
SwapCached:          828 kB
Active:          1563484 kB
Inactive:        2005020 kB
Active(anon):      22728 kB
Inactive(anon):     7964 kB
Active(file):    1540756 kB
Inactive(file):  1997056 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:              3132 kB
Writeback:             0 kB
AnonPages:         34464 kB
Mapped:            11948 kB
Shmem:                 8 kB
Slab:             719016 kB
SReclaimable:     161400 kB
SUnreclaim:       557616 kB
KernelStack:        1456 kB
PageTables:         3640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     145828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721300-1338554480.opb

Free space on /tmp at the end= 71092 MiB
End job on node139 at 2012-06-01 15:11:23