Trace number 4112466

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
minisatp 2012-10-02 git-d91742bSAT (TO)1588 1800.02 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
MD5SUM2dad588c047f66368bead690393575a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1567
Best CPU time to get the best result obtained on this benchmark0.004998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1567
Optimality of the best value was proved YES
Number of variables133
Total number of constraints229
Number of constraints which are clauses229
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 constraint1
Maximum length of a constraint31
Number of terms in the objective function 133
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 5699
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 5699
Number of bits of the biggest sum of numbers13
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.00	c Converting 199 PB-constraints to clauses...
0.00/0.00	c   -- Unit propagations: (none)
0.00/0.00	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.00	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................
0.00/0.00	============================[ Search Statistics ]==============================
0.00/0.00	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.00	===============================================================================
0.00/0.00	===============================================================================
0.00/0.00	c Found solution: 1846
0.00/0.00	c ---[   0]---> Sorter-cost:10637     Base: 2 5 2 2
0.49/0.54	|  Eliminated clauses:           0.14 Mb                                      |
0.49/0.54	============================[ Search Statistics ]==============================
0.49/0.54	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.54	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.49/0.54	===============================================================================
0.49/0.54	|       100 |    5807    21908    60758 |     8032       99     56 |  0.282 % |
0.49/0.54	|       250 |    5802    21908    60758 |     8836      248     50 |  0.336 % |
0.49/0.54	|       475 |    5802    21908    60758 |     9719      473     51 |  0.336 % |
0.49/0.54	|       812 |    5802    21908    60758 |    10691      810     48 |  0.336 % |
0.49/0.54	|      1318 |    5802    21908    60758 |    11761     1316     44 |  0.336 % |
0.49/0.54	|      2077 |    5802    21908    60758 |    12937     2075     53 |  0.336 % |
0.49/0.54	|      3216 |    5802    21908    60758 |    14230     3214     61 |  0.336 % |
0.49/0.54	===============================================================================
0.49/0.54	c Found solution: 1789
0.49/0.54	c ---[   0]---> Sorter-cost:    5     Base: 2 5 2 2
0.49/0.59	|  Eliminated clauses:           0.15 Mb                                      |
0.49/0.59	============================[ Search Statistics ]==============================
0.49/0.59	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.59	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.49/0.59	===============================================================================
0.49/0.59	===============================================================================
0.49/0.59	c Found solution: 1780
0.49/0.59	c ---[   0]---> Sorter-cost:    1     Base: 2 5 2 2
0.59/0.62	|  Eliminated clauses:           0.15 Mb                                      |
0.59/0.62	============================[ Search Statistics ]==============================
0.59/0.62	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.62	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.59/0.62	===============================================================================
0.59/0.62	|      4403 |    5799    21828    60543 |     8003     4401     57 |  0.368 % |
0.59/0.62	===============================================================================
0.59/0.62	c Found solution: 1614
0.59/0.62	c ---[   0]---> Sorter-cost:    5     Base: 2 5 2 2
178.46/178.51	|  Eliminated clauses:           0.15 Mb                                      |
178.46/178.51	============================[ Search Statistics ]==============================
178.46/178.51	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
178.46/178.51	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
178.46/178.51	===============================================================================
178.46/178.51	|      4540 |    5837    21995    61332 |     8064     4538     57 |  0.368 % |
178.46/178.51	|      4690 |    5837    21995    61332 |     8871     4688     56 |  0.368 % |
178.46/178.51	|      4915 |    5837    21995    61332 |     9758     4913     55 |  0.368 % |
178.46/178.51	|      5252 |    5837    21995    61332 |    10734     5250     54 |  0.368 % |
178.46/178.51	|      5758 |    5837    21995    61332 |    11807     5756     53 |  0.368 % |
178.46/178.51	|      6517 |    5837    21995    61332 |    12988     6515     51 |  0.368 % |
178.46/178.51	|      7656 |    5837    21995    61332 |    14287     7654     51 |  0.368 % |
178.46/178.51	|      9364 |    5837    21995    61332 |    15716     9362     48 |  0.368 % |
178.46/178.51	|     11926 |    5837    21995    61332 |    17287    11924     48 |  0.368 % |
178.46/178.51	|     15770 |    5837    21995    61332 |    19016    15768     46 |  0.368 % |
178.46/178.51	|     21536 |    5837    21995    61332 |    20918    11713     36 |  0.368 % |
178.46/178.51	|     30185 |    5837    21995    61332 |    23009    20362     36 |  0.368 % |
178.46/178.51	|     43159 |    5835    21995    61332 |    25310    21784     33 |  0.389 % |
178.46/178.51	|     62620 |    5835    21995    61332 |    27841    14962     28 |  0.389 % |
178.46/178.51	|     91812 |    5835    21995    61332 |    30626    15205     26 |  0.389 % |
178.46/178.51	|    135601 |    5835    21995    61332 |    33688    26481     38 |  0.389 % |
178.46/178.51	|    201285 |    5803    21995    61332 |    37057    18389     32 |  0.716 % |
178.46/178.51	|    299811 |    5803    21995    61332 |    40763    32165     31 |  0.716 % |
178.46/178.51	|    447600 |    5803    21995    61332 |    44839    22954     32 |  0.716 % |
178.46/178.51	|    669283 |    5801    21995    61332 |    49323    35699     32 |  0.736 % |
178.46/178.51	|   1001808 |    5801    21995    61332 |    54256    43160     36 |  0.736 % |
178.46/178.51	===============================================================================
178.46/178.51	c Found solution: 1608
178.46/178.51	c ---[   0]---> Sorter-cost:    5     Base: 2 5 2 2
192.36/192.44	|  Eliminated clauses:           0.16 Mb                                      |
192.36/192.44	============================[ Search Statistics ]==============================
192.36/192.44	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.36/192.44	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
192.36/192.44	===============================================================================
192.36/192.44	|   1217719 |    5811    21847    61051 |     8010     7460     26 |  0.783 % |
192.36/192.44	|   1217869 |    5811    21847    61051 |     8811     7610     27 |  0.783 % |
192.36/192.44	|   1218094 |    5811    21847    61051 |     9692     7835     27 |  0.783 % |
192.36/192.44	|   1218431 |    5811    21847    61051 |    10662     8172     27 |  0.783 % |
192.36/192.44	|   1218937 |    5811    21847    61051 |    11728     8678     29 |  0.783 % |
192.36/192.44	|   1219696 |    5811    21847    61051 |    12901     9437     29 |  0.783 % |
192.36/192.44	|   1220835 |    5805    21847    61051 |    14191    10574     29 |  0.843 % |
192.36/192.44	|   1222543 |    5805    21847    61051 |    15610    12282     31 |  0.843 % |
192.36/192.44	|   1225105 |    5805    21847    61051 |    17171    14844     32 |  0.843 % |
192.36/192.44	|   1228949 |    5805    21847    61051 |    18888     9992     30 |  0.843 % |
192.36/192.44	|   1234715 |    5805    21847    61051 |    20777    15758     33 |  0.843 % |
192.36/192.44	|   1243364 |    5805    21847    61051 |    22855    13847     34 |  0.843 % |
192.36/192.44	|   1256338 |    5805    21847    61051 |    25140    15119     33 |  0.843 % |
192.36/192.44	|   1275799 |    5805    21847    61051 |    27654    21917     32 |  0.843 % |
192.36/192.44	|   1304991 |    5805    21847    61051 |    30420    22968     32 |  0.843 % |
192.36/192.44	===============================================================================
192.36/192.44	c Found solution: 1606
192.36/192.45	c ---[   0]---> Sorter-cost:    2     Base: 2 5 2 2
239.05/239.13	|  Eliminated clauses:           0.16 Mb                                      |
239.05/239.13	============================[ Search Statistics ]==============================
239.05/239.13	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
239.05/239.13	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
239.05/239.13	===============================================================================
239.05/239.13	|   1323385 |    5799    21804    60937 |     7994     6314     29 |  0.852 % |
239.05/239.13	|   1323535 |    5799    21804    60937 |     8794     6464     29 |  0.852 % |
239.05/239.13	|   1323760 |    5799    21804    60937 |     9673     6689     29 |  0.852 % |
239.05/239.13	|   1324097 |    5799    21804    60937 |    10641     7026     30 |  0.852 % |
239.05/239.13	|   1324603 |    5799    21804    60937 |    11705     7532     31 |  0.852 % |
239.05/239.13	|   1325362 |    5799    21804    60937 |    12875     8291     31 |  0.852 % |
239.05/239.13	|   1326501 |    5799    21804    60937 |    14163     9430     33 |  0.852 % |
239.05/239.13	|   1328209 |    5799    21804    60937 |    15579    11138     34 |  0.852 % |
239.05/239.13	|   1330771 |    5799    21804    60937 |    17137    13700     37 |  0.852 % |
239.05/239.13	|   1334615 |    5799    21804    60937 |    18851     8815     36 |  0.852 % |
239.05/239.13	|   1340381 |    5799    21804    60937 |    20736    14581     40 |  0.852 % |
239.05/239.13	|   1349030 |    5799    21804    60937 |    22810    12653     33 |  0.852 % |
239.05/239.13	|   1362004 |    5799    21804    60937 |    25091    13670     35 |  0.852 % |
239.05/239.13	|   1381465 |    5799    21804    60937 |    27600    20398     35 |  0.852 % |
239.05/239.13	|   1410657 |    5788    21804    60937 |    30360    21440     34 |  0.963 % |
239.05/239.13	|   1454446 |    5765    21804    60937 |    33396    18493     34 |  1.193 % |
239.05/239.13	|   1520130 |    5765    21804    60937 |    36735    30787     37 |  1.193 % |
239.05/239.13	|   1618656 |    5765    21804    60937 |    40409    17522     34 |  1.193 % |
239.05/239.13	===============================================================================
239.05/239.13	c Found solution: 1597
239.05/239.14	c ---[   0]---> Sorter-cost:    6     Base: 2 5 2 2
481.72/481.82	|  Eliminated clauses:           0.16 Mb                                      |
481.72/481.82	============================[ Search Statistics ]==============================
481.72/481.82	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
481.72/481.82	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
481.72/481.82	===============================================================================
481.72/481.82	|   1652327 |    5753    21652    60617 |     7939     6613     31 |  1.195 % |
481.72/481.82	|   1652477 |    5753    21652    60617 |     8732     6763     31 |  1.196 % |
481.72/481.82	|   1652702 |    5753    21652    60617 |     9606     6988     31 |  1.195 % |
481.72/481.82	|   1653039 |    5753    21652    60617 |    10566     7325     32 |  1.196 % |
481.72/481.82	|   1653545 |    5753    21652    60617 |    11623     7831     34 |  1.196 % |
481.72/481.82	|   1654304 |    5753    21652    60617 |    12785     8590     34 |  1.196 % |
481.72/481.82	|   1655443 |    5753    21652    60617 |    14064     9729     35 |  1.195 % |
481.72/481.82	|   1657151 |    5737    21652    60617 |    15470    11434     34 |  1.355 % |
481.72/481.82	|   1659713 |    5737    21652    60617 |    17018    13996     35 |  1.355 % |
481.72/481.82	|   1663557 |    5736    21652    60617 |    18719     8959     26 |  1.365 % |
481.72/481.82	|   1669323 |    5736    21652    60617 |    20591    14725     31 |  1.365 % |
481.72/481.82	|   1677972 |    5729    21652    60617 |    22651    12922     32 |  1.435 % |
481.72/481.82	|   1690946 |    5729    21652    60617 |    24916    13941     34 |  1.435 % |
481.72/481.82	|   1710407 |    5729    21652    60617 |    27407    20826     34 |  1.435 % |
481.72/481.82	|   1739599 |    5729    21652    60617 |    30148    21927     29 |  1.435 % |
481.72/481.82	|   1783388 |    5729    21652    60617 |    33163    17087     27 |  1.435 % |
481.72/481.82	|   1849072 |    5729    21652    60617 |    36479    27118     33 |  1.435 % |
481.72/481.82	|   1947598 |    5729    21652    60617 |    40127    20492     29 |  1.435 % |
481.72/481.82	|   2095387 |    5729    21652    60617 |    44140    27642     32 |  1.435 % |
481.72/481.82	|   2317070 |    5728    21652    60617 |    48554    26015     31 |  1.445 % |
481.72/481.82	|   2649595 |    5728    21652    60617 |    53410    47523     33 |  1.445 % |
481.72/481.82	|   3148383 |    5728    21652    60617 |    58751    47252     32 |  1.445 % |
481.72/481.82	===============================================================================
481.72/481.82	c Found solution: 1588
481.72/481.82	c ---[   0]---> Sorter-cost:    3     Base: 2 5 2 2
1800.01/1800.30	|  Eliminated clauses:           0.16 Mb                                      |
1800.01/1800.30	============================[ Search Statistics ]==============================
1800.01/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.01/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.01/1800.30	===============================================================================
1800.01/1800.30	|   3345999 |    5717    21508    60207 |     7886     4344     18 |  1.454 % |
1800.01/1800.30	|   3346149 |    5717    21508    60207 |     8674     4494     19 |  1.454 % |
1800.01/1800.30	|   3346374 |    5717    21508    60207 |     9542     4719     20 |  1.454 % |
1800.01/1800.30	|   3346711 |    5717    21508    60207 |    10496     5056     22 |  1.454 % |
1800.01/1800.30	|   3347217 |    5717    21508    60207 |    11546     5562     24 |  1.454 % |
1800.01/1800.30	|   3347976 |    5717    21508    60207 |    12700     6321     26 |  1.454 % |
1800.01/1800.30	|   3349115 |    5717    21508    60207 |    13971     7460     29 |  1.454 % |
1800.01/1800.30	|   3350823 |    5717    21508    60207 |    15368     9168     31 |  1.454 % |
1800.01/1800.30	|   3353385 |    5717    21508    60207 |    16904    11730     33 |  1.454 % |
1800.01/1800.30	|   3357229 |    5717    21508    60207 |    18595    15574     35 |  1.454 % |
1800.01/1800.30	|   3362995 |    5717    21508    60207 |    20454    11483     30 |  1.454 % |
1800.01/1800.30	|   3371644 |    5717    21508    60207 |    22500    20132     34 |  1.454 % |
1800.01/1800.30	|   3384618 |    5717    21508    60207 |    24750    21668     39 |  1.454 % |
1800.01/1800.30	|   3404079 |    5717    21508    60207 |    27225    15711     33 |  1.454 % |
1800.01/1800.30	|   3433271 |    5717    21508    60207 |    29948    16577     20 |  1.454 % |
1800.01/1800.30	|   3477060 |    5717    21508    60207 |    32942    28283     35 |  1.454 % |
1800.01/1800.30	|   3542744 |    5716    21508    60207 |    36237    24524     38 |  1.464 % |
1800.01/1800.30	|   3641270 |    5716    21508    60207 |    39860    20157     29 |  1.464 % |
1800.01/1800.30	|   3789059 |    5712    21508    60207 |    43846    31243     35 |  1.503 % |
1800.01/1800.30	|   4010742 |    5699    21508    60207 |    48231    41064     35 |  1.633 % |
1800.01/1800.30	|   4343267 |    5699    21508    60207 |    53054    44156     41 |  1.633 % |
1800.01/1800.30	|   4842055 |    5685    21508    60207 |    58360    24120     32 |  1.772 % |
1800.01/1800.30	|   5590237 |    5681    21508    60207 |    64196    22305     32 |  1.812 % |
1800.01/1800.30	|   6712511 |    5681    21508    60207 |    70616    61085     34 |  1.812 % |
1800.01/1800.30	|   8395922 |    5681    21508    60207 |    77677    42822     41 |  1.812 % |
1800.01/1800.30	|  10921038 |    5679    21508    60207 |    85445    49526     41 |  1.832 % |
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED ***
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	v -x1 x2 -x3 -x4 x5 -x6 x7 -x8 x9 x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 x49 x50 x51 -x52 x53 x54 -x55 -x56 x57 -x58 -x59 x60 -x61 x62 x63 x64 -x65 x66 -x67 x68 x69 x70 -x71 -x72 x73 x74 x75 -x76 x77 x78 -x79 -x80 x81 x82 x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133

