Trace number 4111825

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K148.opb
MD5SUM75849fe0d0ba66aaca3a2fe3a07c685a
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 variables17612
Total number of constraints17910
Number of constraints which are clauses17762
Number of constraints which are cardinality constraints (but not clauses)148
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint148
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 149
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.51	c Converting 17908 PB-constraints to clauses...
0.49/0.51	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.49/0.52	c   -- Detecting intervals from adjacent constraints: ##################################################################################################################################################
0.49/0.52	c   -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.49/0.54	c ---[ 292]---> BDD-cost:  235
0.49/0.55	c ---[ 290]---> BDD-cost:  235
0.49/0.55	c ---[ 288]---> BDD-cost:  235
0.49/0.55	c ---[ 286]---> BDD-cost:  235
0.49/0.56	c ---[ 284]---> BDD-cost:  235
0.49/0.56	c ---[ 282]---> BDD-cost:  235
0.49/0.56	c ---[ 280]---> BDD-cost:  235
0.49/0.57	c ---[ 278]---> BDD-cost:  235
0.49/0.57	c ---[ 276]---> BDD-cost:  235
0.49/0.57	c ---[ 274]---> BDD-cost:  235
0.49/0.58	c ---[ 272]---> BDD-cost:  235
0.49/0.58	c ---[ 270]---> BDD-cost:  235
0.49/0.58	c ---[ 268]---> BDD-cost:  235
0.49/0.59	c ---[ 266]---> BDD-cost:  235
0.49/0.59	c ---[ 264]---> BDD-cost:  235
0.49/0.59	c ---[ 262]---> BDD-cost:  235
0.59/0.60	c ---[ 260]---> BDD-cost:  235
0.59/0.60	c ---[ 258]---> BDD-cost:  235
0.59/0.60	c ---[ 256]---> BDD-cost:  235
0.59/0.61	c ---[ 254]---> BDD-cost:  235
0.59/0.61	c ---[ 252]---> BDD-cost:  235
0.59/0.61	c ---[ 250]---> BDD-cost:  235
0.59/0.62	c ---[ 248]---> BDD-cost:  235
0.59/0.62	c ---[ 246]---> BDD-cost:  235
0.59/0.62	c ---[ 244]---> BDD-cost:  235
0.59/0.63	c ---[ 242]---> BDD-cost:  235
0.59/0.63	c ---[ 240]---> BDD-cost:  235
0.59/0.63	c ---[ 238]---> BDD-cost:  235
0.59/0.64	c ---[ 236]---> BDD-cost:  235
0.59/0.64	c ---[ 234]---> BDD-cost:  235
0.59/0.64	c ---[ 232]---> BDD-cost:  235
0.59/0.65	c ---[ 230]---> BDD-cost:  235
0.59/0.65	c ---[ 228]---> BDD-cost:  235
0.59/0.65	c ---[ 226]---> BDD-cost:  235
0.59/0.66	c ---[ 224]---> BDD-cost:  235
0.59/0.66	c ---[ 222]---> BDD-cost:  235
0.59/0.66	c ---[ 220]---> BDD-cost:  235
0.59/0.67	c ---[ 218]---> BDD-cost:  235
0.59/0.67	c ---[ 216]---> BDD-cost:  235
0.59/0.67	c ---[ 214]---> BDD-cost:  235
0.59/0.68	c ---[ 212]---> BDD-cost:  235
0.59/0.68	c ---[ 210]---> BDD-cost:  235
0.59/0.68	c ---[ 208]---> BDD-cost:  235
0.59/0.69	c ---[ 206]---> BDD-cost:  235
0.59/0.69	c ---[ 204]---> BDD-cost:  235
0.59/0.69	c ---[ 202]---> BDD-cost:  235
0.69/0.70	c ---[ 200]---> BDD-cost:  235
0.69/0.70	c ---[ 198]---> BDD-cost:  235
0.69/0.70	c ---[ 196]---> BDD-cost:  235
0.69/0.71	c ---[ 194]---> BDD-cost:  235
0.69/0.71	c ---[ 192]---> BDD-cost:  235
0.69/0.71	c ---[ 190]---> BDD-cost:  235
0.69/0.72	c ---[ 188]---> BDD-cost:  235
0.69/0.72	c ---[ 186]---> BDD-cost:  235
0.69/0.72	c ---[ 184]---> BDD-cost:  235
0.69/0.73	c ---[ 182]---> BDD-cost:  235
0.69/0.73	c ---[ 180]---> BDD-cost:  235
0.69/0.73	c ---[ 178]---> BDD-cost:  235
0.69/0.74	c ---[ 176]---> BDD-cost:  235
0.69/0.74	c ---[ 174]---> BDD-cost:  235
0.69/0.74	c ---[ 172]---> BDD-cost:  235
0.69/0.75	c ---[ 170]---> BDD-cost:  235
0.69/0.75	c ---[ 168]---> BDD-cost:  235
0.69/0.75	c ---[ 166]---> BDD-cost:  235
0.69/0.76	c ---[ 164]---> BDD-cost:  235
0.69/0.76	c ---[ 162]---> BDD-cost:  235
0.69/0.76	c ---[ 160]---> BDD-cost:  235
0.69/0.77	c ---[ 158]---> BDD-cost:  235
0.69/0.77	c ---[ 156]---> BDD-cost:  235
0.69/0.77	c ---[ 154]---> BDD-cost:  235
0.69/0.77	c ---[ 152]---> BDD-cost:  235
0.69/0.78	c ---[ 150]---> BDD-cost:  235
0.69/0.78	c ---[ 148]---> BDD-cost:  235
0.69/0.78	c ---[ 146]---> BDD-cost:  235
0.69/0.79	c ---[ 144]---> BDD-cost:  235
0.69/0.79	c ---[ 142]---> BDD-cost:  235
0.69/0.79	c ---[ 140]---> BDD-cost:  235
0.79/0.80	c ---[ 138]---> BDD-cost:  235
0.79/0.80	c ---[ 136]---> BDD-cost:  235
0.79/0.80	c ---[ 134]---> BDD-cost:  235
0.79/0.81	c ---[ 132]---> BDD-cost:  235
0.79/0.81	c ---[ 130]---> BDD-cost:  235
0.79/0.81	c ---[ 128]---> BDD-cost:  235
0.79/0.82	c ---[ 126]---> BDD-cost:  235
0.79/0.82	c ---[ 124]---> BDD-cost:  235
0.79/0.82	c ---[ 122]---> BDD-cost:  235
0.79/0.83	c ---[ 120]---> BDD-cost:  235
0.79/0.83	c ---[ 118]---> BDD-cost:  235
0.79/0.83	c ---[ 116]---> BDD-cost:  235
0.79/0.84	c ---[ 114]---> BDD-cost:  235
0.79/0.84	c ---[ 112]---> BDD-cost:  235
0.79/0.84	c ---[ 110]---> BDD-cost:  235
0.79/0.85	c ---[ 108]---> BDD-cost:  235
0.79/0.85	c ---[ 106]---> BDD-cost:  235
0.79/0.85	c ---[ 104]---> BDD-cost:  235
0.79/0.86	c ---[ 102]---> BDD-cost:  235
0.79/0.86	c ---[ 100]---> BDD-cost:  235
0.79/0.86	c ---[  98]---> BDD-cost:  235
0.79/0.87	c ---[  96]---> BDD-cost:  235
0.79/0.87	c ---[  94]---> BDD-cost:  235
0.79/0.87	c ---[  92]---> BDD-cost:  235
0.79/0.88	c ---[  90]---> BDD-cost:  235
0.79/0.88	c ---[  88]---> BDD-cost:  235
0.79/0.88	c ---[  86]---> BDD-cost:  235
0.79/0.89	c ---[  84]---> BDD-cost:  235
0.79/0.89	c ---[  82]---> BDD-cost:  235
0.79/0.89	c ---[  80]---> BDD-cost:  235
0.89/0.90	c ---[  78]---> BDD-cost:  235
0.89/0.90	c ---[  76]---> BDD-cost:  235
0.89/0.90	c ---[  74]---> BDD-cost:  235
0.89/0.91	c ---[  72]---> BDD-cost:  235
0.89/0.91	c ---[  70]---> BDD-cost:  235
0.89/0.91	c ---[  68]---> BDD-cost:  235
0.89/0.92	c ---[  66]---> BDD-cost:  235
0.89/0.92	c ---[  64]---> BDD-cost:  235
0.89/0.92	c ---[  62]---> BDD-cost:  235
0.89/0.93	c ---[  60]---> BDD-cost:  235
0.89/0.93	c ---[  58]---> BDD-cost:  235
0.89/0.93	c ---[  56]---> BDD-cost:  235
0.89/0.94	c ---[  54]---> BDD-cost:  235
0.89/0.94	c ---[  52]---> BDD-cost:  235
0.89/0.94	c ---[  50]---> BDD-cost:  235
0.89/0.95	c ---[  48]---> BDD-cost:  235
0.89/0.95	c ---[  46]---> BDD-cost:  235
0.89/0.95	c ---[  44]---> BDD-cost:  235
0.89/0.96	c ---[  42]---> BDD-cost:  235
0.89/0.96	c ---[  40]---> BDD-cost:  235
0.89/0.96	c ---[  38]---> BDD-cost:  235
0.89/0.97	c ---[  36]---> BDD-cost:  235
0.89/0.97	c ---[  34]---> BDD-cost:  235
0.89/0.97	c ---[  32]---> BDD-cost:  235
0.89/0.98	c ---[  30]---> BDD-cost:  235
0.89/0.98	c ---[  28]---> BDD-cost:  235
0.89/0.98	c ---[  26]---> BDD-cost:  235
0.89/0.99	c ---[  24]---> BDD-cost:  233
0.89/0.99	c ---[  22]---> BDD-cost:  229
0.89/0.99	c ---[  20]---> BDD-cost:  223
0.89/0.99	c ---[  18]---> BDD-cost:  213
0.99/1.00	c ---[  16]---> BDD-cost:  205
0.99/1.00	c ---[  14]---> BDD-cost:  199
0.99/1.00	c ---[  12]---> BDD-cost:  177
0.99/1.00	c ---[  10]---> BDD-cost:  131
0.99/1.01	c ---[   8]---> BDD-cost:   97
0.99/1.01	c ---[   6]---> BDD-cost:   63
0.99/1.01	c ---[   4]---> BDD-cost:   35
0.99/1.01	c ---[   2]---> BDD-cost:    7
1800.03/1800.40	|  Eliminated clauses:           0.04 Mb                                      |
1800.03/1800.40	============================[ Search Statistics ]==============================
1800.03/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.03/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.03/1800.40	===============================================================================
1800.03/1800.40	|       100 |   49004    98704   288902 |    36191      100    256 |  1.744 % |
1800.03/1800.40	|       250 |   49003    98704   288902 |    39810      249    228 |  1.746 % |
1800.03/1800.40	|       475 |   49003    98704   288902 |    43791      474    173 |  1.746 % |
1800.03/1800.40	|       812 |   49002    98704   288902 |    48170      810    161 |  1.748 % |
1800.03/1800.40	|      1318 |   49002    98704   288902 |    52987     1316    252 |  1.748 % |
1800.03/1800.40	|      2077 |   48976    98704   288902 |    58286     2073    227 |  1.799 % |
1800.03/1800.40	|      3216 |   48976    98704   288902 |    64115     3212    234 |  1.799 % |
1800.03/1800.40	|      4924 |   48975    98704   288902 |    70526     4919    209 |  1.801 % |
1800.03/1800.40	|      7486 |   48975    98704   288902 |    77579     7481    194 |  1.801 % |
1800.03/1800.40	|     11330 |   48973    98704   288902 |    85337    11319    185 |  1.805 % |
1800.03/1800.40	|     17096 |   48971    98704   288902 |    93871    17082    200 |  1.809 % |
1800.03/1800.40	|     25745 |   48971    98704   288902 |   103258    25731    207 |  1.809 % |
1800.03/1800.40	|     38719 |   48971    98704   288902 |   113584    38705    219 |  1.809 % |
1800.03/1800.40	|     58180 |   48970    98704   288902 |   124942    58165    228 |  1.811 % |
1800.03/1800.40	|     87372 |   48970    98704   288902 |   137437    87357    244 |  1.811 % |
1800.03/1800.40	|    131161 |   48969    98704   288902 |   151180   131143    272 |  1.813 % |
1800.03/1800.40	|    196845 |   48962    98704   288902 |   166298    81379    236 |  1.827 % |
1800.03/1800.40	|    295371 |   48959    98704   288902 |   182928    56851    162 |  1.833 % |
1800.03/1800.40	|    443160 |   48956    98704   288902 |   201221    71695    217 |  1.838 % |
1800.03/1800.40	|    664843 |   48950    98704   288902 |   221343   147833    293 |  1.850 % |
1800.03/1800.40	|    997368 |   48943    98704   288902 |   243478   144384    352 |  1.864 % |
1800.03/1800.40	|   1496156 |   48741    98704   288902 |   267825    83400    153 |  2.261 % |
1800.03/1800.40	|   2244338 |   48707    98704   288902 |   294608   231680    411 |  2.327 % |
1800.03/1800.40	c 
1800.03/1800.40	c *** TERMINATED ***
1800.03/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-4111825-1466604398/watcher-4111825-1466604398 -o /tmp/evaluation-result-4111825-1466604398/solver-4111825-1466604398 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466586759-1907 --watchdog 1960 minisatp HOME/instance-4111825-1466604398.opb 

