Trace number 3723549

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594cOPT-40 269.661 269.732

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

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.05	c Converting 41605 PB-constraints to clauses...
0.00/0.05	c   -- Unit propagations: (none)
0.00/0.05	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.05	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.08	c ==================================[MINISAT+]==================================
0.00/0.08	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.08	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.08	c ==============================================================================
0.00/0.08	c |         0 |   41605    83210 |   13868       0        0    -nan |  0.000 % |
0.00/0.08	c ==============================================================================
0.00/0.08	c Found solution: -29
0.00/0.08	c ---[   0]---> Sorter-cost:35010     Base:
0.00/0.10	c ==================================[MINISAT+]==================================
0.00/0.10	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.10	c ==============================================================================
0.00/0.10	c |         0 |   77753   168122 |   25917       0        0    -nan |  0.000 % |
0.00/0.14	c |       101 |   77380   167357 |   28508      74     1087    14.7 |  0.796 % |
0.00/0.18	c |       251 |   76935   166400 |   31359     187     2027    10.8 |  1.831 % |
0.00/0.25	c |       476 |   75593   163504 |   34495     333     4511    13.5 |  4.972 % |
0.00/0.35	c ==============================================================================
0.00/0.35	c Found solution: -32
0.00/0.35	c ---[   0]---> Sorter-cost:    0     Base:
0.00/0.35	c ==================================[MINISAT+]==================================
0.00/0.35	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.35	c ==============================================================================
0.00/0.35	c |       781 |   74235   160714 |   24745     565     8133    14.4 |  4.972 % |
0.00/0.39	c |       881 |   73694   159487 |   27219     640     8842    13.8 | 10.031 % |
0.00/0.42	c |      1031 |   73182   158344 |   29941     742     9894    13.3 | 11.290 % |
0.00/0.49	c |      1256 |   71817   155279 |   32935     908    11980    13.2 | 14.690 % |
0.00/0.57	c |      1593 |   70390   152058 |   36229    1120    14315    12.8 | 18.255 % |
0.00/0.68	c |      2099 |   68314   147352 |   39852    1473    20259    13.8 | 23.529 % |
0.00/0.88	c |      2858 |   64983   139810 |   43837    2005    27170    13.6 | 31.922 % |
0.99/1.08	c |      3997 |   62011   132993 |   48221    2834    38450    13.6 | 39.507 % |
1.28/1.36	c |      5705 |   57625   122597 |   53043    4031    54232    13.5 | 51.175 % |
1.68/1.72	c |      8267 |   53113   111978 |   58347    5927    93284    15.7 | 63.318 % |
2.09/2.14	c |     12111 |   50373   105419 |   64182    8903   200616    22.5 | 70.798 % |
2.68/2.74	c |     17877 |   49396   103025 |   70600   14337   612146    42.7 | 73.570 % |
2.88/2.99	c ==============================================================================
2.88/2.99	c Found solution: -33
2.88/2.99	c ---[   0]---> Sorter-cost:    0     Base:
2.98/3.00	c ==================================[MINISAT+]==================================
2.98/3.00	c | Conflicts | Original         | Learnt                           | Progress |
2.98/3.00	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.98/3.00	c ==============================================================================
2.98/3.00	c |     19833 |   49033   102161 |   16344   16115   733557    45.5 | 73.570 % |
2.98/3.02	c |     19933 |   48962   101981 |   17978   16141   734895    45.5 | 74.865 % |
2.98/3.04	c |     20083 |   48960   101975 |   19776   16285   740828    45.5 | 74.874 % |
2.98/3.07	c |     20308 |   48950   101951 |   21753   16458   750801    45.6 | 74.902 % |
3.08/3.12	c |     20646 |   48924   101893 |   23929   16793   785145    46.8 | 74.966 % |
3.08/3.18	c |     21152 |   48890   101813 |   26322   17287   808884    46.8 | 75.058 % |
3.19/3.29	c |     21911 |   48825   101656 |   28954   17996   870835    48.4 | 75.239 % |
3.38/3.45	c |     23051 |   48534   100951 |   31849   18927   906941    47.9 | 76.051 % |
3.78/3.84	c |     24759 |   47650    98791 |   35034   19904   991702    49.8 | 78.551 % |
3.78/3.88	c ==============================================================================
3.78/3.88	c Found solution: -34
3.78/3.88	c ---[   0]---> Sorter-cost:    0     Base:
3.78/3.89	c ==================================[MINISAT+]==================================
3.78/3.89	c | Conflicts | Original         | Learnt                           | Progress |
3.78/3.89	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.78/3.89	c ==============================================================================
3.78/3.89	c |     25024 |   47602    98591 |   15867   20122  1013828    50.4 | 78.551 % |
3.88/3.91	c |     25124 |   47599    98584 |   17453   20221  1016170    50.3 | 78.713 % |
3.88/3.94	c |     25274 |   47520    98388 |   19199   20323  1020380    50.2 | 78.942 % |
3.88/3.97	c |     25499 |   47481    98288 |   21118   20507  1033541    50.4 | 79.059 % |
3.98/4.01	c |     25836 |   47481    98288 |   23230   20844  1056334    50.7 | 79.059 % |
3.98/4.08	c |     26344 |   47451    98213 |   25553   21301  1066748    50.1 | 79.143 % |
4.08/4.18	c |     27103 |   47417    98135 |   28109   21988  1115203    50.7 | 79.232 % |
4.29/4.33	c |     28243 |   47417    98135 |   30920   23128  1249263    54.0 | 79.232 % |
4.58/4.66	c |     29953 |   47080    97323 |   34012   24619  1428703    58.0 | 80.180 % |
4.98/5.06	c |     32515 |   47029    97202 |   37413   27012  1624409    60.1 | 80.321 % |
5.28/5.31	c ==============================================================================
5.28/5.31	c Found solution: -35
5.28/5.31	c ---[   0]---> Sorter-cost:    0     Base:
5.28/5.33	c ==================================[MINISAT+]==================================
5.28/5.33	c | Conflicts | Original         | Learnt                           | Progress |
5.28/5.33	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.28/5.33	c ==============================================================================
5.28/5.33	c |     34261 |   47061    97302 |   15687   28758  1807045    62.8 | 80.321 % |
5.28/5.34	c |     34364 |   47061    97302 |   17255   28861  1811219    62.8 | 80.308 % |
5.28/5.40	c |     34514 |   46981    97105 |   18981   28977  1818521    62.8 | 80.540 % |
5.39/5.42	c |     34739 |   46981    97105 |   20879   29202  1822223    62.4 | 80.540 % |
5.39/5.49	c |     35076 |   46890    96888 |   22967   29505  1850735    62.7 | 80.788 % |
5.49/5.57	c |     35582 |   46890    96888 |   25264   30011  1896669    63.2 | 80.788 % |
5.78/5.80	c |     36341 |   46755    96559 |   27790   30423  1945741    64.0 | 81.164 % |
5.98/6.00	c |     37482 |   46678    96376 |   30569   31468  2018556    64.1 | 81.376 % |
6.28/6.38	c |     39190 |   46503    95943 |   33626   32922  2188368    66.5 | 81.881 % |
6.78/6.84	c |     41752 |   46503    95943 |   36989   35484  2414452    68.0 | 81.881 % |
7.48/7.53	c |     45596 |   46492    95916 |   40688   39214  2682048    68.4 | 81.913 % |
8.68/8.71	c |     51362 |   46471    95865 |   44756   44933  3229754    71.9 | 81.973 % |
10.47/10.56	c |     60011 |   46452    95818 |   49232   53547  4148844    77.5 | 82.029 % |
13.48/13.58	c |     72986 |   46322    95504 |   54155   66192  5470621    82.6 | 82.385 % |
17.67/17.70	c |     92448 |   46226    95274 |   59571   27625  2100253    76.0 | 82.653 % |
20.07/20.15	c ==============================================================================
20.07/20.15	c Found solution: -36
20.07/20.15	c ---[   0]---> Sorter-cost:    0     Base:
20.07/20.17	c ==================================[MINISAT+]==================================
20.07/20.17	c | Conflicts | Original         | Learnt                           | Progress |
20.07/20.17	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
20.07/20.17	c ==============================================================================
20.07/20.17	c |    104427 |   46217    95235 |   15405   39592  3709520    93.7 | 82.653 % |
20.17/20.20	c |    104527 |   46217    95235 |   16945   15689  1581271   100.8 | 82.687 % |
20.17/20.22	c |    104677 |   46213    95225 |   18640   15834  1586724   100.2 | 82.699 % |
20.17/20.25	c |    104902 |   46183    95159 |   20504   16025  1599910    99.8 | 82.771 % |
20.27/20.30	c |    105239 |   46174    95140 |   22554   16353  1618201    99.0 | 82.791 % |
20.27/20.36	c |    105745 |   46131    95027 |   24809   16858  1654078    98.1 | 82.931 % |
20.37/20.43	c |    106504 |   46131    95027 |   27290   17617  1732289    98.3 | 82.931 % |
20.47/20.55	c |    107644 |   46131    95027 |   30019   18757  1825877    97.3 | 82.931 % |
20.67/20.76	c |    109352 |   46094    94936 |   33021   20439  2001755    97.9 | 83.039 % |
20.97/21.06	c |    111914 |   46088    94922 |   36324   22999  2202612    95.8 | 83.055 % |
21.47/21.51	c |    115759 |   46088    94922 |   39956   26844  2545334    94.8 | 83.055 % |
22.17/22.28	c |    121526 |   46077    94893 |   43952   32605  3037953    93.2 | 83.091 % |
23.57/23.63	c |    130175 |   46064    94860 |   48347   41248  3825549    92.7 | 83.131 % |
25.77/25.89	c |    143149 |   46064    94860 |   53182   54222  5284202    97.5 | 83.131 % |
29.86/29.96	c |    162611 |   45989    94683 |   58500   73607  6923862    94.1 | 83.335 % |
34.26/34.35	c ==============================================================================
34.26/34.35	c Found solution: -37
34.26/34.35	c ---[   0]---> Sorter-cost:    0     Base:
34.26/34.36	c ==================================[MINISAT+]==================================
34.26/34.36	c | Conflicts | Original         | Learnt                           | Progress |
34.26/34.36	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
34.26/34.36	c ==============================================================================
34.26/34.36	c |    186287 |   46005    94727 |   15335   34899  2448949    70.2 | 83.335 % |
34.26/34.38	c |    186387 |   46005    94727 |   16868   34999  2457240    70.2 | 83.310 % |
34.36/34.40	c |    186537 |   46005    94727 |   18555   35149  2467104    70.2 | 83.310 % |
34.36/34.44	c |    186763 |   46005    94727 |   20410   35375  2487020    70.3 | 83.310 % |
34.36/34.49	c |    187100 |   46005    94727 |   22451   35712  2520422    70.6 | 83.310 % |
34.46/34.58	c |    187607 |   45995    94703 |   24697   36215  2562977    70.8 | 83.338 % |
34.66/34.70	c |    188366 |   45995    94703 |   27166   36974  2640762    71.4 | 83.338 % |
34.76/34.85	c |    189505 |   45995    94703 |   29883   38113  2744212    72.0 | 83.338 % |
34.96/35.09	c |    191213 |   45995    94703 |   32871   39821  2883455    72.4 | 83.338 % |
35.46/35.51	c |    193775 |   45992    94696 |   36159   42380  3150292    74.3 | 83.346 % |
35.96/36.09	c |    197619 |   45985    94679 |   39775   46221  3421918    74.0 | 83.366 % |
37.06/37.14	c |    203385 |   45985    94679 |   43752   51987  4097018    78.8 | 83.366 % |
38.56/38.68	c |    212034 |   45985    94679 |   48127   60636  4877382    80.4 | 83.366 % |
41.05/41.17	c |    225008 |   45985    94679 |   52940   21026  1279795    60.9 | 83.366 % |
44.05/44.19	c |    244470 |   45952    94596 |   58234   40485  3653387    90.2 | 83.466 % |
49.65/49.72	c |    273662 |   45949    94589 |   64058   69676  6682571    95.9 | 83.474 % |
57.07/57.18	c |    317451 |   45938    94564 |   70463   45471  3165260    69.6 | 83.502 % |
69.56/69.62	c |    383136 |   45916    94512 |   77510   36273  2233481    61.6 | 83.562 % |
88.25/88.35	c |    481662 |   45905    94487 |   85261   56231  3962455    70.5 | 83.590 % |
111.35/111.48	c ==============================================================================
111.35/111.48	c Found solution: -38
111.35/111.48	c ---[   0]---> Sorter-cost:    0     Base:
111.45/111.51	c ==================================[MINISAT+]==================================
111.45/111.51	c | Conflicts | Original         | Learnt                           | Progress |
111.45/111.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
111.45/111.51	c ==============================================================================
111.45/111.51	c |    588923 |   45891    94423 |   15297   79719  4229257    53.1 | 83.590 % |
111.55/111.64	c |    589023 |   45891    94423 |   16826   22278   803192    36.1 | 83.635 % |
111.55/111.66	c |    589173 |   45891    94423 |   18509   22428   812539    36.2 | 83.635 % |
111.55/111.68	c |    589398 |   45891    94423 |   20360   22653   831898    36.7 | 83.635 % |
111.65/111.72	c |    589736 |   45857    94343 |   22396   22988   850359    37.0 | 83.727 % |
111.65/111.76	c |    590243 |   45857    94343 |   24635   23495   884009    37.6 | 83.727 % |
111.75/111.84	c |    591003 |   45854    94336 |   27099   24252   929272    38.3 | 83.735 % |
111.85/111.95	c |    592144 |   45854    94336 |   29809   25393  1004260    39.5 | 83.735 % |
112.05/112.13	c |    593852 |   45847    94319 |   32790   27098  1102559    40.7 | 83.755 % |
112.35/112.41	c |    596414 |   45847    94319 |   36069   29660  1334526    45.0 | 83.755 % |
112.75/112.88	c |    600260 |   45847    94319 |   39676   33506  1574009    47.0 | 83.755 % |
113.55/113.64	c |    606027 |   45844    94312 |   43644   39268  2026913    51.6 | 83.763 % |
114.85/114.91	c |    614679 |   45842    94308 |   48008   47919  2773676    57.9 | 83.767 % |
116.95/117.04	c |    627656 |   45842    94308 |   52809   60896  3505556    57.6 | 83.767 % |
120.45/120.51	c |    647117 |   45831    94283 |   58090   25592  1135135    44.4 | 83.795 % |
124.65/124.74	c |    676310 |   45831    94283 |   63899   54785  2720405    49.7 | 83.795 % |
132.24/132.39	c |    720101 |   45809    94229 |   70289   33686  1171386    34.8 | 83.859 % |
142.24/142.37	c |    785785 |   45782    94164 |   77318   29357  1212929    41.3 | 83.935 % |
159.24/159.33	c |    884311 |   45723    94015 |   85050   52364  2789700    53.3 | 84.115 % |
185.13/185.27	c |   1032102 |   45622    93774 |   93555   32895  1065386    32.4 | 84.387 % |
224.72/224.82	c |   1253787 |   45592    93700 |  102910   67879  2953063    43.5 | 84.475 % |
227.72/227.90	c ==============================================================================
227.72/227.90	c Found solution: -39
227.82/227.90	c ---[   0]---> Sorter-cost:    0     Base:
227.82/227.92	c ==================================[MINISAT+]==================================
227.82/227.92	c | Conflicts | Original         | Learnt                           | Progress |
227.82/227.92	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
227.82/227.92	c ==============================================================================
227.82/227.92	c |   1272086 |   45611    93751 |   15203   86178  3980767    46.2 | 84.475 % |
227.92/228.06	c |   1272187 |   45611    93751 |   16723   21744   745601    34.3 | 84.490 % |
227.92/228.07	c |   1272337 |   45611    93751 |   18395   21894   756149    34.5 | 84.490 % |
227.92/228.09	c |   1272563 |   45611    93751 |   20235   22120   765285    34.6 | 84.490 % |
228.02/228.13	c |   1272900 |   45611    93751 |   22258   22457   786163    35.0 | 84.490 % |
228.02/228.17	c |   1273406 |   45611    93751 |   24484   22963   809493    35.3 | 84.490 % |
228.12/228.24	c |   1274165 |   45611    93751 |   26933   23722   852627    35.9 | 84.490 % |
228.22/228.34	c |   1275305 |   45611    93751 |   29626   24862   911903    36.7 | 84.490 % |
228.42/228.52	c |   1277013 |   45611    93751 |   32588   26570  1022820    38.5 | 84.490 % |
228.63/228.80	c |   1279575 |   45611    93751 |   35847   29132  1167512    40.1 | 84.490 % |
229.12/229.22	c |   1283420 |   45565    93636 |   39432   32970  1394487    42.3 | 84.625 % |
229.83/229.94	c |   1289187 |   45554    93611 |   43375   38731  1681180    43.4 | 84.653 % |
230.93/231.08	c |   1297838 |   45554    93611 |   47713   47382  2064921    43.6 | 84.653 % |
232.62/232.78	c |   1310812 |   45554    93611 |   52484   60356  2652855    44.0 | 84.653 % |
235.42/235.52	c |   1330273 |   45533    93562 |   57733   27053   851136    31.5 | 84.709 % |
239.32/239.40	c |   1359465 |   45530    93555 |   63506   56244  1989613    35.4 | 84.717 % |
245.72/245.81	c |   1403254 |   45524    93541 |   69857   37981  1184029    31.2 | 84.733 % |
255.62/255.72	c |   1468940 |   45510    93507 |   76843   38823  1065888    27.5 | 84.773 % |
267.22/267.34	c ==============================================================================
267.22/267.34	c Found solution: -40
267.22/267.34	c ---[   0]---> Sorter-cost:    0     Base:
267.22/267.35	c ==================================[MINISAT+]==================================
267.22/267.35	c | Conflicts | Original         | Learnt                           | Progress |
267.22/267.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
267.22/267.35	c ==============================================================================
267.22/267.35	c |   1541363 |   45479    93416 |   15159   39463  1148097    29.1 | 84.773 % |
267.22/267.39	c |   1541464 |   45479    93416 |   16674   19833   388258    19.6 | 84.861 % |
267.32/267.40	c |   1541614 |   45479    93416 |   18342   19983   392611    19.6 | 84.861 % |
267.32/267.43	c |   1541839 |   45479    93416 |   20176   20208   399346    19.8 | 84.861 % |
267.32/267.47	c |   1542176 |   45479    93416 |   22194   20545   406837    19.8 | 84.861 % |
267.42/267.52	c |   1542682 |   45479    93416 |   24413   21051   427391    20.3 | 84.861 % |
267.42/267.59	c |   1543441 |   45449    93342 |   26855   21802   448135    20.6 | 84.949 % |
267.62/267.70	c |   1544580 |   45421    93274 |   29540   22934   486668    21.2 | 85.029 % |
267.72/267.84	c |   1546288 |   45289    93008 |   32494   15371   236698    15.4 | 85.048 % |
267.92/268.04	c |   1548850 |   45288    93005 |   35744   17931   346992    19.4 | 85.052 % |
268.22/268.35	c |   1552694 |   45243    92888 |   39318   21699   490179    22.6 | 85.184 % |
268.72/268.85	c |   1558460 |   45169    92690 |   43250   27435   640412    23.3 | 85.407 % |
269.62/269.73	c ==============================================================================
269.62/269.73	c Optimal solution: -40
269.62/269.73	s OPTIMUM FOUND
269.62/269.73	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
269.62/269.73	c _______________________________________________________________________________
269.62/269.73	c 
269.62/269.73	c restarts              : 136
269.62/269.73	c conflicts             : 1566999        (5812 /sec)
269.62/269.73	c decisions             : 2017188        (7482 /sec)
269.62/269.73	c propagations          : 0              (0 /sec)
269.62/269.73	c inspects              : 0              (0 /sec)
269.62/269.73	c CPU time              : 269.621 s
269.62/269.73	c _______________________________________________________________________________