Verifier Data 

OK	1588

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4112466-1466535503/watcher-4112466-1466535503 -o /tmp/evaluation-result-4112466-1466535503/solver-4112466-1466535503 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466515277-21330 --watchdog 1960 minisatp HOME/instance-4112466-1466535503.opb 

pid=24559
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.15 2.13 2.09 3/176 24562
/proc/meminfo: memFree=30890080/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=6364 CPUtime=0 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 55595905 6516736 230 33554432000 4194304 5646918 140735767115936 140736441541464 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 1591 233 126 355 0 1232 0

[startup+0.10016 s]
/proc/loadavg: 2.15 2.13 2.09 3/176 24562
/proc/meminfo: memFree=30890080/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=7472 CPUtime=0.09 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 1845 0 0 0 9 0 0 0 20 0 1 0 55595905 7651328 1454 33554432000 4194304 5646918 140735767115936 140736441541464 4399243 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 1868 1454 151 355 0 1509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7472

[startup+0.200323 s]
/proc/loadavg: 2.15 2.13 2.09 3/176 24562
/proc/meminfo: memFree=30890080/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=7860 CPUtime=0.19 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 1900 0 0 0 19 0 0 0 20 0 1 0 55595905 8048640 1506 33554432000 4194304 5646918 140735767115936 140736441541464 4416553 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 1965 1506 154 355 0 1606 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7860

