Trace number 4114904

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)116 1800.01 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-mlp4.r.opb
MD5SUMc216dcb87e9001dad9e1252e03860f2a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark109
Best CPU time to get the best result obtained on this benchmark0.032994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 109
Optimality of the best value was proved YES
Number of variables594
Total number of constraints530
Number of constraints which are clauses530
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint18
Number of terms in the objective function 594
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 594
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 594
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.01	c Converting 530 PB-constraints to clauses...
0.00/0.01	c   -- Unit propagations: (none)
0.00/0.01	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.01	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.01	============================[ Search Statistics ]==============================
0.00/0.01	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.01	===============================================================================
0.00/0.01	===============================================================================
0.00/0.01	c Found solution: 136
0.00/0.01	c ---[   0]---> Sorter-cost:26752     Base:
0.19/0.24	|  Eliminated clauses:           0.33 Mb                                      |
0.19/0.24	============================[ Search Statistics ]==============================
0.19/0.24	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.24	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.19/0.24	===============================================================================
0.19/0.24	|       100 |   10987    23092    97104 |     8467       91      7 |  0.494 % |
0.19/0.24	|       250 |   10969    23092    97104 |     9313      237     13 |  0.578 % |
0.19/0.24	|       475 |   10941    23092    97104 |    10245      460     21 |  0.710 % |
0.19/0.24	===============================================================================
0.19/0.24	c Found solution: 127
0.19/0.24	c ---[   0]---> Sorter-cost:    0     Base:
0.89/0.98	|  Eliminated clauses:           0.34 Mb                                      |
0.89/0.98	============================[ Search Statistics ]==============================
0.89/0.98	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.98	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.89/0.98	===============================================================================
0.89/0.98	|       895 |   10932    22848    96413 |     8377      877     22 |  0.780 % |
0.89/0.98	|      1045 |   10932    22848    96413 |     9215     1027     22 |  0.780 % |
0.89/0.98	|      1270 |   10920    22848    96413 |    10136     1247     22 |  0.835 % |
0.89/0.98	|      1607 |   10920    22848    96413 |    11150     1584     25 |  0.835 % |
0.89/0.98	|      2113 |   10912    22848    96413 |    12265     2088     28 |  0.872 % |
0.89/0.98	|      2872 |   10912    22848    96413 |    13492     2847     29 |  0.872 % |
0.89/0.98	|      4011 |   10912    22848    96413 |    14841     3986     42 |  0.872 % |
0.89/0.98	|      5719 |   10912    22848    96413 |    16325     5694     44 |  0.872 % |
0.89/0.98	|      8281 |   10888    22848    96413 |    17958     8251     52 |  0.983 % |
0.89/0.98	===============================================================================
0.89/0.98	c Found solution: 122
0.89/0.99	c ---[   0]---> Sorter-cost:    0     Base:
114.37/114.50	|  Eliminated clauses:           0.35 Mb                                      |
114.37/114.50	============================[ Search Statistics ]==============================
114.37/114.50	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
114.37/114.50	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
114.37/114.50	===============================================================================
114.37/114.50	|      9705 |   10745    22456    94253 |     8233     4887     54 |  1.167 % |
114.37/114.50	|      9855 |   10745    22456    94253 |     9057     5037     53 |  1.167 % |
114.37/114.50	|     10080 |   10745    22456    94253 |     9962     5244     53 |  1.167 % |
114.37/114.50	|     10417 |   10745    22456    94253 |    10959     5581     51 |  1.167 % |
114.37/114.50	|     10923 |   10745    22456    94253 |    12055     6087     50 |  1.167 % |
114.37/114.50	|     11682 |   10745    22456    94253 |    13260     6846     49 |  1.167 % |
114.37/114.50	|     12821 |   10745    22456    94253 |    14586     7985     60 |  1.167 % |
114.37/114.50	|     14529 |   10738    22456    94253 |    16045     9692     56 |  1.199 % |
114.37/114.50	|     17091 |   10738    22456    94253 |    17650    12254     60 |  1.199 % |
114.37/114.50	|     20935 |   10738    22456    94253 |    19415    16098     62 |  1.199 % |
114.37/114.50	|     26701 |   10738    22456    94253 |    21356    11458     60 |  1.199 % |
114.37/114.50	|     35350 |   10731    22456    94253 |    23492    20106     65 |  1.231 % |
114.37/114.50	|     48324 |   10718    22456    94253 |    25841    21059     62 |  1.291 % |
114.37/114.50	|     67785 |   10718    22456    94253 |    28425    26013     69 |  1.291 % |
114.37/114.50	|     96977 |   10718    22456    94253 |    31268    24709     71 |  1.291 % |
114.37/114.50	|    140766 |   10717    22456    94253 |    34394    28926     58 |  1.296 % |
114.37/114.50	|    206450 |   10703    22456    94253 |    37834    33651     78 |  1.360 % |
114.37/114.50	|    304976 |   10695    22456    94253 |    41617    29881     75 |  1.396 % |
114.37/114.50	|    452765 |   10695    22456    94253 |    45779    41629     87 |  1.396 % |
114.37/114.50	|    674448 |   10695    22456    94253 |    50357    30754     72 |  1.396 % |
114.37/114.50	===============================================================================
114.37/114.50	c Found solution: 119
114.37/114.50	c ---[   0]---> Sorter-cost:    0     Base:
303.85/303.95	|  Eliminated clauses:           0.35 Mb                                      |
303.85/303.95	============================[ Search Statistics ]==============================
303.85/303.95	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
303.85/303.95	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
303.85/303.95	===============================================================================
303.85/303.95	|    863191 |   10689    22346    93750 |     8193     7111     50 |  1.492 % |
303.85/303.95	|    863341 |   10689    22346    93750 |     9012     7261     49 |  1.492 % |
303.85/303.95	|    863566 |   10689    22346    93750 |     9914     7486     48 |  1.492 % |
303.85/303.95	|    863903 |   10689    22346    93750 |    10905     7823     48 |  1.492 % |
303.85/303.95	|    864409 |   10689    22346    93750 |    11996     8329     48 |  1.492 % |
303.85/303.95	|    865168 |   10689    22346    93750 |    13195     9088     47 |  1.492 % |
303.85/303.95	|    866307 |   10689    22346    93750 |    14515    10227     49 |  1.492 % |
303.85/303.95	|    868015 |   10689    22346    93750 |    15966    11935     49 |  1.492 % |
303.85/303.95	|    870577 |   10689    22346    93750 |    17563    14497     52 |  1.492 % |
303.85/303.95	|    874421 |   10689    22346    93750 |    19319     9221     46 |  1.492 % |
303.85/303.95	|    880187 |   10689    22346    93750 |    21251    14987     51 |  1.492 % |
303.85/303.95	|    888836 |   10689    22346    93750 |    23377    12813     49 |  1.492 % |
303.85/303.95	|    901810 |   10689    22346    93750 |    25714    13164     56 |  1.492 % |
303.85/303.95	|    921271 |   10689    22346    93750 |    28286    18956     65 |  1.492 % |
303.85/303.95	|    950463 |   10689    22346    93750 |    31114    18296     73 |  1.492 % |
303.85/303.95	|    994252 |   10689    22346    93750 |    34226    23004     55 |  1.492 % |
303.85/303.95	|   1059936 |   10689    22346    93750 |    37649    21919     82 |  1.492 % |
303.85/303.95	|   1158462 |   10689    22346    93750 |    41413    21295     72 |  1.492 % |
303.85/303.95	|   1306251 |   10689    22346    93750 |    45555    27440    123 |  1.492 % |
303.85/303.95	|   1527934 |   10689    22346    93750 |    50110    19985     57 |  1.492 % |
303.85/303.95	|   1860459 |   10678    22346    93750 |    55121    19200    121 |  1.541 % |
303.85/303.95	===============================================================================
303.85/303.95	c Found solution: 118
303.85/303.96	c ---[   0]---> Sorter-cost:    0     Base:
384.04/384.10	|  Eliminated clauses:           0.35 Mb                                      |
384.04/384.10	============================[ Search Statistics ]==============================
384.04/384.10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
384.04/384.10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
384.04/384.10	===============================================================================
384.04/384.10	|   2299365 |   10638    22233    93128 |     8152     7848     37 |  1.594 % |
384.04/384.10	|   2299515 |   10638    22233    93128 |     8967     7998     37 |  1.594 % |
384.04/384.10	|   2299740 |   10638    22233    93128 |     9864     8223     38 |  1.594 % |
384.04/384.10	|   2300077 |   10638    22233    93128 |    10850     8560     38 |  1.594 % |
384.04/384.10	|   2300583 |   10638    22233    93128 |    11935     9066     39 |  1.594 % |
384.04/384.10	|   2301342 |   10638    22233    93128 |    13129     9825     39 |  1.594 % |
384.04/384.10	|   2302481 |   10638    22233    93128 |    14441    10964     41 |  1.594 % |
384.04/384.10	|   2304189 |   10638    22233    93128 |    15886    12672     42 |  1.594 % |
384.04/384.10	|   2306751 |   10638    22233    93128 |    17474    15234     47 |  1.594 % |
384.04/384.10	|   2310595 |   10638    22233    93128 |    19222     9996     50 |  1.594 % |
384.04/384.10	|   2316361 |   10638    22233    93128 |    21144    15762     54 |  1.594 % |
384.04/384.10	|   2325010 |   10638    22233    93128 |    23258    13654     63 |  1.594 % |
384.04/384.10	|   2337984 |   10638    22233    93128 |    25584    13428     60 |  1.594 % |
384.04/384.10	|   2357445 |   10638    22233    93128 |    28143    19880     60 |  1.594 % |
384.04/384.10	|   2386637 |   10638    22233    93128 |    30957    18237     73 |  1.594 % |
384.04/384.10	|   2430426 |   10638    22233    93128 |    34053    22699     56 |  1.594 % |
384.04/384.10	|   2496110 |   10638    22233    93128 |    37458    18178     80 |  1.594 % |
384.04/384.10	|   2594636 |   10638    22233    93128 |    41204    15674     62 |  1.594 % |
384.04/384.10	|   2742425 |   10638    22233    93128 |    45325    20193    112 |  1.594 % |
384.04/384.10	===============================================================================
384.04/384.10	c Found solution: 116
384.04/384.10	c ---[   0]---> Sorter-cost:    0     Base:
1800.00/1800.30	|  Eliminated clauses:           0.36 Mb                                      |
1800.00/1800.30	============================[ Search Statistics ]==============================
1800.00/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.00/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.00/1800.30	===============================================================================
1800.00/1800.30	|   2894193 |   10637    22240    93133 |     8154     7828     61 |  1.630 % |
1800.00/1800.30	|   2894343 |   10637    22240    93133 |     8970     7978     60 |  1.630 % |
1800.00/1800.30	|   2894568 |   10637    22240    93133 |     9867     8203     60 |  1.630 % |
1800.00/1800.30	|   2894905 |   10637    22240    93133 |    10853     8540     60 |  1.630 % |
1800.00/1800.30	|   2895411 |   10637    22240    93133 |    11939     9046     60 |  1.630 % |
1800.00/1800.30	|   2896170 |   10637    22240    93133 |    13133     9805     58 |  1.630 % |
1800.00/1800.30	|   2897309 |   10637    22240    93133 |    14446    10944     58 |  1.630 % |
1800.00/1800.30	|   2899017 |   10637    22240    93133 |    15891    12652     56 |  1.630 % |
1800.00/1800.30	|   2901579 |   10637    22240    93133 |    17480    15214     59 |  1.630 % |
1800.00/1800.30	|   2905423 |   10637    22240    93133 |    19228     9981     49 |  1.630 % |
1800.00/1800.30	|   2911189 |   10637    22240    93133 |    21151    15747     52 |  1.630 % |
1800.00/1800.30	|   2919838 |   10637    22240    93133 |    23266    13593     57 |  1.630 % |
1800.00/1800.30	|   2932812 |   10637    22240    93133 |    25592    13398     61 |  1.630 % |
1800.00/1800.30	|   2952273 |   10637    22240    93133 |    28152    19860     60 |  1.630 % |
1800.00/1800.30	|   2981465 |   10637    22240    93133 |    30967    18380     68 |  1.630 % |
1800.00/1800.30	|   3025254 |   10637    22240    93133 |    34064    22702     54 |  1.630 % |
1800.00/1800.30	|   3090938 |   10637    22240    93133 |    37470    22862     74 |  1.630 % |
1800.00/1800.30	|   3189464 |   10637    22240    93133 |    41217    25004     63 |  1.630 % |
1800.00/1800.30	|   3337253 |   10637    22240    93133 |    45339    35157     97 |  1.630 % |
1800.00/1800.30	|   3558936 |   10637    22240    93133 |    49873    29528     59 |  1.630 % |
1800.00/1800.30	|   3891461 |   10637    22240    93133 |    54860    35321    129 |  1.630 % |
1800.00/1800.30	|   4390249 |   10637    22240    93133 |    60346    28262     56 |  1.630 % |
1800.00/1800.30	|   5138431 |   10637    22240    93133 |    66381    34477    137 |  1.630 % |
1800.00/1800.30	|   6260705 |   10637    22240    93133 |    73019    65547     60 |  1.630 % |
1800.00/1800.30	|   7944116 |   10637    22240    93133 |    80321    33654    100 |  1.630 % |
1800.00/1800.30	|  10469232 |   10633    22240    93133 |    88353    56802    147 |  1.648 % |
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED ***
1800.00/1800.30	s SATISFIABLE
1800.00/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 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 x203 x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 x270 x271 x272 -x273 -x274 -x275 -x276 x277 x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 x310 x311 -x312 -x313 x314 -x315 -x316 -x317 x318 -x319 x320 -x321 x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 x341 x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 x351 x352 -x353 -x354 x355 -x356 -x357 -x358 x359 x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 x375 -x376 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 x392 x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 x410 x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 x431 -x432 -x433 x434 -x435 -x436 x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 x500 -x501 -x502 x503 x504 x505 -x506 -x507 -x508 -x509 x510 x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 x591 -x592 x593 -x594

