Trace number 4111837

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.11 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K181.opb
MD5SUM786bb841dd145412a2aec0a596e79174
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 variables21539
Total number of constraints21903
Number of constraints which are clauses21722
Number of constraints which are cardinality constraints (but not clauses)181
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint181
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 182
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.59/0.63	c Converting 21901 PB-constraints to clauses...
0.59/0.63	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.59/0.64	c   -- Detecting intervals from adjacent constraints: ###################################################################################################################################################################################
0.59/0.65	c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.59/0.67	c ---[ 358]---> BDD-cost:  235
0.59/0.68	c ---[ 356]---> BDD-cost:  235
0.59/0.68	c ---[ 354]---> BDD-cost:  235
0.59/0.68	c ---[ 352]---> BDD-cost:  235
0.59/0.69	c ---[ 350]---> BDD-cost:  235
0.59/0.69	c ---[ 348]---> BDD-cost:  235
0.59/0.69	c ---[ 346]---> BDD-cost:  235
0.69/0.70	c ---[ 344]---> BDD-cost:  235
0.69/0.70	c ---[ 342]---> BDD-cost:  235
0.69/0.70	c ---[ 340]---> BDD-cost:  235
0.69/0.71	c ---[ 338]---> BDD-cost:  235
0.69/0.71	c ---[ 336]---> BDD-cost:  235
0.69/0.71	c ---[ 334]---> BDD-cost:  235
0.69/0.72	c ---[ 332]---> BDD-cost:  235
0.69/0.72	c ---[ 330]---> BDD-cost:  235
0.69/0.72	c ---[ 328]---> BDD-cost:  235
0.69/0.73	c ---[ 326]---> BDD-cost:  235
0.69/0.73	c ---[ 324]---> BDD-cost:  235
0.69/0.73	c ---[ 322]---> BDD-cost:  235
0.69/0.73	c ---[ 320]---> BDD-cost:  235
0.69/0.74	c ---[ 318]---> BDD-cost:  235
0.69/0.74	c ---[ 316]---> BDD-cost:  235
0.69/0.74	c ---[ 314]---> BDD-cost:  235
0.69/0.75	c ---[ 312]---> BDD-cost:  235
0.69/0.75	c ---[ 310]---> BDD-cost:  235
0.69/0.75	c ---[ 308]---> BDD-cost:  235
0.69/0.76	c ---[ 306]---> BDD-cost:  235
0.69/0.76	c ---[ 304]---> BDD-cost:  235
0.69/0.76	c ---[ 302]---> BDD-cost:  235
0.69/0.77	c ---[ 300]---> BDD-cost:  235
0.69/0.77	c ---[ 298]---> BDD-cost:  235
0.69/0.77	c ---[ 296]---> BDD-cost:  235
0.69/0.78	c ---[ 294]---> BDD-cost:  235
0.69/0.78	c ---[ 292]---> BDD-cost:  235
0.69/0.78	c ---[ 290]---> BDD-cost:  235
0.69/0.79	c ---[ 288]---> BDD-cost:  235
0.69/0.79	c ---[ 286]---> BDD-cost:  235
0.69/0.79	c ---[ 284]---> BDD-cost:  235
0.79/0.80	c ---[ 282]---> BDD-cost:  235
0.79/0.80	c ---[ 280]---> BDD-cost:  235
0.79/0.80	c ---[ 278]---> BDD-cost:  235
0.79/0.81	c ---[ 276]---> BDD-cost:  235
0.79/0.81	c ---[ 274]---> BDD-cost:  235
0.79/0.81	c ---[ 272]---> BDD-cost:  235
0.79/0.82	c ---[ 270]---> BDD-cost:  235
0.79/0.82	c ---[ 268]---> BDD-cost:  235
0.79/0.82	c ---[ 266]---> BDD-cost:  235
0.79/0.83	c ---[ 264]---> BDD-cost:  235
0.79/0.83	c ---[ 262]---> BDD-cost:  235
0.79/0.83	c ---[ 260]---> BDD-cost:  235
0.79/0.84	c ---[ 258]---> BDD-cost:  235
0.79/0.84	c ---[ 256]---> BDD-cost:  235
0.79/0.84	c ---[ 254]---> BDD-cost:  235
0.79/0.85	c ---[ 252]---> BDD-cost:  235
0.79/0.85	c ---[ 250]---> BDD-cost:  235
0.79/0.85	c ---[ 248]---> BDD-cost:  235
0.79/0.86	c ---[ 246]---> BDD-cost:  235
0.79/0.86	c ---[ 244]---> BDD-cost:  235
0.79/0.86	c ---[ 242]---> BDD-cost:  235
0.79/0.87	c ---[ 240]---> BDD-cost:  235
0.79/0.87	c ---[ 238]---> BDD-cost:  235
0.79/0.87	c ---[ 236]---> BDD-cost:  235
0.79/0.88	c ---[ 234]---> BDD-cost:  235
0.79/0.88	c ---[ 232]---> BDD-cost:  235
0.79/0.88	c ---[ 230]---> BDD-cost:  235
0.79/0.89	c ---[ 228]---> BDD-cost:  235
0.79/0.89	c ---[ 226]---> BDD-cost:  235
0.79/0.89	c ---[ 224]---> BDD-cost:  235
0.89/0.90	c ---[ 222]---> BDD-cost:  235
0.89/0.90	c ---[ 220]---> BDD-cost:  235
0.89/0.90	c ---[ 218]---> BDD-cost:  235
0.89/0.91	c ---[ 216]---> BDD-cost:  235
0.89/0.91	c ---[ 214]---> BDD-cost:  235
0.89/0.91	c ---[ 212]---> BDD-cost:  235
0.89/0.92	c ---[ 210]---> BDD-cost:  235
0.89/0.92	c ---[ 208]---> BDD-cost:  235
0.89/0.92	c ---[ 206]---> BDD-cost:  235
0.89/0.93	c ---[ 204]---> BDD-cost:  235
0.89/0.93	c ---[ 202]---> BDD-cost:  235
0.89/0.93	c ---[ 200]---> BDD-cost:  235
0.89/0.94	c ---[ 198]---> BDD-cost:  235
0.89/0.94	c ---[ 196]---> BDD-cost:  235
0.89/0.94	c ---[ 194]---> BDD-cost:  235
0.89/0.95	c ---[ 192]---> BDD-cost:  235
0.89/0.95	c ---[ 190]---> BDD-cost:  235
0.89/0.95	c ---[ 188]---> BDD-cost:  235
0.89/0.95	c ---[ 186]---> BDD-cost:  235
0.89/0.96	c ---[ 184]---> BDD-cost:  235
0.89/0.96	c ---[ 182]---> BDD-cost:  235
0.89/0.96	c ---[ 180]---> BDD-cost:  235
0.89/0.97	c ---[ 178]---> BDD-cost:  235
0.89/0.97	c ---[ 176]---> BDD-cost:  235
0.89/0.98	c ---[ 174]---> BDD-cost:  235
0.89/0.98	c ---[ 172]---> BDD-cost:  235
0.89/0.98	c ---[ 170]---> BDD-cost:  235
0.89/0.99	c ---[ 168]---> BDD-cost:  235
0.89/0.99	c ---[ 166]---> BDD-cost:  235
0.89/0.99	c ---[ 164]---> BDD-cost:  235
0.89/0.99	c ---[ 162]---> BDD-cost:  235
0.99/1.00	c ---[ 160]---> BDD-cost:  235
0.99/1.00	c ---[ 158]---> BDD-cost:  235
0.99/1.00	c ---[ 156]---> BDD-cost:  235
0.99/1.01	c ---[ 154]---> BDD-cost:  235
0.99/1.01	c ---[ 152]---> BDD-cost:  235
0.99/1.01	c ---[ 150]---> BDD-cost:  235
0.99/1.02	c ---[ 148]---> BDD-cost:  235
0.99/1.02	c ---[ 146]---> BDD-cost:  235
0.99/1.02	c ---[ 144]---> BDD-cost:  235
0.99/1.03	c ---[ 142]---> BDD-cost:  235
0.99/1.03	c ---[ 140]---> BDD-cost:  235
0.99/1.03	c ---[ 138]---> BDD-cost:  235
0.99/1.04	c ---[ 136]---> BDD-cost:  235
0.99/1.04	c ---[ 134]---> BDD-cost:  235
0.99/1.04	c ---[ 132]---> BDD-cost:  235
0.99/1.05	c ---[ 130]---> BDD-cost:  235
0.99/1.05	c ---[ 128]---> BDD-cost:  235
0.99/1.05	c ---[ 126]---> BDD-cost:  235
0.99/1.06	c ---[ 124]---> BDD-cost:  235
0.99/1.06	c ---[ 122]---> BDD-cost:  235
0.99/1.06	c ---[ 120]---> BDD-cost:  235
0.99/1.07	c ---[ 118]---> BDD-cost:  235
0.99/1.07	c ---[ 116]---> BDD-cost:  235
0.99/1.07	c ---[ 114]---> BDD-cost:  235
0.99/1.08	c ---[ 112]---> BDD-cost:  235
0.99/1.08	c ---[ 110]---> BDD-cost:  235
0.99/1.08	c ---[ 108]---> BDD-cost:  235
0.99/1.09	c ---[ 106]---> BDD-cost:  235
0.99/1.09	c ---[ 104]---> BDD-cost:  235
0.99/1.09	c ---[ 102]---> BDD-cost:  235
0.99/1.10	c ---[ 100]---> BDD-cost:  235
0.99/1.10	c ---[  98]---> BDD-cost:  235
1.09/1.10	c ---[  96]---> BDD-cost:  235
1.09/1.11	c ---[  94]---> BDD-cost:  235
1.09/1.11	c ---[  92]---> BDD-cost:  235
1.09/1.11	c ---[  90]---> BDD-cost:  235
1.09/1.12	c ---[  88]---> BDD-cost:  235
1.09/1.12	c ---[  86]---> BDD-cost:  235
1.09/1.12	c ---[  84]---> BDD-cost:  235
1.09/1.13	c ---[  82]---> BDD-cost:  235
1.09/1.13	c ---[  80]---> BDD-cost:  235
1.09/1.13	c ---[  78]---> BDD-cost:  235
1.09/1.14	c ---[  76]---> BDD-cost:  235
1.09/1.14	c ---[  74]---> BDD-cost:  235
1.09/1.14	c ---[  72]---> BDD-cost:  235
1.09/1.15	c ---[  70]---> BDD-cost:  235
1.09/1.15	c ---[  68]---> BDD-cost:  235
1.09/1.15	c ---[  66]---> BDD-cost:  235
1.09/1.16	c ---[  64]---> BDD-cost:  235
1.09/1.16	c ---[  62]---> BDD-cost:  235
1.09/1.16	c ---[  60]---> BDD-cost:  235
1.09/1.17	c ---[  58]---> BDD-cost:  235
1.09/1.17	c ---[  56]---> BDD-cost:  235
1.09/1.17	c ---[  54]---> BDD-cost:  235
1.09/1.18	c ---[  52]---> BDD-cost:  235
1.09/1.18	c ---[  50]---> BDD-cost:  235
1.09/1.18	c ---[  48]---> BDD-cost:  235
1.09/1.19	c ---[  46]---> BDD-cost:  235
1.09/1.19	c ---[  44]---> BDD-cost:  235
1.09/1.19	c ---[  42]---> BDD-cost:  235
1.09/1.20	c ---[  40]---> BDD-cost:  235
1.09/1.20	c ---[  38]---> BDD-cost:  235
1.09/1.20	c ---[  36]---> BDD-cost:  235
1.19/1.21	c ---[  34]---> BDD-cost:  235
1.19/1.21	c ---[  32]---> BDD-cost:  235
1.19/1.21	c ---[  30]---> BDD-cost:  235
1.19/1.21	c ---[  28]---> BDD-cost:  235
1.19/1.22	c ---[  26]---> BDD-cost:  235
1.19/1.22	c ---[  24]---> BDD-cost:  233
1.19/1.22	c ---[  22]---> BDD-cost:  229
1.19/1.23	c ---[  20]---> BDD-cost:  223
1.19/1.23	c ---[  18]---> BDD-cost:  213
1.19/1.23	c ---[  16]---> BDD-cost:  205
1.19/1.24	c ---[  14]---> BDD-cost:  199
1.19/1.24	c ---[  12]---> BDD-cost:  177
1.19/1.24	c ---[  10]---> BDD-cost:  131
1.19/1.24	c ---[   8]---> BDD-cost:   97
1.19/1.24	c ---[   6]---> BDD-cost:   63
1.19/1.24	c ---[   4]---> BDD-cost:   35
1.19/1.24	c ---[   2]---> BDD-cost:    7
1800.09/1800.40	|  Eliminated clauses:           0.05 Mb                                      |
1800.09/1800.40	============================[ Search Statistics ]==============================
1800.09/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.09/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.09/1800.40	===============================================================================
1800.09/1800.40	|       100 |   60395   121672   356255 |    44613       97    261 |  1.514 % |
1800.09/1800.40	|       250 |   60395   121672   356255 |    49074      247    214 |  1.515 % |
1800.09/1800.40	|       475 |   60395   121672   356255 |    53981      472    160 |  1.514 % |
1800.09/1800.40	|       812 |   60395   121672   356255 |    59379      809    158 |  1.514 % |
1800.09/1800.40	|      1318 |   60395   121672   356255 |    65317     1315    170 |  1.514 % |
1800.09/1800.40	|      2077 |   60395   121672   356255 |    71849     2074    161 |  1.514 % |
1800.09/1800.40	|      3216 |   60395   121672   356255 |    79034     3213    159 |  1.514 % |
1800.09/1800.40	|      4924 |   60395   121672   356255 |    86938     4921    153 |  1.514 % |
1800.09/1800.40	|      7486 |   60395   121672   356255 |    95632     7483    164 |  1.514 % |
1800.09/1800.40	|     11330 |   60394   121672   356255 |   105195    11325    181 |  1.516 % |
1800.09/1800.40	|     17096 |   60391   121672   356255 |   115714    17087    177 |  1.521 % |
1800.09/1800.40	|     25745 |   60390   121672   356255 |   127286    25735    200 |  1.522 % |
1800.09/1800.40	|     38719 |   60388   121672   356255 |   140014    38706    206 |  1.526 % |
1800.09/1800.40	|     58180 |   60388   121672   356255 |   154016    58167    226 |  1.526 % |
1800.09/1800.40	|     87372 |   60385   121672   356255 |   169418    87342    242 |  1.530 % |
1800.09/1800.40	|    131161 |   60385   121672   356255 |   186359   131131    261 |  1.530 % |
1800.09/1800.40	|    196845 |   60385   121672   356255 |   204995    48628    143 |  1.530 % |
1800.09/1800.40	|    295371 |   60385   121672   356255 |   225495   147154    280 |  1.530 % |
1800.09/1800.40	|    443160 |   60253   121672   356255 |   248044   120383    282 |  1.741 % |
1800.09/1800.40	|    664843 |   60242   121672   356255 |   272849   158065    284 |  1.759 % |
1800.09/1800.40	|    997368 |   60207   121672   356255 |   300134    85378    175 |  1.815 % |
1800.09/1800.40	|   1496156 |   60193   121672   356255 |   330147   136557    231 |  1.837 % |
1800.09/1800.40	|   2244338 |   60185   121672   356255 |   363162   120721    310 |  1.850 % |
1800.09/1800.40	c 
1800.09/1800.40	c *** TERMINATED ***
1800.09/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-4111837-1466603918/watcher-4111837-1466603918 -o /tmp/evaluation-result-4111837-1466603918/solver-4111837-1466603918 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466586627-28654 --watchdog 1960 minisatp HOME/instance-4111837-1466603918.opb 