[startup+0.300261 s]
/proc/loadavg: 2.15 2.13 2.09 3/176 24562
/proc/meminfo: memFree=30890080/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=7860 CPUtime=0.29 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 1960 0 0 0 29 0 0 0 20 0 1 0 55595905 8048640 1566 33554432000 4194304 5646918 140735767115936 140736441541464 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 1965 1566 154 355 0 1606 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7860

[startup+0.700259 s]
/proc/loadavg: 2.15 2.13 2.09 3/176 24562
/proc/meminfo: memFree=30890080/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=8820 CPUtime=0.69 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 2242 0 0 0 69 0 0 0 20 0 1 0 55595905 9031680 1844 33554432000 4194304 5646918 140735767115936 140735767114600 4403771 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 2205 1844 155 355 0 1846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8820

[startup+1.50021 s]
/proc/loadavg: 2.15 2.13 2.09 3/177 24563
/proc/meminfo: memFree=30876288/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=11524 CPUtime=1.49 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 2559 0 0 0 149 0 0 0 20 0 1 0 55595905 11800576 2151 33554432000 4194304 5646918 140735767115936 140735767114600 4397744 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 2881 2151 155 355 0 2522 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11524

[startup+3.10024 s]
/proc/loadavg: 2.14 2.12 2.09 3/177 24563
/proc/meminfo: memFree=30870208/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=10408 CPUtime=3.09 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 3620 0 0 0 309 0 0 0 20 0 1 0 55595905 10657792 2203 33554432000 4194304 5646918 140735767115936 140735767114184 4893163 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 2602 2203 155 355 0 2243 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10408

