Trace number 4115417

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-d91742b? (TO) 1800.09 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb
MD5SUM76d897d8437070b9cbeb866c2620c3bc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9240
Total number of constraints145
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints145
Minimum length of a constraint30
Maximum length of a constraint3990
Number of terms in the objective function 240
Biggest coefficient in the objective function 32769
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524520
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527485
Number of bits of the biggest sum of numbers20
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.19/0.29	c Converting 240 PB-constraints to clauses...
0.19/0.29	c   -- Unit propagations: ppppppppppppppppppppppppppppp
0.39/0.45	c   -- Detecting intervals from adjacent constraints: ###############################################################################################
0.39/0.45	c   -- Clauses(.)/Splits(s): (none)
0.39/0.45	c ---[ 238]---> Adder-cost: 548   maxlim: 3256   bits: 12/12
0.39/0.47	c ---[ 237]---> Sorter-cost: 2035     Base: 3 3 5 2 2 2 2 2
0.49/0.50	c ---[ 236]---> Adder-cost: 216   maxlim: 5721   bits: 14/13
0.49/0.53	c ---[ 235]---> Adder-cost: 92   maxlim: 101   bits: 8/7
0.49/0.53	c ---[ 234]---> Adder-cost: 90   maxlim: 93   bits: 8/7
0.49/0.53	c ---[ 233]---> Sorter-cost: 2355     Base: 7 2 2 2 2 2 2 2 2
0.49/0.55	c ---[ 232]---> Sorter-cost: 2035     Base: 3 3 5 2 2 2 2 2
0.49/0.58	c ---[ 231]---> Sorter-cost: 2035     Base: 3 3 5 2 2 2 2 2
0.59/0.61	c ---[ 230]---> Adder-cost: 216   maxlim: 5721   bits: 14/13
0.59/0.64	c ---[ 229]---> Adder-cost: 92   maxlim: 101   bits: 8/7
0.59/0.64	c ---[ 228]---> Adder-cost: 92   maxlim: 166   bits: 8/8
0.59/0.64	c ---[ 226]---> Adder-cost: 628   maxlim: 6186   bits: 13/13
0.59/0.67	c ---[ 225]---> Sorter-cost: 2355     Base: 7 2 2 2 2 2 2 2 2
0.59/0.69	c ---[ 224]---> Sorter-cost: 2035     Base: 3 3 5 2 2 2 2 2
0.69/0.71	c ---[ 223]---> Sorter-cost: 2035     Base: 3 3 5 2 2 2 2 2
0.69/0.74	c ---[ 222]---> Adder-cost: 216   maxlim: 5721   bits: 14/13
0.69/0.77	c ---[ 221]---> Adder-cost: 100   maxlim: 183   bits: 9/8
0.69/0.77	c ---[ 220]---> Adder-cost: 96   maxlim: 166   bits: 9/8
0.69/0.78	c ---[ 219]---> Sorter-cost: 2355     Base: 7 2 2 2 2 2 2 2 2
0.69/0.79	c ---[ 218]---> Sorter-cost: 2035     Base: 3 3 5 2 2 2 2 2
0.79/0.82	c ---[ 217]---> Sorter-cost: 2035     Base: 3 3 5 2 2 2 2 2
0.79/0.85	c ---[ 216]---> Adder-cost: 216   maxlim: 5721   bits: 14/13
0.79/0.88	c ---[ 214]---> Adder-cost: 628   maxlim: 6186   bits: 13/13
0.89/0.91	c ---[ 213]---> Sorter-cost:  168     Base: 2 2 2 2
0.89/0.91	c ---[ 212]---> Sorter-cost:  600     Base: 2 2 2 2
0.89/0.91	c ---[ 211]---> Sorter-cost:  627     Base: 2 2 2 2 2 2 2
0.89/0.91	c ---[ 210]---> Sorter-cost:  647     Base: 2 2 2 2 2 2 2 2
0.89/0.91	c ---[ 209]---> Sorter-cost:  647     Base: 2 2 2 2 2 2 2 2
0.89/0.91	c ---[ 208]---> Adder-cost: 138   maxlim: 3043   bits: 13/12
0.89/0.92	c ---[ 207]---> Sorter-cost:  270     Base: 7
0.89/0.92	c ---[ 206]---> Sorter-cost:  597     Base: 2 2 2 2
0.89/0.92	c ---[ 205]---> Sorter-cost:  617     Base: 2 2 2 2 2 2
0.89/0.92	c ---[ 204]---> Sorter-cost:  631     Base: 2 2 2 2 2 2 2
0.89/0.93	c ---[ 202]---> Adder-cost: 682   maxlim: 12610   bits: 14/14
0.89/0.96	c ---[ 201]---> Sorter-cost:  631     Base: 2 2 2 2 2 2 2
0.89/0.96	c ---[ 200]---> Sorter-cost:  647     Base: 2 2 2 2 2 2 2 2
0.89/0.97	c ---[ 199]---> Sorter-cost:  270     Base: 7
0.89/0.97	c ---[ 198]---> Adder-cost: 60   maxlim: 55   bits: 7/6
0.89/0.97	c ---[ 197]---> Sorter-cost:  620     Base: 2 2 2 2 2 2
0.89/0.97	c ---[ 196]---> Sorter-cost:  634     Base: 2 2 2 2 2 2 2
0.89/0.97	c ---[ 195]---> Sorter-cost:  634     Base: 2 2 2 2 2 2 2
0.89/0.97	c ---[ 194]---> Sorter-cost:  648     Base: 2 2 2 2 2 2 2 2
0.89/0.97	c ---[ 192]---> Adder-cost: 6198   maxlim: 7223   bits: 14/13
2.89/2.99	c ---[ 190]---> Adder-cost: 1236   maxlim: 1397   bits: 12/11
2.99/3.01	c ---[ 188]---> Adder-cost: 118   maxlim: 124   bits: 8/7
2.99/3.02	c ---[ 186]---> Adder-cost: 1556   maxlim: 107357   bits: 18/17
3.39/3.43	c ---[ 184]---> Adder-cost: 2937   maxlim: 908   bits: 11/10
3.59/3.61	c ---[ 182]---> Adder-cost: 728   maxlim: 262879   bits: 19/19
3.69/3.71	c ---[ 180]---> Adder-cost: 2230   maxlim: 1956   bits: 12/11
4.09/4.13	c ---[ 178]---> Adder-cost: 116   maxlim: 2070   bits: 12/12
4.09/4.14	c ---[ 176]---> Adder-cost: 1112   maxlim: 1015   bits: 11/10
4.19/4.23	c ---[ 174]---> Adder-cost: 102   maxlim: 1045   bits: 11/11
4.19/4.23	c ---[ 172]---> Adder-cost: 1665   maxlim: 30862   bits: 16/15
4.29/4.34	c ---[ 170]---> Adder-cost: 178   maxlim: 262173   bits: 20/19
4.29/4.35	c ---[ 168]---> Adder-cost: 1539   maxlim: 30862   bits: 16/15
4.39/4.43	c ---[ 166]---> Adder-cost: 320   maxlim: 464   bits: 10/9
4.49/4.52	c ---[ 164]---> Adder-cost: 178   maxlim: 262173   bits: 20/19
4.49/4.52	c ---[ 162]---> Adder-cost: 4098   maxlim: 15132   bits: 15/14
5.49/5.57	c ---[ 160]---> Adder-cost: 142   maxlim: 16409   bits: 15/15
5.49/5.58	c ---[ 158]---> Adder-cost: 720   maxlim: 30932   bits: 16/15
5.59/5.67	c ---[ 156]---> Adder-cost: 140   maxlim: 32794   bits: 16/16
5.59/5.68	c ---[ 154]---> Adder-cost: 384   maxlim: 1487   bits: 11/11
5.59/5.69	c ---[ 152]---> Adder-cost: 484   maxlim: 5637   bits: 13/13
5.69/5.71	c ---[ 150]---> Adder-cost: 482   maxlim: 5637   bits: 13/13
5.69/5.73	c ---[ 148]---> Adder-cost: 504   maxlim: 5614   bits: 13/13
5.69/5.76	c ---[ 146]---> Adder-cost: 110   maxlim: 159   bits: 8/8
5.69/5.76	c ---[ 144]---> Adder-cost: 116   maxlim: 108   bits: 8/7
5.69/5.76	c ---[ 142]---> Adder-cost: 198   maxlim: 348   bits: 9/9
5.69/5.77	c ---[ 140]---> Adder-cost: 296   maxlim: 1236   bits: 11/11
5.69/5.78	c ---[ 138]---> Adder-cost: 352   maxlim: 2238   bits: 12/12
5.69/5.79	c ---[ 136]---> Adder-cost: 350   maxlim: 2238   bits: 12/12
5.79/5.80	c ---[ 134]---> Adder-cost: 380   maxlim: 4743   bits: 13/13
5.79/5.81	c ---[ 132]---> BDD-cost:   21
5.79/5.81	c ---[ 130]---> BDD-cost:   33
5.79/5.81	c ---[ 128]---> Sorter-cost: 3208     Base: 3 7 2 2 2 2 2 2 2
5.79/5.83	c ---[ 126]---> Sorter-cost: 3335     Base: 3 7 2 2 2 2 2 2 2 2
5.79/5.86	c ---[ 124]---> Adder-cost: 264   maxlim: 339   bits: 9/9
5.79/5.86	c ---[ 122]---> Sorter-cost: 3680     Base: 3 7 2 2 2 2 2 2 2 2 2
5.89/5.90	c ---[ 120]---> Sorter-cost: 3993     Base: 3 7 2 2 2 2 2 2 2 2 2 2
5.89/5.95	c ---[ 118]---> Sorter-cost:  461     Base: 3
5.89/5.95	c ---[ 116]---> Sorter-cost:  505     Base: 3
5.89/5.95	c ---[ 114]---> Adder-cost: 236   maxlim: 5166   bits: 14/13
5.89/5.96	c ---[ 112]---> Adder-cost: 236   maxlim: 9263   bits: 15/14
5.89/5.96	c ---[ 110]---> Adder-cost: 254   maxlim: 17456   bits: 16/15
5.89/5.97	c ---[ 108]---> Adder-cost: 254   maxlim: 33841   bits: 17/16
5.89/5.99	c ---[ 106]---> Sorter-cost:  771     Base: 3
5.89/5.99	c ---[ 104]---> Sorter-cost:  771     Base: 3
5.89/5.99	c ---[ 102]---> Adder-cost: 422   maxlim: 2028   bits: 12/11
5.99/6.00	c ---[ 100]---> Adder-cost: 228   maxlim: 5166   bits: 14/13
5.99/6.01	c ---[  98]---> Adder-cost: 230   maxlim: 9263   bits: 15/14
5.99/6.02	c ---[  96]---> Adder-cost: 260   maxlim: 17456   bits: 16/15
5.99/6.03	c ---[  94]---> Adder-cost: 250   maxlim: 33841   bits: 17/16
5.99/6.04	c ---[  92]---> Sorter-cost:  855     Base: 3 5
5.99/6.04	c ---[  90]---> Sorter-cost:  855     Base: 3 5
5.99/6.04	c ---[  88]---> Adder-cost: 246   maxlim: 5166   bits: 14/13
5.99/6.05	c ---[  86]---> Adder-cost: 244   maxlim: 9263   bits: 15/14
5.99/6.06	c ---[  84]---> Adder-cost: 264   maxlim: 17456   bits: 16/15
5.99/6.07	c ---[  82]---> Adder-cost: 260   maxlim: 33841   bits: 17/16
5.99/6.08	c ---[  80]---> Adder-cost: 464   maxlim: 3846   bits: 13/12
6.09/6.10	c ---[  78]---> Adder-cost: 454   maxlim: 1005   bits: 11/10
6.09/6.12	c ---[  76]---> Adder-cost: 464   maxlim: 1005   bits: 11/10
6.09/6.13	c ---[  74]---> Adder-cost: 880   maxlim: 32880   bits: 16/16
6.19/6.21	c ---[  72]---> Adder-cost: 796   maxlim: 25090   bits: 15/15
6.19/6.29	c ---[  70]---> Adder-cost: 746   maxlim: 30970   bits: 16/15
6.29/6.33	c ---[  68]---> Adder-cost: 752   maxlim: 30970   bits: 16/15
6.29/6.38	c ---[  66]---> Adder-cost: 260   maxlim: 226   bits: 9/8
6.29/6.39	c ---[  64]---> Adder-cost: 294   maxlim: 234   bits: 9/8
6.39/6.40	c ---[  62]---> Adder-cost: 561   maxlim: 2939   bits: 13/12
6.39/6.43	c ---[  60]---> Adder-cost: 494   maxlim: 2330   bits: 13/12
6.39/6.46	c ---[  58]---> Adder-cost: 464   maxlim: 3846   bits: 13/12
6.39/6.48	c ---[  56]---> Adder-cost: 478   maxlim: 2363   bits: 13/12
6.49/6.50	c ---[  54]---> Adder-cost: 398   maxlim: 2314   bits: 13/12
6.49/6.53	c ---[  52]---> Adder-cost: 361   maxlim: 343   bits: 9/9
6.49/6.54	c ---[  50]---> Adder-cost: 392   maxlim: 361   bits: 9/9
6.49/6.56	c ---[  48]---> Adder-cost: 619   maxlim: 2991   bits: 13/12
6.49/6.59	c ---[  46]---> Adder-cost: 566   maxlim: 2396   bits: 13/12
6.59/6.62	c ---[  44]---> Adder-cost: 598   maxlim: 2443   bits: 13/12
6.59/6.64	c ---[  42]---> Adder-cost: 474   maxlim: 2364   bits: 13/12
6.59/6.67	c ---[  40]---> Adder-cost: 431   maxlim: 381   bits: 10/9
6.59/6.69	c ---[  38]---> Adder-cost: 456   maxlim: 543   bits: 10/10
6.69/6.71	c ---[  36]---> Adder-cost: 486   maxlim: 3655   bits: 13/12
6.69/6.73	c ---[  34]---> Adder-cost: 715   maxlim: 3048   bits: 13/12
6.69/6.76	c ---[  32]---> Adder-cost: 654   maxlim: 2466   bits: 13/12
6.69/6.79	c ---[  30]---> Adder-cost: 680   maxlim: 2513   bits: 13/12
6.79/6.82	c ---[  28]---> Adder-cost: 481   maxlim: 2399   bits: 13/12
6.79/6.85	c ---[  26]---> Adder-cost: 377   maxlim: 500   bits: 10/9
6.79/6.86	c ---[  24]---> Adder-cost: 448   maxlim: 509   bits: 10/9
6.79/6.88	c ---[  22]---> Adder-cost: 645   maxlim: 3016   bits: 13/12
6.89/6.91	c ---[  20]---> Adder-cost: 586   maxlim: 2430   bits: 13/12
6.89/6.94	c ---[  18]---> Adder-cost: 620   maxlim: 2483   bits: 13/12
6.89/6.97	c ---[  16]---> Adder-cost: 460   maxlim: 2387   bits: 13/12
6.89/6.99	c ---[  14]---> Adder-cost: 206   maxlim: 255   bits: 9/8
6.89/6.99	c ---[  13]---> Adder-cost: 229   maxlim: 1671   bits: 12/11
6.99/7.00	c ---[  12]---> Adder-cost: 223   maxlim: 1671   bits: 12/11
6.99/7.02	c ---[  10]---> Adder-cost: 432   maxlim: 902   bits: 10/10
6.99/7.03	c ---[   9]---> Adder-cost: 233   maxlim: 1671   bits: 12/11
6.99/7.04	c ---[   8]---> Adder-cost: 233   maxlim: 1671   bits: 12/11
6.99/7.05	c ---[   7]---> Sorter-cost: 1496     Base: 3 7 2 2 2 2 2
6.99/7.06	c ---[   6]---> Sorter-cost: 1526     Base: 3 7 2 2 2 2 2
6.99/7.07	c ---[   5]---> Sorter-cost: 1526     Base: 3 7 2 2 2 2 2
6.99/7.08	c ---[   4]---> Sorter-cost: 1526     Base: 3 7 2 2 2 2 2
6.99/7.08	c ---[   3]---> Sorter-cost:  683     Base: 3
6.99/7.08	c ---[   2]---> Sorter-cost:  642     Base: 5
6.99/7.09	c ---[   1]---> Sorter-cost: 2307     Base: 7 2 2 2 2 2 2 2 2
7.09/7.10	c ---[   0]---> Sorter-cost: 1987     Base: 3 3 5 2 2 2 2 2
1800.06/1800.40	|  Eliminated clauses:           0.89 Mb                                      |
1800.06/1800.40	============================[ Search Statistics ]==============================
1800.06/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.06/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.06/1800.40	===============================================================================
1800.06/1800.40	|       100 |   94581   518680  1713409 |   190182      100      6 |  3.903 % |
1800.06/1800.40	|       250 |   94581   518680  1713409 |   209200      250      7 |  3.903 % |
1800.06/1800.40	|       475 |   94551   518680  1713409 |   230121      468      6 |  3.928 % |
1800.06/1800.40	|       812 |   94548   518680  1713409 |   253133      803      9 |  3.930 % |
1800.06/1800.40	|      1318 |   94546   518680  1713409 |   278446     1308      8 |  3.932 % |
1800.06/1800.40	|      2077 |   94525   518680  1713409 |   306291     2065     11 |  3.950 % |
1800.06/1800.40	|      3216 |   94523   518680  1713409 |   336920     3203     16 |  3.952 % |
1800.06/1800.40	|      4924 |   94506   518680  1713409 |   370612     4888     15 |  3.966 % |
1800.06/1800.40	|      7486 |   94394   518680  1713409 |   407673     7418     13 |  4.061 % |
1800.06/1800.40	|     11330 |   94347   518680  1713409 |   448440    11233     12 |  4.101 % |
1800.06/1800.40	|     17096 |   94305   518680  1713409 |   493284    16981     13 |  4.136 % |
1800.06/1800.40	|     25745 |   94098   518680  1713409 |   542613    25613     17 |  4.311 % |
1800.06/1800.40	|     38719 |   94087   518680  1713409 |   596874    38157     17 |  4.321 % |
1800.06/1800.40	|     58180 |   94001   518680  1713409 |   656562    57437     20 |  4.393 % |
1800.06/1800.40	|     87372 |   93989   518680  1713409 |   722218    86526     29 |  4.404 % |
1800.06/1800.40	|    131161 |   93961   518680  1713409 |   794440   130214     35 |  4.427 % |
1800.06/1800.40	|    196845 |   93873   518680  1713409 |   873884   195879     37 |  4.502 % |
1800.06/1800.40	|    295371 |   93814   518680  1713409 |   961272   294254     38 |  4.552 % |
1800.06/1800.40	|    443160 |   93650   518680  1713409 |  1057399   440034     42 |  4.690 % |
1800.06/1800.40	|    664843 |   93557   518680  1713409 |  1163139   661605     50 |  4.769 % |
1800.06/1800.40	|    997368 |   93415   518680  1713409 |  1279453   993313     53 |  4.889 % |
1800.06/1800.40	|   1496156 |   92942   518680  1713409 |  1407399   238619     36 |  5.290 % |
1800.06/1800.40	|   2244338 |   92794   518680  1713409 |  1548139   951433     44 |  5.415 % |
1800.06/1800.40	|   3366612 |   92621   518680  1713409 |  1702953   559841     59 |  5.561 % |
1800.06/1800.40	|   5050023 |   92465   518680  1713409 |  1873248   578738    114 |  5.693 % |
1800.06/1800.40	c 
1800.06/1800.40	c *** TERMINATED ***
1800.06/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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-4115417-1466523223/watcher-4115417-1466523223 -o /tmp/evaluation-result-4115417-1466523223/solver-4115417-1466523223 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466515084-32165 --watchdog 1960 minisatp HOME/instance-4115417-1466523223.opb 