Verifier Data 

OK	116

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-4114904-1466556908/watcher-4114904-1466556908 -o /tmp/evaluation-result-4114904-1466556908/solver-4114904-1466556908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466551504-32680 --watchdog 1960 minisatp HOME/instance-4114904-1466556908.opb 

pid=696
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.27 2.22 2.18 4/176 699
/proc/meminfo: memFree=29718648/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=6492 CPUtime=0 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 57737497 6647808 198 33554432000 4194304 5646918 140737179545904 140733408755736 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 1623 198 94 355 0 1264 0

[startup+0.100161 s]
/proc/loadavg: 2.27 2.22 2.18 4/176 699
/proc/meminfo: memFree=29718648/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=6360 CPUtime=0.09 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 1412 0 0 0 9 0 0 0 20 0 1 0 57737497 6512640 1274 33554432000 4194304 5646918 140737179545904 140733408755736 4388221 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 1590 1275 137 355 0 1231 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6360

[startup+0.200335 s]
/proc/loadavg: 2.27 2.22 2.18 4/176 699
/proc/meminfo: memFree=29718648/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=13244 CPUtime=0.19 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 3130 0 0 0 19 0 0 0 20 0 1 0 57737497 13561856 2958 33554432000 4194304 5646918 140737179545904 140733408755736 4402774 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 3311 2958 154 355 0 2952 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13244

