Trace number 4111828

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K160.opb
MD5SUM4be3ef5c0a6baf670611a9fd5e5deae8
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 variables19040
Total number of constraints19362
Number of constraints which are clauses19202
Number of constraints which are cardinality constraints (but not clauses)160
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint160
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 161
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.55	c Converting 19360 PB-constraints to clauses...
0.49/0.56	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.49/0.57	c   -- Detecting intervals from adjacent constraints: ##############################################################################################################################################################
0.49/0.57	c   -- Clauses(.)/Splits(s): ...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.49/0.59	c ---[ 316]---> BDD-cost:  235
0.59/0.60	c ---[ 314]---> BDD-cost:  235
0.59/0.60	c ---[ 312]---> BDD-cost:  235
0.59/0.60	c ---[ 310]---> BDD-cost:  235
0.59/0.61	c ---[ 308]---> BDD-cost:  235
0.59/0.61	c ---[ 306]---> BDD-cost:  235
0.59/0.61	c ---[ 304]---> BDD-cost:  235
0.59/0.62	c ---[ 302]---> BDD-cost:  235
0.59/0.62	c ---[ 300]---> BDD-cost:  235
0.59/0.62	c ---[ 298]---> BDD-cost:  235
0.59/0.63	c ---[ 296]---> BDD-cost:  235
0.59/0.63	c ---[ 294]---> BDD-cost:  235
0.59/0.63	c ---[ 292]---> BDD-cost:  235
0.59/0.64	c ---[ 290]---> BDD-cost:  235
0.59/0.64	c ---[ 288]---> BDD-cost:  235
0.59/0.64	c ---[ 286]---> BDD-cost:  235
0.59/0.64	c ---[ 284]---> BDD-cost:  235
0.59/0.65	c ---[ 282]---> BDD-cost:  235
0.59/0.65	c ---[ 280]---> BDD-cost:  235
0.59/0.65	c ---[ 278]---> BDD-cost:  235
0.59/0.66	c ---[ 276]---> BDD-cost:  235
0.59/0.66	c ---[ 274]---> BDD-cost:  235
0.59/0.66	c ---[ 272]---> BDD-cost:  235
0.59/0.67	c ---[ 270]---> BDD-cost:  235
0.59/0.67	c ---[ 268]---> BDD-cost:  235
0.59/0.67	c ---[ 266]---> BDD-cost:  235
0.59/0.68	c ---[ 264]---> BDD-cost:  235
0.59/0.68	c ---[ 262]---> BDD-cost:  235
0.59/0.68	c ---[ 260]---> BDD-cost:  235
0.59/0.69	c ---[ 258]---> BDD-cost:  235
0.59/0.69	c ---[ 256]---> BDD-cost:  235
0.59/0.69	c ---[ 254]---> BDD-cost:  235
0.69/0.70	c ---[ 252]---> BDD-cost:  235
0.69/0.70	c ---[ 250]---> BDD-cost:  235
0.69/0.70	c ---[ 248]---> BDD-cost:  235
0.69/0.71	c ---[ 246]---> BDD-cost:  235
0.69/0.71	c ---[ 244]---> BDD-cost:  235
0.69/0.71	c ---[ 242]---> BDD-cost:  235
0.69/0.72	c ---[ 240]---> BDD-cost:  235
0.69/0.72	c ---[ 238]---> BDD-cost:  235
0.69/0.72	c ---[ 236]---> BDD-cost:  235
0.69/0.73	c ---[ 234]---> BDD-cost:  235
0.69/0.73	c ---[ 232]---> BDD-cost:  235
0.69/0.73	c ---[ 230]---> BDD-cost:  235
0.69/0.74	c ---[ 228]---> BDD-cost:  235
0.69/0.74	c ---[ 226]---> BDD-cost:  235
0.69/0.74	c ---[ 224]---> BDD-cost:  235
0.69/0.75	c ---[ 222]---> BDD-cost:  235
0.69/0.75	c ---[ 220]---> BDD-cost:  235
0.69/0.75	c ---[ 218]---> BDD-cost:  235
0.69/0.76	c ---[ 216]---> BDD-cost:  235
0.69/0.76	c ---[ 214]---> BDD-cost:  235
0.69/0.76	c ---[ 212]---> BDD-cost:  235
0.69/0.77	c ---[ 210]---> BDD-cost:  235
0.69/0.77	c ---[ 208]---> BDD-cost:  235
0.69/0.77	c ---[ 206]---> BDD-cost:  235
0.69/0.78	c ---[ 204]---> BDD-cost:  235
0.69/0.78	c ---[ 202]---> BDD-cost:  235
0.69/0.78	c ---[ 200]---> BDD-cost:  235
0.69/0.79	c ---[ 198]---> BDD-cost:  235
0.69/0.79	c ---[ 196]---> BDD-cost:  235
0.69/0.79	c ---[ 194]---> BDD-cost:  235
0.79/0.80	c ---[ 192]---> BDD-cost:  235
0.79/0.80	c ---[ 190]---> BDD-cost:  235
0.79/0.80	c ---[ 188]---> BDD-cost:  235
0.79/0.81	c ---[ 186]---> BDD-cost:  235
0.79/0.81	c ---[ 184]---> BDD-cost:  235
0.79/0.81	c ---[ 182]---> BDD-cost:  235
0.79/0.82	c ---[ 180]---> BDD-cost:  235
0.79/0.82	c ---[ 178]---> BDD-cost:  235
0.79/0.82	c ---[ 176]---> BDD-cost:  235
0.79/0.83	c ---[ 174]---> BDD-cost:  235
0.79/0.83	c ---[ 172]---> BDD-cost:  235
0.79/0.83	c ---[ 170]---> BDD-cost:  235
0.79/0.84	c ---[ 168]---> BDD-cost:  235
0.79/0.84	c ---[ 166]---> BDD-cost:  235
0.79/0.84	c ---[ 164]---> BDD-cost:  235
0.79/0.85	c ---[ 162]---> BDD-cost:  235
0.79/0.85	c ---[ 160]---> BDD-cost:  235
0.79/0.85	c ---[ 158]---> BDD-cost:  235
0.79/0.86	c ---[ 156]---> BDD-cost:  235
0.79/0.86	c ---[ 154]---> BDD-cost:  235
0.79/0.86	c ---[ 152]---> BDD-cost:  235
0.79/0.87	c ---[ 150]---> BDD-cost:  235
0.79/0.87	c ---[ 148]---> BDD-cost:  235
0.79/0.87	c ---[ 146]---> BDD-cost:  235
0.79/0.87	c ---[ 144]---> BDD-cost:  235
0.79/0.88	c ---[ 142]---> BDD-cost:  235
0.79/0.88	c ---[ 140]---> BDD-cost:  235
0.79/0.88	c ---[ 138]---> BDD-cost:  235
0.79/0.89	c ---[ 136]---> BDD-cost:  235
0.79/0.89	c ---[ 134]---> BDD-cost:  235
0.79/0.90	c ---[ 132]---> BDD-cost:  235
0.89/0.90	c ---[ 130]---> BDD-cost:  235
0.89/0.90	c ---[ 128]---> BDD-cost:  235
0.89/0.91	c ---[ 126]---> BDD-cost:  235
0.89/0.91	c ---[ 124]---> BDD-cost:  235
0.89/0.91	c ---[ 122]---> BDD-cost:  235
0.89/0.92	c ---[ 120]---> BDD-cost:  235
0.89/0.92	c ---[ 118]---> BDD-cost:  235
0.89/0.92	c ---[ 116]---> BDD-cost:  235
0.89/0.92	c ---[ 114]---> BDD-cost:  235
0.89/0.93	c ---[ 112]---> BDD-cost:  235
0.89/0.93	c ---[ 110]---> BDD-cost:  235
0.89/0.93	c ---[ 108]---> BDD-cost:  235
0.89/0.94	c ---[ 106]---> BDD-cost:  235
0.89/0.94	c ---[ 104]---> BDD-cost:  235
0.89/0.94	c ---[ 102]---> BDD-cost:  235
0.89/0.95	c ---[ 100]---> BDD-cost:  235
0.89/0.95	c ---[  98]---> BDD-cost:  235
0.89/0.95	c ---[  96]---> BDD-cost:  235
0.89/0.96	c ---[  94]---> BDD-cost:  235
0.89/0.96	c ---[  92]---> BDD-cost:  235
0.89/0.96	c ---[  90]---> BDD-cost:  235
0.89/0.97	c ---[  88]---> BDD-cost:  235
0.89/0.97	c ---[  86]---> BDD-cost:  235
0.89/0.97	c ---[  84]---> BDD-cost:  235
0.89/0.98	c ---[  82]---> BDD-cost:  235
0.89/0.98	c ---[  80]---> BDD-cost:  235
0.89/0.98	c ---[  78]---> BDD-cost:  235
0.89/0.99	c ---[  76]---> BDD-cost:  235
0.89/0.99	c ---[  74]---> BDD-cost:  235
0.89/0.99	c ---[  72]---> BDD-cost:  235
0.99/1.00	c ---[  70]---> BDD-cost:  235
0.99/1.00	c ---[  68]---> BDD-cost:  235
0.99/1.00	c ---[  66]---> BDD-cost:  235
0.99/1.01	c ---[  64]---> BDD-cost:  235
0.99/1.01	c ---[  62]---> BDD-cost:  235
0.99/1.01	c ---[  60]---> BDD-cost:  235
0.99/1.02	c ---[  58]---> BDD-cost:  235
0.99/1.02	c ---[  56]---> BDD-cost:  235
0.99/1.02	c ---[  54]---> BDD-cost:  235
0.99/1.03	c ---[  52]---> BDD-cost:  235
0.99/1.03	c ---[  50]---> BDD-cost:  235
0.99/1.03	c ---[  48]---> BDD-cost:  235
0.99/1.04	c ---[  46]---> BDD-cost:  235
0.99/1.04	c ---[  44]---> BDD-cost:  235
0.99/1.04	c ---[  42]---> BDD-cost:  235
0.99/1.05	c ---[  40]---> BDD-cost:  235
0.99/1.05	c ---[  38]---> BDD-cost:  235
0.99/1.05	c ---[  36]---> BDD-cost:  235
0.99/1.06	c ---[  34]---> BDD-cost:  235
0.99/1.06	c ---[  32]---> BDD-cost:  235
0.99/1.06	c ---[  30]---> BDD-cost:  235
0.99/1.07	c ---[  28]---> BDD-cost:  235
0.99/1.07	c ---[  26]---> BDD-cost:  235
0.99/1.07	c ---[  24]---> BDD-cost:  233
0.99/1.08	c ---[  22]---> BDD-cost:  229
0.99/1.08	c ---[  20]---> BDD-cost:  223
0.99/1.08	c ---[  18]---> BDD-cost:  213
0.99/1.08	c ---[  16]---> BDD-cost:  205
0.99/1.09	c ---[  14]---> BDD-cost:  199
0.99/1.09	c ---[  12]---> BDD-cost:  177
0.99/1.09	c ---[  10]---> BDD-cost:  131
0.99/1.09	c ---[   8]---> BDD-cost:   97
0.99/1.09	c ---[   6]---> BDD-cost:   63
0.99/1.09	c ---[   4]---> BDD-cost:   35
0.99/1.09	c ---[   2]---> BDD-cost:    7
1800.02/1800.40	|  Eliminated clauses:           0.04 Mb                                      |
1800.02/1800.40	============================[ Search Statistics ]==============================
1800.02/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.02/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.02/1800.40	===============================================================================
1800.02/1800.40	|       100 |   53156   107056   313394 |    39253      100    274 |  1.632 % |
1800.02/1800.40	|       250 |   53156   107056   313394 |    43179      250    214 |  1.632 % |
1800.02/1800.40	|       475 |   53131   107056   313394 |    47497      474    224 |  1.677 % |
1800.02/1800.40	|       812 |   53130   107056   313394 |    52246      810    222 |  1.679 % |
1800.02/1800.40	|      1318 |   53130   107056   313394 |    57471     1316    188 |  1.679 % |
1800.02/1800.40	|      2077 |   53129   107056   313394 |    63218     2074    172 |  1.681 % |
1800.02/1800.40	|      3216 |   53129   107056   313394 |    69540     3213    175 |  1.681 % |
1800.02/1800.40	|      4924 |   53128   107056   313394 |    76494     4919    179 |  1.682 % |
1800.02/1800.40	|      7486 |   53128   107056   313394 |    84144     7481    205 |  1.682 % |
1800.02/1800.40	|     11330 |   53126   107056   313394 |    92558    11319    212 |  1.686 % |
1800.02/1800.40	|     17096 |   53126   107056   313394 |   101814    17085    207 |  1.686 % |
1800.02/1800.40	|     25745 |   53126   107056   313394 |   111995    25734    207 |  1.686 % |
1800.02/1800.40	|     38719 |   53057   107056   313394 |   123195    38649    215 |  1.811 % |
1800.02/1800.40	|     58180 |   53050   107056   313394 |   135514    58098    244 |  1.824 % |
1800.02/1800.40	|     87372 |   53040   107056   313394 |   149066    87237    260 |  1.842 % |
1800.02/1800.40	|    131161 |   53037   107056   313394 |   163973   131013    283 |  1.847 % |
1800.02/1800.40	|    196845 |   53034   107056   313394 |   180370    68619    212 |  1.853 % |
1800.02/1800.40	|    295371 |   53034   107056   313394 |   198407   167145    331 |  1.853 % |
1800.02/1800.40	|    443160 |   53034   107056   313394 |   218248   160470    300 |  1.853 % |
1800.02/1800.40	|    664843 |   53034   107056   313394 |   240073   206551    334 |  1.853 % |
1800.02/1800.40	|    997368 |   53032   107056   313394 |   264080   179572    327 |  1.856 % |
1800.02/1800.40	|   1496156 |   53030   107056   313394 |   290488    75920     98 |  1.860 % |
1800.02/1800.40	|   2244338 |   53026   107056   313394 |   319537   172174    394 |  1.867 % |
1800.02/1800.40	c 
1800.02/1800.40	c *** TERMINATED ***
1800.02/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-4111828-1466604033/watcher-4111828-1466604033 -o /tmp/evaluation-result-4111828-1466604033/solver-4111828-1466604033 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466588874-17588 --watchdog 1960 minisatp HOME/instance-4111828-1466604033.opb 

