Trace number 4115352

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.07 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-forplan.opb
MD5SUM4cdda58963f46d542400f05ed7600db2
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 variables12528
Total number of constraints155
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 constraints155
Minimum length of a constraint27
Maximum length of a constraint9090
Number of terms in the objective function 9340
Biggest coefficient in the objective function 2973
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 531813
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531813
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.99/1.03	c Converting 225 PB-constraints to clauses...
0.99/1.03	c   -- Unit propagations: pppp
3.59/3.60	c   -- Detecting intervals from adjacent constraints: ################################################################################
3.59/3.62	c   -- Clauses(.)/Splits(s): ss
3.59/3.62	c ---[ 209]---> BDD-cost:   75
3.59/3.62	c ---[ 207]---> BDD-cost:   76
3.59/3.62	c ---[ 203]---> Adder-cost: 12802   maxlim: 22085   bits: 15/15
10.89/10.90	c ---[ 201]---> Adder-cost: 170   maxlim: 1746   bits: 12/11
10.89/10.90	c ---[ 199]---> Adder-cost: 170   maxlim: 1766   bits: 12/11
10.89/10.91	c ---[ 197]---> Adder-cost: 344   maxlim: 1977   bits: 12/11
10.89/10.92	c ---[ 196]---> Adder-cost: 145   maxlim: 8215   bits: 15/14
10.89/10.92	c ---[ 195]---> Adder-cost: 149   maxlim: 32793   bits: 17/16
10.89/10.93	c ---[ 194]---> Adder-cost: 164   maxlim: 131099   bits: 19/18
10.89/10.94	c ---[ 193]---> Adder-cost: 162   maxlim: 131099   bits: 19/18
10.89/10.94	c ---[ 192]---> Adder-cost: 170   maxlim: 262172   bits: 20/19
10.89/10.95	c ---[ 191]---> Adder-cost: 164   maxlim: 262172   bits: 19/19
10.89/10.96	c ---[ 190]---> Adder-cost: 154   maxlim: 131099   bits: 18/18
10.89/10.96	c ---[ 189]---> Adder-cost: 146   maxlim: 65562   bits: 17/17
10.89/10.97	c ---[ 188]---> Adder-cost: 148   maxlim: 32793   bits: 17/16
10.89/10.98	c ---[ 187]---> Adder-cost: 154   maxlim: 65562   bits: 18/17
10.89/10.98	c ---[ 186]---> Adder-cost: 162   maxlim: 131099   bits: 19/18
10.89/10.99	c ---[ 185]---> Adder-cost: 162   maxlim: 131099   bits: 19/18
10.89/11.00	c ---[ 184]---> Adder-cost: 170   maxlim: 262172   bits: 20/19
11.00/11.00	c ---[ 183]---> Adder-cost: 170   maxlim: 262172   bits: 20/19
11.00/11.01	c ---[ 182]---> Adder-cost: 164   maxlim: 262172   bits: 19/19
11.00/11.02	c ---[ 181]---> Adder-cost: 154   maxlim: 131099   bits: 18/18
11.00/11.02	c ---[ 180]---> Adder-cost: 154   maxlim: 65562   bits: 18/17
11.00/11.03	c ---[ 179]---> Adder-cost: 154   maxlim: 65562   bits: 18/17
11.00/11.04	c ---[ 178]---> Adder-cost: 162   maxlim: 131099   bits: 19/18
11.00/11.04	c ---[ 176]---> Adder-cost: 1024   maxlim: 2011   bits: 12/11
11.00/11.08	c ---[ 174]---> Adder-cost: 1016   maxlim: 2092   bits: 13/12
11.10/11.11	c ---[ 172]---> Adder-cost: 916   maxlim: 2075   bits: 13/12
11.10/11.14	c ---[ 170]---> Adder-cost: 612   maxlim: 2075   bits: 13/12
11.10/11.17	c ---[ 168]---> Adder-cost: 612   maxlim: 2075   bits: 13/12
11.19/11.20	c ---[ 166]---> Adder-cost: 612   maxlim: 2075   bits: 13/12
11.19/11.23	c ---[ 164]---> Adder-cost: 612   maxlim: 2075   bits: 13/12
11.19/11.26	c ---[ 162]---> Adder-cost: 824   maxlim: 2075   bits: 13/12
11.19/11.29	c ---[ 160]---> Adder-cost: 612   maxlim: 2075   bits: 13/12
11.29/11.32	c ---[ 158]---> Adder-cost: 612   maxlim: 2075   bits: 13/12
11.29/11.35	c ---[ 156]---> Adder-cost: 632   maxlim: 2075   bits: 13/12
11.29/11.38	c ---[ 154]---> Adder-cost: 612   maxlim: 2075   bits: 13/12
11.39/11.41	c ---[ 152]---> Adder-cost: 612   maxlim: 2075   bits: 13/12
11.39/11.44	c ---[ 150]---> Adder-cost: 612   maxlim: 2075   bits: 13/12
11.39/11.47	c ---[ 148]---> Adder-cost: 612   maxlim: 2075   bits: 13/12
11.49/11.50	c ---[ 146]---> Adder-cost: 641   maxlim: 1247   bits: 12/11
11.49/11.52	c ---[ 144]---> Adder-cost: 638   maxlim: 1400   bits: 12/11
11.49/11.54	c ---[ 142]---> Adder-cost: 626   maxlim: 1400   bits: 12/11
11.49/11.57	c ---[ 141]---> Adder-cost: 170   maxlim: 262172   bits: 20/19
11.49/11.57	c ---[ 139]---> Adder-cost: 8784   maxlim: 35094   bits: 16/16
14.59/14.65	c ---[ 137]---> Adder-cost: 3704   maxlim: 5048   bits: 14/13
15.39/15.46	c ---[ 136]---> Adder-cost: 737   maxlim: 1967   bits: 12/11
15.39/15.48	c ---[ 135]---> Adder-cost: 852   maxlim: 6597   bits: 14/13
15.49/15.51	c ---[ 134]---> Adder-cost: 1698   maxlim: 14655   bits: 15/14
15.59/15.65	c ---[ 133]---> Adder-cost: 1750   maxlim: 22113   bits: 15/15
15.69/15.79	c ---[ 132]---> Adder-cost: 1846   maxlim: 37029   bits: 16/16
15.89/15.96	c ---[ 131]---> Adder-cost: 1990   maxlim: 64139   bits: 17/16
16.09/16.15	c ---[ 130]---> Adder-cost: 1948   maxlim: 64139   bits: 17/16
16.29/16.33	c ---[ 129]---> Adder-cost: 974   maxlim: 13125   bits: 15/14
16.39/16.42	c ---[ 128]---> Adder-cost: 546   maxlim: 3916   bits: 13/12
16.39/16.45	c ---[ 127]---> Adder-cost: 1088   maxlim: 8596   bits: 14/14
16.49/16.54	c ---[ 126]---> Adder-cost: 1388   maxlim: 15278   bits: 15/14
16.59/16.63	c ---[ 125]---> Adder-cost: 1756   maxlim: 23808   bits: 15/15
16.69/16.77	c ---[ 124]---> Adder-cost: 1882   maxlim: 40416   bits: 16/16
16.89/16.94	c ---[ 123]---> Adder-cost: 1948   maxlim: 56006   bits: 16/16
17.09/17.12	c ---[ 122]---> Adder-cost: 1828   maxlim: 48122   bits: 16/16
17.19/17.30	c ---[ 121]---> Adder-cost: 169   maxlim: 73   bits: 8/7
17.29/17.31	c ---[ 120]---> Adder-cost: 1090   maxlim: 1287   bits: 12/11
17.29/17.33	c ---[ 119]---> Adder-cost: 1810   maxlim: 3083   bits: 13/12
17.49/17.52	c ---[ 118]---> Adder-cost: 2144   maxlim: 7695   bits: 14/13
17.69/17.77	c ---[ 117]---> Adder-cost: 1286   maxlim: 2848   bits: 13/12
17.79/17.81	c ---[ 116]---> Adder-cost: 2732   maxlim: 4794   bits: 13/13
18.59/18.61	c ---[ 114]---> Adder-cost: 9150   maxlim: 23997   bits: 15/15
24.38/24.45	c ---[ 112]---> Adder-cost: 318   maxlim: 2005   bits: 12/11
24.38/24.47	c ---[ 110]---> Adder-cost: 4887   maxlim: 15646   bits: 15/14
24.58/24.65	c ---[ 107]---> Adder-cost: 252   maxlim: 1723   bits: 12/11
24.58/24.66	c ---[ 105]---> Adder-cost: 250   maxlim: 1792   bits: 12/11
24.58/24.67	c ---[ 103]---> Adder-cost: 606   maxlim: 2101   bits: 12/12
24.68/24.70	c ---[ 101]---> Adder-cost: 848   maxlim: 7172   bits: 13/13
24.68/24.77	c ---[  99]---> Adder-cost: 954   maxlim: 14850   bits: 14/14
24.78/24.84	c ---[  97]---> Adder-cost: 1008   maxlim: 29579   bits: 15/15
24.88/24.94	c ---[  95]---> Adder-cost: 1062   maxlim: 59774   bits: 16/16
24.98/25.04	c ---[  93]---> Adder-cost: 1630   maxlim: 125280   bits: 17/17
25.18/25.25	c ---[  91]---> Adder-cost: 576   maxlim: 1122   bits: 11/11
25.18/25.28	c ---[  89]---> Adder-cost: 662   maxlim: 2068   bits: 12/12
25.29/25.31	c ---[  87]---> Adder-cost: 644   maxlim: 3949   bits: 13/12
25.29/25.35	c ---[  85]---> Adder-cost: 824   maxlim: 7700   bits: 13/13
25.39/25.40	c ---[  83]---> Adder-cost: 1278   maxlim: 15980   bits: 15/14
25.48/25.51	c ---[  81]---> Adder-cost: 214   maxlim: 662   bits: 11/10
25.48/25.52	c ---[  79]---> Adder-cost: 250   maxlim: 1302   bits: 12/11
25.48/25.53	c ---[  77]---> Adder-cost: 3098   maxlim: 17400   bits: 15/15
26.08/26.19	c ---[  75]---> Adder-cost: 208   maxlim: 1024   bits: 11/11
26.08/26.20	c ---[  73]---> Adder-cost: 241   maxlim: 981   bits: 11/10
26.18/26.21	c ---[  71]---> Adder-cost: 338   maxlim: 1665   bits: 11/11
26.18/26.22	c ---[  69]---> Adder-cost: 480   maxlim: 2586   bits: 12/12
26.18/26.25	c ---[  67]---> Adder-cost: 502   maxlim: 5751   bits: 13/13
26.18/26.28	c ---[  65]---> Adder-cost: 558   maxlim: 11454   bits: 14/14
26.28/26.32	c ---[  63]---> Adder-cost: 604   maxlim: 28074   bits: 15/15
26.28/26.37	c ---[  61]---> Adder-cost: 204   maxlim: 300   bits: 9/9
26.28/26.37	c ---[  59]---> Adder-cost: 198   maxlim: 804   bits: 10/10
26.28/26.38	c ---[  57]---> Adder-cost: 166   maxlim: 1572   bits: 11/11
26.28/26.39	c ---[  55]---> Adder-cost: 494   maxlim: 3776   bits: 12/12
26.39/26.41	c ---[  53]---> Sorter-cost: 1150     Base: 2 2 3 2 2 2
26.39/26.42	c ---[  51]---> Sorter-cost: 1264     Base: 3 3 3 2 2
26.39/26.42	c ---[  49]---> Adder-cost: 372   maxlim: 2572   bits: 12/12
26.39/26.44	c ---[  47]---> Adder-cost: 254   maxlim: 1134   bits: 11/11
26.39/26.45	c ---[  45]---> Adder-cost: 206   maxlim: 1281   bits: 11/11
26.39/26.46	c ---[  43]---> Adder-cost: 232   maxlim: 1277   bits: 12/11
26.39/26.47	c ---[  42]---> Adder-cost: 152   maxlim: 131099   bits: 18/18
26.39/26.47	c ---[  40]---> Adder-cost: 624   maxlim: 1256   bits: 12/11
26.39/26.49	c ---[  38]---> Adder-cost: 1139   maxlim: 4082   bits: 13/12
26.49/26.54	c ---[  36]---> Adder-cost: 1968   maxlim: 9050   bits: 15/14
26.58/26.64	c ---[  34]---> Adder-cost: 2316   maxlim: 12966   bits: 15/14
26.68/26.76	c ---[  32]---> Adder-cost: 2602   maxlim: 20903   bits: 16/15
26.88/26.91	c ---[  30]---> Adder-cost: 3044   maxlim: 35341   bits: 16/16
27.59/27.64	c ---[  28]---> Adder-cost: 3202   maxlim: 35517   bits: 16/16
28.28/28.38	c ---[  26]---> Adder-cost: 2184   maxlim: 8897   bits: 15/14
28.38/28.47	c ---[  24]---> Adder-cost: 1800   maxlim: 5031   bits: 14/13
28.48/28.54	c ---[  22]---> Adder-cost: 2468   maxlim: 8956   bits: 15/14
28.59/28.63	c ---[  20]---> Adder-cost: 3084   maxlim: 12530   bits: 15/14
28.69/28.76	c ---[  18]---> Adder-cost: 3066   maxlim: 14982   bits: 15/14
28.88/28.90	c ---[  16]---> Adder-cost: 2800   maxlim: 22058   bits: 16/15
28.98/29.07	c ---[  14]---> Adder-cost: 3200   maxlim: 30377   bits: 16/15
29.79/29.80	c ---[  12]---> Adder-cost: 3212   maxlim: 26877   bits: 16/15
29.98/30.01	c ---[  10]---> Adder-cost: 2762   maxlim: 19635   bits: 16/15
30.28/30.37	c ---[   8]---> Adder-cost: 2472   maxlim: 8498   bits: 15/14
30.38/30.46	c ---[   6]---> Adder-cost: 2364   maxlim: 11293   bits: 15/14
30.48/30.57	c ---[   4]---> Adder-cost: 2886   maxlim: 14111   bits: 15/14
30.68/30.70	c ---[   2]---> Adder-cost: 2872   maxlim: 19822   bits: 16/15
31.18/31.23	c ---[   1]---> BDD-cost:   64
31.18/31.23	c ---[   0]---> BDD-cost:   51
1800.05/1800.40	|  Eliminated clauses:           0.14 Mb                                      |
1800.05/1800.40	============================[ Search Statistics ]==============================
1800.05/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.05/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.05/1800.40	===============================================================================
1800.05/1800.40	|       100 |  163630  1085053  3863746 |   397852      100      3 |  4.115 % |
1800.05/1800.40	|       250 |  163630  1085053  3863746 |   437638      250      4 |  4.115 % |
1800.05/1800.40	|       475 |  163611  1085053  3863746 |   481401      473      4 |  4.126 % |
1800.05/1800.40	|       812 |  163609  1085053  3863746 |   529542      808      5 |  4.127 % |
1800.05/1800.40	|      1318 |  163575  1085053  3863746 |   582496     1312      5 |  4.147 % |
1800.05/1800.40	|      2077 |  163575  1085053  3863746 |   640745     2071      6 |  4.147 % |
1800.05/1800.40	|      3216 |  163575  1085053  3863746 |   704820     3210      7 |  4.147 % |
1800.05/1800.40	|      4924 |  163575  1085053  3863746 |   775302     4918     10 |  4.147 % |
1800.05/1800.40	|      7486 |  163572  1085053  3863746 |   852832     7477     12 |  4.148 % |
1800.05/1800.40	|     11330 |  163549  1085053  3863746 |   938116    11319     15 |  4.162 % |
1800.05/1800.40	|     17096 |  163527  1085053  3863746 |  1031927    17083     15 |  4.174 % |
1800.05/1800.40	|     25745 |  163496  1085053  3863746 |  1135120    25722     18 |  4.192 % |
1800.05/1800.40	|     38719 |  163132  1085053  3863746 |  1248632    38663     19 |  4.403 % |
1800.05/1800.40	|     58180 |  163063  1085053  3863746 |  1373495    57451     24 |  4.443 % |
1800.05/1800.40	|     87372 |  163049  1085053  3863746 |  1510845    86484     31 |  4.451 % |
1800.05/1800.40	|    131161 |  162964  1085053  3863746 |  1661929   130257     38 |  4.500 % |
1800.05/1800.40	|    196845 |  161904  1085053  3863746 |  1828122   189696     40 |  5.113 % |
1800.05/1800.40	|    295371 |  161535  1085053  3863746 |  2010934   285573     44 |  5.326 % |
1800.05/1800.40	|    443160 |  161162  1085053  3863746 |  2212028   418018     46 |  5.542 % |
1800.05/1800.40	|    664843 |  161053  1085053  3863746 |  2433231   639055     57 |  5.605 % |
1800.05/1800.40	|    997368 |  160912  1085053  3863746 |  2676554   970521     59 |  5.687 % |
1800.05/1800.40	|   1496156 |  160729  1085053  3863746 |  2944209  1468740     65 |  5.792 % |
1800.05/1800.40	|   2244338 |  160715  1085053  3863746 |  3238630  2216403     74 |  5.801 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/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-4115352-1466523508/watcher-4115352-1466523508 -o /tmp/evaluation-result-4115352-1466523508/solver-4115352-1466523508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29310 --watchdog 1960 minisatp HOME/instance-4115352-1466523508.opb 