pid=947
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.13 2.18 2.17 3/176 950
/proc/meminfo: memFree=30039548/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=6472 CPUtime=0 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 62438617 6627328 200 33554432000 4194304 5646918 140733302627056 140733635262248 4460899 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 1618 200 94 355 0 1259 0

[startup+0.100152 s]
/proc/loadavg: 2.13 2.18 2.17 3/176 950
/proc/meminfo: memFree=30039548/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=13544 CPUtime=0.09 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 1995 0 0 0 9 0 0 0 20 0 1 0 62438617 13869056 1830 33554432000 4194304 5646918 140733302627056 140733635262248 4823346 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 3386 1836 94 355 0 3027 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13544

[startup+0.200289 s]
/proc/loadavg: 2.13 2.18 2.17 3/176 950
/proc/meminfo: memFree=30039548/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=19288 CPUtime=0.19 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 3524 0 0 0 19 0 0 0 20 0 1 0 62438617 19750912 3276 33554432000 4194304 5646918 140733302627056 140733635262248 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 4822 3276 94 355 0 4463 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19288

[startup+0.300335 s]
/proc/loadavg: 2.13 2.18 2.17 3/176 950
/proc/meminfo: memFree=30039548/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=24920 CPUtime=0.29 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 4916 0 0 0 29 0 0 0 20 0 1 0 62438617 25518080 4669 33554432000 4194304 5646918 140733302627056 140733635262248 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 6230 4669 94 355 0 5871 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24920