pid=19775
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.00 2.00 2.00 3/177 19778
/proc/meminfo: memFree=31364408/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=6592 CPUtime=0 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 62448166 6750208 232 33554432000 4194304 5646918 140736784957088 140733565779720 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 1648 232 94 355 0 1289 0

[startup+0.10016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19778
/proc/meminfo: memFree=31364408/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=13688 CPUtime=0.09 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 1995 0 0 0 9 0 0 0 20 0 1 0 62448166 14016512 1829 33554432000 4194304 5646918 140736784957088 140736784956344 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 3422 1829 94 355 0 3063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13688

[startup+0.200336 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19778
/proc/meminfo: memFree=31364408/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=18984 CPUtime=0.19 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 3364 0 0 0 19 0 0 0 20 0 1 0 62448166 19439616 3198 33554432000 4194304 5646918 140736784957088 140736784956344 4251320 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 4746 3198 94 355 0 4387 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18984

[startup+0.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19778
/proc/meminfo: memFree=31364408/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=24600 CPUtime=0.28 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 4749 0 0 0 28 0 0 0 20 0 1 0 62448166 25190400 4583 33554432000 4194304 5646918 140736784957088 140736784956344 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 6150 4583 94 355 0 5791 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24600

[startup+0.700276 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19778
/proc/meminfo: memFree=31364408/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=37968 CPUtime=0.69 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 8371 0 0 0 67 2 0 0 20 0 1 0 62448166 38879232 8040 33554432000 4194304 5646918 140736784957088 140736784956344 4831366 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 9492 8040 117 355 0 9133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37968

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19779
/proc/meminfo: memFree=31328392/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=47192 CPUtime=1.49 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 10577 0 0 0 147 2 0 0 20 0 1 0 62448166 48324608 10734 33554432000 4194304 5646918 140736784957088 140736784955752 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 11798 10734 144 355 0 11439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47192

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19779
/proc/meminfo: memFree=31315220/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=49912 CPUtime=3.09 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 11040 0 0 0 306 3 0 0 20 0 1 0 62448166 51109888 11707 33554432000 4194304 5646918 140736784957088 140736784955784 4403246 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 12478 11707 145 355 0 12119 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49912

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19779
/proc/meminfo: memFree=31298396/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=61512 CPUtime=6.29 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 12075 0 0 0 626 3 0 0 20 0 1 0 62448166 62988288 14267 33554432000 4194304 5646918 140736784957088 140736784955784 4402616 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 15378 14267 145 355 0 15019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61512

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19779
/proc/meminfo: memFree=31268096/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=73188 CPUtime=12.69 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 12607 0 0 0 1265 4 0 0 20 0 1 0 62448166 74944512 17350 33554432000 4194304 5646918 140736784957088 140736784955784 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 18297 17350 145 355 0 17938 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73188

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19779
/proc/meminfo: memFree=31208432/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=123296 CPUtime=25.48 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 13709 0 0 0 2544 4 0 0 20 0 1 0 62448166 126255104 25604 33554432000 4194304 5646918 140736784957088 140736784955336 4388974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 30824 25604 145 355 0 30465 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 123296

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19803
/proc/meminfo: memFree=31320624/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=179464 CPUtime=51.08 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 15794 0 0 0 5102 6 0 0 20 0 1 0 62448166 183771136 43018 33554432000 4194304 5646918 140736784957088 140736784955224 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 44866 43018 145 355 0 44507 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 179464

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19804
/proc/meminfo: memFree=31158852/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=139512 CPUtime=102.27 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 20276 0 0 0 10217 10 0 0 20 0 1 0 62448166 142860288 33437 33554432000 4194304 5646918 140736784957088 140736784955784 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 34878 33437 147 355 0 34519 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 139512

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19805
/proc/meminfo: memFree=30832832/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=409796 CPUtime=162.24 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 23687 0 0 0 16211 13 0 0 20 0 1 0 62448166 419631104 72248 33554432000 4194304 5646918 140736784957088 140736784955224 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 102449 72248 147 355 0 102090 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 409796

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19806
/proc/meminfo: memFree=31128828/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=200884 CPUtime=222.24 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 26861 0 0 0 22206 18 0 0 20 0 1 0 62448166 205705216 49170 33554432000 4194304 5646918 140736784957088 140736784955224 4402661 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 50221 49170 147 355 0 49862 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 200884

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19807
/proc/meminfo: memFree=30855168/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=419720 CPUtime=282.22 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 29174 0 0 0 28200 22 0 0 20 0 1 0 62448166 429793280 88342 33554432000 4194304 5646918 140736784957088 140736784955224 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 104930 88342 147 355 0 104571 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 419720

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19809
/proc/meminfo: memFree=31107920/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=289312 CPUtime=342.21 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 31569 0 0 0 34194 27 0 0 20 0 1 0 62448166 296255488 62504 33554432000 4194304 5646918 140736784957088 140736784955224 4403249 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 72328 62504 147 355 0 71969 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 289312

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19810
/proc/meminfo: memFree=30867540/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=425924 CPUtime=402.19 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 33131 0 0 0 40189 30 0 0 20 0 1 0 62448166 436146176 93190 33554432000 4194304 5646918 140736784957088 140736784955224 4398798 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 106481 93190 147 355 0 106122 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 425924

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19811
/proc/meminfo: memFree=31121632/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=296160 CPUtime=462.19 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 36439 0 0 0 46183 36 0 0 20 0 1 0 62448166 303267840 58355 33554432000 4194304 5646918 140736784957088 140736784955224 4402818 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 74040 58355 147 355 0 73681 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 296160

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19812
/proc/meminfo: memFree=30837240/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=430720 CPUtime=522.15 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 37617 0 0 0 52177 38 0 0 20 0 1 0 62448166 441057280 91796 33554432000 4194304 5646918 140736784957088 140736784955224 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 107680 91796 147 355 0 107321 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 430720

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 19816
/proc/meminfo: memFree=31187620/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=300688 CPUtime=582.13 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 40735 0 0 0 58172 41 0 0 20 0 1 0 62448166 307904512 54819 33554432000 4194304 5646918 140736784957088 140736784955784 4403368 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 75172 54819 147 355 0 74813 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 300688


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19822
/proc/meminfo: memFree=31059872/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=310000 CPUtime=882.08 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 49412 0 0 0 88144 64 0 0 20 0 1 0 62448166 317440000 68695 33554432000 4194304 5646918 140736784957088 140736784955192 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 77500 68695 147 355 0 77141 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 310000

[startup+942.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 19823
/proc/meminfo: memFree=30755160/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=443136 CPUtime=942.06 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 50214 0 0 0 94140 66 0 0 20 0 1 0 62448166 453771264 99749 33554432000 4194304 5646918 140736784957088 140736784955224 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 110784 99749 147 355 0 110425 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 443136

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19825
/proc/meminfo: memFree=31206408/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=181588 CPUtime=1002.05 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 52337 0 0 0 100135 70 0 0 20 0 1 0 62448166 185946112 40586 33554432000 4194304 5646918 140736784957088 140736784955784 4402687 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 45397 40586 147 355 0 45038 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 181588

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 19826
/proc/meminfo: memFree=30877244/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=445864 CPUtime=1062.05 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 53813 0 0 0 106130 75 0 0 20 0 1 0 62448166 456564736 82428 33554432000 4194304 5646918 140736784957088 140736784955224 4399864 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 111466 82428 147 355 0 111107 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 445864

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19827
/proc/meminfo: memFree=30605060/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=662952 CPUtime=1122.03 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 54893 0 0 0 112126 77 0 0 20 0 1 0 62448166 678862848 116721 33554432000 4194304 5646918 140736784957088 140736784955224 4397533 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 165738 116721 147 355 0 165379 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 662952

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 19831
/proc/meminfo: memFree=31158472/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=237600 CPUtime=1182.02 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 56854 0 0 0 118121 81 0 0 20 0 1 0 62448166 243302400 51808 33554432000 4194304 5646918 140736784957088 140736784955784 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 59400 51808 147 355 0 59041 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 237600

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19832
/proc/meminfo: memFree=30870856/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=451248 CPUtime=1242.02 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 58000 0 0 0 124118 84 0 0 20 0 1 0 62448166 462077952 86330 33554432000 4194304 5646918 140736784957088 140736784955784 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 112812 86330 147 355 0 112453 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 451248

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19890
/proc/meminfo: memFree=30973404/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=667912 CPUtime=1302.01 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 58972 0 0 0 130115 86 0 0 20 0 1 0 62448166 683941888 125624 33554432000 4194304 5646918 140736784957088 140736784955224 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 166978 125624 147 355 0 166619 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 667912

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19891
/proc/meminfo: memFree=31081132/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=322432 CPUtime=1361.99 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 61259 0 0 0 136110 89 0 0 20 0 1 0 62448166 330170368 60469 33554432000 4194304 5646918 140736784957088 140736784955784 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 80608 60469 147 355 0 80249 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 322432

[startup+1422.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19892
/proc/meminfo: memFree=30903572/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=454964 CPUtime=1421.98 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 61863 0 0 0 142106 92 0 0 20 0 1 0 62448166 465883136 93774 33554432000 4194304 5646918 140736784957088 140736784955224 4397622 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 113741 93774 147 355 0 113382 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 454964

[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 19893
/proc/meminfo: memFree=30742144/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=671148 CPUtime=1481.97 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 62732 0 0 0 148102 95 0 0 20 0 1 0 62448166 687255552 126323 33554432000 4194304 5646918 140736784957088 140736784955224 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 167787 126323 147 355 0 167428 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 671148

[startup+1542.31 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 19894
/proc/meminfo: memFree=30925432/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=324732 CPUtime=1541.97 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 64852 0 0 0 154097 100 0 0 20 0 1 0 62448166 332525568 73822 33554432000 4194304 5646918 140736784957088 140736784955784 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 81183 73822 147 355 0 80824 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 324732

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19896
/proc/meminfo: memFree=30714112/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=673288 CPUtime=1601.95 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 66292 0 0 0 160092 103 0 0 20 0 1 0 62448166 689446912 120873 33554432000 4194304 5646918 140736784957088 140736784955224 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 168322 120873 147 355 0 167963 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 673288

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19897
/proc/meminfo: memFree=30541220/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=675520 CPUtime=1661.94 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 66909 0 0 0 166089 105 0 0 20 0 1 0 62448166 691732480 159813 33554432000 4194304 5646918 140736784957088 140736784955224 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 168880 159813 147 355 0 168521 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 675520

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19898
/proc/meminfo: memFree=30914484/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=330404 CPUtime=1721.93 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 69500 0 0 0 172077 116 0 0 20 0 1 0 62448166 338333696 63014 33554432000 4194304 5646918 140736784957088 140736784955784 4397604 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 82601 63014 147 355 0 82242 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 330404

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19902
/proc/meminfo: memFree=30739256/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=463196 CPUtime=1781.93 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 70178 0 0 0 178073 120 0 0 20 0 1 0 62448166 474312704 100484 33554432000 4194304 5646918 140736784957088 140736784955224 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 115799 100484 147 355 0 115440 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 463196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19902
/proc/meminfo: memFree=30686408/32872528 swapFree=8804/8804
[pid=19778] ppid=19775 vsize=463328 CPUtime=1800.02 cores=0,2,4,6
/proc/19778/stat : 19778 (minisatp) R 19775 19778 17572 0 -1 4202496 70251 0 0 0 179882 120 0 0 20 0 1 0 62448166 474447872 112310 33554432000 4194304 5646918 140736784957088 140736784955192 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19778/statm: 115832 112310 147 355 0 115473 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 463328

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 19778 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.05
CPU user time (s): 1798.82
CPU system time (s): 1.22181
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 1076156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.22181
maximum resident set size= 756264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70251
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= 162
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66529 second user time and 6.81496 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-22 16:00:33
IDJOB=4111828
IDBENCH=90187
IDSOLVER=2555
FILE ID=node151/4111828-1466604033
RUNJOBID= node151-1466588874-17588
PBS_JOBID= 19953367
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 4be3ef5c0a6baf670611a9fd5e5deae8
RANDOM SEED=852920613

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        31364208 kB
Buffers:           58636 kB
Cached:           451272 kB
SwapCached:         1920 kB
Active:           306708 kB
Inactive:         442788 kB
Active(anon):     238864 kB
Inactive(anon):     3208 kB
Active(file):      67844 kB
Inactive(file):   439580 kB
Unevictable:        8804 kB
Mlocked:            8804 kB
SwapTotal:      67108856 kB
SwapFree:       67099092 kB
Dirty:              4684 kB
Writeback:             0 kB
AnonPages:        222956 kB
Mapped:             8960 kB
Shmem:                 0 kB
Slab:             617256 kB
SReclaimable:      60892 kB
SUnreclaim:       556364 kB
KernelStack:        1480 kB
PageTables:         4632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     413316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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-4111828-1466604033.opb

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