[startup+0.300327 s]
/proc/loadavg: 2.27 2.22 2.18 4/176 699
/proc/meminfo: memFree=29718648/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=13244 CPUtime=0.29 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 3141 0 0 0 29 0 0 0 20 0 1 0 57737497 13561856 2969 33554432000 4194304 5646918 140737179545904 140733408755736 4817373 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 3311 2969 154 355 0 2952 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13244

[startup+0.700188 s]
/proc/loadavg: 2.27 2.22 2.18 4/176 699
/proc/meminfo: memFree=29718648/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=13244 CPUtime=0.69 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 3159 0 0 0 69 0 0 0 20 0 1 0 57737497 13561856 2987 33554432000 4194304 5646918 140737179545904 140733408755736 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 3311 2987 156 355 0 2952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13244

[startup+1.50023 s]
/proc/loadavg: 2.17 2.19 2.18 3/171 735
/proc/meminfo: memFree=30294500/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=20340 CPUtime=1.49 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 3475 0 0 0 149 0 0 0 20 0 1 0 57737497 20828160 4322 33554432000 4194304 5646918 140737179545904 140737179544152 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 5085 4322 158 355 0 4726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20340

[startup+3.10023 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 757
/proc/meminfo: memFree=30260716/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=24732 CPUtime=3.08 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 4460 0 0 0 308 0 0 0 20 0 1 0 57737497 25325568 5809 33554432000 4194304 5646918 140737179545904 140737179543864 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 6183 5809 158 355 0 5824 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24732

[startup+6.30027 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 757
/proc/meminfo: memFree=30257840/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=27716 CPUtime=6.29 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 6809 0 0 0 628 1 0 0 20 0 1 0 57737497 28381184 6220 33554432000 4194304 5646918 140737179545904 140737179544200 4398791 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 6929 6220 158 355 0 6570 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27716

[startup+12.7002 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 757
/proc/meminfo: memFree=30212736/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=46392 CPUtime=12.68 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 8087 0 0 0 1267 1 0 0 20 0 1 0 57737497 47505408 10040 33554432000 4194304 5646918 140737179545904 140737179544152 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 11598 10040 158 355 0 11239 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46392

[startup+25.5004 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 757
/proc/meminfo: memFree=30193112/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=39208 CPUtime=25.49 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 8946 0 0 0 2547 2 0 0 20 0 1 0 57737497 40148992 8784 33554432000 4194304 5646918 140737179545904 140737179544152 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 9802 8784 158 355 0 9443 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39208

[startup+51.1003 s]
/proc/loadavg: 2.19 2.19 2.18 4/177 757
/proc/meminfo: memFree=30163112/32872528 swapFree=1543500/1696800
[pid=699] ppid=696 vsize=50808 CPUtime=51.08 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 10383 0 0 0 5105 3 0 0 20 0 1 0 57737497 52027392 11863 33554432000 4194304 5646918 140737179545904 140737179544152 4402827 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 12702 11863 158 355 0 12343 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50808

[startup+102.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 758
/proc/meminfo: memFree=30104128/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=82116 CPUtime=102.27 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 12368 0 0 0 10223 4 0 0 20 0 1 0 57737497 84086784 19690 33554432000 4194304 5646918 140737179545904 140737179544152 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 20529 19690 158 355 0 20170 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 82116

[startup+162.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/177 759
/proc/meminfo: memFree=30091804/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=82116 CPUtime=162.26 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 12377 0 0 0 16222 4 0 0 20 0 1 0 57737497 84086784 20210 33554432000 4194304 5646918 140737179545904 140737179544184 4402827 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 20529 20210 158 355 0 20170 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 82116

[startup+222.307 s]
/proc/loadavg: 2.14 2.18 2.18 3/177 760
/proc/meminfo: memFree=30058280/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=82116 CPUtime=222.26 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 12377 0 0 0 22222 4 0 0 20 0 1 0 57737497 84086784 20210 33554432000 4194304 5646918 140737179545904 140737179544184 4403544 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 20529 20210 158 355 0 20170 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 82116

[startup+282.3 s]
/proc/loadavg: 2.30 2.20 2.19 3/177 761
/proc/meminfo: memFree=29999560/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=94432 CPUtime=282.25 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 12743 0 0 0 28220 5 0 0 20 0 1 0 57737497 96698368 22615 33554432000 4194304 5646918 140737179545904 140737179544152 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 23608 22615 158 355 0 23249 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 94432

[startup+342.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/178 766
/proc/meminfo: memFree=30066044/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=94432 CPUtime=342.24 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 12743 0 0 0 34219 5 0 0 20 0 1 0 57737497 96698368 22615 33554432000 4194304 5646918 140737179545904 140737179544184 4403116 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 23608 22615 158 355 0 23249 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 94432

[startup+402.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/179 790
/proc/meminfo: memFree=30063796/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=94432 CPUtime=402.23 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 12746 0 0 0 40218 5 0 0 20 0 1 0 57737497 96698368 23129 33554432000 4194304 5646918 140737179545904 140737179544184 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 23608 23129 158 355 0 23249 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 94432

[startup+462.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/178 791
/proc/meminfo: memFree=30063492/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=94432 CPUtime=462.22 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 12754 0 0 0 46217 5 0 0 20 0 1 0 57737497 96698368 23129 33554432000 4194304 5646918 140737179545904 140737179544184 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 23608 23129 158 355 0 23249 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 94432

[startup+522.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/178 792
/proc/meminfo: memFree=30051040/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=94432 CPUtime=522.21 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 12754 0 0 0 52216 5 0 0 20 0 1 0 57737497 96698368 23129 33554432000 4194304 5646918 140737179545904 140737179544184 4402778 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 23608 23129 158 355 0 23249 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 94432

[startup+582.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/178 793
/proc/meminfo: memFree=29948020/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=94432 CPUtime=582.2 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 13090 0 0 0 58215 5 0 0 20 0 1 0 57737497 96698368 23291 33554432000 4194304 5646918 140737179545904 140737179544616 4402896 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 23608 23291 158 355 0 23249 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 94432


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


[startup+942.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/179 805
/proc/meminfo: memFree=29916008/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=101804 CPUtime=942.14 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 15769 0 0 0 94203 11 0 0 20 0 1 0 57737497 104247296 25060 33554432000 4194304 5646918 140737179545904 140737179544168 4402642 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 25451 25060 158 355 0 25092 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 101804

[startup+1002.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/178 806
/proc/meminfo: memFree=29805504/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=113564 CPUtime=1002.13 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 16411 0 0 0 100201 12 0 0 20 0 1 0 57737497 116289536 28074 33554432000 4194304 5646918 140737179545904 140737179544616 4388936 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 28391 28074 158 355 0 28032 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 113564

[startup+1062.3 s]
/proc/loadavg: 2.31 2.22 2.19 4/178 807
/proc/meminfo: memFree=29891528/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=113564 CPUtime=1062.12 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 16411 0 0 0 106200 12 0 0 20 0 1 0 57737497 116289536 28074 33554432000 4194304 5646918 140737179545904 140737179544616 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 28391 28074 158 355 0 28032 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 113564

[startup+1122.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/178 808
/proc/meminfo: memFree=29924656/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=162884 CPUtime=1122.11 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 17109 0 0 0 112197 14 0 0 20 0 1 0 57737497 166793216 36424 33554432000 4194304 5646918 140737179545904 140737179544200 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 40721 36424 158 355 0 40362 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 162884

[startup+1182.3 s]
/proc/loadavg: 2.29 2.24 2.19 4/178 809
/proc/meminfo: memFree=29910872/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=113564 CPUtime=1182.11 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 17815 0 0 0 118194 17 0 0 20 0 1 0 57737497 116289536 28074 33554432000 4194304 5646918 140737179545904 140737179544616 4403582 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 28391 28074 158 355 0 28032 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 113564

[startup+1242.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/178 811
/proc/meminfo: memFree=29874328/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=113564 CPUtime=1242.09 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 18518 0 0 0 124190 19 0 0 20 0 1 0 57737497 116289536 28074 33554432000 4194304 5646918 140737179545904 140737179544616 4403416 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 28391 28074 158 355 0 28032 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 113564

[startup+1302.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/178 812
/proc/meminfo: memFree=29950108/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=120636 CPUtime=1302.08 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 19267 0 0 0 130189 19 0 0 20 0 1 0 57737497 123531264 29842 33554432000 4194304 5646918 140737179545904 140737179544168 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 30159 29842 158 355 0 29800 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 120636

[startup+1362.3 s]
/proc/loadavg: 2.25 2.23 2.18 4/178 813
/proc/meminfo: memFree=29900460/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=120636 CPUtime=1362.07 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 19620 0 0 0 136187 20 0 0 20 0 1 0 57737497 123531264 29842 33554432000 4194304 5646918 140737179545904 140737179544616 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 30159 29842 158 355 0 29800 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 120636

[startup+1422.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/178 814
/proc/meminfo: memFree=29937644/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=132992 CPUtime=1422.07 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 20688 0 0 0 142184 23 0 0 20 0 1 0 57737497 136183808 32931 33554432000 4194304 5646918 140737179545904 140737179544200 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 33248 32931 158 355 0 32889 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 132992

[startup+1482.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/178 815
/proc/meminfo: memFree=29840976/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=132992 CPUtime=1482.05 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 20866 0 0 0 148182 23 0 0 20 0 1 0 57737497 136183808 32931 33554432000 4194304 5646918 140737179545904 140737179544616 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 33248 32931 158 355 0 32889 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 132992

[startup+1542.31 s]
/proc/loadavg: 2.26 2.22 2.18 4/179 820
/proc/meminfo: memFree=29799788/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=132992 CPUtime=1542.05 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 21217 0 0 0 154181 24 0 0 20 0 1 0 57737497 136183808 32931 33554432000 4194304 5646918 140737179545904 140737179544616 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 33248 32931 158 355 0 32889 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 132992

[startup+1602.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/178 821
/proc/meminfo: memFree=29730004/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=182312 CPUtime=1602.04 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 21742 0 0 0 160178 26 0 0 20 0 1 0 57737497 186687488 42305 33554432000 4194304 5646918 140737179545904 140737179544200 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 45578 42305 158 355 0 45219 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 182312

[startup+1662.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/178 822
/proc/meminfo: memFree=29870840/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=132992 CPUtime=1662.03 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 23297 0 0 0 166174 29 0 0 20 0 1 0 57737497 136183808 32931 33554432000 4194304 5646918 140737179545904 140737179544616 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 33248 32931 158 355 0 32889 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 132992

[startup+1722.3 s]
/proc/loadavg: 2.28 2.22 2.19 4/178 823
/proc/meminfo: memFree=29799168/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=132992 CPUtime=1722.02 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 23652 0 0 0 172172 30 0 0 20 0 1 0 57737497 136183808 32982 33554432000 4194304 5646918 140737179545904 140737179544616 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 33248 32982 158 355 0 32889 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 132992

[startup+1782.3 s]
/proc/loadavg: 2.36 2.25 2.19 4/178 824
/proc/meminfo: memFree=29847152/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=132992 CPUtime=1782 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 24007 0 0 0 178169 31 0 0 20 0 1 0 57737497 136183808 32982 33554432000 4194304 5646918 140737179545904 140737179544616 4397622 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 33248 32982 158 355 0 32889 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 132992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/178 824
/proc/meminfo: memFree=29786768/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=132992 CPUtime=1800 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 24181 0 0 0 179968 32 0 0 20 0 1 0 57737497 136183808 32982 33554432000 4194304 5646918 140737179545904 140737179544616 4402761 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 33248 32982 158 355 0 32889 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 132992

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 699 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/178 824
/proc/meminfo: memFree=29786768/32872528 swapFree=1543496/1696796
[pid=699] ppid=696 vsize=132992 CPUtime=1800 cores=0,2,4,6
/proc/699/stat : 699 (minisatp) R 696 699 32664 0 -1 4202496 24181 0 0 0 179968 32 0 0 20 0 1 0 57737497 136183808 32982 33554432000 4194304 5646918 140737179545904 140737179544616 4402761 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/699/statm: 33248 32982 158 355 0 32889 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 132992

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.69
CPU system time (s): 0.32595
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 213132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.32595
maximum resident set size= 187920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24181
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= 16
involuntary context switches= 1932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71828 second user time and 6.74497 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-22 02:55:09
IDJOB=4114904
IDBENCH=2841
IDSOLVER=2555
FILE ID=node125/4114904-1466556908
RUNJOBID= node125-1466551504-32680
PBS_JOBID= 19943333
Free space on /tmp= 71740 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-mlp4.r.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114904-1466556908/watcher-4114904-1466556908 -o /tmp/evaluation-result-4114904-1466556908/solver-4114904-1466556908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466551504-32680 --watchdog 1960  minisatp HOME/instance-4114904-1466556908.opb

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

MD5SUM BENCH= c216dcb87e9001dad9e1252e03860f2a
RANDOM SEED=948258135

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29721224 kB
Buffers:           35444 kB
Cached:           128676 kB
SwapCached:         2388 kB
Active:           634460 kB
Inactive:         116620 kB
Active(anon):     587764 kB
Inactive(anon):     1816 kB
Active(file):      46696 kB
Inactive(file):   114804 kB
Unevictable:     1696796 kB
Mlocked:         1543496 kB
SwapTotal:      67108856 kB
SwapFree:       67097080 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:       2285032 kB
Mapped:             8740 kB
Shmem:                 0 kB
Slab:             567992 kB
SReclaimable:      11872 kB
SUnreclaim:       556120 kB
KernelStack:        1416 kB
PageTables:         8512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2595436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    335872 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-4114904-1466556908.opb

Free space on /tmp at the end= 71736 MiB
End job on node125 at 2016-06-22 03:25:09