pid=2227
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.08 2.09 2.03 3/174 2230
/proc/meminfo: memFree=31201940/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=6588 CPUtime=0 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 54372451 6746112 209 33554432000 4194304 5646918 140734206137280 140735037418584 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 1647 209 97 355 0 1288 0

[startup+0.100163 s]
/proc/loadavg: 2.08 2.09 2.03 3/174 2230
/proc/meminfo: memFree=31201940/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=10868 CPUtime=0.09 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 1870 0 0 0 9 0 0 0 20 0 1 0 54372451 11128832 1103 33554432000 4194304 5646918 140734206137280 140735037418584 4832093 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 2717 1103 97 355 0 2358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10868

[startup+0.200305 s]
/proc/loadavg: 2.08 2.09 2.03 3/174 2230
/proc/meminfo: memFree=31201940/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=13444 CPUtime=0.19 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 2515 0 0 0 19 0 0 0 20 0 1 0 54372451 13766656 1708 33554432000 4194304 5646918 140734206137280 140734206136536 4267299 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 3361 1708 97 355 0 3002 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13444

[startup+0.300345 s]
/proc/loadavg: 2.08 2.09 2.03 3/174 2230
/proc/meminfo: memFree=31201940/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=17224 CPUtime=0.29 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 3444 0 0 0 29 0 0 0 20 0 1 0 54372451 17637376 2637 33554432000 4194304 5646918 140734206137280 140734206136536 4456896 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 4306 2637 105 355 0 3947 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17224

