Trace number 3303867

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 NameAnswerCPU timeWall clock time
glucose 2? (TO) 5000 4999.91

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
MD5SUM28233bedeee44da6e79e63b9febc4d1e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables133566
Number of clauses667976
Sum of the clauses size1591941
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2659295
Number of clauses of size 32100
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56370

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.20	c ==============================================================================
0.00/0.20	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.20	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.20	c ==============================================================================
0.00/0.20	c |         0 |  456000  1058309 |  136799       0        0     nan |  0.000 % |
0.00/1.08	c |         0 |  370290   957750 |      --       0       --      -- |     --   | -33998/6615
0.00/1.08	c ==============================================================================
0.00/1.08	c Result  :   #vars: 57316   #clauses: 370290   #literals: 957750
0.00/1.08	c CPU time:   1.03884 s
0.00/1.08	c ==============================================================================
1.19/1.25	c
1.19/1.25	c Starting glucose
1.19/1.25	c
669.75/669.86	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
669.75/669.86	c WARNING: for repeatability, setting FPU to use double precision
669.75/669.86	c ============================[ Problem Statistics ]=============================
669.75/669.86	c |                                                                             |
669.75/669.86	c |  Number of variables:         57316                                         |
669.75/669.86	c |  Number of clauses:          370290                                         |
669.75/669.86	c |  Parse time:                   0.08 s                                       |
669.75/669.86	c |                                                                             |
669.75/669.86	c ============================[ Search Statistics ]==============================
669.75/669.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
669.75/669.86	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
669.75/669.86	c ===============================================================================
669.75/669.86	c |      7978 |   57316   370290   957750 |        1     5979    874 |  0.000 % |
669.75/669.86	c |      8078 |   57313   370290   957750 |        1     6076    866 |  0.005 % |
669.75/669.86	c |     13382 |   57313   370290   957750 |        1     7083    731 |  0.005 % |
669.75/669.86	c |     16364 |   57301   370290   957750 |        1    10064    838 |  0.026 % |
669.75/669.86	c |     20342 |   57300   370290   957750 |        1     7296    378 |  0.028 % |
669.75/669.86	c |     20445 |   57300   370290   957750 |        1     7399    376 |  0.028 % |
669.75/669.86	c |     24730 |   57300   370290   957750 |        1    11684    851 |  0.028 % |
669.75/669.86	c |     24833 |   57300   370290   957750 |        1    11787    850 |  0.028 % |
669.75/669.86	c |     24933 |   57300   370290   957750 |        1    11887    847 |  0.028 % |
669.75/669.86	c |     26642 |   57300   370288   957740 |        1    13596    872 |  0.028 % |
669.75/669.86	c |     29304 |   57300   370288   957740 |        1    16258    769 |  0.028 % |
669.75/669.86	c |     29404 |   57300   370288   957740 |        1    16358    765 |  0.028 % |
669.75/669.86	c |     29504 |   57300   370288   957740 |        1    16458    761 |  0.028 % |
669.75/669.86	c |     32902 |   57300   370288   957740 |        1    10583    389 |  0.028 % |
669.75/669.86	c |     35754 |   57282   370288   957740 |        1    13434    447 |  0.059 % |
669.75/669.86	c |     37608 |   57281   370288   957740 |        1    15287    540 |  0.061 % |
669.75/669.86	c |     38155 |   57281   370288   957740 |        1    15834    534 |  0.061 % |
669.75/669.86	c |     40996 |   57281   370288   957740 |        1    18675    630 |  0.061 % |
669.75/669.86	c |     45869 |   57280   370288   957740 |        1    23547    714 |  0.063 % |
669.75/669.86	c |     45969 |   57280   370288   957740 |        1    23647    714 |  0.063 % |
669.75/669.86	c |     49103 |   57261   370288   957740 |        1    14940    439 |  0.096 % |
669.75/669.86	c |     52979 |   57260   370288   957740 |        1    18815    484 |  0.098 % |
669.75/669.86	c |     53862 |   57260   370288   957740 |        1    19698    479 |  0.098 % |
669.75/669.86	c |     53963 |   57260   370288   957740 |        1    19799    478 |  0.098 % |
669.75/669.86	c |     54407 |   57260   370288   957740 |        1    20243    476 |  0.098 % |
669.75/669.86	c |     54507 |   57260   370288   957740 |        1    20343    477 |  0.098 % |
669.75/669.86	c |     54608 |   57260   370288   957740 |        1    20444    477 |  0.098 % |
669.75/669.86	c |     54768 |   57260   370288   957740 |        1    20604    487 |  0.098 % |
669.75/669.86	c |     54955 |   57259   370288   957740 |        1    20790    489 |  0.099 % |
669.75/669.86	c |     58648 |   57231   370281   957705 |        1    24479    488 |  0.148 % |
669.75/669.86	c |     58750 |   57231   370281   957705 |        1    24581    488 |  0.148 % |
669.75/669.86	c |     59240 |   57231   370281   957705 |        1    25071    492 |  0.148 % |
669.75/669.86	c |     59407 |   57228   370281   957705 |        1    25235    493 |  0.154 % |
669.75/669.86	c |     60727 |   57228   370281   957705 |        1    26555    490 |  0.154 % |
669.75/669.86	c |     94619 |   57228   370281   957705 |        1    29051   1021 |  0.154 % |
669.75/669.86	c |     94723 |   57228   370281   957705 |        1    29155   1023 |  0.154 % |
669.75/669.86	c |     97647 |   57207   370281   957705 |        1    32078    982 |  0.190 % |
669.75/669.86	c |     98106 |   57206   370281   957705 |        1    32536    975 |  0.192 % |
669.75/669.86	c |    100129 |   57205   370281   957705 |        1    34558    986 |  0.194 % |
1900.39/1900.46	c |    100390 |   57205   370281   957705 |        1    34819    984 |  0.194 % |
1900.39/1900.46	c |    100490 |   57205   370281   957705 |        1    34919    982 |  0.194 % |
1900.39/1900.46	c |    101020 |   57204   370271   957653 |        1    35448    977 |  0.195 % |
1900.39/1900.46	c |    101897 |   57204   370271   957653 |        1    36325    975 |  0.195 % |
1900.39/1900.46	c |    103029 |   57196   370271   957653 |        1    37454    970 |  0.209 % |
1900.39/1900.46	c |    103129 |   57196   370271   957653 |        1    37554    968 |  0.209 % |
1900.39/1900.46	c |    103454 |   57164   370271   957653 |        1    37878    965 |  0.265 % |
1900.39/1900.46	c |    104367 |   57163   370271   957653 |        1    38790    957 |  0.267 % |
1900.39/1900.46	c |    104589 |   57163   370271   957653 |        1    39012    958 |  0.267 % |
1900.39/1900.46	c |    105813 |   57161   370271   957653 |        1    20635    252 |  0.270 % |
1900.39/1900.46	c |    107307 |   57160   370271   957653 |        1    22128    283 |  0.272 % |
1900.39/1900.46	c |    107624 |   57159   370271   957653 |        1    22444    289 |  0.274 % |
1900.39/1900.46	c |    107725 |   57159   370271   957653 |        1    22545    295 |  0.274 % |
1900.39/1900.46	c |    108126 |   57158   370271   957653 |        1    22945    301 |  0.276 % |
1900.39/1900.46	c |    111701 |   57157   370271   957653 |        1    26519    418 |  0.277 % |
1900.39/1900.46	c |    111802 |   57157   370271   957653 |        1    26620    418 |  0.277 % |
1900.39/1900.46	c |    112606 |   57155   370271   957653 |        1    27422    411 |  0.281 % |
1900.39/1900.46	c |    113841 |   57155   370271   957653 |        1    28657    456 |  0.281 % |
1900.39/1900.46	c |    116729 |   57155   370271   957653 |        1    31545    440 |  0.281 % |
1900.39/1900.46	c |    122327 |   57155   370271   957653 |        1    37143    655 |  0.281 % |
1900.39/1900.46	c |    130751 |   57153   370271   957653 |        1    23386    259 |  0.284 % |
1900.39/1900.46	c |    130852 |   57153   370271   957653 |        1    23487    260 |  0.284 % |
1900.39/1900.46	c |    131031 |   57153   370271   957653 |        1    23666    269 |  0.284 % |
1900.39/1900.46	c |    131317 |   57153   370271   957653 |        1    23952    272 |  0.284 % |
1900.39/1900.46	c |    247843 |   57153   370271   957653 |        1    58290   1553 |  0.284 % |
1900.39/1900.46	c |    247943 |   57153   370271   957653 |        1    58390   1553 |  0.284 % |
1900.39/1900.46	c |    250356 |   57152   370271   957653 |        1    60802   1522 |  0.286 % |
1900.39/1900.46	c |    250458 |   57152   370271   957653 |        1    60904   1521 |  0.286 % |
1900.39/1900.46	c |    254715 |   57151   370271   957653 |        1    65160   1470 |  0.288 % |
1900.39/1900.46	c |    254816 |   57151   370271   957653 |        1    32653    426 |  0.288 % |
1900.39/1900.46	c |    255467 |   57141   370271   957653 |        1    33303    423 |  0.305 % |
1900.39/1900.46	c |    256111 |   57141   370271   957653 |        1    33947    445 |  0.305 % |
1900.39/1900.46	c |    256235 |   57141   370271   957653 |        1    34071    444 |  0.305 % |
1900.39/1900.46	c |    256596 |   57141   370271   957653 |        1    34432    452 |  0.305 % |
1900.39/1900.46	c |    257398 |   57141   370271   957653 |        1    35234    461 |  0.305 % |
1900.39/1900.46	c |    257499 |   57141   370271   957653 |        1    35335    461 |  0.305 % |
1900.39/1900.46	c |    263743 |   57140   370257   957581 |        1    41561    421 |  0.307 % |
1900.39/1900.46	c |    266718 |   57139   370257   957581 |        1    44535    440 |  0.309 % |
1900.39/1900.46	c |    271975 |   57138   370257   957581 |        1    49791    498 |  0.311 % |
1900.39/1900.46	c |    274164 |   57127   370257   957581 |        1    51979    518 |  0.330 % |
1900.39/1900.46	c |    274265 |   57127   370257   957581 |        1    52080    519 |  0.330 % |
1900.39/1900.46	c |    274857 |   57126   370257   957581 |        1    52671    517 |  0.331 % |
1900.39/1900.46	c |    277036 |   57126   370257   957581 |        1    54850    545 |  0.331 % |
1900.39/1900.46	c |    277136 |   57126   370257   957581 |        1    54950    547 |  0.331 % |
1900.39/1900.46	c |    277763 |   57126   370257   957581 |        1    55577    548 |  0.331 % |
1900.39/1900.46	c |    282000 |   57125   370257   957581 |        1    59813    558 |  0.333 % |
1900.39/1900.46	c |    282101 |   57125   370257   957581 |        1    59914    558 |  0.333 % |
1900.39/1900.46	c |    282432 |   57124   370257   957581 |        1    60244    557 |  0.335 % |
1900.39/1900.46	c |    282692 |   57124   370257   957581 |        1    60504    560 |  0.335 % |
1900.39/1900.46	c |    282793 |   57124   370257   957581 |        1    60605    562 |  0.335 % |
2166.69/2166.75	c |    282989 |   57124   370257   957581 |        1    60801    566 |  0.335 % |
2166.69/2166.75	c |    283390 |   57124   370257   957581 |        1    61202    563 |  0.335 % |
2166.69/2166.75	c |    283901 |   57123   370257   957581 |        1    61712    566 |  0.337 % |
2166.69/2166.75	c |    287703 |   57122   370257   957581 |        1    65513    607 |  0.338 % |
2166.69/2166.75	c |    287803 |   57058   370257   957581 |        1    65612    607 |  0.450 % |
2166.69/2166.75	c |    289066 |   57057   370257   957581 |        1    66874    604 |  0.452 % |
2166.69/2166.75	c |    297162 |   57056   370257   957581 |        1    39780    287 |  0.454 % |
2166.69/2166.75	c |    297268 |   57056   370257   957581 |        1    39886    288 |  0.454 % |
2166.69/2166.75	c |    300738 |   57056   370257   957581 |        1    43356    291 |  0.454 % |
2166.69/2166.75	c |    301042 |   57056   370257   957581 |        1    43660    298 |  0.454 % |
2166.69/2166.75	c |    303590 |   57032   370257   957581 |        1    46206    317 |  0.495 % |
2166.69/2166.75	c |    303692 |   57032   370257   957581 |        1    46308    318 |  0.495 % |
2166.69/2166.75	c |    308912 |   57031   370257   957581 |        1    51527    330 |  0.497 % |
2166.69/2166.75	c |    309013 |   57031   370257   957581 |        1    51628    330 |  0.497 % |
2166.69/2166.75	c |    309113 |   57031   370257   957581 |        1    51728    333 |  0.497 % |
2166.69/2166.75	c |    312418 |   57030   370257   957581 |        1    55032    376 |  0.499 % |
2166.69/2166.75	c |    312518 |   57030   370257   957581 |        1    55132    378 |  0.499 % |
2166.69/2166.75	c |    312624 |   57030   370257   957581 |        1    55238    378 |  0.499 % |
2166.69/2166.75	c |    312724 |   57030   370257   957581 |        1    55338    379 |  0.499 % |
2166.69/2166.75	c |    312870 |   57030   370257   957581 |        1    55484    381 |  0.499 % |
2166.69/2166.75	c |    312970 |   57030   370257   957581 |        1    55584    382 |  0.499 % |
2166.69/2166.75	c |    314251 |   57030   370257   957581 |        1    56865    383 |  0.499 % |
2166.69/2166.75	c |    317993 |   57028   370247   957481 |        1    60597    376 |  0.502 % |
2166.69/2166.75	c |    319520 |   57027   370247   957481 |        1    62123    374 |  0.504 % |
2166.69/2166.75	c |    320465 |   57027   370247   957481 |        1    63068    382 |  0.504 % |
2166.69/2166.75	c |    320565 |   57027   370247   957481 |        1    63168    382 |  0.504 % |
2166.69/2166.75	c |    320668 |   57027   370247   957481 |        1    63271    382 |  0.504 % |
2166.69/2166.75	c |    330341 |   57027   370247   957481 |        1    72944    403 |  0.504 % |
2166.69/2166.75	c |    330443 |   57027   370247   957481 |        1    73046    404 |  0.504 % |
2166.69/2166.75	c |    330544 |   57027   370247   957481 |        1    73147    404 |  0.504 % |
2166.69/2166.75	c |    330645 |   57027   370247   957481 |        1    73248    404 |  0.504 % |
2166.69/2166.75	c |    332387 |   57027   370247   957481 |        1    74990    434 |  0.504 % |
2166.69/2166.75	c |    332487 |   57027   370247   957481 |        1    75090    435 |  0.504 % |
2166.69/2166.75	c |    332591 |   57027   370247   957481 |        1    75194    435 |  0.504 % |
2166.69/2166.75	c |    332696 |   57027   370247   957481 |        1    75299    435 |  0.504 % |
2166.69/2166.75	c |    333254 |   57027   370247   957481 |        1    38074    178 |  0.504 % |
2166.69/2166.75	c |    333707 |   57027   370247   957481 |        1    38527    181 |  0.504 % |
2166.69/2166.75	c |    334023 |   57027   370247   957481 |        1    38843    183 |  0.504 % |
2166.69/2166.75	c |    334126 |   57027   370247   957481 |        1    38946    183 |  0.504 % |
2166.69/2166.75	c |    335285 |   57027   370247   957481 |        1    40105    220 |  0.504 % |
2166.69/2166.75	c |    343272 |   57027   370247   957481 |        1    48092    440 |  0.504 % |
2166.69/2166.75	c |    343373 |   57027   370247   957481 |        1    48193    441 |  0.504 % |
2166.69/2166.75	c |    343547 |   57027   370247   957481 |        1    48367    443 |  0.504 % |
2166.69/2166.75	c |    343647 |   57027   370247   957481 |        1    48467    443 |  0.504 % |
2166.69/2166.75	c |    344234 |   57012   370247   957481 |        1    49053    453 |  0.530 % |
2166.69/2166.75	c |    346160 |   57012   370247   957481 |        1    50979    499 |  0.530 % |
2166.69/2166.75	c |    347646 |   57010   370247   957481 |        1    52464    511 |  0.534 % |
2166.69/2166.75	c |    347746 |   57010   370247   957481 |        1    52564    514 |  0.534 % |
2166.69/2166.75	c |    354512 |   57010   370247   957481 |        1    59330    501 |  0.534 % |
2166.69/2166.75	c |    357142 |   57010   370247   957481 |        1    61960    544 |  0.534 % |
2665.42/2665.49	c |    360918 |   57008   370247   957481 |        1    65734    585 |  0.537 % |
2665.42/2665.49	c |    363110 |   57008   370247   957481 |        1    67926    587 |  0.537 % |
2665.42/2665.49	c |    363859 |   57007   370247   957481 |        1    68674    587 |  0.539 % |
2665.42/2665.49	c |    364715 |   57007   370247   957481 |        1    69530    591 |  0.539 % |
2665.42/2665.49	c |    364817 |   57007   370247   957481 |        1    69632    591 |  0.539 % |
2665.42/2665.49	c |    374514 |   57005   370247   957481 |        1    79327    680 |  0.543 % |
2665.42/2665.49	c |    374900 |   57005   370247   957481 |        1    79713    679 |  0.543 % |
2665.42/2665.49	c |    375001 |   57005   370247   957481 |        1    79814    678 |  0.543 % |
2665.42/2665.49	c |    375323 |   57005   370247   957481 |        1    80136    682 |  0.543 % |
2665.42/2665.49	c |    375425 |   57005   370247   957481 |        1    80238    682 |  0.543 % |
2665.42/2665.49	c |    375911 |   57005   370247   957481 |        1    80724    689 |  0.543 % |
2665.42/2665.49	c |    376012 |   57005   370247   957481 |        1    40442    222 |  0.543 % |
2665.42/2665.49	c |    376203 |   57005   370247   957481 |        1    40633    224 |  0.543 % |
2665.42/2665.49	c |    376304 |   57005   370247   957481 |        1    40734    224 |  0.543 % |
2665.42/2665.49	c |    377081 |   57004   370247   957481 |        1    41510    247 |  0.544 % |
2665.42/2665.49	c |    382479 |   57004   370247   957481 |        1    46908    330 |  0.544 % |
2665.42/2665.49	c |    382772 |   57003   370247   957481 |        1    47200    340 |  0.546 % |
2665.42/2665.49	c |    382874 |   57003   370247   957481 |        1    47302    340 |  0.546 % |
2665.42/2665.49	c |    385149 |   57001   370247   957481 |        1    49575    389 |  0.550 % |
2665.42/2665.49	c |    385249 |   57001   370247   957481 |        1    49675    390 |  0.550 % |
2665.42/2665.49	c |    390078 |   56999   370241   957451 |        1    54490    385 |  0.553 % |
2665.42/2665.49	c |    390612 |   56999   370241   957451 |        1    55024    389 |  0.553 % |
2665.42/2665.49	c |    392566 |   56993   370241   957451 |        1    56976    396 |  0.564 % |
2665.42/2665.49	c |    416781 |   56991   370241   957451 |        1    81189    863 |  0.567 % |
2665.42/2665.49	c |    416979 |   56991   370241   957451 |        1    81387    865 |  0.567 % |
2665.42/2665.49	c |    417434 |   56991   370241   957451 |        1    81842    864 |  0.567 % |
2665.42/2665.49	c |    419397 |   56991   370241   957451 |        1    83805    853 |  0.567 % |
2665.42/2665.49	c |    419634 |   56991   370241   957451 |        1    84042    857 |  0.567 % |
2665.42/2665.49	c |    419734 |   56991   370241   957451 |        1    84142    857 |  0.567 % |
2665.42/2665.49	c |    421562 |   56991   370241   957451 |        1    85970    879 |  0.567 % |
2665.42/2665.49	c |    421662 |   56991   370241   957451 |        1    43074    370 |  0.567 % |
2665.42/2665.49	c |    424342 |   56989   370241   957451 |        1    45752    422 |  0.571 % |
2665.42/2665.49	c |    424445 |   56989   370241   957451 |        1    45855    423 |  0.571 % |
2665.42/2665.49	c |    426434 |   56989   370241   957451 |        1    47844    435 |  0.571 % |
2665.42/2665.49	c |    426535 |   56989   370241   957451 |        1    47945    435 |  0.571 % |
2665.42/2665.49	c |    426983 |   56987   370241   957451 |        1    48392    443 |  0.574 % |
2665.42/2665.49	c |    427083 |   56987   370241   957451 |        1    48492    443 |  0.574 % |
2665.42/2665.49	c |    427286 |   56987   370241   957451 |        1    48695    449 |  0.574 % |
2665.42/2665.49	c |    428901 |   56986   370241   957451 |        1    50309    454 |  0.576 % |
2665.42/2665.49	c |    429002 |   56986   370241   957451 |        1    50410    457 |  0.576 % |
2665.42/2665.49	c |    430194 |   56986   370241   957451 |        1    51602    460 |  0.576 % |
2665.42/2665.49	c |    430622 |   56986   370241   957451 |        1    52030    479 |  0.576 % |
2665.42/2665.49	c |    431622 |   56986   370241   957451 |        1    53030    493 |  0.576 % |
2665.42/2665.49	c |    431722 |   56986   370241   957451 |        1    53130    493 |  0.576 % |
2665.42/2665.49	c |    436588 |   56832   370241   957451 |        1    57995    520 |  0.844 % |
2665.42/2665.49	c |    436688 |   56832   370241   957451 |        1    58095    521 |  0.844 % |
2665.42/2665.49	c |    436790 |   56832   370241   957451 |        1    58197    522 |  0.844 % |
2665.42/2665.49	c |    439002 |   56832   370241   957451 |        1    60409    517 |  0.844 % |
2665.42/2665.49	c |    439374 |   56832   370241   957451 |        1    60781    526 |  0.844 % |
2665.42/2665.49	c |    439474 |   56832   370241   957451 |        1    60881    527 |  0.844 % |
3869.55/3869.59	c |    442246 |   56831   370241   957451 |        1    63652    549 |  0.846 % |
3869.55/3869.59	c |    442477 |   56831   370241   957451 |        1    63883    550 |  0.846 % |
3869.55/3869.59	c |    442577 |   56831   370241   957451 |        1    63983    550 |  0.846 % |
3869.55/3869.59	c |    443138 |   56831   370241   957451 |        1    64544    551 |  0.846 % |
3869.55/3869.59	c |    447795 |   56831   370241   957451 |        1    69201    564 |  0.846 % |
3869.55/3869.59	c |    449107 |   56830   370241   957451 |        1    70512    571 |  0.848 % |
3869.55/3869.59	c |    455545 |   56830   370241   957451 |        1    76950    603 |  0.848 % |
3869.55/3869.59	c |    456369 |   56830   370211   957243 |        1    77518    628 |  0.848 % |
3869.55/3869.59	c |    456470 |   56830   370211   957243 |        1    77619    628 |  0.848 % |
3869.55/3869.59	c |    456573 |   56830   370211   957243 |        1    77722    628 |  0.848 % |
3869.55/3869.59	c |    456767 |   56830   370211   957243 |        1    77916    632 |  0.848 % |
3869.55/3869.59	c |    456867 |   56830   370211   957243 |        1    78016    634 |  0.848 % |
3869.55/3869.59	c |    456968 |   56830   370211   957243 |        1    78117    635 |  0.848 % |
3869.55/3869.59	c |    457068 |   56830   370211   957243 |        1    78217    634 |  0.848 % |
3869.55/3869.59	c |    457221 |   56830   370211   957243 |        1    78370    637 |  0.848 % |
3869.55/3869.59	c |    458074 |   56830   370211   957243 |        1    79223    634 |  0.848 % |
3869.55/3869.59	c |    458334 |   56829   370211   957243 |        1    79482    633 |  0.850 % |
3869.55/3869.59	c |    458435 |   56829   370211   957243 |        1    79583    634 |  0.850 % |
3869.55/3869.59	c |    458567 |   56829   370211   957243 |        1    79715    634 |  0.850 % |
3869.55/3869.59	c |    458774 |   56829   370211   957243 |        1    79922    637 |  0.850 % |
3869.55/3869.59	c |    458874 |   56829   370211   957243 |        1    80022    639 |  0.850 % |
3869.55/3869.59	c |    458982 |   56829   370211   957243 |        1    80130    639 |  0.850 % |
3869.55/3869.59	c |    467030 |   56829   370211   957243 |        1    88178    644 |  0.850 % |
3869.55/3869.59	c |    467131 |   56828   370211   957243 |        1    88278    643 |  0.851 % |
3869.55/3869.59	c |    467524 |   56828   370211   957243 |        1    88671    647 |  0.851 % |
3869.55/3869.59	c |    467626 |   56828   370211   957243 |        1    88773    648 |  0.851 % |
3869.55/3869.59	c |    467727 |   56828   370211   957243 |        1    88874    648 |  0.851 % |
3869.55/3869.59	c |    467853 |   56827   370211   957243 |        1    88999    647 |  0.853 % |
3869.55/3869.59	c |    554887 |   56825   370211   957243 |        1    82459   1057 |  0.857 % |
3869.55/3869.59	c |    554987 |   56825   370211   957243 |        1    82559   1056 |  0.857 % |
3869.55/3869.59	c |    555088 |   56825   370211   957243 |        1    82660   1057 |  0.857 % |
3869.55/3869.59	c |    555188 |   56825   370211   957243 |        1    82760   1057 |  0.857 % |
3869.55/3869.59	c |    555291 |   56825   370211   957243 |        1    82863   1057 |  0.857 % |
3869.55/3869.59	c |    563590 |   56825   370211   957243 |        1    91162   1039 |  0.857 % |
3869.55/3869.59	c |    565825 |   56825   370211   957243 |        1    93397   1052 |  0.857 % |
3869.55/3869.59	c |    566113 |   56825   370211   957243 |        1    93685   1050 |  0.857 % |
3869.55/3869.59	c |    566652 |   56825   370211   957243 |        1    94224   1050 |  0.857 % |
3869.55/3869.59	c |    567344 |   56824   370211   957243 |        1    94915   1053 |  0.858 % |
3869.55/3869.59	c |    567444 |   56824   370211   957243 |        1    95015   1053 |  0.858 % |
3869.55/3869.59	c |    567544 |   56824   370211   957243 |        1    95115   1052 |  0.858 % |
3869.55/3869.59	c |    567644 |   56824   370211   957243 |        1    95215   1052 |  0.858 % |
3869.55/3869.59	c |    572114 |   56824   370211   957243 |        1    99685   1021 |  0.858 % |
3869.55/3869.59	c |    573360 |   56824   370211   957243 |        1   100931   1026 |  0.858 % |
3869.55/3869.59	c |    573460 |   56824   370211   957243 |        1   101031   1025 |  0.858 % |
3869.55/3869.59	c |    575278 |   56824   370211   957243 |        1    52072    299 |  0.858 % |
3869.55/3869.59	c |    575773 |   56824   370211   957243 |        1    52567    307 |  0.858 % |
3869.55/3869.59	c |    575875 |   56824   370211   957243 |        1    52669    309 |  0.858 % |
3869.55/3869.59	c |    580482 |   56823   370211   957243 |        1    57275    426 |  0.860 % |
3869.55/3869.59	c |    580584 |   56823   370211   957243 |        1    57377    426 |  0.860 % |
3869.55/3869.59	c |    580689 |   56823   370211   957243 |        1    57482    426 |  0.860 % |
4319.37/4319.35	c |    580945 |   56823   370211   957243 |        1    57738    430 |  0.860 % |
4319.37/4319.35	c |    581047 |   56823   370211   957243 |        1    57840    431 |  0.860 % |
4319.37/4319.35	c |    582384 |   56823   370211   957243 |        1    59177    435 |  0.860 % |
4319.37/4319.35	c |    592871 |   56821   370211   957243 |        1    69663    527 |  0.864 % |
4319.37/4319.35	c |    592971 |   56821   370211   957243 |        1    69763    527 |  0.864 % |
4319.37/4319.35	c |    600158 |   56821   370211   957243 |        1    76950    579 |  0.864 % |
4319.37/4319.35	c |    600260 |   56821   370211   957243 |        1    77052    579 |  0.864 % |
4319.37/4319.35	c |    600367 |   56821   370211   957243 |        1    77159    579 |  0.864 % |
4319.37/4319.35	c |    604243 |   56820   370211   957243 |        1    81034    581 |  0.865 % |
4319.37/4319.35	c |    606361 |   56819   370211   957243 |        1    83151    602 |  0.867 % |
4319.37/4319.35	c |    606463 |   56819   370211   957243 |        1    83253    603 |  0.867 % |
4319.37/4319.35	c |    606563 |   56819   370211   957243 |        1    83353    603 |  0.867 % |
4319.37/4319.35	c |    611110 |   56818   370211   957243 |        1    87899    612 |  0.869 % |
4319.37/4319.35	c |    624491 |   56817   370211   957243 |        1   101279    718 |  0.871 % |
4319.37/4319.35	c |    624591 |   56817   370211   957243 |        1   101379    718 |  0.871 % |
4319.37/4319.35	c |    625623 |   56816   370211   957243 |        1   102410    719 |  0.872 % |
4319.37/4319.35	c |    625798 |   56816   370211   957243 |        1   102585    719 |  0.872 % |
4319.37/4319.35	c |    626097 |   56816   370211   957243 |        1   102884    721 |  0.872 % |
4319.37/4319.35	c |    626271 |   56816   370211   957243 |        1   103058    721 |  0.872 % |
4319.37/4319.35	c |    633762 |   56815   370210   957238 |        1    57180    246 |  0.874 % |
4319.37/4319.35	c |    633863 |   56815   370210   957238 |        1    57281    248 |  0.874 % |
4319.37/4319.35	c |    633967 |   56815   370210   957238 |        1    57385    248 |  0.874 % |
4319.37/4319.35	c |    637053 |   56814   370210   957238 |        1    60470    275 |  0.876 % |
4319.37/4319.35	c |    637155 |   56814   370210   957238 |        1    60572    276 |  0.876 % |
4319.37/4319.35	c |    637255 |   56814   370210   957238 |        1    60672    276 |  0.876 % |
4319.37/4319.35	c |    657306 |   56814   370210   957238 |        1    80723    511 |  0.876 % |
4319.37/4319.35	c |    657410 |   56814   370210   957238 |        1    80827    511 |  0.876 % |
4319.37/4319.35	c |    657845 |   56813   370210   957238 |        1    81261    513 |  0.878 % |
4319.37/4319.35	c |    657950 |   56813   370210   957238 |        1    81366    515 |  0.878 % |
4319.37/4319.35	c |    658753 |   56812   370210   957238 |        1    82168    522 |  0.879 % |
4319.37/4319.35	c |    658853 |   56812   370210   957238 |        1    82268    522 |  0.879 % |
4319.37/4319.35	c |    661194 |   56808   370210   957238 |        1    84608    518 |  0.886 % |
4319.37/4319.35	c |    661296 |   56808   370210   957238 |        1    84710    520 |  0.886 % |
4319.37/4319.35	c |    661396 |   56808   370210   957238 |        1    84810    519 |  0.886 % |
4319.37/4319.35	c |    662082 |   56807   370210   957238 |        1    85495    521 |  0.888 % |
4319.37/4319.35	c |    665265 |   56806   370210   957238 |        1    88677    542 |  0.890 % |
4319.37/4319.35	c |    665366 |   56742   370210   957238 |        1    88777    542 |  1.001 % |
4319.37/4319.35	c |    666019 |   56741   370210   957238 |        1    89429    543 |  1.003 % |
4319.37/4319.35	c |    666465 |   56740   370210   957238 |        1    89874    544 |  1.005 % |
4319.37/4319.35	c |    666566 |   56740   370210   957238 |        1    89975    544 |  1.005 % |
4319.37/4319.35	c |    668877 |   56740   370210   957238 |        1    92286    539 |  1.005 % |
4319.37/4319.35	c |    668977 |   56740   370210   957238 |        1    92386    540 |  1.005 % |
4319.37/4319.35	c |    673484 |   56739   370210   957238 |        1    96892    545 |  1.007 % |
4319.37/4319.35	c |    673585 |   56739   370210   957238 |        1    96993    546 |  1.007 % |
4319.37/4319.35	c |    676156 |   56738   370210   957238 |        1    99563    597 |  1.008 % |
4319.37/4319.35	c |    676257 |   56738   370206   957168 |        1    99621    598 |  1.008 % |
4319.37/4319.35	c |    678303 |   56737   370206   957168 |        1   101666    608 |  1.010 % |
4319.37/4319.35	c |    678403 |   56737   370206   957168 |        1   101766    609 |  1.010 % |
4319.37/4319.35	c |    678724 |   56737   370206   957168 |        1   102087    609 |  1.010 % |
4319.37/4319.35	c

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3303867-1303904350/watcher-3303867-1303904350 -o /tmp/evaluation-result-3303867-1303904350/solver-3303867-1303904350 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303867-1303904350.cnf 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 1403
/proc/meminfo: memFree=15696056/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 502035488 8912896 252 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1403/statm: 2176 252 211 178 0 69 0