[startup+0.700243 s]
/proc/loadavg: 2.13 2.18 2.17 3/176 950
/proc/meminfo: memFree=30039548/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=41696 CPUtime=0.69 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 9341 0 0 0 68 1 0 0 20 0 1 0 62438617 42696704 9435 33554432000 4194304 5646918 140733302627056 140733302626424 4893519 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 10424 9435 117 355 0 10065 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41696

[startup+1.5003 s]
/proc/loadavg: 2.13 2.18 2.17 3/177 951
/proc/meminfo: memFree=29996096/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=53544 CPUtime=1.49 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 11784 0 0 0 148 1 0 0 20 0 1 0 62438617 54829056 12389 33554432000 4194304 5646918 140733302627056 140733302626424 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 13386 12389 144 355 0 13027 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53544

[startup+3.10031 s]
/proc/loadavg: 2.13 2.18 2.17 3/177 951
/proc/meminfo: memFree=29981620/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=56264 CPUtime=3.08 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 12064 0 0 0 307 1 0 0 20 0 1 0 62438617 57614336 12669 33554432000 4194304 5646918 140733302627056 140733302625752 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 14066 12669 145 355 0 13707 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56264

[startup+6.30029 s]
/proc/loadavg: 2.12 2.17 2.17 3/177 951
/proc/meminfo: memFree=29961548/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=67864 CPUtime=6.29 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 13208 0 0 0 627 2 0 0 20 0 1 0 62438617 69492736 14315 33554432000 4194304 5646918 140733302627056 140733302625752 4396923 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 16966 14315 145 355 0 16607 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67864