[startup+0.70023 s]
/proc/loadavg: 2.08 2.09 2.03 3/174 2230
/proc/meminfo: memFree=31201940/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=17824 CPUtime=0.69 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 3707 0 0 0 69 0 0 0 20 0 1 0 54372451 18251776 2827 33554432000 4194304 5646918 140734206137280 140734206136536 4824637 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 4456 2827 152 355 0 4097 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17824

[startup+1.50023 s]
/proc/loadavg: 2.08 2.09 2.03 3/175 2231
/proc/meminfo: memFree=31187316/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=21848 CPUtime=1.49 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 4941 0 0 0 149 0 0 0 20 0 1 0 54372451 22372352 3813 33554432000 4194304 5646918 140734206137280 140734205038104 4817373 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 5462 3813 152 355 0 5103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21848

[startup+3.10028 s]
/proc/loadavg: 2.08 2.09 2.03 4/175 2231
/proc/meminfo: memFree=31186424/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=33552 CPUtime=3.09 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 7772 0 0 0 309 0 0 0 20 0 1 0 54372451 34357248 6677 33554432000 4194304 5646918 140734206137280 140734205154504 4831344 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 8388 6677 152 355 0 8029 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33552

[startup+6.30024 s]
/proc/loadavg: 2.15 2.10 2.03 3/175 2231
/proc/meminfo: memFree=31174488/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=34628 CPUtime=6.29 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 8060 0 0 0 629 0 0 0 20 0 1 0 54372451 35459072 6965 33554432000 4194304 5646918 140734206137280 140734206135944 4817444 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 8657 6965 152 355 0 8298 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34628