pid=4898
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.02 2.02 2.00 3/178 4901
/proc/meminfo: memFree=30194292/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=6608 CPUtime=0 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 62485707 6766592 241 33554432000 4194304 5646918 140735617812544 140737017484200 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 1652 241 94 355 0 1293 0

[startup+0.100164 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 4901
/proc/meminfo: memFree=30194292/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=13232 CPUtime=0.09 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 1979 0 0 0 9 0 0 0 20 0 1 0 62485707 13549568 1814 33554432000 4194304 5646918 140735617812544 140737017484200 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 3308 1815 94 355 0 2949 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13232

[startup+0.200337 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 4901
/proc/meminfo: memFree=30194292/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=18836 CPUtime=0.19 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 3381 0 0 0 19 0 0 0 20 0 1 0 62485707 19288064 3217 33554432000 4194304 5646918 140735617812544 140737017484200 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 4709 3217 94 355 0 4350 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18836

[startup+0.300314 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 4901
/proc/meminfo: memFree=30194292/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=24456 CPUtime=0.29 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 4772 0 0 0 29 0 0 0 20 0 1 0 62485707 25042944 4607 33554432000 4194304 5646918 140735617812544 140737017484200 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 6114 4608 94 355 0 5755 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24456

[startup+0.700272 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 4901
/proc/meminfo: memFree=30194292/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=35792 CPUtime=0.69 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 7848 0 0 0 67 2 0 0 20 0 1 0 62485707 36651008 8043 33554432000 4194304 5646918 140735617812544 140735617796088 4831247 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 8948 8043 117 355 0 8589 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35792

[startup+1.50031 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 4902
/proc/meminfo: memFree=30153212/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=43128 CPUtime=1.49 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 9853 0 0 0 147 2 0 0 20 0 1 0 62485707 44163072 10046 33554432000 4194304 5646918 140735617812544 140735617796088 4402974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 10782 10046 144 355 0 10423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43128

[startup+3.10031 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 4902
/proc/meminfo: memFree=30148064/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=50268 CPUtime=3.09 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 10396 0 0 0 307 2 0 0 20 0 1 0 62485707 51474432 11096 33554432000 4194304 5646918 140735617812544 140735617811240 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 12567 11096 145 355 0 12208 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50268

[startup+6.30031 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 4902
/proc/meminfo: memFree=30119168/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=57448 CPUtime=6.29 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 11149 0 0 0 627 2 0 0 20 0 1 0 62485707 58826752 13376 33554432000 4194304 5646918 140735617812544 140735617811240 4403104 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 14362 13376 145 355 0 14003 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57448

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 4902
/proc/meminfo: memFree=30082400/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=88092 CPUtime=12.69 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 12195 0 0 0 1266 3 0 0 20 0 1 0 62485707 90206208 17994 33554432000 4194304 5646918 140735617812544 140735617811240 4399356 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 22023 17994 145 355 0 21664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88092

[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 4903
/proc/meminfo: memFree=30011848/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=119048 CPUtime=25.49 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 12778 0 0 0 2545 4 0 0 20 0 1 0 62485707 121905152 25730 33554432000 4194304 5646918 140735617812544 140735617811240 4396915 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 29762 25730 145 355 0 29403 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 119048

[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 4903
/proc/meminfo: memFree=29871492/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=177352 CPUtime=51.08 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 15341 0 0 0 5102 6 0 0 20 0 1 0 62485707 181608448 43621 33554432000 4194304 5646918 140735617812544 140735617810680 4403076 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 44338 43621 145 355 0 43979 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 177352

[startup+102.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 4904
/proc/meminfo: memFree=30286996/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=185160 CPUtime=102.26 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 19699 0 0 0 10216 10 0 0 20 0 1 0 62485707 189603840 42331 33554432000 4194304 5646918 140735617812544 140735617810680 4821510 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 46290 42331 147 355 0 45931 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 185160

[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 4905
/proc/meminfo: memFree=30205572/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=141020 CPUtime=162.25 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 23841 0 0 0 16209 16 0 0 20 0 1 0 62485707 144404480 28979 33554432000 4194304 5646918 140735617812544 140735617811240 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 35255 28979 147 355 0 34896 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 141020

[startup+222.307 s]
/proc/loadavg: 2.13 2.04 2.01 3/180 4909
/proc/meminfo: memFree=29962408/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=276556 CPUtime=222.24 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 25960 0 0 0 22206 18 0 0 20 0 1 0 62485707 283193344 64310 33554432000 4194304 5646918 140735617812544 140735617810680 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 69139 64310 147 355 0 68780 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 276556

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 4910
/proc/meminfo: memFree=29828936/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=412204 CPUtime=282.23 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 29558 0 0 0 28198 25 0 0 20 0 1 0 62485707 422096896 72997 33554432000 4194304 5646918 140735617812544 140735617811240 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 103051 72997 147 355 0 102692 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 412204

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 4912
/proc/meminfo: memFree=30356860/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=122508 CPUtime=342.22 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 31615 0 0 0 34193 29 0 0 20 0 1 0 62485707 125448192 28212 33554432000 4194304 5646918 140735617812544 140735617811240 4403087 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 30627 28212 147 355 0 30268 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 122508

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 4913
/proc/meminfo: memFree=30060300/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=286376 CPUtime=402.2 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 33829 0 0 0 40187 33 0 0 20 0 1 0 62485707 293249024 66845 33554432000 4194304 5646918 140735617812544 140735617810680 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 71594 66845 147 355 0 71235 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 286376

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 4914
/proc/meminfo: memFree=30065036/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=127096 CPUtime=462.2 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 35179 0 0 0 46183 37 0 0 20 0 1 0 62485707 130146304 30734 33554432000 4194304 5646918 140735617812544 140735617811256 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 31774 30734 147 355 0 31415 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 127096

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 4915
/proc/meminfo: memFree=29763652/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=290632 CPUtime=522.19 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 37128 0 0 0 52179 40 0 0 20 0 1 0 62485707 297607168 72024 33554432000 4194304 5646918 140735617812544 140735617810680 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 72658 72024 147 355 0 72299 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 290632

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 2/175 4948
/proc/meminfo: memFree=30571832/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=162136 CPUtime=582.18 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 39775 0 0 0 58174 44 0 0 20 0 1 0 62485707 166027264 34100 33554432000 4194304 5646918 140735617812544 140735617811240 4403210 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 40534 34100 147 355 0 40175 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 162136


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 5147
/proc/meminfo: memFree=30163852/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=220928 CPUtime=882.13 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 48922 0 0 0 88147 66 0 0 20 0 1 0 62485707 226230272 51041 33554432000 4194304 5646918 140735617812544 140735617811240 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 55232 51041 147 355 0 54873 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 220928

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 5149
/proc/meminfo: memFree=30138160/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=435392 CPUtime=942.11 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 50223 0 0 0 94143 68 0 0 20 0 1 0 62485707 445841408 88234 33554432000 4194304 5646918 140735617812544 140735617810648 4402784 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 108848 88234 147 355 0 108489 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 435392

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5150
/proc/meminfo: memFree=30271876/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=173812 CPUtime=1002.1 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 52243 0 0 0 100139 71 0 0 20 0 1 0 62485707 177983488 38240 33554432000 4194304 5646918 140735617812544 140735617811240 4397501 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 43453 38240 147 355 0 43094 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 173812

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5151
/proc/meminfo: memFree=30201136/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=437996 CPUtime=1062.09 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 53698 0 0 0 106134 75 0 0 20 0 1 0 62485707 448507904 76996 33554432000 4194304 5646918 140735617812544 140735617811240 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 109499 76996 147 355 0 109140 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 437996

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5152
/proc/meminfo: memFree=30021348/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=654768 CPUtime=1122.08 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 54735 0 0 0 112131 77 0 0 20 0 1 0 62485707 670482432 110223 33554432000 4194304 5646918 140735617812544 140735617811240 4398813 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 163692 110223 147 355 0 163333 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 654768

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 5153
/proc/meminfo: memFree=30212268/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=227952 CPUtime=1182.07 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 56467 0 0 0 118126 81 0 0 20 0 1 0 62485707 233422848 50252 33554432000 4194304 5646918 140735617812544 140735617811240 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 56988 50252 147 355 0 56629 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 227952

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5154
/proc/meminfo: memFree=30013532/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=441864 CPUtime=1242.07 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 57615 0 0 0 124123 84 0 0 20 0 1 0 62485707 452468736 83186 33554432000 4194304 5646918 140735617812544 140735617810648 4402687 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 110466 83186 147 355 0 110107 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 441864

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 5156
/proc/meminfo: memFree=29837500/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=658636 CPUtime=1302.05 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 58598 0 0 0 130119 86 0 0 20 0 1 0 62485707 674443264 116358 33554432000 4194304 5646918 140735617812544 140735617810648 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 164659 116358 147 355 0 164300 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 658636

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5157
/proc/meminfo: memFree=29994748/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=311944 CPUtime=1362.04 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 60592 0 0 0 136114 90 0 0 20 0 1 0 62485707 319430656 63775 33554432000 4194304 5646918 140735617812544 140735617811240 4400586 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 77986 63775 147 355 0 77627 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 311944

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5161
/proc/meminfo: memFree=29754864/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=444952 CPUtime=1422.04 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 61275 0 0 0 142111 93 0 0 20 0 1 0 62485707 455630848 95117 33554432000 4194304 5646918 140735617812544 140735617810648 4403047 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 111238 95117 147 355 0 110879 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 444952

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5162
/proc/meminfo: memFree=29938628/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=182456 CPUtime=1482.03 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 62887 0 0 0 148106 97 0 0 20 0 1 0 62485707 186834944 38614 33554432000 4194304 5646918 140735617812544 140735617811240 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 45614 38614 147 355 0 45255 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 182456

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5163
/proc/meminfo: memFree=29705744/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=446752 CPUtime=1542.03 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 64647 0 0 0 154102 101 0 0 20 0 1 0 62485707 457474048 85850 33554432000 4194304 5646918 140735617812544 140735617811240 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 111688 85850 147 355 0 111329 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 446752

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5165
/proc/meminfo: memFree=29493048/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=662968 CPUtime=1602.01 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 65571 0 0 0 160097 104 0 0 20 0 1 0 62485707 678879232 128165 33554432000 4194304 5646918 140735617812544 140735617810680 4388960 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 165742 128165 147 355 0 165383 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 662968

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5166
/proc/meminfo: memFree=29749268/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=186416 CPUtime=1662 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 67041 0 0 0 166093 107 0 0 20 0 1 0 62485707 190889984 42783 33554432000 4194304 5646918 140735617812544 140735617811240 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 46604 42783 147 355 0 46245 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 186416

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5167
/proc/meminfo: memFree=29493908/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=451540 CPUtime=1721.98 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 68771 0 0 0 172085 113 0 0 20 0 1 0 62485707 462376960 96777 33554432000 4194304 5646918 140735617812544 140735617810680 4402829 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 112885 96777 147 355 0 112526 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 451540

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5168
/proc/meminfo: memFree=29933644/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=667776 CPUtime=1781.94 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 69703 0 0 0 178078 116 0 0 20 0 1 0 62485707 683802624 134967 33554432000 4194304 5646918 140735617812544 140735617810680 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 166944 134967 147 355 0 166585 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 667776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5168
/proc/meminfo: memFree=29885952/32872528 swapFree=9316/9316
[pid=4901] ppid=4898 vsize=668268 CPUtime=1800.03 cores=1,3,5,7
/proc/4901/stat : 4901 (minisatp) R 4898 4901 1890 0 -1 4202496 69833 0 0 0 179887 116 0 0 20 0 1 0 62485707 684306432 141727 33554432000 4194304 5646918 140735617812544 140735617810680 4399261 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/4901/statm: 167067 141727 147 355 0 166708 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 668268

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 4901 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.04
CPU user time (s): 1798.87
CPU system time (s): 1.17182
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 705648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.17182
maximum resident set size= 696008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69833
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= 127
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54531 second user time and 6.99294 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-22 16:06:38
IDJOB=4111825
IDBENCH=90209
IDSOLVER=2555
FILE ID=node133/4111825-1466604398
RUNJOBID= node133-1466586759-1907
PBS_JOBID= 19953374
Free space on /tmp= 71544 MiB

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

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

MD5SUM BENCH= 75849fe0d0ba66aaca3a2fe3a07c685a
RANDOM SEED=440369817

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
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:        30194456 kB
Buffers:           84112 kB
Cached:          1334164 kB
SwapCached:         1392 kB
Active:           618756 kB
Inactive:        1311784 kB
Active(anon):     510380 kB
Inactive(anon):     3976 kB
Active(file):     108376 kB
Inactive(file):  1307808 kB
Unevictable:        9316 kB
Mlocked:            9316 kB
SwapTotal:      67108856 kB
SwapFree:       67099236 kB
Dirty:              4708 kB
Writeback:             0 kB
AnonPages:        522520 kB
Mapped:             7724 kB
Shmem:                 0 kB
Slab:             604388 kB
SReclaimable:      47724 kB
SUnreclaim:       556664 kB
KernelStack:        1464 kB
PageTables:         4940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     816448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 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-4111825-1466604398.opb

Free space on /tmp at the end= 71540 MiB
End job on node133 at 2016-06-22 16:36:38