[startup+0.101373 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 1403
/proc/meminfo: memFree=15696056/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 502035488 8912896 252 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1403/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.200351 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 1403
/proc/meminfo: memFree=15696056/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 502035488 8912896 252 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1403/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300331 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 1403
/proc/meminfo: memFree=15696056/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 502035488 8912896 252 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1403/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700256 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 1403
/proc/meminfo: memFree=15696056/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 502035488 8912896 252 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1403/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.5011 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 1405
/proc/meminfo: memFree=15593988/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 8704

[startup+3.10084 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 1413
/proc/meminfo: memFree=15586304/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=44500 CPUtime=1.78 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 7019 0 0 0 177 1 0 0 23 0 1 0 502035613 45568000 6777 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1406/statm: 11125 6777 240 17 0 7766 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 53204

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 1413
/proc/meminfo: memFree=15442712/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=44636 CPUtime=4.98 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 7607 0 0 0 497 1 0 0 25 0 1 0 502035613 45707264 7365 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1406/statm: 11159 7365 240 17 0 7800 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 53340

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 1414
/proc/meminfo: memFree=15479268/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=51948 CPUtime=11.38 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 8543 0 0 0 1136 2 0 0 25 0 1 0 502035613 53194752 8299 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209415 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1406/statm: 12987 8299 240 17 0 9628 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 60652

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 1414
/proc/meminfo: memFree=15457240/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=63624 CPUtime=24.18 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 10146 0 0 0 2416 2 0 0 25 0 1 0 502035613 65150976 9902 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1406/statm: 15906 9902 240 17 0 12547 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 72328

[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 1415
/proc/meminfo: memFree=15474648/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=52344 CPUtime=49.78 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 16682 0 0 0 4975 3 0 0 25 0 1 0 502035613 53600256 9102 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1406/statm: 13086 9102 241 17 0 9727 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 61048

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 1417
/proc/meminfo: memFree=15360732/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=132504 CPUtime=100.98 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 43932 0 0 0 10091 7 0 0 25 0 1 0 502035613 135684096 26802 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209456 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1406/statm: 33126 26802 253 17 0 29767 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 141208

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 1418
/proc/meminfo: memFree=15366788/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=132504 CPUtime=160.99 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 56317 0 0 0 16090 9 0 0 25 0 1 0 502035613 135684096 27744 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209589 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1406/statm: 33126 27744 253 17 0 29767 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 141208

[startup+222.306 s]
/proc/loadavg: 2.05 2.01 1.94 3/180 1420
/proc/meminfo: memFree=15372084/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=132504 CPUtime=220.99 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 69923 0 0 0 22088 11 0 0 25 0 1 0 502035613 135684096 25001 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1406/statm: 33126 25001 254 17 0 29767 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 141208

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 1.94 3/180 1421
/proc/meminfo: memFree=15333248/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=163324 CPUtime=280.99 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 79468 0 0 0 28087 12 0 0 25 0 1 0 502035613 167243776 34535 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1406/statm: 40831 34535 254 17 0 37472 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 172028

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 1423
/proc/meminfo: memFree=15210068/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=163324 CPUtime=340.99 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 93421 0 0 0 34085 14 0 0 25 0 1 0 502035613 167243776 30261 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209619 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1406/statm: 40831 30261 254 17 0 37472 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 172028

[startup+402.301 s]
/proc/loadavg: 2.06 2.01 1.94 3/180 1425
/proc/meminfo: memFree=15272648/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=132504 CPUtime=400.99 cores=0,2,4,6

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

/proc/1406/statm: 106765 78217 252 17 0 103406 0
Current children cumulated CPU time (s) 4302.37
Current children cumulated vsize (KiB) 435764

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1542
/proc/meminfo: memFree=14713864/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=427060 CPUtime=4361.13 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1113222 0 0 0 435954 159 0 0 25 0 1 0 502035613 437309440 91240 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 106765 91240 252 17 0 103406 0
Current children cumulated CPU time (s) 4362.38
Current children cumulated vsize (KiB) 435764

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1544
/proc/meminfo: memFree=14830524/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=163324 CPUtime=4421.12 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1135269 0 0 0 441950 162 0 0 25 0 1 0 502035613 167243776 35094 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209619 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 40831 35094 252 17 0 37472 0
Current children cumulated CPU time (s) 4422.37
Current children cumulated vsize (KiB) 172028

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1545
/proc/meminfo: memFree=14683692/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=213412 CPUtime=4481.12 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1145261 0 0 0 447948 164 0 0 25 0 1 0 502035613 218533888 45076 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209361 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 53353 45076 252 17 0 49994 0
Current children cumulated CPU time (s) 4482.37
Current children cumulated vsize (KiB) 222116

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1547
/proc/meminfo: memFree=14534592/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=294800 CPUtime=4541.13 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1155661 0 0 0 453947 166 0 0 25 0 1 0 502035613 301875200 55468 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 73700 55468 252 17 0 70341 0
Current children cumulated CPU time (s) 4542.38
Current children cumulated vsize (KiB) 303504

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1549
/proc/meminfo: memFree=14385904/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=294800 CPUtime=4601.13 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1165749 0 0 0 459946 167 0 0 25 0 1 0 502035613 301875200 65549 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 73700 65549 252 17 0 70341 0
Current children cumulated CPU time (s) 4602.38
Current children cumulated vsize (KiB) 303504

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1550
/proc/meminfo: memFree=15063552/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=427060 CPUtime=4661.13 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1176851 0 0 0 465945 168 0 0 25 0 1 0 502035613 437309440 76649 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209456 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 106765 76649 252 17 0 103406 0
Current children cumulated CPU time (s) 4662.38
Current children cumulated vsize (KiB) 435764

[startup+4722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 1552
/proc/meminfo: memFree=14923540/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=427060 CPUtime=4721.14 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1188344 0 0 0 471945 169 0 0 25 0 1 0 502035613 437309440 88138 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209599 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 106765 88138 252 17 0 103406 0
Current children cumulated CPU time (s) 4722.39
Current children cumulated vsize (KiB) 435764

[startup+4782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 1553
/proc/meminfo: memFree=14783776/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=427060 CPUtime=4781.13 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1200025 0 0 0 477943 170 0 0 25 0 1 0 502035613 437309440 99812 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 106765 99812 252 17 0 103406 0
Current children cumulated CPU time (s) 4782.38
Current children cumulated vsize (KiB) 435764

[startup+4842.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1555
/proc/meminfo: memFree=14617348/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=641984 CPUtime=4841.14 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1212015 0 0 0 483942 172 0 0 25 0 1 0 502035613 657391616 111796 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209484 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 160496 111796 252 17 0 157137 0
Current children cumulated CPU time (s) 4842.39
Current children cumulated vsize (KiB) 650688

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1557
/proc/meminfo: memFree=14474596/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=641984 CPUtime=4901.14 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1224338 0 0 0 489941 173 0 0 25 0 1 0 502035613 657391616 124116 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209476 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 160496 124116 252 17 0 157137 0
Current children cumulated CPU time (s) 4902.39
Current children cumulated vsize (KiB) 650688

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1567
/proc/meminfo: memFree=14313920/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=641984 CPUtime=4961.14 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1236231 0 0 0 495939 175 0 0 25 0 1 0 502035613 657391616 136000 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 160496 136000 252 17 0 157137 0
Current children cumulated CPU time (s) 4962.39
Current children cumulated vsize (KiB) 650688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1568
/proc/meminfo: memFree=14641024/32951124 swapFree=67111528/67111528
[pid=1403] ppid=1401 vsize=8704 CPUtime=1.25 cores=0,2,4,6
/proc/1403/stat : 1403 (glucose.sh) S 1401 1403 1165 0 -1 4202496 358 18935 0 0 0 0 120 5 18 0 1 0 502035488 8912896 254 33554432000 4194304 4922060 140733471505136 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/1403/statm: 2176 254 211 178 0 69 0
[pid=1406] ppid=1403 vsize=213412 CPUtime=4998.75 cores=0,2,4,6
/proc/1406/stat : 1406 (glucose_static) R 1403 1403 1165 0 -1 4202496 1260913 0 0 0 499694 181 0 0 25 0 1 0 502035613 218533888 37463 33554432000 4194304 4260849 140735633199824 18446744073709551615 4209582 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1406/statm: 53353 37463 252 17 0 49994 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 222116

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1403 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=202817
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=51992
# CPU time returned by wait4() is 1.25481
# while last known CPU time is 5000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 4999.91
CPU time (s): 5000
CPU user time (s): 4998.14
CPU system time (s): 1.86
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 730828

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

runsolver used 7.93679 second user time and 15.9346 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-27 13:39:10
IDJOB=3303867
IDBENCH=82392
IDSOLVER=1687
FILE ID=node105/3303867-1303904350
RUNJOBID= node105-1303899346-1183
PBS_JOBID= 13164543
Free space on /tmp= 71956 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303867-1303904350/watcher-3303867-1303904350 -o /tmp/evaluation-result-3303867-1303904350/solver-3303867-1303904350 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303867-1303904350.cnf 

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

MD5SUM BENCH= 28233bedeee44da6e79e63b9febc4d1e
RANDOM SEED=1208644181

node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5410.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15696460 kB
Buffers:       2294048 kB
Cached:       14323672 kB
SwapCached:          0 kB
Active:        8753280 kB
Inactive:      7931496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15696460 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           24832 kB
Writeback:         244 kB
AnonPages:       66656 kB
Mapped:          14712 kB
Slab:           506648 kB
PageTables:       4668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188880 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71876 MiB
End job on node105 at 2011-04-27 15:02:32