Verifier Data 

OK	-40

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 1.99 1.88 4/173 7997
/proc/meminfo: memFree=27382260/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (runsolver) D 7995 7997 5366 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 323278846 12095488 51 33554432000 4194304 5436572 140736814492864 140736814489160 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/7997/statm: 2953 51 31 304 0 2645 0

[startup+0.0202049 s]
/proc/loadavg: 2.00 1.99 1.88 4/173 7997
/proc/meminfo: memFree=27382260/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100188 s]
/proc/loadavg: 2.00 1.99 1.88 4/173 7997
/proc/meminfo: memFree=27382260/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300282 s]
/proc/loadavg: 2.00 1.99 1.88 4/173 7997
/proc/meminfo: memFree=27382260/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700279 s]
/proc/loadavg: 2.00 1.99 1.88 4/173 7997
/proc/meminfo: memFree=27382260/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 8016
/proc/meminfo: memFree=27305852/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=21876 CPUtime=1.48 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 5250 0 0 0 147 1 0 0 20 0 1 0 323278846 22401024 5206 33554432000 4194304 5276501 140735394339248 140735394337496 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 5469 5206 118 265 0 5201 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31024

[startup+3.10032 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 8016
/proc/meminfo: memFree=27304860/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=21876 CPUtime=3.08 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 5250 0 0 0 307 1 0 0 20 0 1 0 323278846 22401024 5206 33554432000 4194304 5276501 140735394339248 140735394337496 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 5469 5206 118 265 0 5201 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31024

[startup+6.30026 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 8016
/proc/meminfo: memFree=27303664/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=24228 CPUtime=6.28 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 5846 0 0 0 627 1 0 0 20 0 1 0 323278846 24809472 5781 33554432000 4194304 5276501 140735394339248 140735394337656 4399942 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 6057 5781 119 265 0 5789 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33376

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 8016
/proc/meminfo: memFree=27289132/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=38108 CPUtime=12.67 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 9293 0 0 0 1266 1 0 0 20 0 1 0 323278846 39022592 9220 33554432000 4194304 5276501 140735394339248 140735394336840 4633200 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 9527 9220 119 265 0 9259 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 47256

[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 8016
/proc/meminfo: memFree=27274172/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=45216 CPUtime=25.47 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 11113 0 0 0 2545 2 0 0 20 0 1 0 323278846 46301184 11032 33554432000 4194304 5276501 140735394339248 140735394337496 4399913 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 11304 11032 119 265 0 11036 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 54364

[startup+51.1003 s]
/proc/loadavg: 2.07 2.00 1.89 3/179 8016
/proc/meminfo: memFree=27226408/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=51344 CPUtime=51.05 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 12655 0 0 0 5103 2 0 0 20 0 1 0 323278846 52576256 12570 33554432000 4194304 5276501 140735394339248 140735394337496 4399829 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 12836 12570 119 265 0 12568 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 60492

[startup+102.306 s]
/proc/loadavg: 2.03 2.00 1.90 3/180 8017
/proc/meminfo: memFree=27208464/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=59936 CPUtime=102.25 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14736 0 0 0 10222 3 0 0 20 0 1 0 323278846 61374464 14651 33554432000 4194304 5276501 140735394339248 140735394337432 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 14984 14651 119 265 0 14716 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 69084

[startup+162.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/179 8018
/proc/meminfo: memFree=27129460/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=60128 CPUtime=162.23 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14779 0 0 0 16220 3 0 0 20 0 1 0 323278846 61571072 14704 33554432000 4194304 5276501 140735394339248 140735394337496 4399866 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 15032 14704 119 265 0 14764 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 69276

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 8018
/proc/meminfo: memFree=27112904/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=60416 CPUtime=222.22 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14859 0 0 0 22219 3 0 0 20 0 1 0 323278846 61865984 14791 33554432000 4194304 5276501 140735394339248 140735394337480 4399800 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 15104 14791 119 265 0 14836 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 69564

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

[startup+230.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 8018
/proc/meminfo: memFree=27112904/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=60416 CPUtime=230.22 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14859 0 0 0 23019 3 0 0 20 0 1 0 323278846 61865984 14791 33554432000 4194304 5276501 140735394339248 140735394337496 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 15104 14791 119 265 0 14836 0
Current children cumulated CPU time (s) 230.22
Current children cumulated vsize (KiB) 69564

[startup+255.9 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 8018
/proc/meminfo: memFree=27112220/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=60416 CPUtime=255.82 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14859 0 0 0 25579 3 0 0 20 0 1 0 323278846 61865984 14791 33554432000 4194304 5276501 140735394339248 140735394337496 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 15104 14791 119 265 0 14836 0
Current children cumulated CPU time (s) 255.82
Current children cumulated vsize (KiB) 69564

[startup+262.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 8018
/proc/meminfo: memFree=27103168/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=60416 CPUtime=262.22 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14859 0 0 0 26219 3 0 0 20 0 1 0 323278846 61865984 14791 33554432000 4194304 5276501 140735394339248 140735394337496 4399904 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 15104 14791 119 265 0 14836 0
Current children cumulated CPU time (s) 262.22
Current children cumulated vsize (KiB) 69564

[startup+265.5 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 8018
/proc/meminfo: memFree=27098704/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=60732 CPUtime=265.42 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14908 0 0 0 26539 3 0 0 20 0 1 0 323278846 62189568 14840 33554432000 4194304 5276501 140735394339248 140735394337432 4391072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 15183 14840 119 265 0 14915 0
Current children cumulated CPU time (s) 265.42
Current children cumulated vsize (KiB) 69880

[startup+267.1 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 8018
/proc/meminfo: memFree=27097216/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=60732 CPUtime=267.02 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14908 0 0 0 26699 3 0 0 20 0 1 0 323278846 62189568 14840 33554432000 4194304 5276501 140735394339248 140735394337432 4394785 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 15183 14840 119 265 0 14915 0
Current children cumulated CPU time (s) 267.02
Current children cumulated vsize (KiB) 69880

[startup+268.7 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 8018
/proc/meminfo: memFree=27094240/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=60732 CPUtime=268.62 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14908 0 0 0 26859 3 0 0 20 0 1 0 323278846 62189568 14840 33554432000 4194304 5276501 140735394339248 140735394337496 4399741 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 15183 14840 119 265 0 14915 0
Current children cumulated CPU time (s) 268.62
Current children cumulated vsize (KiB) 69880

[startup+269.506 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 8018
/proc/meminfo: memFree=27093248/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=60732 CPUtime=269.42 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14908 0 0 0 26939 3 0 0 20 0 1 0 323278846 62189568 14840 33554432000 4194304 5276501 140735394339248 140735394337496 4394779 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 15183 14840 119 265 0 14915 0
Current children cumulated CPU time (s) 269.42
Current children cumulated vsize (KiB) 69880

[startup+269.7 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 8018
/proc/meminfo: memFree=27093248/32873660 swapFree=7120/7120
[pid=7997] ppid=7995 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7997/stat : 7997 (minisat+_script) S 7995 7997 5366 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 323278846 9367552 277 33554432000 4194304 5064252 140734638080208 140734638079120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7997/statm: 2287 277 236 213 0 72 0
[pid=8002] ppid=7997 vsize=60732 CPUtime=269.62 cores=0,2,4,6
/proc/8002/stat : 8002 (minisat+_64-bit) R 7997 7997 5366 0 -1 4202496 14908 0 0 0 26959 3 0 0 20 0 1 0 323278846 62189568 14840 33554432000 4194304 5276501 140735394339248 140735394337496 4391536 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/8002/statm: 15183 14840 119 265 0 14915 0
Current children cumulated CPU time (s) 269.62
Current children cumulated vsize (KiB) 69880

Child status: 0
Real time (s): 269.732
CPU time (s): 269.661
CPU user time (s): 269.626
CPU system time (s): 0.034994
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 69880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.626
system time used= 0.034994
maximum resident set size= 59372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15857
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= 38
involuntary context switches= 280

runsolver used 0.39194 second user time and 1.11883 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-01 19:25:31
IDJOB=3723549
IDBENCH=2244
IDSOLVER=2307
FILE ID=node117/3723549-1338571531
RUNJOBID= node117-1338569730-7856
PBS_JOBID= 14635867
Free space on /tmp= 69132 MiB

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

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

MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d
RANDOM SEED=1023530705

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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		: 2667.148
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		: 2667.148
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:       32873660 kB
MemFree:        27386448 kB
Buffers:          576492 kB
Cached:          3984304 kB
SwapCached:          776 kB
Active:          2204876 kB
Inactive:        2372580 kB
Active(anon):       2468 kB
Inactive(anon):     9984 kB
Active(file):    2202408 kB
Inactive(file):  2362596 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:              3124 kB
Writeback:             0 kB
AnonPages:        112260 kB
Mapped:            11972 kB
Shmem:                80 kB
Slab:             774288 kB
SReclaimable:     218916 kB
SUnreclaim:       555372 kB
KernelStack:        1488 kB
PageTables:         3600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     105008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69124 MiB
End job on node117 at 2012-06-01 19:30:01