[startup+12.7003 s]
/proc/loadavg: 2.11 2.17 2.17 3/177 951
/proc/meminfo: memFree=29933028/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=79540 CPUtime=12.69 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 13850 0 0 0 1267 2 0 0 20 0 1 0 62438617 81448960 17510 33554432000 4194304 5646918 140733302627056 140733302625752 4403043 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 19885 17510 145 355 0 19526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79540

[startup+25.5003 s]
/proc/loadavg: 2.17 2.18 2.17 4/177 951
/proc/meminfo: memFree=29959772/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=129328 CPUtime=25.49 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 14898 0 0 0 2546 3 0 0 20 0 1 0 62438617 132431872 24689 33554432000 4194304 5646918 140733302627056 140733302625752 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 32332 24689 145 355 0 31973 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 129328

[startup+51.1004 s]
/proc/loadavg: 2.11 2.16 2.17 3/177 951
/proc/meminfo: memFree=29893180/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=184072 CPUtime=51.08 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 16593 0 0 0 5104 4 0 0 20 0 1 0 62438617 188489728 39669 33554432000 4194304 5646918 140733302627056 140733302625192 4403043 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 46018 39669 145 355 0 45659 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 184072

[startup+102.3 s]
/proc/loadavg: 2.42 2.23 2.19 3/178 955
/proc/meminfo: memFree=29796908/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=279828 CPUtime=102.28 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 20677 0 0 0 10221 7 0 0 20 0 1 0 62438617 286543872 65725 33554432000 4194304 5646918 140733302627056 140733302625192 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 69957 65725 145 355 0 69598 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 279828

