Trace number 4111832

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.12 1800.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K168.opb
MD5SUM4a002b4e44699cf4cd35a469f7223c94
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 variables19992
Total number of constraints20330
Number of constraints which are clauses20162
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint168
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 169
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 20328 PB-constraints to clauses...
0.49/0.59	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.49/0.59	c   -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################
0.59/0.60	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.59/0.62	c ---[ 332]---> BDD-cost:  235
0.59/0.62	c ---[ 330]---> BDD-cost:  235
0.59/0.63	c ---[ 328]---> BDD-cost:  235
0.59/0.63	c ---[ 326]---> BDD-cost:  235
0.59/0.63	c ---[ 324]---> BDD-cost:  235
0.59/0.64	c ---[ 322]---> BDD-cost:  235
0.59/0.64	c ---[ 320]---> BDD-cost:  235
0.59/0.64	c ---[ 318]---> BDD-cost:  235
0.59/0.65	c ---[ 316]---> BDD-cost:  235
0.59/0.65	c ---[ 314]---> BDD-cost:  235
0.59/0.65	c ---[ 312]---> BDD-cost:  235
0.59/0.66	c ---[ 310]---> BDD-cost:  235
0.59/0.66	c ---[ 308]---> BDD-cost:  235
0.59/0.66	c ---[ 306]---> BDD-cost:  235
0.59/0.67	c ---[ 304]---> BDD-cost:  235
0.59/0.67	c ---[ 302]---> BDD-cost:  235
0.59/0.67	c ---[ 300]---> BDD-cost:  235
0.59/0.68	c ---[ 298]---> BDD-cost:  235
0.59/0.68	c ---[ 296]---> BDD-cost:  235
0.59/0.68	c ---[ 294]---> BDD-cost:  235
0.59/0.69	c ---[ 292]---> BDD-cost:  235
0.59/0.69	c ---[ 290]---> BDD-cost:  235
0.59/0.69	c ---[ 288]---> BDD-cost:  235
0.69/0.70	c ---[ 286]---> BDD-cost:  235
0.69/0.70	c ---[ 284]---> BDD-cost:  235
0.69/0.70	c ---[ 282]---> BDD-cost:  235
0.69/0.71	c ---[ 280]---> BDD-cost:  235
0.69/0.71	c ---[ 278]---> BDD-cost:  235
0.69/0.71	c ---[ 276]---> BDD-cost:  235
0.69/0.72	c ---[ 274]---> BDD-cost:  235
0.69/0.72	c ---[ 272]---> BDD-cost:  235
0.69/0.72	c ---[ 270]---> BDD-cost:  235
0.69/0.73	c ---[ 268]---> BDD-cost:  235
0.69/0.73	c ---[ 266]---> BDD-cost:  235
0.69/0.73	c ---[ 264]---> BDD-cost:  235
0.69/0.74	c ---[ 262]---> BDD-cost:  235
0.69/0.74	c ---[ 260]---> BDD-cost:  235
0.69/0.74	c ---[ 258]---> BDD-cost:  235
0.69/0.75	c ---[ 256]---> BDD-cost:  235
0.69/0.75	c ---[ 254]---> BDD-cost:  235
0.69/0.75	c ---[ 252]---> BDD-cost:  235
0.69/0.76	c ---[ 250]---> BDD-cost:  235
0.69/0.76	c ---[ 248]---> BDD-cost:  235
0.69/0.76	c ---[ 246]---> BDD-cost:  235
0.69/0.77	c ---[ 244]---> BDD-cost:  235
0.69/0.77	c ---[ 242]---> BDD-cost:  235
0.69/0.77	c ---[ 240]---> BDD-cost:  235
0.69/0.78	c ---[ 238]---> BDD-cost:  235
0.69/0.78	c ---[ 236]---> BDD-cost:  235
0.69/0.78	c ---[ 234]---> BDD-cost:  235
0.69/0.79	c ---[ 232]---> BDD-cost:  235
0.69/0.79	c ---[ 230]---> BDD-cost:  235
0.69/0.79	c ---[ 228]---> BDD-cost:  235
0.79/0.80	c ---[ 226]---> BDD-cost:  235
0.79/0.80	c ---[ 224]---> BDD-cost:  235
0.79/0.80	c ---[ 222]---> BDD-cost:  235
0.79/0.81	c ---[ 220]---> BDD-cost:  235
0.79/0.81	c ---[ 218]---> BDD-cost:  235
0.79/0.81	c ---[ 216]---> BDD-cost:  235
0.79/0.82	c ---[ 214]---> BDD-cost:  235
0.79/0.82	c ---[ 212]---> BDD-cost:  235
0.79/0.82	c ---[ 210]---> BDD-cost:  235
0.79/0.83	c ---[ 208]---> BDD-cost:  235
0.79/0.83	c ---[ 206]---> BDD-cost:  235
0.79/0.83	c ---[ 204]---> BDD-cost:  235
0.79/0.84	c ---[ 202]---> BDD-cost:  235
0.79/0.84	c ---[ 200]---> BDD-cost:  235
0.79/0.84	c ---[ 198]---> BDD-cost:  235
0.79/0.85	c ---[ 196]---> BDD-cost:  235
0.79/0.85	c ---[ 194]---> BDD-cost:  235
0.79/0.85	c ---[ 192]---> BDD-cost:  235
0.79/0.85	c ---[ 190]---> BDD-cost:  235
0.79/0.86	c ---[ 188]---> BDD-cost:  235
0.79/0.86	c ---[ 186]---> BDD-cost:  235
0.79/0.86	c ---[ 184]---> BDD-cost:  235
0.79/0.87	c ---[ 182]---> BDD-cost:  235
0.79/0.87	c ---[ 180]---> BDD-cost:  235
0.79/0.87	c ---[ 178]---> BDD-cost:  235
0.79/0.88	c ---[ 176]---> BDD-cost:  235
0.79/0.88	c ---[ 174]---> BDD-cost:  235
0.79/0.88	c ---[ 172]---> BDD-cost:  235
0.79/0.89	c ---[ 170]---> BDD-cost:  235
0.79/0.89	c ---[ 168]---> BDD-cost:  235
0.79/0.89	c ---[ 166]---> BDD-cost:  235
0.89/0.90	c ---[ 164]---> BDD-cost:  235
0.89/0.90	c ---[ 162]---> BDD-cost:  235
0.89/0.90	c ---[ 160]---> BDD-cost:  235
0.89/0.91	c ---[ 158]---> BDD-cost:  235
0.89/0.91	c ---[ 156]---> BDD-cost:  235
0.89/0.91	c ---[ 154]---> BDD-cost:  235
0.89/0.92	c ---[ 152]---> BDD-cost:  235
0.89/0.92	c ---[ 150]---> BDD-cost:  235
0.89/0.92	c ---[ 148]---> BDD-cost:  235
0.89/0.93	c ---[ 146]---> BDD-cost:  235
0.89/0.93	c ---[ 144]---> BDD-cost:  235
0.89/0.93	c ---[ 142]---> BDD-cost:  235
0.89/0.94	c ---[ 140]---> BDD-cost:  235
0.89/0.94	c ---[ 138]---> BDD-cost:  235
0.89/0.94	c ---[ 136]---> BDD-cost:  235
0.89/0.95	c ---[ 134]---> BDD-cost:  235
0.89/0.95	c ---[ 132]---> BDD-cost:  235
0.89/0.95	c ---[ 130]---> BDD-cost:  235
0.89/0.96	c ---[ 128]---> BDD-cost:  235
0.89/0.96	c ---[ 126]---> BDD-cost:  235
0.89/0.96	c ---[ 124]---> BDD-cost:  235
0.89/0.97	c ---[ 122]---> BDD-cost:  235
0.89/0.97	c ---[ 120]---> BDD-cost:  235
0.89/0.97	c ---[ 118]---> BDD-cost:  235
0.89/0.98	c ---[ 116]---> BDD-cost:  235
0.89/0.98	c ---[ 114]---> BDD-cost:  235
0.89/0.98	c ---[ 112]---> BDD-cost:  235
0.89/0.99	c ---[ 110]---> BDD-cost:  235
0.89/0.99	c ---[ 108]---> BDD-cost:  235
0.89/0.99	c ---[ 106]---> BDD-cost:  235
0.99/1.00	c ---[ 104]---> BDD-cost:  235
0.99/1.00	c ---[ 102]---> BDD-cost:  235
0.99/1.00	c ---[ 100]---> BDD-cost:  235
0.99/1.01	c ---[  98]---> BDD-cost:  235
0.99/1.01	c ---[  96]---> BDD-cost:  235
0.99/1.01	c ---[  94]---> BDD-cost:  235
0.99/1.02	c ---[  92]---> BDD-cost:  235
0.99/1.02	c ---[  90]---> BDD-cost:  235
0.99/1.02	c ---[  88]---> BDD-cost:  235
0.99/1.03	c ---[  86]---> BDD-cost:  235
0.99/1.03	c ---[  84]---> BDD-cost:  235
0.99/1.03	c ---[  82]---> BDD-cost:  235
0.99/1.04	c ---[  80]---> BDD-cost:  235
0.99/1.04	c ---[  78]---> BDD-cost:  235
0.99/1.04	c ---[  76]---> BDD-cost:  235
0.99/1.05	c ---[  74]---> BDD-cost:  235
0.99/1.05	c ---[  72]---> BDD-cost:  235
0.99/1.05	c ---[  70]---> BDD-cost:  235
0.99/1.06	c ---[  68]---> BDD-cost:  235
0.99/1.06	c ---[  66]---> BDD-cost:  235
0.99/1.06	c ---[  64]---> BDD-cost:  235
0.99/1.07	c ---[  62]---> BDD-cost:  235
0.99/1.07	c ---[  60]---> BDD-cost:  235
0.99/1.07	c ---[  58]---> BDD-cost:  235
0.99/1.08	c ---[  56]---> BDD-cost:  235
0.99/1.08	c ---[  54]---> BDD-cost:  235
0.99/1.08	c ---[  52]---> BDD-cost:  235
0.99/1.09	c ---[  50]---> BDD-cost:  235
0.99/1.09	c ---[  48]---> BDD-cost:  235
0.99/1.09	c ---[  46]---> BDD-cost:  235
0.99/1.10	c ---[  44]---> BDD-cost:  235
0.99/1.10	c ---[  42]---> BDD-cost:  235
0.99/1.10	c ---[  40]---> BDD-cost:  235
1.09/1.11	c ---[  38]---> BDD-cost:  235
1.09/1.11	c ---[  36]---> BDD-cost:  235
1.09/1.11	c ---[  34]---> BDD-cost:  235
1.09/1.11	c ---[  32]---> BDD-cost:  235
1.09/1.12	c ---[  30]---> BDD-cost:  235
1.09/1.12	c ---[  28]---> BDD-cost:  235
1.09/1.12	c ---[  26]---> BDD-cost:  235
1.09/1.13	c ---[  24]---> BDD-cost:  233
1.09/1.13	c ---[  22]---> BDD-cost:  229
1.09/1.13	c ---[  20]---> BDD-cost:  223
1.09/1.14	c ---[  18]---> BDD-cost:  213
1.09/1.14	c ---[  16]---> BDD-cost:  205
1.09/1.14	c ---[  14]---> BDD-cost:  199
1.09/1.15	c ---[  12]---> BDD-cost:  177
1.09/1.15	c ---[  10]---> BDD-cost:  131
1.09/1.15	c ---[   8]---> BDD-cost:   97
1.09/1.15	c ---[   6]---> BDD-cost:   63
1.09/1.15	c ---[   4]---> BDD-cost:   35
1.09/1.15	c ---[   2]---> BDD-cost:    7
1800.08/1800.40	|  Eliminated clauses:           0.04 Mb                                      |
1800.08/1800.40	============================[ Search Statistics ]==============================
1800.08/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.08/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.08/1800.40	===============================================================================
1800.08/1800.40	|       100 |   55898   112624   329722 |    41295       98    204 |  1.611 % |
1800.08/1800.40	|       250 |   55898   112624   329722 |    45425      248    128 |  1.611 % |
1800.08/1800.40	|       475 |   55898   112624   329722 |    49967      473    162 |  1.611 % |
1800.08/1800.40	|       812 |   55894   112624   329722 |    54964      806    137 |  1.617 % |
1800.08/1800.40	|      1318 |   55894   112624   329722 |    60460     1311    165 |  1.617 % |
1800.08/1800.40	|      2077 |   55894   112624   329722 |    66506     2070    167 |  1.617 % |
1800.08/1800.40	|      3216 |   55894   112624   329722 |    73157     3209    190 |  1.617 % |
1800.08/1800.40	|      4924 |   55894   112624   329722 |    80473     4917    207 |  1.617 % |
1800.08/1800.40	|      7486 |   55893   112624   329722 |    88520     7478    206 |  1.619 % |
1800.08/1800.40	|     11330 |   55893   112624   329722 |    97372    11322    198 |  1.619 % |
1800.08/1800.40	|     17096 |   55889   112624   329722 |   107109    17075    212 |  1.626 % |
1800.08/1800.40	|     25745 |   55889   112624   329722 |   117820    25724    242 |  1.626 % |
1800.08/1800.40	|     38719 |   55884   112624   329722 |   129602    38686    243 |  1.635 % |
1800.08/1800.40	|     58180 |   55882   112624   329722 |   142563    58141    248 |  1.638 % |
1800.08/1800.40	|     87372 |   55881   112624   329722 |   156819    87332    270 |  1.640 % |
1800.08/1800.40	|    131161 |   55879   112624   329722 |   172501   131118    290 |  1.643 % |
1800.08/1800.40	|    196845 |   55879   112624   329722 |   189751    63126    204 |  1.643 % |
1800.08/1800.40	|    295371 |   55878   112624   329722 |   208726   161650    298 |  1.645 % |
1800.08/1800.40	|    443160 |   55876   112624   329722 |   229599   154268    293 |  1.648 % |
1800.08/1800.40	|    664843 |   55875   112624   329722 |   252559   208001    325 |  1.650 % |
1800.08/1800.40	|    997368 |   55871   112624   329722 |   277815   166984    296 |  1.657 % |
1800.08/1800.40	|   1496156 |   55870   112624   329722 |   305596   249567    342 |  1.659 % |
1800.08/1800.40	|   2244338 |   55869   112624   329722 |   336156   305036    422 |  1.661 % |
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED ***
1800.08/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-4111832-1466604396/watcher-4111832-1466604396 -o /tmp/evaluation-result-4111832-1466604396/solver-4111832-1466604396 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466586524-6146 --watchdog 1960 minisatp HOME/instance-4111832-1466604396.opb 