[startup+6.30029 s]
/proc/loadavg: 2.14 2.12 2.09 3/177 24563
/proc/meminfo: memFree=30847888/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=17656 CPUtime=6.29 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 4342 0 0 0 629 0 0 0 20 0 1 0 55595905 18079744 3936 33554432000 4194304 5646918 140735767115936 140735767114200 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 4414 3936 155 355 0 4055 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17656

[startup+12.7003 s]
/proc/loadavg: 2.13 2.12 2.09 3/177 24563
/proc/meminfo: memFree=30816428/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=17656 CPUtime=12.68 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 4411 0 0 0 1268 0 0 0 20 0 1 0 55595905 18079744 4004 33554432000 4194304 5646918 140735767115936 140735767114200 4403416 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 4414 4004 155 355 0 4055 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17656

[startup+25.5003 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 24563
/proc/meminfo: memFree=30758832/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=22280 CPUtime=25.49 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 6291 0 0 0 2548 1 0 0 20 0 1 0 55595905 22814720 5027 33554432000 4194304 5646918 140735767115936 140735767114184 4402815 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 5570 5027 155 355 0 5211 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22280

[startup+51.1003 s]
/proc/loadavg: 2.21 2.14 2.10 3/177 24563
/proc/meminfo: memFree=31273788/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=24984 CPUtime=51.08 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 7106 0 0 0 5107 1 0 0 20 0 1 0 55595905 25583616 5838 33554432000 4194304 5646918 140735767115936 140735767114200 4403091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 6246 5838 155 355 0 5887 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24984

[startup+102.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/178 24567
/proc/meminfo: memFree=31109476/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=38208 CPUtime=102.28 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 7903 0 0 0 10226 2 0 0 20 0 1 0 55595905 39124992 6958 33554432000 4194304 5646918 140735767115936 140735767114184 4402811 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 9552 6958 155 355 0 9193 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 38208

[startup+162.3 s]
/proc/loadavg: 2.10 2.12 2.09 4/178 24592
/proc/meminfo: memFree=30954144/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=38208 CPUtime=162.27 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 8110 0 0 0 16225 2 0 0 20 0 1 0 55595905 39124992 9205 33554432000 4194304 5646918 140735767115936 140735767114184 4402815 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 9552 9205 155 355 0 9193 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 38208

[startup+222.307 s]
/proc/loadavg: 2.19 2.12 2.09 3/177 24593
/proc/meminfo: memFree=30777856/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=38236 CPUtime=222.26 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 9230 0 0 0 22224 2 0 0 20 0 1 0 55595905 39153664 9216 33554432000 4194304 5646918 140735767115936 140735767114216 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 9559 9216 156 355 0 9200 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 38236

[startup+282.3 s]
/proc/loadavg: 2.19 2.13 2.10 3/177 24594
/proc/meminfo: memFree=31101124/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=38236 CPUtime=282.24 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 9236 0 0 0 28222 2 0 0 20 0 1 0 55595905 39153664 9222 33554432000 4194304 5646918 140735767115936 140735767114216 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 9559 9222 157 355 0 9200 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 38236

[startup+342.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/177 24595
/proc/meminfo: memFree=30911900/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=45460 CPUtime=342.24 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 9978 0 0 0 34221 3 0 0 20 0 1 0 55595905 46551040 10980 33554432000 4194304 5646918 140735767115936 140735767114184 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 11365 10980 157 355 0 11006 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 45460

[startup+402.3 s]
/proc/loadavg: 2.21 2.14 2.10 3/177 24596
/proc/meminfo: memFree=31117428/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=56952 CPUtime=402.23 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 10089 0 0 0 40220 3 0 0 20 0 1 0 55595905 58318848 11601 33554432000 4194304 5646918 140735767115936 140735767114184 4388947 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 14238 11601 157 355 0 13879 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 56952

[startup+462.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/177 24598
/proc/meminfo: memFree=30919672/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=45484 CPUtime=462.21 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 11604 0 0 0 46218 3 0 0 20 0 1 0 55595905 46575616 11056 33554432000 4194304 5646918 140735767115936 140735767114184 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 11371 11056 157 355 0 11012 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 45484

[startup+522.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/177 24710
/proc/meminfo: memFree=31410096/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=45484 CPUtime=522.2 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 11605 0 0 0 52217 3 0 0 20 0 1 0 55595905 46575616 11057 33554432000 4194304 5646918 140735767115936 140735767114216 4403124 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 11371 11057 157 355 0 11012 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 45484

[startup+582.3 s]
/proc/loadavg: 2.21 2.15 2.10 3/177 24711
/proc/meminfo: memFree=31380024/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=45484 CPUtime=582.19 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 11605 0 0 0 58216 3 0 0 20 0 1 0 55595905 46575616 11057 33554432000 4194304 5646918 140735767115936 140735767114216 4402650 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 11371 11057 157 355 0 11012 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 45484


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


[startup+942.3 s]
/proc/loadavg: 2.22 2.14 2.10 3/177 24721
/proc/meminfo: memFree=31361244/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=50264 CPUtime=942.14 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 11757 0 0 0 94211 3 0 0 20 0 1 0 55595905 51470336 12228 33554432000 4194304 5646918 140735767115936 140735767114184 4398070 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 12566 12228 157 355 0 12207 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 50264

[startup+1002.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/177 24722
/proc/meminfo: memFree=31344564/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1002.14 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12722 0 0 0 100210 4 0 0 20 0 1 0 55595905 70594560 13764 33554432000 4194304 5646918 140735767115936 140735767114184 4403424 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 13764 157 355 0 16876 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 68940

[startup+1062.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/177 24724
/proc/meminfo: memFree=31330348/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1062.13 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12722 0 0 0 106209 4 0 0 20 0 1 0 55595905 70594560 13764 33554432000 4194304 5646918 140735767115936 140735767114184 4403225 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 13764 157 355 0 16876 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 68940

[startup+1122.3 s]
/proc/loadavg: 2.17 2.14 2.09 3/177 24725
/proc/meminfo: memFree=31331860/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1122.12 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12722 0 0 0 112208 4 0 0 20 0 1 0 55595905 70594560 13764 33554432000 4194304 5646918 140735767115936 140735767114184 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 13764 157 355 0 16876 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 68940

[startup+1182.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/177 24726
/proc/meminfo: memFree=31327692/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1182.11 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12722 0 0 0 118207 4 0 0 20 0 1 0 55595905 70594560 13764 33554432000 4194304 5646918 140735767115936 140735767114184 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 13764 157 355 0 16876 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 68940

[startup+1242.3 s]
/proc/loadavg: 2.22 2.15 2.10 3/177 24727
/proc/meminfo: memFree=31304192/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1242.1 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12813 0 0 0 124206 4 0 0 20 0 1 0 55595905 70594560 16409 33554432000 4194304 5646918 140735767115936 140735767114184 4397968 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 16409 157 355 0 16876 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 68940

[startup+1302.3 s]
/proc/loadavg: 2.25 2.16 2.10 3/178 24731
/proc/meminfo: memFree=31203880/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1302.09 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12813 0 0 0 130205 4 0 0 20 0 1 0 55595905 70594560 16409 33554432000 4194304 5646918 140735767115936 140735767114184 4402827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 16409 157 355 0 16876 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 68940

[startup+1362.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/177 24733
/proc/meminfo: memFree=31244656/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1362.08 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12839 0 0 0 136204 4 0 0 20 0 1 0 55595905 70594560 16433 33554432000 4194304 5646918 140735767115936 140735767114184 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 16433 157 355 0 16876 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 68940

[startup+1422.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/177 24734
/proc/meminfo: memFree=31300500/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1422.08 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12840 0 0 0 142204 4 0 0 20 0 1 0 55595905 70594560 16945 33554432000 4194304 5646918 140735767115936 140735767114184 4403047 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 16945 157 355 0 16876 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 68940

[startup+1482.3 s]
/proc/loadavg: 2.14 2.16 2.10 3/177 24735
/proc/meminfo: memFree=31320948/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1482.06 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12840 0 0 0 148202 4 0 0 20 0 1 0 55595905 70594560 16945 33554432000 4194304 5646918 140735767115936 140735767114184 4402815 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 16945 157 355 0 16876 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 68940

[startup+1542.31 s]
/proc/loadavg: 2.05 2.12 2.09 3/177 24736
/proc/meminfo: memFree=31332980/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1542.06 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12840 0 0 0 154202 4 0 0 20 0 1 0 55595905 70594560 16945 33554432000 4194304 5646918 140735767115936 140735767114184 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 16945 157 355 0 16876 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 68940

[startup+1602.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/177 24737
/proc/meminfo: memFree=31244432/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=68940 CPUtime=1602.04 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 12840 0 0 0 160200 4 0 0 20 0 1 0 55595905 70594560 16945 33554432000 4194304 5646918 140735767115936 140735767114184 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 17235 16945 157 355 0 16876 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 68940

[startup+1662.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/177 24739
/proc/meminfo: memFree=31215600/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=77192 CPUtime=1662.03 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 13248 0 0 0 166199 4 0 0 20 0 1 0 55595905 79044608 18372 33554432000 4194304 5646918 140735767115936 140735767114184 4402751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 19298 18372 157 355 0 18939 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 77192

[startup+1722.3 s]
/proc/loadavg: 2.12 2.11 2.09 4/177 24740
/proc/meminfo: memFree=31270028/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=77192 CPUtime=1722.02 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 13248 0 0 0 172198 4 0 0 20 0 1 0 55595905 79044608 18372 33554432000 4194304 5646918 140735767115936 140735767114184 4403544 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 19298 18372 157 355 0 18939 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 77192

[startup+1782.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/177 24741
/proc/meminfo: memFree=31294492/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=77192 CPUtime=1782.01 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 13248 0 0 0 178197 4 0 0 20 0 1 0 55595905 79044608 18372 33554432000 4194304 5646918 140735767115936 140735767114184 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 19298 18372 157 355 0 18939 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 77192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/177 24742
/proc/meminfo: memFree=31271596/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=77192 CPUtime=1800.01 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 13248 0 0 0 179997 4 0 0 20 0 1 0 55595905 79044608 18372 33554432000 4194304 5646918 140735767115936 140735767114184 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 19298 18372 157 355 0 18939 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 77192

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24562 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/177 24742
/proc/meminfo: memFree=31271596/32872528 swapFree=534252/566956
[pid=24562] ppid=24559 vsize=77192 CPUtime=1800.01 cores=1,3,5,7
/proc/24562/stat : 24562 (minisatp) R 24559 24562 21313 0 -1 4202496 13248 0 0 0 179997 4 0 0 20 0 1 0 55595905 79044608 18372 33554432000 4194304 5646918 140735767115936 140735767114184 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/24562/statm: 19298 18372 157 355 0 18939 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 77192

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.97
CPU system time (s): 0.048992
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 77192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.048992
maximum resident set size= 73488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13248
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= 10
involuntary context switches= 1981

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49732 second user time and 6.96294 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-21 20:58:23
IDJOB=4112466
IDBENCH=2023
IDSOLVER=2555
FILE ID=node138/4112466-1466535503
RUNJOBID= node138-1466515277-21330
PBS_JOBID= 19942888
Free space on /tmp= 71724 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112466-1466535503/watcher-4112466-1466535503 -o /tmp/evaluation-result-4112466-1466535503/solver-4112466-1466535503 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466515277-21330 --watchdog 1960  minisatp HOME/instance-4112466-1466535503.opb

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

MD5SUM BENCH= 2dad588c047f66368bead690393575a4
RANDOM SEED=689724034

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30890872 kB
Buffers:           14428 kB
Cached:            60232 kB
SwapCached:         2544 kB
Active:           641988 kB
Inactive:          52440 kB
Active(anon):     618164 kB
Inactive(anon):     4196 kB
Active(file):      23824 kB
Inactive(file):    48244 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099020 kB
Dirty:              3908 kB
Writeback:             0 kB
AnonPages:       1198416 kB
Mapped:             9352 kB
Shmem:                 0 kB
Slab:             573192 kB
SReclaimable:      16712 kB
SUnreclaim:       556480 kB
KernelStack:        1440 kB
PageTables:         6568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1360768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    299008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4112466-1466535503.opb

Free space on /tmp at the end= 71720 MiB
End job on node138 at 2016-06-21 21:28:23