Trace number 4111831

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisatp 2012-10-02 git-d91742b? (TO) 1800.07 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K167.opb
MD5SUM828e3d173a352fe2cabe4815c21f6f3f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19873
Total number of constraints20209
Number of constraints which are clauses20042
Number of constraints which are cardinality constraints (but not clauses)167
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint167
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 168
Number of bits of the biggest sum of numbers8
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.49/0.58	c Converting 20207 PB-constraints to clauses...
0.49/0.58	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.49/0.59	c   -- Detecting intervals from adjacent constraints: #####################################################################################################################################################################
0.49/0.59	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.59/0.62	c ---[ 330]---> BDD-cost:  235
0.59/0.62	c ---[ 328]---> BDD-cost:  235
0.59/0.62	c ---[ 326]---> BDD-cost:  235
0.59/0.63	c ---[ 324]---> BDD-cost:  235
0.59/0.63	c ---[ 322]---> BDD-cost:  235
0.59/0.63	c ---[ 320]---> BDD-cost:  235
0.59/0.64	c ---[ 318]---> BDD-cost:  235
0.59/0.64	c ---[ 316]---> BDD-cost:  235
0.59/0.64	c ---[ 314]---> BDD-cost:  235
0.59/0.65	c ---[ 312]---> BDD-cost:  235
0.59/0.65	c ---[ 310]---> BDD-cost:  235
0.59/0.65	c ---[ 308]---> BDD-cost:  235
0.59/0.66	c ---[ 306]---> BDD-cost:  235
0.59/0.66	c ---[ 304]---> BDD-cost:  235
0.59/0.66	c ---[ 302]---> BDD-cost:  235
0.59/0.67	c ---[ 300]---> BDD-cost:  235
0.59/0.67	c ---[ 298]---> BDD-cost:  235
0.59/0.67	c ---[ 296]---> BDD-cost:  235
0.59/0.68	c ---[ 294]---> BDD-cost:  235
0.59/0.68	c ---[ 292]---> BDD-cost:  235
0.59/0.68	c ---[ 290]---> BDD-cost:  235
0.59/0.69	c ---[ 288]---> BDD-cost:  235
0.59/0.69	c ---[ 286]---> BDD-cost:  235
0.59/0.69	c ---[ 284]---> BDD-cost:  235
0.69/0.70	c ---[ 282]---> BDD-cost:  235
0.69/0.70	c ---[ 280]---> BDD-cost:  235
0.69/0.70	c ---[ 278]---> BDD-cost:  235
0.69/0.71	c ---[ 276]---> BDD-cost:  235
0.69/0.71	c ---[ 274]---> BDD-cost:  235
0.69/0.71	c ---[ 272]---> BDD-cost:  235
0.69/0.72	c ---[ 270]---> BDD-cost:  235
0.69/0.72	c ---[ 268]---> BDD-cost:  235
0.69/0.72	c ---[ 266]---> BDD-cost:  235
0.69/0.73	c ---[ 264]---> BDD-cost:  235
0.69/0.73	c ---[ 262]---> BDD-cost:  235
0.69/0.73	c ---[ 260]---> BDD-cost:  235
0.69/0.74	c ---[ 258]---> BDD-cost:  235
0.69/0.74	c ---[ 256]---> BDD-cost:  235
0.69/0.74	c ---[ 254]---> BDD-cost:  235
0.69/0.75	c ---[ 252]---> BDD-cost:  235
0.69/0.75	c ---[ 250]---> BDD-cost:  235
0.69/0.75	c ---[ 248]---> BDD-cost:  235
0.69/0.76	c ---[ 246]---> BDD-cost:  235
0.69/0.76	c ---[ 244]---> BDD-cost:  235
0.69/0.76	c ---[ 242]---> BDD-cost:  235
0.69/0.77	c ---[ 240]---> BDD-cost:  235
0.69/0.77	c ---[ 238]---> BDD-cost:  235
0.69/0.77	c ---[ 236]---> BDD-cost:  235
0.69/0.78	c ---[ 234]---> BDD-cost:  235
0.69/0.78	c ---[ 232]---> BDD-cost:  235
0.69/0.78	c ---[ 230]---> BDD-cost:  235
0.69/0.78	c ---[ 228]---> BDD-cost:  235
0.69/0.79	c ---[ 226]---> BDD-cost:  235
0.69/0.79	c ---[ 224]---> BDD-cost:  235
0.69/0.79	c ---[ 222]---> BDD-cost:  235
0.79/0.80	c ---[ 220]---> BDD-cost:  235
0.79/0.80	c ---[ 218]---> BDD-cost:  235
0.79/0.80	c ---[ 216]---> BDD-cost:  235
0.79/0.81	c ---[ 214]---> BDD-cost:  235
0.79/0.81	c ---[ 212]---> BDD-cost:  235
0.79/0.81	c ---[ 210]---> BDD-cost:  235
0.79/0.82	c ---[ 208]---> BDD-cost:  235
0.79/0.82	c ---[ 206]---> BDD-cost:  235
0.79/0.82	c ---[ 204]---> BDD-cost:  235
0.79/0.83	c ---[ 202]---> BDD-cost:  235
0.79/0.83	c ---[ 200]---> BDD-cost:  235
0.79/0.83	c ---[ 198]---> BDD-cost:  235
0.79/0.84	c ---[ 196]---> BDD-cost:  235
0.79/0.84	c ---[ 194]---> BDD-cost:  235
0.79/0.84	c ---[ 192]---> BDD-cost:  235
0.79/0.85	c ---[ 190]---> BDD-cost:  235
0.79/0.85	c ---[ 188]---> BDD-cost:  235
0.79/0.85	c ---[ 186]---> BDD-cost:  235
0.79/0.86	c ---[ 184]---> BDD-cost:  235
0.79/0.86	c ---[ 182]---> BDD-cost:  235
0.79/0.86	c ---[ 180]---> BDD-cost:  235
0.79/0.87	c ---[ 178]---> BDD-cost:  235
0.79/0.87	c ---[ 176]---> BDD-cost:  235
0.79/0.87	c ---[ 174]---> BDD-cost:  235
0.79/0.88	c ---[ 172]---> BDD-cost:  235
0.79/0.88	c ---[ 170]---> BDD-cost:  235
0.79/0.88	c ---[ 168]---> BDD-cost:  235
0.79/0.89	c ---[ 166]---> BDD-cost:  235
0.79/0.89	c ---[ 164]---> BDD-cost:  235
0.79/0.89	c ---[ 162]---> BDD-cost:  235
0.89/0.90	c ---[ 160]---> BDD-cost:  235
0.89/0.90	c ---[ 158]---> BDD-cost:  235
0.89/0.90	c ---[ 156]---> BDD-cost:  235
0.89/0.91	c ---[ 154]---> BDD-cost:  235
0.89/0.91	c ---[ 152]---> BDD-cost:  235
0.89/0.91	c ---[ 150]---> BDD-cost:  235
0.89/0.92	c ---[ 148]---> BDD-cost:  235
0.89/0.92	c ---[ 146]---> BDD-cost:  235
0.89/0.92	c ---[ 144]---> BDD-cost:  235
0.89/0.93	c ---[ 142]---> BDD-cost:  235
0.89/0.93	c ---[ 140]---> BDD-cost:  235
0.89/0.93	c ---[ 138]---> BDD-cost:  235
0.89/0.94	c ---[ 136]---> BDD-cost:  235
0.89/0.94	c ---[ 134]---> BDD-cost:  235
0.89/0.94	c ---[ 132]---> BDD-cost:  235
0.89/0.95	c ---[ 130]---> BDD-cost:  235
0.89/0.95	c ---[ 128]---> BDD-cost:  235
0.89/0.95	c ---[ 126]---> BDD-cost:  235
0.89/0.96	c ---[ 124]---> BDD-cost:  235
0.89/0.96	c ---[ 122]---> BDD-cost:  235
0.89/0.96	c ---[ 120]---> BDD-cost:  235
0.89/0.97	c ---[ 118]---> BDD-cost:  235
0.89/0.97	c ---[ 116]---> BDD-cost:  235
0.89/0.97	c ---[ 114]---> BDD-cost:  235
0.89/0.98	c ---[ 112]---> BDD-cost:  235
0.89/0.98	c ---[ 110]---> BDD-cost:  235
0.89/0.98	c ---[ 108]---> BDD-cost:  235
0.89/0.99	c ---[ 106]---> BDD-cost:  235
0.89/0.99	c ---[ 104]---> BDD-cost:  235
0.89/0.99	c ---[ 102]---> BDD-cost:  235
0.99/1.00	c ---[ 100]---> BDD-cost:  235
0.99/1.00	c ---[  98]---> BDD-cost:  235
0.99/1.00	c ---[  96]---> BDD-cost:  235
0.99/1.01	c ---[  94]---> BDD-cost:  235
0.99/1.01	c ---[  92]---> BDD-cost:  235
0.99/1.01	c ---[  90]---> BDD-cost:  235
0.99/1.02	c ---[  88]---> BDD-cost:  235
0.99/1.02	c ---[  86]---> BDD-cost:  235
0.99/1.02	c ---[  84]---> BDD-cost:  235
0.99/1.03	c ---[  82]---> BDD-cost:  235
0.99/1.03	c ---[  80]---> BDD-cost:  235
0.99/1.03	c ---[  78]---> BDD-cost:  235
0.99/1.03	c ---[  76]---> BDD-cost:  235
0.99/1.04	c ---[  74]---> BDD-cost:  235
0.99/1.04	c ---[  72]---> BDD-cost:  235
0.99/1.04	c ---[  70]---> BDD-cost:  235
0.99/1.05	c ---[  68]---> BDD-cost:  235
0.99/1.05	c ---[  66]---> BDD-cost:  235
0.99/1.05	c ---[  64]---> BDD-cost:  235
0.99/1.06	c ---[  62]---> BDD-cost:  235
0.99/1.06	c ---[  60]---> BDD-cost:  235
0.99/1.06	c ---[  58]---> BDD-cost:  235
0.99/1.07	c ---[  56]---> BDD-cost:  235
0.99/1.07	c ---[  54]---> BDD-cost:  235
0.99/1.07	c ---[  52]---> BDD-cost:  235
0.99/1.08	c ---[  50]---> BDD-cost:  235
0.99/1.08	c ---[  48]---> BDD-cost:  235
0.99/1.08	c ---[  46]---> BDD-cost:  235
0.99/1.09	c ---[  44]---> BDD-cost:  235
0.99/1.09	c ---[  42]---> BDD-cost:  235
0.99/1.09	c ---[  40]---> BDD-cost:  235
0.99/1.10	c ---[  38]---> BDD-cost:  235
0.99/1.10	c ---[  36]---> BDD-cost:  235
1.10/1.10	c ---[  34]---> BDD-cost:  235
1.10/1.11	c ---[  32]---> BDD-cost:  235
1.10/1.11	c ---[  30]---> BDD-cost:  235
1.10/1.11	c ---[  28]---> BDD-cost:  235
1.10/1.12	c ---[  26]---> BDD-cost:  235
1.10/1.12	c ---[  24]---> BDD-cost:  233
1.10/1.12	c ---[  22]---> BDD-cost:  229
1.10/1.13	c ---[  20]---> BDD-cost:  223
1.10/1.13	c ---[  18]---> BDD-cost:  213
1.10/1.13	c ---[  16]---> BDD-cost:  205
1.10/1.13	c ---[  14]---> BDD-cost:  199
1.10/1.14	c ---[  12]---> BDD-cost:  177
1.10/1.14	c ---[  10]---> BDD-cost:  131
1.10/1.14	c ---[   8]---> BDD-cost:   97
1.10/1.14	c ---[   6]---> BDD-cost:   63
1.10/1.14	c ---[   4]---> BDD-cost:   35
1.10/1.14	c ---[   2]---> BDD-cost:    7
1800.05/1800.40	|  Eliminated clauses:           0.04 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 |   55552   111928   327681 |    41040       98    191 |  1.619 % |
1800.05/1800.40	|       250 |   55552   111928   327681 |    45144      248    130 |  1.619 % |
1800.05/1800.40	|       475 |   55552   111928   327681 |    49658      473    132 |  1.619 % |
1800.05/1800.40	|       812 |   55552   111928   327681 |    54624      810    128 |  1.619 % |
1800.05/1800.40	|      1318 |   55552   111928   327681 |    60087     1316    139 |  1.619 % |
1800.05/1800.40	|      2077 |   55552   111928   327681 |    66095     2075    154 |  1.619 % |
1800.05/1800.40	|      3216 |   55552   111928   327681 |    72705     3214    181 |  1.619 % |
1800.05/1800.40	|      4924 |   55552   111928   327681 |    79975     4922    179 |  1.619 % |
1800.05/1800.40	|      7486 |   55552   111928   327681 |    87973     7484    186 |  1.619 % |
1800.05/1800.40	|     11330 |   55551   111928   327681 |    96770    11326    183 |  1.620 % |
1800.05/1800.40	|     17096 |   55551   111928   327681 |   106447    17092    219 |  1.620 % |
1800.05/1800.40	|     25745 |   55550   111928   327681 |   117092    25739    243 |  1.622 % |
1800.05/1800.40	|     38719 |   55550   111928   327681 |   128801    38713    238 |  1.622 % |
1800.05/1800.40	|     58180 |   55550   111928   327681 |   141682    58174    241 |  1.622 % |
1800.05/1800.40	|     87372 |   55550   111928   327681 |   155850    87366    264 |  1.622 % |
1800.05/1800.40	|    131161 |   55550   111928   327681 |   171435   131155    287 |  1.622 % |
1800.05/1800.40	|    196845 |   55550   111928   327681 |   188578    63838    205 |  1.622 % |
1800.05/1800.40	|    295371 |   55550   111928   327681 |   207436   162364    310 |  1.622 % |
1800.05/1800.40	|    443160 |   55547   111928   327681 |   228180   153592    292 |  1.627 % |
1800.05/1800.40	|    664843 |   55409   111928   327681 |   250998   205893    307 |  1.867 % |
1800.05/1800.40	|    997368 |   55388   111928   327681 |   276098   169622    297 |  1.903 % |
1800.05/1800.40	|   1496156 |   55371   111928   327681 |   303708   229892    320 |  1.933 % |
1800.05/1800.40	|   2244338 |   55353   111928   327681 |   334079   292814    431 |  1.964 % |
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-4111831-1466602889/watcher-4111831-1466602889 -o /tmp/evaluation-result-4111831-1466602889/solver-4111831-1466602889 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466586398-25420 --watchdog 1960 minisatp HOME/instance-4111831-1466602889.opb 