[startup+12.7003 s]
/proc/loadavg: 2.14 2.10 2.03 3/175 2231
/proc/meminfo: memFree=31112448/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=95520 CPUtime=12.69 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 21153 0 0 0 1267 2 0 0 20 0 1 0 54372451 97812480 22768 33554432000 4194304 5646918 140734206137280 140734206135384 4403438 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 23880 22768 183 355 0 23521 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95520

[startup+25.5004 s]
/proc/loadavg: 2.11 2.09 2.03 3/175 2231
/proc/meminfo: memFree=31080824/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=133348 CPUtime=25.49 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 23847 0 0 0 2546 3 0 0 20 0 1 0 54372451 136548352 30551 33554432000 4194304 5646918 140734206137280 140734206135416 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 33337 30551 183 355 0 32978 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 133348

[startup+51.1004 s]
/proc/loadavg: 2.15 2.10 2.04 3/175 2231
/proc/meminfo: memFree=31041244/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=173172 CPUtime=51.09 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 26595 0 0 0 5104 5 0 0 20 0 1 0 54372451 177328128 40445 33554432000 4194304 5646918 140734206137280 140734206135416 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 43293 40445 183 355 0 42934 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 173172

[startup+102.3 s]
/proc/loadavg: 2.22 2.12 2.04 3/175 2232
/proc/meminfo: memFree=30956644/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=319296 CPUtime=102.28 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 30739 0 0 0 10221 7 0 0 20 0 1 0 54372451 326959104 60927 33554432000 4194304 5646918 140734206137280 140734206135416 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 79824 60927 183 355 0 79465 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 319296