pid=9758
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.21 2.21 2.18 3/176 9761
/proc/meminfo: memFree=29675364/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=6596 CPUtime=0 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 62488207 6754304 245 33554432000 4194304 5646918 140733915685936 140734198112776 4264070 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 1649 245 94 355 0 1290 0

[startup+0.100162 s]
/proc/loadavg: 2.21 2.21 2.18 3/176 9761
/proc/meminfo: memFree=29675364/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=13556 CPUtime=0.09 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 2020 0 0 0 9 0 0 0 20 0 1 0 62488207 13881344 1855 33554432000 4194304 5646918 140733915685936 140734198112776 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 3389 1855 94 355 0 3030 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13556

[startup+0.200333 s]
/proc/loadavg: 2.21 2.21 2.18 3/176 9761
/proc/meminfo: memFree=29675364/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=18964 CPUtime=0.19 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 3379 0 0 0 19 0 0 0 20 0 1 0 62488207 19419136 3214 33554432000 4194304 5646918 140733915685936 140734198112776 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 4741 3215 94 355 0 4382 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18964

[startup+0.30031 s]
/proc/loadavg: 2.21 2.21 2.18 3/176 9761
/proc/meminfo: memFree=29675364/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=24684 CPUtime=0.29 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 4771 0 0 0 29 0 0 0 20 0 1 0 62488207 25276416 4606 33554432000 4194304 5646918 140733915685936 140734198112776 4251039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 6171 4606 94 355 0 5812 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24684