[startup+162.3 s]
/proc/loadavg: 2.27 2.23 2.19 4/178 980
/proc/meminfo: memFree=29833244/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=284976 CPUtime=162.27 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 24774 0 0 0 16215 12 0 0 20 0 1 0 62438617 291815424 52821 33554432000 4194304 5646918 140733302627056 140733302625192 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 71244 52821 147 355 0 70885 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 284976

[startup+222.307 s]
/proc/loadavg: 2.34 2.26 2.20 3/177 981
/proc/meminfo: memFree=29684084/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=423348 CPUtime=222.26 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 26841 0 0 0 22213 13 0 0 20 0 1 0 62438617 433508352 85548 33554432000 4194304 5646918 140733302627056 140733302625160 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 105837 85548 147 355 0 105478 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 423348

[startup+282.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/177 983
/proc/meminfo: memFree=29789580/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=295068 CPUtime=282.25 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 30158 0 0 0 28208 17 0 0 20 0 1 0 62438617 302149632 57768 33554432000 4194304 5646918 140733302627056 140733302625752 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 73767 57768 147 355 0 73408 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 295068

[startup+342.3 s]
/proc/loadavg: 2.25 2.24 2.19 4/177 984
/proc/meminfo: memFree=29667432/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=431452 CPUtime=342.24 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 31760 0 0 0 34204 20 0 0 20 0 1 0 62438617 441806848 91562 33554432000 4194304 5646918 140733302627056 140733302625192 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 107863 91562 147 355 0 107504 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 431452

[startup+402.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/177 1041
/proc/meminfo: memFree=29942760/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=221876 CPUtime=402.23 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 34580 0 0 0 40199 24 0 0 20 0 1 0 62438617 227201024 48945 33554432000 4194304 5646918 140733302627056 140733302625752 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 55469 48945 147 355 0 55110 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 221876

[startup+462.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/177 1042
/proc/meminfo: memFree=29766180/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=437104 CPUtime=462.22 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 36190 0 0 0 46195 27 0 0 20 0 1 0 62438617 447594496 77633 33554432000 4194304 5646918 140733302627056 140733302625160 4402661 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 109276 77633 147 355 0 108917 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 437104

[startup+522.3 s]
/proc/loadavg: 2.27 2.25 2.19 4/177 1043
/proc/meminfo: memFree=29607308/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=655360 CPUtime=522.19 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 37579 0 0 0 52188 31 0 0 20 0 1 0 62438617 671088640 114216 33554432000 4194304 5646918 140733302627056 140733302625192 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 163840 114216 147 355 0 163481 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 655360

[startup+582.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/177 1045
/proc/meminfo: memFree=29827432/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=310544 CPUtime=582.17 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 40552 0 0 0 58181 36 0 0 20 0 1 0 62438617 317997056 60564 33554432000 4194304 5646918 140733302627056 140733302625752 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 77636 60564 147 355 0 77277 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 310544


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


[startup+882.307 s]
/proc/loadavg: 2.33 2.31 2.22 3/177 1054
/proc/meminfo: memFree=29766912/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=190052 CPUtime=882.14 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 47891 0 0 0 88158 56 0 0 20 0 1 0 62438617 194613248 42235 33554432000 4194304 5646918 140733302627056 140733302625752 4397744 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 47513 42235 147 355 0 47154 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 190052

[startup+942.3 s]
/proc/loadavg: 2.36 2.33 2.23 3/177 1057
/proc/meminfo: memFree=29692716/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=321944 CPUtime=942.12 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 49088 0 0 0 94154 58 0 0 20 0 1 0 62438617 329670656 78691 33554432000 4194304 5646918 140733302627056 140733302625160 4402958 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 80486 78691 147 355 0 80127 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 321944

[startup+1002.3 s]
/proc/loadavg: 2.18 2.28 2.22 3/177 1058
/proc/meminfo: memFree=29407640/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=455828 CPUtime=1002.12 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 50304 0 0 0 100151 61 0 0 20 0 1 0 62438617 466767872 112607 33554432000 4194304 5646918 140733302627056 140733302625160 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 113957 112607 147 355 0 113598 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 455828

[startup+1062.3 s]
/proc/loadavg: 2.22 2.28 2.22 3/177 1059
/proc/meminfo: memFree=29784632/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=195132 CPUtime=1062.11 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 52159 0 0 0 106147 64 0 0 20 0 1 0 62438617 199815168 45272 33554432000 4194304 5646918 140733302627056 140733302625752 4398798 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 48783 45272 147 355 0 48424 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 195132

[startup+1122.3 s]
/proc/loadavg: 2.24 2.28 2.22 3/177 1060
/proc/meminfo: memFree=29485876/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=459336 CPUtime=1122.1 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 54090 0 0 0 112142 68 0 0 20 0 1 0 62438617 470360064 83988 33554432000 4194304 5646918 140733302627056 140733302625752 4397494 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 114834 83988 147 355 0 114475 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 459336

[startup+1182.3 s]
/proc/loadavg: 2.18 2.25 2.21 4/177 1062
/proc/meminfo: memFree=29469596/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=675660 CPUtime=1182.09 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 54564 0 0 0 118138 71 0 0 20 0 1 0 62438617 691875840 126875 33554432000 4194304 5646918 140733302627056 140733302625192 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 168915 126875 147 355 0 168556 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 675660

[startup+1242.3 s]
/proc/loadavg: 2.15 2.23 2.20 3/177 1063
/proc/meminfo: memFree=29456444/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=678988 CPUtime=1242.08 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 55386 0 0 0 124136 72 0 0 20 0 1 0 62438617 695283712 153247 33554432000 4194304 5646918 140733302627056 140733302625160 4398798 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 169747 153247 147 355 0 169388 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 678988

[startup+1302.3 s]
/proc/loadavg: 2.20 2.23 2.20 3/178 1067
/proc/meminfo: memFree=29651696/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=332488 CPUtime=1302.07 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 57698 0 0 0 130130 77 0 0 20 0 1 0 62438617 340467712 72059 33554432000 4194304 5646918 140733302627056 140733302625160 4403225 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 83122 72059 147 355 0 82763 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 332488

[startup+1362.3 s]
/proc/loadavg: 2.24 2.23 2.20 3/177 1068
/proc/meminfo: memFree=29421432/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=465284 CPUtime=1362.06 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 58411 0 0 0 136127 79 0 0 20 0 1 0 62438617 476450816 105986 33554432000 4194304 5646918 140733302627056 140733302625192 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 116321 105986 147 355 0 115962 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 465284

[startup+1422.3 s]
/proc/loadavg: 2.24 2.23 2.20 3/177 1069
/proc/meminfo: memFree=29410888/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=682248 CPUtime=1422.05 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 59473 0 0 0 142124 81 0 0 20 0 1 0 62438617 698621952 135664 33554432000 4194304 5646918 140733302627056 140733302625192 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 170562 135664 147 355 0 170203 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 682248

[startup+1482.3 s]
/proc/loadavg: 2.31 2.25 2.20 3/177 1071
/proc/meminfo: memFree=29632132/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=256300 CPUtime=1482.04 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 61657 0 0 0 148120 84 0 0 20 0 1 0 62438617 262451200 51764 33554432000 4194304 5646918 140733302627056 140733302625752 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 64075 51764 147 355 0 63716 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 256300

[startup+1542.31 s]
/proc/loadavg: 2.35 2.26 2.21 3/177 1072
/proc/meminfo: memFree=29669260/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=470224 CPUtime=1542.04 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 62795 0 0 0 154116 88 0 0 20 0 1 0 62438617 481509376 88157 33554432000 4194304 5646918 140733302627056 140733302625752 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 117556 88157 147 355 0 117197 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 470224

[startup+1602.3 s]
/proc/loadavg: 2.27 2.26 2.21 3/177 1073
/proc/meminfo: memFree=29395028/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=685876 CPUtime=1602.02 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 63053 0 0 0 160111 91 0 0 20 0 1 0 62438617 702337024 127251 33554432000 4194304 5646918 140733302627056 140733302625192 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 171469 127251 147 355 0 171110 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 685876

[startup+1662.3 s]
/proc/loadavg: 2.35 2.28 2.22 3/177 1074
/proc/meminfo: memFree=29344004/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=1037080 CPUtime=1662 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 64272 0 0 0 166103 97 0 0 20 0 1 0 62438617 1061969920 172845 33554432000 4194304 5646918 140733302627056 140733302625192 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 259270 172845 147 355 0 258911 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1037080

[startup+1722.3 s]
/proc/loadavg: 2.22 2.26 2.21 3/177 1075
/proc/meminfo: memFree=29583808/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=341328 CPUtime=1722 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 66611 0 0 0 172094 106 0 0 20 0 1 0 62438617 349519872 81732 33554432000 4194304 5646918 140733302627056 140733302625752 4397445 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 85332 81732 147 355 0 84973 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 341328

[startup+1782.3 s]
/proc/loadavg: 2.28 2.27 2.21 4/177 1077
/proc/meminfo: memFree=29226104/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=689604 CPUtime=1781.99 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 67480 0 0 0 178087 112 0 0 20 0 1 0 62438617 706154496 147497 33554432000 4194304 5646918 140733302627056 140733302625192 4397533 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 172401 147497 147 355 0 172042 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 689604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.27 2.27 2.21 3/177 1077
/proc/meminfo: memFree=29407764/32872528 swapFree=1498360/1645528
[pid=950] ppid=947 vsize=690012 CPUtime=1800.09 cores=0,2,4,6
/proc/950/stat : 950 (minisatp) R 947 950 28638 0 -1 4202496 67611 0 0 0 179896 113 0 0 20 0 1 0 62438617 706572288 160403 33554432000 4194304 5646918 140733302627056 140733302625192 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/950/statm: 172503 160403 147 355 0 172144 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 690012

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 950 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.11
CPU user time (s): 1798.96
CPU system time (s): 1.14782
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1037388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.14783
maximum resident set size= 782464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67611
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= 59
involuntary context switches= 1880

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68729 second user time and 6.81196 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-22 15:58:38
IDJOB=4111837
IDBENCH=90184
IDSOLVER=2555
FILE ID=node124/4111837-1466603918
RUNJOBID= node124-1466586627-28654
PBS_JOBID= 19953371
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 786bb841dd145412a2aec0a596e79174
RANDOM SEED=1777620704

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30039712 kB
Buffers:          103332 kB
Cached:           172088 kB
SwapCached:         6480 kB
Active:           223220 kB
Inactive:         214824 kB
Active(anon):     158508 kB
Inactive(anon):     6424 kB
Active(file):      64712 kB
Inactive(file):   208400 kB
Unevictable:     1645528 kB
Mlocked:         1498360 kB
SwapTotal:      67108856 kB
SwapFree:       67095364 kB
Dirty:              5428 kB
Writeback:             0 kB
AnonPages:       1813064 kB
Mapped:             8752 kB
Shmem:                 0 kB
Slab:             605884 kB
SReclaimable:      50044 kB
SUnreclaim:       555840 kB
KernelStack:        1456 kB
PageTables:         7636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1954736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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-4111837-1466603918.opb

Free space on /tmp at the end= 71716 MiB
End job on node124 at 2016-06-22 16:28:38