[startup+162.3 s]
/proc/loadavg: 2.13 2.11 2.04 3/175 2233
/proc/meminfo: memFree=30889976/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=332620 CPUtime=162.27 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 33439 0 0 0 16218 9 0 0 20 0 1 0 54372451 340602880 75891 33554432000 4194304 5646918 140734206137280 140734206135416 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 83155 75891 183 355 0 82796 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 332620

[startup+222.307 s]
/proc/loadavg: 2.14 2.12 2.05 3/175 2234
/proc/meminfo: memFree=30808688/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=479664 CPUtime=222.26 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 37328 0 0 0 22215 11 0 0 20 0 1 0 54372451 491175936 95616 33554432000 4194304 5646918 140734206137280 140734206135416 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 119916 95616 183 355 0 119557 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 479664

[startup+282.3 s]
/proc/loadavg: 2.20 2.14 2.06 4/175 2236
/proc/meminfo: memFree=30984552/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=228860 CPUtime=282.22 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 42358 0 0 0 28207 15 0 0 20 0 1 0 54372451 234352640 50885 33554432000 4194304 5646918 140734206137280 140734206135384 4403043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 57215 50885 185 355 0 56856 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 228860

[startup+342.3 s]
/proc/loadavg: 2.21 2.14 2.06 3/175 2237
/proc/meminfo: memFree=30927956/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=288836 CPUtime=342.2 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 45652 0 0 0 34203 17 0 0 20 0 1 0 54372451 295768064 64254 33554432000 4194304 5646918 140734206137280 140734206135416 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 72209 64254 185 355 0 71850 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 288836