[startup+0.700241 s]
/proc/loadavg: 2.21 2.21 2.18 3/176 9761
/proc/meminfo: memFree=29675364/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=39344 CPUtime=0.69 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 8770 0 0 0 67 2 0 0 20 0 1 0 62488207 40288256 8425 33554432000 4194304 5646918 140733915685936 140733915684312 4817571 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 9836 8425 117 355 0 9477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39344

[startup+1.50032 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 9762
/proc/meminfo: memFree=29636736/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=48216 CPUtime=1.49 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 11255 0 0 0 146 3 0 0 20 0 1 0 62488207 49373184 11318 33554432000 4194304 5646918 140733915685936 140733915684312 4402687 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 12054 11318 144 355 0 11695 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48216

[startup+3.10031 s]
/proc/loadavg: 2.21 2.21 2.18 3/176 9762
/proc/meminfo: memFree=29623216/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=50936 CPUtime=3.09 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 11963 0 0 0 306 3 0 0 20 0 1 0 62488207 52158464 12022 33554432000 4194304 5646918 140733915685936 140733915684632 4396927 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 12734 12022 145 355 0 12375 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50936

[startup+6.30032 s]
/proc/loadavg: 2.20 2.21 2.18 3/176 9762
/proc/meminfo: memFree=29609572/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=62536 CPUtime=6.29 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 12800 0 0 0 626 3 0 0 20 0 1 0 62488207 64036864 13879 33554432000 4194304 5646918 140733915685936 140733915684632 4397505 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 15634 13879 145 355 0 15275 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62536

[startup+12.7003 s]
/proc/loadavg: 2.18 2.20 2.18 4/177 9763
/proc/meminfo: memFree=29572136/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=93180 CPUtime=12.68 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 13833 0 0 0 1265 3 0 0 20 0 1 0 62488207 95416320 18487 33554432000 4194304 5646918 140733915685936 140733915684632 4389052 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 23295 18487 145 355 0 22936 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93180

[startup+25.5004 s]
/proc/loadavg: 2.21 2.21 2.18 4/177 9763
/proc/meminfo: memFree=29510304/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=124000 CPUtime=25.49 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 14374 0 0 0 2545 4 0 0 20 0 1 0 62488207 126976000 26179 33554432000 4194304 5646918 140733915685936 140733915684632 4396834 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 31000 26179 145 355 0 30641 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 124000

[startup+51.1004 s]
/proc/loadavg: 2.28 2.22 2.19 3/177 9763
/proc/meminfo: memFree=29596768/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=180644 CPUtime=51.08 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 16563 0 0 0 5103 5 0 0 20 0 1 0 62488207 184979456 43695 33554432000 4194304 5646918 140733915685936 140733915684072 4399923 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 45161 43695 145 355 0 44802 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 180644

[startup+102.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/177 9764
/proc/meminfo: memFree=29539288/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=112468 CPUtime=102.29 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 20843 0 0 0 10219 10 0 0 20 0 1 0 62488207 115167232 25949 33554432000 4194304 5646918 140733915685936 140733915684632 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 28117 25949 147 355 0 27758 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 112468

[startup+162.3 s]
/proc/loadavg: 2.15 2.20 2.18 4/177 9765
/proc/meminfo: memFree=29457080/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=279452 CPUtime=162.26 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 23311 0 0 0 16213 13 0 0 20 0 1 0 62488207 286158848 62653 33554432000 4194304 5646918 140733915685936 140733915684072 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 69863 62653 147 355 0 69504 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 279452

[startup+222.307 s]
/proc/loadavg: 2.18 2.21 2.18 3/178 9769
/proc/meminfo: memFree=29420528/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=154500 CPUtime=222.26 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 26683 0 0 0 22209 17 0 0 20 0 1 0 62488207 158208000 36428 33554432000 4194304 5646918 140733915685936 140733915684632 4398877 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 38625 36428 147 355 0 38266 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 154500

[startup+282.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 9770
/proc/meminfo: memFree=29359712/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=420728 CPUtime=282.24 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 28916 0 0 0 28204 20 0 0 20 0 1 0 62488207 430825472 76984 33554432000 4194304 5646918 140733915685936 140733915684072 4403454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 105182 76984 147 355 0 104823 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 420728

[startup+342.3 s]
/proc/loadavg: 2.27 2.21 2.18 4/177 9772
/proc/meminfo: memFree=29345228/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=211100 CPUtime=342.22 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 31582 0 0 0 34198 24 0 0 20 0 1 0 62488207 216166400 44215 33554432000 4194304 5646918 140733915685936 140733915684072 4403454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 52775 44215 147 355 0 52416 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 211100

[startup+402.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/177 9773
/proc/meminfo: memFree=29292712/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=427328 CPUtime=402.21 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 33229 0 0 0 40193 28 0 0 20 0 1 0 62488207 437583872 78564 33554432000 4194304 5646918 140733915685936 140733915684072 4403170 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 106832 78564 147 355 0 106473 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 427328

[startup+462.3 s]
/proc/loadavg: 2.18 2.21 2.18 4/177 9774
/proc/meminfo: memFree=29032168/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=647248 CPUtime=462.2 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 35008 0 0 0 46189 31 0 0 20 0 1 0 62488207 662781952 108447 33554432000 4194304 5646918 140733915685936 140733915684072 4403184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 161812 108447 147 355 0 161453 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 647248

[startup+522.3 s]
/proc/loadavg: 2.11 2.18 2.17 3/177 9775
/proc/meminfo: memFree=29420396/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=301752 CPUtime=522.19 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 37061 0 0 0 52184 35 0 0 20 0 1 0 62488207 308994048 66892 33554432000 4194304 5646918 140733915685936 140733915684632 4402776 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 75438 66892 147 355 0 75079 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 301752

[startup+582.3 s]
/proc/loadavg: 2.26 2.21 2.18 4/177 9776
/proc/meminfo: memFree=29139280/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=436856 CPUtime=582.18 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 38317 0 0 0 58180 38 0 0 20 0 1 0 62488207 447340544 102383 33554432000 4194304 5646918 140733915685936 140733915684072 4403450 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 109214 102383 147 355 0 108855 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 436856


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


[startup+882.307 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 9785
/proc/meminfo: memFree=29025024/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=661388 CPUtime=882.14 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 47079 0 0 0 88158 56 0 0 20 0 1 0 62488207 677261312 111724 33554432000 4194304 5646918 140733915685936 140733915684632 4397622 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 165347 111724 147 355 0 164988 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 661388

[startup+942.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/176 9787
/proc/meminfo: memFree=29453604/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=315548 CPUtime=942.12 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 49581 0 0 0 94152 60 0 0 20 0 1 0 62488207 323121152 61358 33554432000 4194304 5646918 140733915685936 140733915684632 4403454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 78887 61358 147 355 0 78528 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 315548

[startup+1002.3 s]
/proc/loadavg: 2.14 2.18 2.18 3/177 9789
/proc/meminfo: memFree=29184788/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=448632 CPUtime=1002.12 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 50332 0 0 0 100148 64 0 0 20 0 1 0 62488207 459399168 95320 33554432000 4194304 5646918 140733915685936 140733915684072 4403147 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 112158 95320 147 355 0 111799 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 448632

[startup+1062.3 s]
/proc/loadavg: 2.09 2.16 2.17 3/177 9790
/proc/meminfo: memFree=28928796/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=666056 CPUtime=1062.11 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 51449 0 0 0 106144 67 0 0 20 0 1 0 62488207 682041344 122498 33554432000 4194304 5646918 140733915685936 140733915684072 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 166514 122498 147 355 0 166155 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 666056

[startup+1122.3 s]
/proc/loadavg: 2.14 2.16 2.17 4/177 9791
/proc/meminfo: memFree=29401772/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=239216 CPUtime=1122.1 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 53049 0 0 0 112138 72 0 0 20 0 1 0 62488207 244957184 56424 33554432000 4194304 5646918 140733915685936 140733915684632 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 59804 56424 147 355 0 59445 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 239216

[startup+1182.3 s]
/proc/loadavg: 2.19 2.17 2.17 3/177 9792
/proc/meminfo: memFree=29109392/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=453688 CPUtime=1182.09 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 54335 0 0 0 118135 74 0 0 20 0 1 0 62488207 464576512 96029 33554432000 4194304 5646918 140733915685936 140733915684072 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 113422 96029 147 355 0 113063 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 453688

[startup+1242.3 s]
/proc/loadavg: 2.29 2.20 2.18 3/177 9794
/proc/meminfo: memFree=29171900/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=670032 CPUtime=1242.08 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 55254 0 0 0 124132 76 0 0 20 0 1 0 62488207 686112768 125564 33554432000 4194304 5646918 140733915685936 140733915684040 4403380 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 167508 125564 147 355 0 167149 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 670032

[startup+1302.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 9795
/proc/meminfo: memFree=29290752/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=243208 CPUtime=1302.07 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 57312 0 0 0 130127 80 0 0 20 0 1 0 62488207 249044992 53768 33554432000 4194304 5646918 140733915685936 140733915684632 4399419 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 60802 53768 147 355 0 60443 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 243208

[startup+1362.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/177 9796
/proc/meminfo: memFree=28958460/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=457544 CPUtime=1362.06 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 58558 0 0 0 136122 84 0 0 20 0 1 0 62488207 468525056 101003 33554432000 4194304 5646918 140733915685936 140733915684072 4403454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 114386 101003 147 355 0 114027 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 457544

[startup+1422.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/178 9800
/proc/meminfo: memFree=28708168/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=673456 CPUtime=1422.06 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 59378 0 0 0 142120 86 0 0 20 0 1 0 62488207 689618944 129926 33554432000 4194304 5646918 140733915685936 140733915684072 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 168364 129926 147 355 0 168005 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 673456

[startup+1482.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 9801
/proc/meminfo: memFree=29347308/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=246412 CPUtime=1482.05 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 60904 0 0 0 148115 90 0 0 20 0 1 0 62488207 252325888 52014 33554432000 4194304 5646918 140733915685936 140733915684632 4402815 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 61603 52014 147 355 0 61244 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 246412

[startup+1542.31 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 9803
/proc/meminfo: memFree=28985476/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=460596 CPUtime=1542.04 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 62154 0 0 0 154111 93 0 0 20 0 1 0 62488207 471650304 100928 33554432000 4194304 5646918 140733915685936 140733915684072 4402824 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 115149 100928 147 355 0 114790 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 460596

[startup+1602.3 s]
/proc/loadavg: 2.82 2.34 2.22 3/179 9861
/proc/meminfo: memFree=27204456/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=676928 CPUtime=1602.01 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 63084 0 0 0 160105 96 0 0 20 0 1 0 62488207 693174272 143103 33554432000 4194304 5646918 140733915685936 140733915684072 4403138 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 169232 143103 147 355 0 168873 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 676928

[startup+1662.3 s]
/proc/loadavg: 2.95 2.46 2.27 3/179 9975
/proc/meminfo: memFree=28875692/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=1028604 CPUtime=1662.01 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 64435 0 0 0 166098 103 0 0 20 0 1 0 62488207 1053290496 175113 33554432000 4194304 5646918 140733915685936 140733915684072 4399291 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 257151 175113 147 355 0 256792 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1028604

[startup+1722.3 s]
/proc/loadavg: 2.49 2.42 2.27 3/178 10088
/proc/meminfo: memFree=29312536/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=333500 CPUtime=1722 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 66598 0 0 0 172089 111 0 0 20 0 1 0 62488207 341504000 77582 33554432000 4194304 5646918 140733915685936 140733915684072 4397747 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 83375 77582 147 355 0 83016 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 333500

[startup+1782.3 s]
/proc/loadavg: 2.33 2.38 2.27 3/177 10089
/proc/meminfo: memFree=29040960/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=681820 CPUtime=1781.99 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 67921 0 0 0 178083 116 0 0 20 0 1 0 62488207 698183680 134092 33554432000 4194304 5646918 140733915685936 140733915684072 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 170455 134092 147 355 0 170096 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 681820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.37 2.27 3/177 10090
/proc/meminfo: memFree=28951284/32872528 swapFree=1556504/1720024
[pid=9761] ppid=9758 vsize=682360 CPUtime=1800.08 cores=1,3,5,7
/proc/9761/stat : 9761 (minisatp) R 9758 9761 6129 0 -1 4202496 68098 0 0 0 179891 117 0 0 20 0 1 0 62488207 698736640 154709 33554432000 4194304 5646918 140733915685936 140733915684072 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/9761/statm: 170590 154709 147 355 0 170231 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 682360

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

Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.12
CPU user time (s): 1798.92
CPU system time (s): 1.20082
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1109456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.20082
maximum resident set size= 855660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68098
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= 54
involuntary context switches= 1902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77927 second user time and 6.73897 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-22 16:06:36
IDJOB=4111832
IDBENCH=90204
IDSOLVER=2555
FILE ID=node117/4111832-1466604396
RUNJOBID= node117-1466586524-6146
PBS_JOBID= 19953369
Free space on /tmp= 71648 MiB

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

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

MD5SUM BENCH= 4a002b4e44699cf4cd35a469f7223c94
RANDOM SEED=374455542

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29676188 kB
Buffers:           96896 kB
Cached:           432108 kB
SwapCached:         2448 kB
Active:           277448 kB
Inactive:         454212 kB
Active(anon):     203268 kB
Inactive(anon):     1968 kB
Active(file):      74180 kB
Inactive(file):   452244 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67099588 kB
Dirty:              5064 kB
Writeback:             4 kB
AnonPages:       1923692 kB
Mapped:             7760 kB
Shmem:                 0 kB
Slab:             605960 kB
SReclaimable:      49800 kB
SUnreclaim:       556160 kB
KernelStack:        1440 kB
PageTables:         7596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2111424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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-4111832-1466604396.opb

Free space on /tmp at the end= 71644 MiB
End job on node117 at 2016-06-22 16:36:36