pid=30992
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.05 2.07 2.01 3/176 30995
/proc/meminfo: memFree=30280456/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=8152 CPUtime=0 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 711 0 0 0 0 0 0 0 20 0 1 0 54397511 8347648 587 33554432000 4194304 5646918 140734333353728 140736775404600 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 2038 588 84 355 0 1679 0

[startup+0.100169 s]
/proc/loadavg: 2.05 2.07 2.01 3/176 30995
/proc/meminfo: memFree=30280456/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=15476 CPUtime=0.09 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 2809 0 0 0 9 0 0 0 20 0 1 0 54397511 15847424 2425 33554432000 4194304 5646918 140734333353728 140736775404600 4817571 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 3869 2425 97 355 0 3510 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15476

[startup+0.200357 s]
/proc/loadavg: 2.05 2.07 2.01 3/176 30995
/proc/meminfo: memFree=30280456/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=14680 CPUtime=0.19 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 3271 0 0 0 19 0 0 0 20 0 1 0 54397511 15032320 2019 33554432000 4194304 5646918 140734333353728 140736775404600 4823342 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 3670 2019 97 355 0 3311 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14680

[startup+0.300308 s]
/proc/loadavg: 2.05 2.07 2.01 3/176 30995
/proc/meminfo: memFree=30280456/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=18000 CPUtime=0.29 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 5034 0 0 0 29 0 0 0 20 0 1 0 54397511 18432000 2858 33554432000 4194304 5646918 140734333353728 140736775404600 5157497 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 4500 2858 97 355 0 4141 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18000