[startup+402.3 s]
/proc/loadavg: 2.12 2.13 2.06 3/176 2297
/proc/meminfo: memFree=31209632/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=379384 CPUtime=402.18 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 48341 0 0 0 40200 18 0 0 20 0 1 0 54372451 388489216 75099 33554432000 4194304 5646918 140734206137280 140734206135416 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 94846 75099 185 355 0 94487 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 379384

[startup+462.3 s]
/proc/loadavg: 2.27 2.16 2.08 3/175 2298
/proc/meminfo: memFree=31129612/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=385488 CPUtime=462.18 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 49804 0 0 0 46198 20 0 0 20 0 1 0 54372451 394739712 90870 33554432000 4194304 5646918 140734206137280 140734206135416 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 96372 90870 185 355 0 96013 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 385488

[startup+522.3 s]
/proc/loadavg: 2.23 2.16 2.08 3/175 2410
/proc/meminfo: memFree=30841088/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=530408 CPUtime=522.17 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 53338 0 0 0 52193 24 0 0 20 0 1 0 54372451 543137792 117395 33554432000 4194304 5646918 140734206137280 140734206135416 4399408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 132602 117395 185 355 0 132243 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 530408

[startup+582.3 s]
/proc/loadavg: 2.13 2.14 2.08 3/175 2412
/proc/meminfo: memFree=31069136/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=212800 CPUtime=582.16 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 55024 0 0 0 58188 28 0 0 20 0 1 0 54372451 217907200 51013 33554432000 4194304 5646918 140734206137280 140734206135992 4402966 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 53200 51013 185 355 0 52841 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 212800


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