pid=28477
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.01 2.02 2.00 3/176 28480
/proc/meminfo: memFree=29899284/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=6592 CPUtime=0 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 62334333 6750208 235 33554432000 4194304 5646918 140734883776176 140734930594056 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 1648 236 94 355 0 1289 0

[startup+0.100171 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 28480
/proc/meminfo: memFree=29899284/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=13536 CPUtime=0.09 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 2016 0 0 0 9 0 0 0 20 0 1 0 62334333 13860864 1850 33554432000 4194304 5646918 140734883776176 140734930594056 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 3384 1850 94 355 0 3025 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13536

[startup+0.200327 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 28480
/proc/meminfo: memFree=29899284/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=18940 CPUtime=0.19 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 3372 0 0 0 19 0 0 0 20 0 1 0 62334333 19394560 3206 33554432000 4194304 5646918 140734883776176 140734930594056 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 4785 3208 94 355 0 4426 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18940

[startup+0.30029 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 28480
/proc/meminfo: memFree=29899284/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=24556 CPUtime=0.29 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 4763 0 0 0 29 0 0 0 20 0 1 0 62334333 25145344 4597 33554432000 4194304 5646918 140734883776176 140734930594056 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 6139 4598 94 355 0 5780 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24556

[startup+0.700269 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 28480
/proc/meminfo: memFree=29899284/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=39180 CPUtime=0.69 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 8702 0 0 0 68 1 0 0 20 0 1 0 62334333 40120320 8368 33554432000 4194304 5646918 140734883776176 140734883775544 4828176 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 9795 8368 117 355 0 9436 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39180

[startup+1.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28481
/proc/meminfo: memFree=29856032/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=48292 CPUtime=1.49 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 10986 0 0 0 148 1 0 0 20 0 1 0 62334333 49451008 11112 33554432000 4194304 5646918 140734883776176 140734883769976 4402784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 12073 11112 144 355 0 11714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48292

[startup+3.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28481
/proc/meminfo: memFree=29839160/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=51012 CPUtime=3.09 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 11764 0 0 0 307 2 0 0 20 0 1 0 62334333 52236288 11888 33554432000 4194304 5646918 140734883776176 140734883774872 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 12753 11888 145 355 0 12394 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51012

[startup+6.30029 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28481
/proc/meminfo: memFree=29825720/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=62612 CPUtime=6.29 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 12500 0 0 0 627 2 0 0 20 0 1 0 62334333 64114688 13643 33554432000 4194304 5646918 140734883776176 140734883774872 4397505 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 15653 13644 145 355 0 15294 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62612

[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 28481
/proc/meminfo: memFree=29786780/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=93256 CPUtime=12.69 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 13572 0 0 0 1267 2 0 0 20 0 1 0 62334333 95494144 18801 33554432000 4194304 5646918 140734883776176 140734883774872 4402832 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 23314 18801 145 355 0 22955 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93256

[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 28481
/proc/meminfo: memFree=29726724/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=124076 CPUtime=25.49 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 14101 0 0 0 2546 3 0 0 20 0 1 0 62334333 127053824 25457 33554432000 4194304 5646918 140734883776176 140734883774872 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 31019 25457 145 355 0 30660 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 124076

[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 28481
/proc/meminfo: memFree=29592132/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=181344 CPUtime=51.09 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 16442 0 0 0 5105 4 0 0 20 0 1 0 62334333 185696256 43124 33554432000 4194304 5646918 140734883776176 140734883774312 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 45336 43124 145 355 0 44977 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 181344

[startup+102.3 s]
/proc/loadavg: 2.18 2.07 2.01 3/177 28482
/proc/meminfo: memFree=29527896/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=112460 CPUtime=102.28 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 20389 0 0 0 10220 8 0 0 20 0 1 0 62334333 115159040 27255 33554432000 4194304 5646918 140734883776176 140734883774280 4416598 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 28115 27255 147 355 0 27756 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 112460

[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 28483
/proc/meminfo: memFree=30222808/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=279860 CPUtime=162.26 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 23466 0 0 0 16216 10 0 0 20 0 1 0 62334333 286576640 65072 33554432000 4194304 5646918 140734883776176 140734883774312 4402627 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 69965 65072 147 355 0 69606 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 279860

[startup+222.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 28484
/proc/meminfo: memFree=30083992/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=204952 CPUtime=222.26 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 27095 0 0 0 22211 15 0 0 20 0 1 0 62334333 209870848 38759 33554432000 4194304 5646918 140734883776176 140734883774872 4397491 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 51238 38759 147 355 0 50879 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 204952

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 28486
/proc/meminfo: memFree=29804572/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=421100 CPUtime=282.25 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 28886 0 0 0 28207 18 0 0 20 0 1 0 62334333 431206400 76831 33554432000 4194304 5646918 140734883776176 140734883774312 4403147 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 105275 76831 147 355 0 104916 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 421100

[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 28487
/proc/meminfo: memFree=29848680/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=161420 CPUtime=342.24 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 31387 0 0 0 34196 28 0 0 20 0 1 0 62334333 165294080 37763 33554432000 4194304 5646918 140734883776176 140734883774872 4403760 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 40355 37763 147 355 0 39996 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 161420

[startup+402.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 28488
/proc/meminfo: memFree=30027476/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=294264 CPUtime=402.23 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 33036 0 0 0 40192 31 0 0 20 0 1 0 62334333 301326336 72113 33554432000 4194304 5646918 140734883776176 140734883774312 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 73566 72113 147 355 0 73207 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 294264

[startup+462.3 s]
/proc/loadavg: 2.19 2.10 2.02 3/177 28545
/proc/meminfo: memFree=30781544/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=430964 CPUtime=462.21 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 34704 0 0 0 46188 33 0 0 20 0 1 0 62334333 441307136 99988 33554432000 4194304 5646918 140734883776176 140734883774312 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 107741 99988 147 355 0 107382 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 430964

[startup+522.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/178 28549
/proc/meminfo: memFree=30894824/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=300528 CPUtime=522.19 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 36958 0 0 0 52182 37 0 0 20 0 1 0 62334333 307740672 63838 33554432000 4194304 5646918 140734883776176 140734883774872 4403454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 75132 63838 147 355 0 74773 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 300528

[startup+582.3 s]
/proc/loadavg: 2.18 2.11 2.03 3/177 28551
/proc/meminfo: memFree=30786196/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=435124 CPUtime=582.18 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 38126 0 0 0 58179 39 0 0 20 0 1 0 62334333 445566976 94131 33554432000 4194304 5646918 140734883776176 140734883774312 4402829 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 108781 94131 147 355 0 108422 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 435124


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


[startup+882.307 s]
/proc/loadavg: 2.01 2.07 2.02 3/177 28557
/proc/meminfo: memFree=30583212/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=444588 CPUtime=882.12 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 45724 0 0 0 88153 59 0 0 20 0 1 0 62334333 455258112 100504 33554432000 4194304 5646918 140734883776176 140734883774312 4397501 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 111147 100504 147 355 0 110788 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 444588

[startup+942.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/177 28558
/proc/meminfo: memFree=30590888/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=153100 CPUtime=942.1 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 47381 0 0 0 94148 62 0 0 20 0 1 0 62334333 156774400 33650 33554432000 4194304 5646918 140734883776176 140734883774312 4397505 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 38275 33650 147 355 0 37916 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 153100

[startup+1002.3 s]
/proc/loadavg: 2.16 2.10 2.03 3/177 28559
/proc/meminfo: memFree=30697308/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=315976 CPUtime=1002.09 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 49087 0 0 0 100144 65 0 0 20 0 1 0 62334333 323559424 70100 33554432000 4194304 5646918 140734883776176 140734883774872 4403178 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 78994 70100 147 355 0 78635 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 315976

[startup+1062.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/177 28560
/proc/meminfo: memFree=30623068/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=449644 CPUtime=1062.08 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 50031 0 0 0 106141 67 0 0 20 0 1 0 62334333 460435456 103236 33554432000 4194304 5646918 140734883776176 140734883774280 4402811 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 112411 103236 147 355 0 112052 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 449644

[startup+1122.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/178 28564
/proc/meminfo: memFree=30343332/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=667576 CPUtime=1122.08 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 51296 0 0 0 112138 70 0 0 20 0 1 0 62334333 683597824 131784 33554432000 4194304 5646918 140734883776176 140734883774280 4403164 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 166894 131784 147 355 0 166535 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 667576

[startup+1182.3 s]
/proc/loadavg: 2.07 2.07 2.02 4/178 28588
/proc/meminfo: memFree=30802172/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=321516 CPUtime=1182.06 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 53082 0 0 0 118132 74 0 0 20 0 1 0 62334333 329232384 76751 33554432000 4194304 5646918 140734883776176 140734883774280 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 80379 76751 147 355 0 80020 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 321516

[startup+1242.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/177 28589
/proc/meminfo: memFree=30546540/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=454356 CPUtime=1242.05 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 53752 0 0 0 124128 77 0 0 20 0 1 0 62334333 465260544 107569 33554432000 4194304 5646918 140734883776176 140734883774312 4399784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 113589 107569 147 355 0 113230 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 454356

[startup+1302.3 s]
/proc/loadavg: 2.03 2.06 2.02 4/177 28590
/proc/meminfo: memFree=30543020/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=671140 CPUtime=1302.05 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 54758 0 0 0 130126 79 0 0 20 0 1 0 62334333 687247360 139746 33554432000 4194304 5646918 140734883776176 140734883774312 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 167785 139746 147 355 0 167426 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 671140

[startup+1362.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/177 28591
/proc/meminfo: memFree=30700908/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=325388 CPUtime=1362.03 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 57061 0 0 0 136120 83 0 0 20 0 1 0 62334333 333197312 64309 33554432000 4194304 5646918 140734883776176 140734883774872 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 81347 64309 147 355 0 80988 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 325388

[startup+1422.3 s]
/proc/loadavg: 2.12 2.08 2.03 3/177 28592
/proc/meminfo: memFree=30737272/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=457948 CPUtime=1422.03 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 57706 0 0 0 142117 86 0 0 20 0 1 0 62334333 468938752 93569 33554432000 4194304 5646918 140734883776176 140734883774872 4397505 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 114487 93569 147 355 0 114128 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 457948

[startup+1482.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/177 28594
/proc/meminfo: memFree=30449192/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=674372 CPUtime=1482.02 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 58641 0 0 0 148114 88 0 0 20 0 1 0 62334333 690556928 122607 33554432000 4194304 5646918 140734883776176 140734883774312 4403495 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 168593 122607 147 355 0 168234 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 674372

[startup+1542.31 s]
/proc/loadavg: 2.07 2.08 2.02 4/177 28595
/proc/meminfo: memFree=30557984/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=328800 CPUtime=1542.01 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 60511 0 0 0 154109 92 0 0 20 0 1 0 62334333 336691200 66138 33554432000 4194304 5646918 140734883776176 140734883774872 4402795 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 82200 66138 147 355 0 81841 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 328800

[startup+1602.3 s]
/proc/loadavg: 2.20 2.11 2.04 3/177 28596
/proc/meminfo: memFree=30619716/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=461352 CPUtime=1602 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 61136 0 0 0 160104 96 0 0 20 0 1 0 62334333 472424448 107131 33554432000 4194304 5646918 140734883776176 140734883774312 4403170 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 115338 107131 147 355 0 114979 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 461352

[startup+1662.3 s]
/proc/loadavg: 2.23 2.13 2.04 4/177 28597
/proc/meminfo: memFree=30318652/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=677948 CPUtime=1661.99 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 62117 0 0 0 166100 99 0 0 20 0 1 0 62334333 694218752 148601 33554432000 4194304 5646918 140734883776176 140734883774312 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 169487 148601 147 355 0 169128 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 677948

[startup+1722.3 s]
/proc/loadavg: 2.16 2.12 2.04 3/178 28601
/proc/meminfo: memFree=30361080/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=1029268 CPUtime=1721.96 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 62913 0 0 0 172091 105 0 0 20 0 1 0 62334333 1053970432 184821 33554432000 4194304 5646918 140734883776176 140734883774312 4397497 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 257317 184821 147 355 0 256958 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1029268

[startup+1782.3 s]
/proc/loadavg: 2.14 2.13 2.05 3/177 28603
/proc/meminfo: memFree=30589352/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=465528 CPUtime=1781.95 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 65016 0 0 0 178081 114 0 0 20 0 1 0 62334333 476700672 88984 33554432000 4194304 5646918 140734883776176 140734883774312 4397533 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 116382 88984 147 355 0 116023 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 465528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.19 2.13 2.05 3/177 28603
/proc/meminfo: memFree=30506872/32872528 swapFree=497380/530084
[pid=28480] ppid=28477 vsize=465808 CPUtime=1800.05 cores=0,2,4,6
/proc/28480/stat : 28480 (minisatp) R 28477 28480 25404 0 -1 4202496 65092 0 0 0 179890 115 0 0 20 0 1 0 62334333 476987392 100813 33554432000 4194304 5646918 140734883776176 140734883774312 4403478 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28480/statm: 116452 100813 147 355 0 116093 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 465808

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 28480 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): 1798.91
CPU system time (s): 1.16382
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 1078756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.16382
maximum resident set size= 794736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65092
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= 108
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.24535 second user time and 7.2529 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-22 15:41:29
IDJOB=4111831
IDBENCH=90141
IDSOLVER=2555
FILE ID=node141/4111831-1466602889
RUNJOBID= node141-1466586398-25420
PBS_JOBID= 19953363
Free space on /tmp= 71696 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K167.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111831-1466602889/watcher-4111831-1466602889 -o /tmp/evaluation-result-4111831-1466602889/solver-4111831-1466602889 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466586398-25420 --watchdog 1960  minisatp HOME/instance-4111831-1466602889.opb

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

MD5SUM BENCH= 828e3d173a352fe2cabe4815c21f6f3f
RANDOM SEED=514869542

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29899612 kB
Buffers:           94796 kB
Cached:           231836 kB
SwapCached:         4160 kB
Active:          1457036 kB
Inactive:         235340 kB
Active(anon):    1362372 kB
Inactive(anon):     5452 kB
Active(file):      94664 kB
Inactive(file):   229888 kB
Unevictable:      530084 kB
Mlocked:          497380 kB
SwapTotal:      67108856 kB
SwapFree:       67097640 kB
Dirty:              4760 kB
Writeback:             0 kB
AnonPages:       1898836 kB
Mapped:             9500 kB
Shmem:                 0 kB
Slab:             608808 kB
SReclaimable:      52460 kB
SUnreclaim:       556348 kB
KernelStack:        1456 kB
PageTables:         7852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2220908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    825344 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-4111831-1466602889.opb

Free space on /tmp at the end= 71720 MiB
End job on node141 at 2016-06-22 16:11:30