[startup+0.70026 s]
/proc/loadavg: 2.05 2.07 2.01 3/176 30995
/proc/meminfo: memFree=30280456/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=28032 CPUtime=0.69 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 9558 0 0 0 68 1 0 0 20 0 1 0 54397511 28704768 4719 33554432000 4194304 5646918 140734333353728 140734333352280 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 7008 4719 97 355 0 6649 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28032

[startup+1.50025 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 30996
/proc/meminfo: memFree=30253052/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=36912 CPUtime=1.49 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 11786 0 0 0 148 1 0 0 20 0 1 0 54397511 37797888 6947 33554432000 4194304 5646918 140734333353728 140734333352280 4252474 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 9228 6947 105 355 0 8869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36912

[startup+3.10025 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 30996
/proc/meminfo: memFree=30252572/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=36912 CPUtime=3.09 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 11786 0 0 0 308 1 0 0 20 0 1 0 54397511 37797888 6947 33554432000 4194304 5646918 140734333353728 140734333352408 4252403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 9228 6947 105 355 0 8869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36912

[startup+6.30025 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 30996
/proc/meminfo: memFree=30245812/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=40416 CPUtime=6.29 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 12672 0 0 0 628 1 0 0 20 0 1 0 54397511 41385984 7833 33554432000 4194304 5646918 140734333353728 140734332577480 4831202 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 10104 7833 117 355 0 9745 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40416

[startup+12.7002 s]
/proc/loadavg: 2.04 2.07 2.01 3/177 30996
/proc/meminfo: memFree=30212896/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=71756 CPUtime=12.69 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 19940 0 0 0 1267 2 0 0 20 0 1 0 54397511 73478144 15364 33554432000 4194304 5646918 140734333353728 140734332753752 4460922 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 17939 15364 154 355 0 17580 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71756

[startup+25.5003 s]
/proc/loadavg: 2.03 2.06 2.01 4/176 30996
/proc/meminfo: memFree=30208864/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=74216 CPUtime=25.48 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 20532 0 0 0 2546 2 0 0 20 0 1 0 54397511 75997184 15956 33554432000 4194304 5646918 140734333353728 140734333352392 4817691 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 18554 15956 154 355 0 18195 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 74216

[startup+51.1004 s]
/proc/loadavg: 2.02 2.06 2.00 3/177 30997
/proc/meminfo: memFree=30077644/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=220208 CPUtime=51.08 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 38901 0 0 0 5102 6 0 0 20 0 1 0 54397511 225492992 47000 33554432000 4194304 5646918 140734333353728 140734333352424 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 55052 47000 183 355 0 54693 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 220208

[startup+102.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/178 31001
/proc/meminfo: memFree=29978992/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=288404 CPUtime=102.28 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 43793 0 0 0 10219 9 0 0 20 0 1 0 54397511 295325696 66704 33554432000 4194304 5646918 140734333353728 140734333351976 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 72101 66704 183 355 0 71742 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 288404

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 31002
/proc/meminfo: memFree=29878588/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=385116 CPUtime=162.27 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 47777 0 0 0 16216 11 0 0 20 0 1 0 54397511 394358784 87033 33554432000 4194304 5646918 140734333353728 140734333351976 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 96279 87033 183 355 0 95920 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 385116

[startup+222.307 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 31003
/proc/meminfo: memFree=29802860/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=526120 CPUtime=222.27 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 50417 0 0 0 22215 12 0 0 20 0 1 0 54397511 538746880 100391 33554432000 4194304 5646918 140734333353728 140734333351864 4417730 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 131530 100391 183 355 0 131171 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 526120

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 31004
/proc/meminfo: memFree=29728708/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=537184 CPUtime=282.24 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 52304 0 0 0 28212 12 0 0 20 0 1 0 54397511 550076416 112498 33554432000 4194304 5646918 140734333353728 140734333352024 4388947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 134296 112498 183 355 0 133937 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 537184

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31006
/proc/meminfo: memFree=29636540/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=539668 CPUtime=342.23 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 52925 0 0 0 34210 13 0 0 20 0 1 0 54397511 552620032 126405 33554432000 4194304 5646918 140734333353728 140734333351864 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 134917 126405 183 355 0 134558 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 539668

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31007
/proc/meminfo: memFree=29570148/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=765120 CPUtime=402.22 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 56045 0 0 0 40208 14 0 0 20 0 1 0 54397511 783482880 137183 33554432000 4194304 5646918 140734333353728 140734333351864 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 191280 137183 183 355 0 190921 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 765120

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31008
/proc/meminfo: memFree=29478344/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=769996 CPUtime=462.22 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 57330 0 0 0 46207 15 0 0 20 0 1 0 54397511 788475904 145111 33554432000 4194304 5646918 140734333353728 140734333351864 4403408 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 192499 145111 183 355 0 192140 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 769996

[startup+522.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 31009
/proc/meminfo: memFree=29411012/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=779616 CPUtime=522.21 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 59051 0 0 0 52204 17 0 0 20 0 1 0 54397511 798326784 153475 33554432000 4194304 5646918 140734333353728 140734333351864 4403138 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 194904 153475 183 355 0 194545 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 779616

[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 31010
/proc/meminfo: memFree=29368636/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=783952 CPUtime=582.2 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 60140 0 0 0 58203 17 0 0 20 0 1 0 54397511 802766848 159163 33554432000 4194304 5646918 140734333353728 140734333351864 4403411 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 195988 159163 183 355 0 195629 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 783952


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31019
/proc/meminfo: memFree=29042700/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1159232 CPUtime=882.17 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 66966 0 0 0 88196 21 0 0 20 0 1 0 54397511 1187053568 202261 33554432000 4194304 5646918 140734333353728 140734333351864 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 289808 202261 183 355 0 289449 0
Current children cumulated CPU time (s) 882.17
Current children cumulated vsize (KiB) 1159232

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31021
/proc/meminfo: memFree=29009004/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1163272 CPUtime=942.14 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 67942 0 0 0 94193 21 0 0 20 0 1 0 54397511 1191190528 206814 33554432000 4194304 5646918 140734333353728 140734333351864 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 290818 206814 183 355 0 290459 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1163272

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31022
/proc/meminfo: memFree=28944148/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1169972 CPUtime=1002.14 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 68624 0 0 0 100191 23 0 0 20 0 1 0 54397511 1198051328 218227 33554432000 4194304 5646918 140734333353728 140734333352424 4403051 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 292493 218227 183 355 0 292134 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1169972

[startup+1062.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 31023
/proc/meminfo: memFree=28776592/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1177388 CPUtime=1062.13 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 70632 0 0 0 106188 25 0 0 20 0 1 0 54397511 1205645312 248851 33554432000 4194304 5646918 140734333353728 140734333351864 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 294347 248851 183 355 0 293988 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1177388

[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 31080
/proc/meminfo: memFree=30594172/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1183940 CPUtime=1122.12 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 72270 0 0 0 112185 27 0 0 20 0 1 0 54397511 1212354560 272983 33554432000 4194304 5646918 140734333353728 140734333351864 4402815 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 295985 272983 183 355 0 295626 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1183940

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31081
/proc/meminfo: memFree=30370068/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1192428 CPUtime=1182.09 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 74341 0 0 0 118181 28 0 0 20 0 1 0 54397511 1221046272 279776 33554432000 4194304 5646918 140734333353728 140734333351864 4402788 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 298107 279776 183 355 0 297748 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1192428

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 31082
/proc/meminfo: memFree=30292112/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1197884 CPUtime=1242.05 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 75791 0 0 0 124176 29 0 0 20 0 1 0 54397511 1226633216 284964 33554432000 4194304 5646918 140734333353728 140734333351864 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 299471 284964 183 355 0 299112 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1197884

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31087
/proc/meminfo: memFree=30217800/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1203352 CPUtime=1302.02 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 76921 0 0 0 130173 29 0 0 20 0 1 0 54397511 1232232448 290574 33554432000 4194304 5646918 140734333353728 140734333351864 4389056 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 300838 290574 183 355 0 300479 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1203352

[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 31110
/proc/meminfo: memFree=30101748/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1209632 CPUtime=1362.02 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 78348 0 0 0 136171 31 0 0 20 0 1 0 54397511 1238663168 300685 33554432000 4194304 5646918 140734333353728 140734333351864 4402784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 302408 300685 183 355 0 302049 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1209632

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31111
/proc/meminfo: memFree=30047944/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1782760 CPUtime=1422.02 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 80076 0 0 0 142170 32 0 0 20 0 1 0 54397511 1825546240 308028 33554432000 4194304 5646918 140734333353728 140734333351864 4403544 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 445690 308028 183 355 0 445331 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1782760

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31112
/proc/meminfo: memFree=30000532/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1788672 CPUtime=1482 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 81279 0 0 0 148167 33 0 0 20 0 1 0 54397511 1831600128 313319 33554432000 4194304 5646918 140734333353728 140734333351864 4403495 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 447168 313319 183 355 0 446809 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1788672

[startup+1542.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31113
/proc/meminfo: memFree=29947228/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1791388 CPUtime=1542 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 81875 0 0 0 154166 34 0 0 20 0 1 0 54397511 1834381312 321068 33554432000 4194304 5646918 140734333353728 140734333351864 4402818 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 447847 321068 183 355 0 447488 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1791388

[startup+1602.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 31115
/proc/meminfo: memFree=29890012/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1795820 CPUtime=1601.98 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 82845 0 0 0 160164 34 0 0 20 0 1 0 54397511 1838919680 330725 33554432000 4194304 5646918 140734333353728 140734333351864 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 448955 330725 183 355 0 448596 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1795820

[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 31116
/proc/meminfo: memFree=29838692/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1800012 CPUtime=1661.97 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 83776 0 0 0 166162 35 0 0 20 0 1 0 54397511 1843212288 335232 33554432000 4194304 5646918 140734333353728 140734333351864 4403091 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 450003 335232 183 355 0 449644 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1800012

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 31117
/proc/meminfo: memFree=29805860/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1802300 CPUtime=1721.96 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 84282 0 0 0 172161 35 0 0 20 0 1 0 54397511 1845555200 338804 33554432000 4194304 5646918 140734333353728 140734333351864 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 450575 338804 183 355 0 450216 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1802300

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31118
/proc/meminfo: memFree=29774592/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1805396 CPUtime=1781.96 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 84895 0 0 0 178160 36 0 0 20 0 1 0 54397511 1848725504 341972 33554432000 4194304 5646918 140734333353728 140734333351864 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 451349 341972 183 355 0 450990 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1805396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 31118
/proc/meminfo: memFree=29763360/32872528 swapFree=338416/354768
[pid=30995] ppid=30992 vsize=1805716 CPUtime=1800.05 cores=0,2,4,6
/proc/30995/stat : 30995 (minisatp) R 30992 30995 29294 0 -1 4202496 84998 0 0 0 179969 36 0 0 20 0 1 0 54397511 1849053184 343608 33554432000 4194304 5646918 140734333353728 140734333351864 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/30995/statm: 451429 343608 183 355 0 451070 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1805716

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 30995 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.07
CPU user time (s): 1799.7
CPU system time (s): 0.368943
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 1805716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.368943
maximum resident set size= 1374432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84998
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= 101
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7489 second user time and 8.99663 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-21 17:38:28
IDJOB=4115352
IDBENCH=1668
IDSOLVER=2555
FILE ID=node126/4115352-1466523508
RUNJOBID= node126-1466515257-29310
PBS_JOBID= 19942885
Free space on /tmp= 71728 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-forplan.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115352-1466523508/watcher-4115352-1466523508 -o /tmp/evaluation-result-4115352-1466523508/solver-4115352-1466523508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29310 --watchdog 1960  minisatp HOME/instance-4115352-1466523508.opb

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

MD5SUM BENCH= 4cdda58963f46d542400f05ed7600db2
RANDOM SEED=1396449444

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.121
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.121
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.121
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.121
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:        30280660 kB
Buffers:           10208 kB
Cached:            67828 kB
SwapCached:         1724 kB
Active:          1486220 kB
Inactive:          45188 kB
Active(anon):    1454972 kB
Inactive(anon):      948 kB
Active(file):      31248 kB
Inactive(file):    44240 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67099092 kB
Dirty:              4732 kB
Writeback:             0 kB
AnonPages:       1809888 kB
Mapped:             7904 kB
Shmem:                 0 kB
Slab:             572044 kB
SReclaimable:      16284 kB
SUnreclaim:       555760 kB
KernelStack:        1464 kB
PageTables:         7424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2051964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    780288 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-4115352-1466523508.opb

Free space on /tmp at the end= 71732 MiB
End job on node126 at 2016-06-21 18:08:28