[startup+882.307 s]
/proc/loadavg: 2.17 2.17 2.10 3/175 2418
/proc/meminfo: memFree=29796856/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=784032 CPUtime=882.11 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 66321 0 0 0 88171 40 0 0 20 0 1 0 54372451 802848768 148992 33554432000 4194304 5646918 140734206137280 140734206135416 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 196008 148992 185 355 0 195649 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 784032

[startup+942.3 s]
/proc/loadavg: 2.18 2.17 2.10 3/175 2419
/proc/meminfo: memFree=29741984/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=788824 CPUtime=942.09 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 67469 0 0 0 94169 40 0 0 20 0 1 0 54372451 807755776 159338 33554432000 4194304 5646918 140734206137280 140734206135416 4402778 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 197206 159338 185 355 0 196847 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 788824

[startup+1002.3 s]
/proc/loadavg: 2.17 2.16 2.10 3/176 2423
/proc/meminfo: memFree=29677448/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=794236 CPUtime=1002.08 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 68734 0 0 0 100167 41 0 0 20 0 1 0 54372451 813297664 170823 33554432000 4194304 5646918 140734206137280 140734206135416 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 198559 170823 185 355 0 198200 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 794236

[startup+1062.3 s]
/proc/loadavg: 2.16 2.16 2.10 3/175 2424
/proc/meminfo: memFree=29626248/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=798676 CPUtime=1062.08 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 69789 0 0 0 106165 43 0 0 20 0 1 0 54372451 817844224 180054 33554432000 4194304 5646918 140734206137280 140734206135416 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 199669 180054 185 355 0 199310 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 798676

[startup+1122.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/175 2425
/proc/meminfo: memFree=29891480/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=456000 CPUtime=1122.07 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 74042 0 0 0 112159 48 0 0 20 0 1 0 54372451 466944000 108971 33554432000 4194304 5646918 140734206137280 140734206135416 4402829 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 114000 108971 185 355 0 113641 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 456000

[startup+1182.3 s]
/proc/loadavg: 2.14 2.15 2.09 3/175 2427
/proc/meminfo: memFree=29710972/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=809012 CPUtime=1182.06 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 76524 0 0 0 118156 50 0 0 20 0 1 0 54372451 828428288 152840 33554432000 4194304 5646918 140734206137280 140734206135416 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 202253 152840 185 355 0 201894 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 809012

[startup+1242.3 s]
/proc/loadavg: 2.16 2.15 2.09 3/175 2428
/proc/meminfo: memFree=29619812/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=813436 CPUtime=1242.06 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 77623 0 0 0 124154 52 0 0 20 0 1 0 54372451 832958464 173357 33554432000 4194304 5646918 140734206137280 140734206135416 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 203359 173357 185 355 0 203000 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 813436

[startup+1302.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/175 2429
/proc/meminfo: memFree=29537988/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=816908 CPUtime=1302.05 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 78462 0 0 0 130152 53 0 0 20 0 1 0 54372451 836513792 189015 33554432000 4194304 5646918 140734206137280 140734206135416 4402832 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 204227 189015 185 355 0 203868 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 816908

[startup+1362.3 s]
/proc/loadavg: 2.21 2.15 2.10 3/175 2430
/proc/meminfo: memFree=29449924/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=1168772 CPUtime=1362.04 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 79820 0 0 0 136146 58 0 0 20 0 1 0 54372451 1196822528 204158 33554432000 4194304 5646918 140734206137280 140734206135416 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 292193 204158 185 355 0 291834 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1168772

[startup+1422.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/175 2431
/proc/meminfo: memFree=29392644/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=1171584 CPUtime=1422.03 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 80534 0 0 0 142145 58 0 0 20 0 1 0 54372451 1199702016 213559 33554432000 4194304 5646918 140734206137280 140734206135416 4403372 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 292896 213559 185 355 0 292537 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1171584

[startup+1482.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/175 2433
/proc/meminfo: memFree=29338700/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=1174316 CPUtime=1482.02 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 81181 0 0 0 148143 59 0 0 20 0 1 0 54372451 1202499584 225448 33554432000 4194304 5646918 140734206137280 140734206135416 4403450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 293579 225448 185 355 0 293220 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1174316

[startup+1542.31 s]
/proc/loadavg: 2.26 2.18 2.11 3/175 2434
/proc/meminfo: memFree=29296932/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=1176928 CPUtime=1542.01 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 81781 0 0 0 154142 59 0 0 20 0 1 0 54372451 1205174272 233713 33554432000 4194304 5646918 140734206137280 140734206135416 4403431 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 294232 233713 185 355 0 293873 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1176928

[startup+1602.3 s]
/proc/loadavg: 2.15 2.16 2.10 3/176 2438
/proc/meminfo: memFree=29245060/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=1180028 CPUtime=1601.99 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 82599 0 0 0 160139 60 0 0 20 0 1 0 54372451 1208348672 244751 33554432000 4194304 5646918 140734206137280 140734206135416 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 295007 244751 185 355 0 294648 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1180028

[startup+1662.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/176 2462
/proc/meminfo: memFree=29859640/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=403992 CPUtime=1661.98 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 84882 0 0 0 166133 65 0 0 20 0 1 0 54372451 413687808 89592 33554432000 4194304 5646918 140734206137280 140734206135416 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 100998 89592 185 355 0 100639 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 403992

[startup+1722.3 s]
/proc/loadavg: 2.14 2.15 2.09 3/175 2463
/proc/meminfo: memFree=29786952/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=487208 CPUtime=1721.98 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 85393 0 0 0 172131 67 0 0 20 0 1 0 54372451 498900992 106455 33554432000 4194304 5646918 140734206137280 140734206135384 4625373 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 121802 106455 185 355 0 121443 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 487208

[startup+1782.3 s]
/proc/loadavg: 2.16 2.15 2.09 4/175 2465
/proc/meminfo: memFree=29711368/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=620264 CPUtime=1781.97 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 86131 0 0 0 178129 68 0 0 20 0 1 0 54372451 635150336 121499 33554432000 4194304 5646918 140734206137280 140734206135976 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 155066 121499 185 355 0 154707 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 620264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.14 2.09 3/175 2465
/proc/meminfo: memFree=29696528/32872528 swapFree=448380/481084
[pid=2230] ppid=2227 vsize=620264 CPUtime=1800.06 cores=1,3,5,7
/proc/2230/stat : 2230 (minisatp) R 2227 2230 32148 0 -1 4202496 86182 0 0 0 179938 68 0 0 20 0 1 0 54372451 635150336 124616 33554432000 4194304 5646918 140734206137280 140734206135976 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/2230/statm: 155066 124616 185 355 0 154707 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 620264

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.39
CPU system time (s): 0.701893
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 1211584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.701893
maximum resident set size= 1031752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86182
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= 86
involuntary context switches= 1976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63453 second user time and 13.39 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-21 17:33:43
IDJOB=4115417
IDBENCH=1663
IDSOLVER=2555
FILE ID=node104/4115417-1466523223
RUNJOBID= node104-1466515084-32165
PBS_JOBID= 19942884
Free space on /tmp= 71664 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115417-1466523223/watcher-4115417-1466523223 -o /tmp/evaluation-result-4115417-1466523223/solver-4115417-1466523223 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466515084-32165 --watchdog 1960  minisatp HOME/instance-4115417-1466523223.opb

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

MD5SUM BENCH= 76d897d8437070b9cbeb866c2620c3bc
RANDOM SEED=2141085677

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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		: 2667.035
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:        31202624 kB
Buffers:            8392 kB
Cached:            54328 kB
SwapCached:        74580 kB
Active:           369224 kB
Inactive:         113324 kB
Active(anon):     346912 kB
Inactive(anon):    75428 kB
Active(file):      22312 kB
Inactive(file):    37896 kB
Unevictable:      481084 kB
Mlocked:          448380 kB
SwapTotal:      67108856 kB
SwapFree:       67027048 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:        841568 kB
Mapped:             9380 kB
Shmem:                 0 kB
Slab:             571932 kB
SReclaimable:      16316 kB
SUnreclaim:       555616 kB
KernelStack:        1456 kB
PageTables:         5748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     957020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 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-4115417-1466523223.opb

Free space on /tmp at the end= 71652 MiB
End job on node104 at 2016-06-21 18:03:44