Trace number 4111842

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K200.opb
MD5SUM4ffc81aa318dee614e51a62344fd339d
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 variables23800
Total number of constraints24202
Number of constraints which are clauses24002
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint200
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 201
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.59/0.69	c Converting 24200 PB-constraints to clauses...
0.68/0.70	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.68/0.71	c   -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################
0.68/0.71	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.68/0.74	c ---[ 396]---> BDD-cost:  235
0.68/0.75	c ---[ 394]---> BDD-cost:  235
0.68/0.75	c ---[ 392]---> BDD-cost:  235
0.68/0.75	c ---[ 390]---> BDD-cost:  235
0.68/0.75	c ---[ 388]---> BDD-cost:  235
0.68/0.76	c ---[ 386]---> BDD-cost:  235
0.68/0.76	c ---[ 384]---> BDD-cost:  235
0.68/0.76	c ---[ 382]---> BDD-cost:  235
0.68/0.77	c ---[ 380]---> BDD-cost:  235
0.68/0.77	c ---[ 378]---> BDD-cost:  235
0.68/0.77	c ---[ 376]---> BDD-cost:  235
0.68/0.78	c ---[ 374]---> BDD-cost:  235
0.68/0.78	c ---[ 372]---> BDD-cost:  235
0.68/0.78	c ---[ 370]---> BDD-cost:  235
0.68/0.79	c ---[ 368]---> BDD-cost:  235
0.68/0.79	c ---[ 366]---> BDD-cost:  235
0.68/0.79	c ---[ 364]---> BDD-cost:  235
0.79/0.80	c ---[ 362]---> BDD-cost:  235
0.79/0.80	c ---[ 360]---> BDD-cost:  235
0.79/0.80	c ---[ 358]---> BDD-cost:  235
0.79/0.81	c ---[ 356]---> BDD-cost:  235
0.79/0.81	c ---[ 354]---> BDD-cost:  235
0.79/0.81	c ---[ 352]---> BDD-cost:  235
0.79/0.82	c ---[ 350]---> BDD-cost:  235
0.79/0.82	c ---[ 348]---> BDD-cost:  235
0.79/0.82	c ---[ 346]---> BDD-cost:  235
0.79/0.83	c ---[ 344]---> BDD-cost:  235
0.79/0.83	c ---[ 342]---> BDD-cost:  235
0.79/0.83	c ---[ 340]---> BDD-cost:  235
0.79/0.84	c ---[ 338]---> BDD-cost:  235
0.79/0.84	c ---[ 336]---> BDD-cost:  235
0.79/0.84	c ---[ 334]---> BDD-cost:  235
0.79/0.85	c ---[ 332]---> BDD-cost:  235
0.79/0.85	c ---[ 330]---> BDD-cost:  235
0.79/0.85	c ---[ 328]---> BDD-cost:  235
0.79/0.86	c ---[ 326]---> BDD-cost:  235
0.79/0.86	c ---[ 324]---> BDD-cost:  235
0.79/0.86	c ---[ 322]---> BDD-cost:  235
0.79/0.87	c ---[ 320]---> BDD-cost:  235
0.79/0.87	c ---[ 318]---> BDD-cost:  235
0.79/0.87	c ---[ 316]---> BDD-cost:  235
0.79/0.88	c ---[ 314]---> BDD-cost:  235
0.79/0.88	c ---[ 312]---> BDD-cost:  235
0.79/0.88	c ---[ 310]---> BDD-cost:  235
0.79/0.89	c ---[ 308]---> BDD-cost:  235
0.79/0.89	c ---[ 306]---> BDD-cost:  235
0.79/0.89	c ---[ 304]---> BDD-cost:  235
0.89/0.90	c ---[ 302]---> BDD-cost:  235
0.89/0.90	c ---[ 300]---> BDD-cost:  235
0.89/0.90	c ---[ 298]---> BDD-cost:  235
0.89/0.91	c ---[ 296]---> BDD-cost:  235
0.89/0.91	c ---[ 294]---> BDD-cost:  235
0.89/0.91	c ---[ 292]---> BDD-cost:  235
0.89/0.92	c ---[ 290]---> BDD-cost:  235
0.89/0.92	c ---[ 288]---> BDD-cost:  235
0.89/0.92	c ---[ 286]---> BDD-cost:  235
0.89/0.93	c ---[ 284]---> BDD-cost:  235
0.89/0.93	c ---[ 282]---> BDD-cost:  235
0.89/0.93	c ---[ 280]---> BDD-cost:  235
0.89/0.94	c ---[ 278]---> BDD-cost:  235
0.89/0.94	c ---[ 276]---> BDD-cost:  235
0.89/0.94	c ---[ 274]---> BDD-cost:  235
0.89/0.95	c ---[ 272]---> BDD-cost:  235
0.89/0.95	c ---[ 270]---> BDD-cost:  235
0.89/0.95	c ---[ 268]---> BDD-cost:  235
0.89/0.96	c ---[ 266]---> BDD-cost:  235
0.89/0.96	c ---[ 264]---> BDD-cost:  235
0.89/0.96	c ---[ 262]---> BDD-cost:  235
0.89/0.97	c ---[ 260]---> BDD-cost:  235
0.89/0.97	c ---[ 258]---> BDD-cost:  235
0.89/0.97	c ---[ 256]---> BDD-cost:  235
0.89/0.98	c ---[ 254]---> BDD-cost:  235
0.89/0.98	c ---[ 252]---> BDD-cost:  235
0.89/0.98	c ---[ 250]---> BDD-cost:  235
0.89/0.99	c ---[ 248]---> BDD-cost:  235
0.89/0.99	c ---[ 246]---> BDD-cost:  235
0.89/0.99	c ---[ 244]---> BDD-cost:  235
0.89/1.00	c ---[ 242]---> BDD-cost:  235
0.99/1.00	c ---[ 240]---> BDD-cost:  235
0.99/1.00	c ---[ 238]---> BDD-cost:  235
0.99/1.01	c ---[ 236]---> BDD-cost:  235
0.99/1.01	c ---[ 234]---> BDD-cost:  235
0.99/1.01	c ---[ 232]---> BDD-cost:  235
0.99/1.01	c ---[ 230]---> BDD-cost:  235
0.99/1.02	c ---[ 228]---> BDD-cost:  235
0.99/1.02	c ---[ 226]---> BDD-cost:  235
0.99/1.02	c ---[ 224]---> BDD-cost:  235
0.99/1.03	c ---[ 222]---> BDD-cost:  235
0.99/1.03	c ---[ 220]---> BDD-cost:  235
0.99/1.03	c ---[ 218]---> BDD-cost:  235
0.99/1.04	c ---[ 216]---> BDD-cost:  235
0.99/1.04	c ---[ 214]---> BDD-cost:  235
0.99/1.05	c ---[ 212]---> BDD-cost:  235
0.99/1.05	c ---[ 210]---> BDD-cost:  235
0.99/1.05	c ---[ 208]---> BDD-cost:  235
0.99/1.06	c ---[ 206]---> BDD-cost:  235
0.99/1.06	c ---[ 204]---> BDD-cost:  235
0.99/1.06	c ---[ 202]---> BDD-cost:  235
0.99/1.06	c ---[ 200]---> BDD-cost:  235
0.99/1.07	c ---[ 198]---> BDD-cost:  235
0.99/1.07	c ---[ 196]---> BDD-cost:  235
0.99/1.07	c ---[ 194]---> BDD-cost:  235
0.99/1.08	c ---[ 192]---> BDD-cost:  235
0.99/1.08	c ---[ 190]---> BDD-cost:  235
0.99/1.08	c ---[ 188]---> BDD-cost:  235
0.99/1.09	c ---[ 186]---> BDD-cost:  235
0.99/1.09	c ---[ 184]---> BDD-cost:  235
0.99/1.09	c ---[ 182]---> BDD-cost:  235
0.99/1.10	c ---[ 180]---> BDD-cost:  235
0.99/1.10	c ---[ 178]---> BDD-cost:  235
1.09/1.10	c ---[ 176]---> BDD-cost:  235
1.09/1.11	c ---[ 174]---> BDD-cost:  235
1.09/1.11	c ---[ 172]---> BDD-cost:  235
1.09/1.11	c ---[ 170]---> BDD-cost:  235
1.09/1.12	c ---[ 168]---> BDD-cost:  235
1.09/1.12	c ---[ 166]---> BDD-cost:  235
1.09/1.12	c ---[ 164]---> BDD-cost:  235
1.09/1.13	c ---[ 162]---> BDD-cost:  235
1.09/1.13	c ---[ 160]---> BDD-cost:  235
1.09/1.13	c ---[ 158]---> BDD-cost:  235
1.09/1.14	c ---[ 156]---> BDD-cost:  235
1.09/1.14	c ---[ 154]---> BDD-cost:  235
1.09/1.14	c ---[ 152]---> BDD-cost:  235
1.09/1.15	c ---[ 150]---> BDD-cost:  235
1.09/1.15	c ---[ 148]---> BDD-cost:  235
1.09/1.15	c ---[ 146]---> BDD-cost:  235
1.09/1.16	c ---[ 144]---> BDD-cost:  235
1.09/1.16	c ---[ 142]---> BDD-cost:  235
1.09/1.16	c ---[ 140]---> BDD-cost:  235
1.09/1.17	c ---[ 138]---> BDD-cost:  235
1.09/1.17	c ---[ 136]---> BDD-cost:  235
1.09/1.17	c ---[ 134]---> BDD-cost:  235
1.09/1.18	c ---[ 132]---> BDD-cost:  235
1.09/1.18	c ---[ 130]---> BDD-cost:  235
1.09/1.18	c ---[ 128]---> BDD-cost:  235
1.09/1.19	c ---[ 126]---> BDD-cost:  235
1.09/1.19	c ---[ 124]---> BDD-cost:  235
1.09/1.19	c ---[ 122]---> BDD-cost:  235
1.09/1.20	c ---[ 120]---> BDD-cost:  235
1.09/1.20	c ---[ 118]---> BDD-cost:  235
1.19/1.20	c ---[ 116]---> BDD-cost:  235
1.19/1.21	c ---[ 114]---> BDD-cost:  235
1.19/1.21	c ---[ 112]---> BDD-cost:  235
1.19/1.21	c ---[ 110]---> BDD-cost:  235
1.19/1.22	c ---[ 108]---> BDD-cost:  235
1.19/1.22	c ---[ 106]---> BDD-cost:  235
1.19/1.22	c ---[ 104]---> BDD-cost:  235
1.19/1.23	c ---[ 102]---> BDD-cost:  235
1.19/1.23	c ---[ 100]---> BDD-cost:  235
1.19/1.23	c ---[  98]---> BDD-cost:  235
1.19/1.24	c ---[  96]---> BDD-cost:  235
1.19/1.24	c ---[  94]---> BDD-cost:  235
1.19/1.24	c ---[  92]---> BDD-cost:  235
1.19/1.25	c ---[  90]---> BDD-cost:  235
1.19/1.25	c ---[  88]---> BDD-cost:  235
1.19/1.25	c ---[  86]---> BDD-cost:  235
1.19/1.26	c ---[  84]---> BDD-cost:  235
1.19/1.26	c ---[  82]---> BDD-cost:  235
1.19/1.26	c ---[  80]---> BDD-cost:  235
1.19/1.27	c ---[  78]---> BDD-cost:  235
1.19/1.27	c ---[  76]---> BDD-cost:  235
1.19/1.27	c ---[  74]---> BDD-cost:  235
1.19/1.27	c ---[  72]---> BDD-cost:  235
1.19/1.28	c ---[  70]---> BDD-cost:  235
1.19/1.28	c ---[  68]---> BDD-cost:  235
1.19/1.28	c ---[  66]---> BDD-cost:  235
1.19/1.29	c ---[  64]---> BDD-cost:  235
1.19/1.29	c ---[  62]---> BDD-cost:  235
1.19/1.29	c ---[  60]---> BDD-cost:  235
1.29/1.30	c ---[  58]---> BDD-cost:  235
1.29/1.30	c ---[  56]---> BDD-cost:  235
1.29/1.30	c ---[  54]---> BDD-cost:  235
1.29/1.31	c ---[  52]---> BDD-cost:  235
1.29/1.31	c ---[  50]---> BDD-cost:  235
1.29/1.31	c ---[  48]---> BDD-cost:  235
1.29/1.32	c ---[  46]---> BDD-cost:  235
1.29/1.32	c ---[  44]---> BDD-cost:  235
1.29/1.32	c ---[  42]---> BDD-cost:  235
1.29/1.33	c ---[  40]---> BDD-cost:  235
1.29/1.33	c ---[  38]---> BDD-cost:  235
1.29/1.34	c ---[  36]---> BDD-cost:  235
1.29/1.34	c ---[  34]---> BDD-cost:  235
1.29/1.34	c ---[  32]---> BDD-cost:  235
1.29/1.35	c ---[  30]---> BDD-cost:  235
1.29/1.35	c ---[  28]---> BDD-cost:  235
1.29/1.35	c ---[  26]---> BDD-cost:  235
1.29/1.36	c ---[  24]---> BDD-cost:  233
1.29/1.36	c ---[  22]---> BDD-cost:  229
1.29/1.36	c ---[  20]---> BDD-cost:  223
1.29/1.36	c ---[  18]---> BDD-cost:  213
1.29/1.37	c ---[  16]---> BDD-cost:  205
1.29/1.37	c ---[  14]---> BDD-cost:  199
1.29/1.37	c ---[  12]---> BDD-cost:  177
1.29/1.37	c ---[  10]---> BDD-cost:  131
1.29/1.38	c ---[   8]---> BDD-cost:   97
1.29/1.38	c ---[   6]---> BDD-cost:   63
1.29/1.38	c ---[   4]---> BDD-cost:   35
1.29/1.38	c ---[   2]---> BDD-cost:    7
1800.05/1800.40	|  Eliminated clauses:           0.05 Mb                                      |
1800.05/1800.40	============================[ Search Statistics ]==============================
1800.05/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.05/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.05/1800.40	===============================================================================
1800.05/1800.40	|       100 |   66970   134896   395034 |    49461       98    242 |  1.393 % |
1800.05/1800.40	|       250 |   66969   134896   395034 |    54408      247    139 |  1.395 % |
1800.05/1800.40	|       475 |   66969   134896   395034 |    59848      472    144 |  1.395 % |
1800.05/1800.40	|       812 |   66968   134896   395034 |    65833      808    147 |  1.396 % |
1800.05/1800.40	|      1318 |   66967   134896   395034 |    72417     1313    135 |  1.398 % |
1800.05/1800.40	|      2077 |   66967   134896   395034 |    79658     2072    143 |  1.398 % |
1800.05/1800.40	|      3216 |   66967   134896   395034 |    87624     3211    158 |  1.398 % |
1800.05/1800.40	|      4924 |   66966   134896   395034 |    96387     4917    154 |  1.399 % |
1800.05/1800.40	|      7486 |   66966   134896   395034 |   106025     7479    167 |  1.399 % |
1800.05/1800.40	|     11330 |   66966   134896   395034 |   116628    11323    174 |  1.399 % |
1800.05/1800.40	|     17096 |   66966   134896   395034 |   128291    17089    194 |  1.399 % |
1800.05/1800.40	|     25745 |   66966   134896   395034 |   141120    25738    217 |  1.399 % |
1800.05/1800.40	|     38719 |   66966   134896   395034 |   155232    38712    223 |  1.399 % |
1800.05/1800.40	|     58180 |   66965   134896   395034 |   170755    58167    241 |  1.401 % |
1800.05/1800.40	|     87372 |   66965   134896   395034 |   187831    87359    251 |  1.401 % |
1800.05/1800.40	|    131161 |   66965   134896   395034 |   206614   131148    267 |  1.401 % |
1800.05/1800.40	|    196845 |   66963   134896   395034 |   227275   196814    295 |  1.404 % |
1800.05/1800.40	|    295371 |   66963   134896   395034 |   250003   112365    229 |  1.404 % |
1800.05/1800.40	|    443160 |   66960   134896   395034 |   275003    68629    138 |  1.408 % |
1800.05/1800.40	|    664843 |   66946   134896   395034 |   302504    86301    129 |  1.428 % |
1800.05/1800.40	|    997368 |   66945   134896   395034 |   332754   196705    322 |  1.430 % |
1800.05/1800.40	|   1496156 |   66943   134896   395034 |   366030   206421    269 |  1.432 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4111842-1466602971/watcher-4111842-1466602971 -o /tmp/evaluation-result-4111842-1466602971/solver-4111842-1466602971 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466586458-1411 --watchdog 1960 minisatp HOME/instance-4111842-1466602971.opb 

pid=3897
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.18 2.20 2.18 3/176 3900
/proc/meminfo: memFree=28803172/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=6600 CPUtime=0 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 62342871 6758400 230 33554432000 4194304 5646918 140733533428384 140735402509304 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 1650 230 94 355 0 1291 0

[startup+0.100158 s]
/proc/loadavg: 2.18 2.20 2.18 3/176 3900
/proc/meminfo: memFree=28803172/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=13612 CPUtime=0.09 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 1999 0 0 0 9 0 0 0 20 0 1 0 62342871 13938688 1834 33554432000 4194304 5646918 140733533428384 140735402509304 4817515 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 3403 1834 94 355 0 3044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13612

[startup+0.200316 s]
/proc/loadavg: 2.18 2.20 2.18 3/176 3900
/proc/meminfo: memFree=28803172/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=19044 CPUtime=0.19 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 3511 0 0 0 19 0 0 0 20 0 1 0 62342871 19501056 3263 33554432000 4194304 5646918 140733533428384 140735402509304 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 4761 3264 94 355 0 4402 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19044

[startup+0.300305 s]
/proc/loadavg: 2.18 2.20 2.18 3/176 3900
/proc/meminfo: memFree=28803172/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=24536 CPUtime=0.29 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 4914 0 0 0 29 0 0 0 20 0 1 0 62342871 25124864 4666 33554432000 4194304 5646918 140733533428384 140735402509304 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 6134 4667 94 355 0 5775 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24536

[startup+0.700241 s]
/proc/loadavg: 2.18 2.20 2.18 3/176 3900
/proc/meminfo: memFree=28803172/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=43364 CPUtime=0.68 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 9614 0 0 0 67 1 0 0 20 0 1 0 62342871 44404736 9366 33554432000 4194304 5646918 140733533428384 140735402509304 4826286 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 10841 9373 105 355 0 10482 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 43364

[startup+1.50029 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 3901
/proc/meminfo: memFree=28758172/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=57276 CPUtime=1.49 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 13167 0 0 0 145 4 0 0 20 0 1 0 62342871 58650624 13211 33554432000 4194304 5646918 140733533428384 140733533427048 4442094 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 14319 13211 124 355 0 13960 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57276

[startup+3.10029 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 3901
/proc/meminfo: memFree=28742116/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=59996 CPUtime=3.09 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 13696 0 0 0 305 4 0 0 20 0 1 0 62342871 61435904 13737 33554432000 4194304 5646918 140733533428384 140733533427080 4635805 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 14999 13737 144 355 0 14640 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59996

[startup+6.30029 s]
/proc/loadavg: 2.24 2.22 2.18 4/177 3901
/proc/meminfo: memFree=28725840/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=64416 CPUtime=6.29 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 14221 0 0 0 625 4 0 0 20 0 1 0 62342871 65961984 15280 33554432000 4194304 5646918 140733533428384 140733533427080 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 16104 15280 144 355 0 15745 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64416

[startup+12.7003 s]
/proc/loadavg: 2.28 2.22 2.19 3/177 3901
/proc/meminfo: memFree=28680496/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=83272 CPUtime=12.68 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 15254 0 0 0 1264 4 0 0 20 0 1 0 62342871 85270528 18864 33554432000 4194304 5646918 140733533428384 140733533427080 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 20818 18864 144 355 0 20459 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83272

[startup+25.5004 s]
/proc/loadavg: 2.32 2.23 2.19 3/177 3901
/proc/meminfo: memFree=28594244/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=133060 CPUtime=25.49 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 16308 0 0 0 2543 6 0 0 20 0 1 0 62342871 136253440 26044 33554432000 4194304 5646918 140733533428384 140733533427080 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 33265 26044 144 355 0 32906 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 133060

[startup+51.1004 s]
/proc/loadavg: 2.27 2.23 2.19 4/175 3915
/proc/meminfo: memFree=29932780/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=186488 CPUtime=51.08 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 17659 0 0 0 5101 7 0 0 20 0 1 0 62342871 190963712 38124 33554432000 4194304 5646918 140733533428384 140733533426520 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 46622 38124 144 355 0 46263 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 186488

[startup+102.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/177 3957
/proc/meminfo: memFree=29724980/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=281448 CPUtime=102.28 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 21591 0 0 0 10218 10 0 0 20 0 1 0 62342871 288202752 63006 33554432000 4194304 5646918 140733533428384 140733533426520 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 70362 63006 144 355 0 70003 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 281448

[startup+162.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 3958
/proc/meminfo: memFree=29738492/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=131404 CPUtime=162.26 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 25487 0 0 0 16213 13 0 0 20 0 1 0 62342871 134557696 30233 33554432000 4194304 5646918 140733533428384 140733533427080 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 32851 30233 146 355 0 32492 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 131404

[startup+222.307 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 3959
/proc/meminfo: memFree=29676724/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=295600 CPUtime=222.27 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 27853 0 0 0 22210 17 0 0 20 0 1 0 62342871 302694400 60180 33554432000 4194304 5646918 140733533428384 140733533426520 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 73900 60180 146 355 0 73541 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 295600

[startup+282.3 s]
/proc/loadavg: 2.27 2.24 2.19 4/177 3960
/proc/meminfo: memFree=29462036/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=433832 CPUtime=282.25 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 29818 0 0 0 28206 19 0 0 20 0 1 0 62342871 444243968 85140 33554432000 4194304 5646918 140733533428384 140733533426520 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 108458 85140 146 355 0 108099 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 433832

[startup+342.3 s]
/proc/loadavg: 2.25 2.24 2.18 3/177 3962
/proc/meminfo: memFree=29673448/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=305584 CPUtime=342.23 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 32613 0 0 0 34200 23 0 0 20 0 1 0 62342871 312918016 57997 33554432000 4194304 5646918 140733533428384 140733533427080 4397497 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 76396 57997 146 355 0 76037 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 305584

[startup+402.3 s]
/proc/loadavg: 2.25 2.24 2.18 3/177 3963
/proc/meminfo: memFree=29376032/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=440328 CPUtime=402.23 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 33815 0 0 0 40197 26 0 0 20 0 1 0 62342871 450895872 95988 33554432000 4194304 5646918 140733533428384 140733533426520 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 110082 95988 146 355 0 109723 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 440328

[startup+462.3 s]
/proc/loadavg: 2.22 2.24 2.18 4/178 3967
/proc/meminfo: memFree=29453964/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=659732 CPUtime=462.22 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 35368 0 0 0 46192 30 0 0 20 0 1 0 62342871 675565568 123602 33554432000 4194304 5646918 140733533428384 140733533426520 4399784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 164933 123602 146 355 0 164574 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 659732

[startup+522.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 3968
/proc/meminfo: memFree=29616984/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=234908 CPUtime=522.2 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 37696 0 0 0 52185 35 0 0 20 0 1 0 62342871 240545792 50987 33554432000 4194304 5646918 140733533428384 140733533427080 4403176 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 58727 50987 146 355 0 58368 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 234908

[startup+582.3 s]
/proc/loadavg: 2.26 2.24 2.18 3/177 3969
/proc/meminfo: memFree=29353804/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=449512 CPUtime=582.16 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 39320 0 0 0 58178 38 0 0 20 0 1 0 62342871 460300288 84674 33554432000 4194304 5646918 140733533428384 140733533426520 4403164 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 112378 84674 146 355 0 112019 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 449512


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


[startup+882.307 s]
/proc/loadavg: 2.36 2.29 2.21 3/176 3975
/proc/meminfo: memFree=29570612/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=199536 CPUtime=882.1 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 46639 0 0 0 88149 61 0 0 20 0 1 0 62342871 204324864 44851 33554432000 4194304 5646918 140733533428384 140733533427080 4402966 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 49884 44851 146 355 0 49525 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 199536

[startup+942.3 s]
/proc/loadavg: 2.22 2.26 2.20 4/177 3978
/proc/meminfo: memFree=29316388/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=331388 CPUtime=942.09 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 48131 0 0 0 94145 64 0 0 20 0 1 0 62342871 339341312 79042 33554432000 4194304 5646918 140733533428384 140733533427080 4399392 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 82847 79042 146 355 0 82488 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 331388

[startup+1002.3 s]
/proc/loadavg: 2.27 2.27 2.20 3/177 3979
/proc/meminfo: memFree=29498072/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=465096 CPUtime=1002.08 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 48987 0 0 0 100140 68 0 0 20 0 1 0 62342871 476258304 107491 33554432000 4194304 5646918 140733533428384 140733533426520 4403173 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 116274 107491 146 355 0 115915 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 465096

[startup+1062.3 s]
/proc/loadavg: 2.39 2.30 2.21 4/178 3983
/proc/meminfo: memFree=29232404/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=683092 CPUtime=1062.07 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 50257 0 0 0 106137 70 0 0 20 0 1 0 62342871 699486208 136355 33554432000 4194304 5646918 140733533428384 140733533426520 4396915 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 170773 136355 146 355 0 170414 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 683092

[startup+1122.3 s]
/proc/loadavg: 2.30 2.29 2.21 3/178 4007
/proc/meminfo: memFree=29415744/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=337684 CPUtime=1122.05 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 52623 0 0 0 112131 74 0 0 20 0 1 0 62342871 345788416 65101 33554432000 4194304 5646918 140733533428384 140733533426488 4402751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 84421 65101 146 355 0 84062 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 337684

[startup+1182.3 s]
/proc/loadavg: 2.30 2.29 2.21 4/177 4008
/proc/meminfo: memFree=29552364/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=470752 CPUtime=1182.04 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 53400 0 0 0 118128 76 0 0 20 0 1 0 62342871 482050048 99091 33554432000 4194304 5646918 140733533428384 140733533426488 4397505 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 117688 99091 146 355 0 117329 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 470752

[startup+1242.3 s]
/proc/loadavg: 2.38 2.31 2.22 4/177 4010
/proc/meminfo: memFree=29248488/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=687096 CPUtime=1242.04 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 54326 0 0 0 124125 79 0 0 20 0 1 0 62342871 703586304 133743 33554432000 4194304 5646918 140733533428384 140733533426520 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 171774 133743 146 355 0 171415 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 687096

[startup+1302.3 s]
/proc/loadavg: 2.40 2.33 2.23 3/177 4011
/proc/meminfo: memFree=28991288/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=690648 CPUtime=1302.03 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 55218 0 0 0 130122 81 0 0 20 0 1 0 62342871 707223552 165295 33554432000 4194304 5646918 140733533428384 140733533426520 4403495 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 172662 165295 146 355 0 172303 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 690648

[startup+1362.3 s]
/proc/loadavg: 2.19 2.28 2.22 3/177 4012
/proc/meminfo: memFree=29262768/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=344620 CPUtime=1362.01 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 56978 0 0 0 136116 85 0 0 20 0 1 0 62342871 352890880 69838 33554432000 4194304 5646918 140733533428384 140733533427080 4403043 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 86155 69838 146 355 0 85796 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 344620

[startup+1422.3 s]
/proc/loadavg: 2.23 2.27 2.22 4/177 4013
/proc/meminfo: memFree=29489916/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=477920 CPUtime=1422.02 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 57671 0 0 0 142114 88 0 0 20 0 1 0 62342871 489390080 98635 33554432000 4194304 5646918 140733533428384 140733533426488 4399699 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 119480 98635 146 355 0 119121 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 477920

[startup+1482.3 s]
/proc/loadavg: 2.23 2.26 2.22 3/177 4014
/proc/meminfo: memFree=29238468/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=693580 CPUtime=1482 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 58466 0 0 0 148110 90 0 0 20 0 1 0 62342871 710225920 127535 33554432000 4194304 5646918 140733533428384 140733533426520 4403136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 173395 127535 146 355 0 173036 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 693580

[startup+1542.31 s]
/proc/loadavg: 2.17 2.24 2.21 3/177 4016
/proc/meminfo: memFree=29015392/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=696264 CPUtime=1542 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 59153 0 0 0 154108 92 0 0 20 0 1 0 62342871 712974336 155816 33554432000 4194304 5646918 140733533428384 140733533426520 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 174066 155816 146 355 0 173707 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 696264

[startup+1602.3 s]
/proc/loadavg: 2.18 2.23 2.20 4/177 4017
/proc/meminfo: memFree=29223992/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=350324 CPUtime=1601.98 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 61460 0 0 0 160101 97 0 0 20 0 1 0 62342871 358731776 72205 33554432000 4194304 5646918 140733533428384 140733533427080 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 87581 72205 146 355 0 87222 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 350324

[startup+1662.3 s]
/proc/loadavg: 2.25 2.23 2.20 3/178 4021
/proc/meminfo: memFree=29454712/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=483140 CPUtime=1661.97 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 62150 0 0 0 166099 98 0 0 20 0 1 0 62342871 494735360 105088 33554432000 4194304 5646918 140733533428384 140733533426520 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 120785 105088 146 355 0 120426 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 483140

[startup+1722.3 s]
/proc/loadavg: 2.30 2.25 2.21 3/177 4022
/proc/meminfo: memFree=29126188/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=699060 CPUtime=1721.96 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 62971 0 0 0 172096 100 0 0 20 0 1 0 62342871 715837440 139634 33554432000 4194304 5646918 140733533428384 140733533426520 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 174765 139634 146 355 0 174406 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 699060

[startup+1782.3 s]
/proc/loadavg: 2.23 2.23 2.20 4/177 4023
/proc/meminfo: memFree=28827128/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=701576 CPUtime=1781.95 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 63607 0 0 0 178093 102 0 0 20 0 1 0 62342871 718413824 172463 33554432000 4194304 5646918 140733533428384 140733533426520 4402774 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 175394 172463 146 355 0 175035 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 701576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.25 2.24 2.20 3/177 4024
/proc/meminfo: memFree=29289428/32872528 swapFree=1499884/1696108
[pid=3900] ppid=3897 vsize=223692 CPUtime=1800.05 cores=0,2,4,6
/proc/3900/stat : 3900 (minisatp) R 3897 3900 1394 0 -1 4202496 64070 0 0 0 179895 110 0 0 20 0 1 0 62342871 229060608 48936 33554432000 4194304 5646918 140733533428384 140733533427080 4398002 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/3900/statm: 55923 48936 146 355 0 55564 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 223692

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1798.95
CPU system time (s): 1.11483
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 1100920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.11483
maximum resident set size= 748632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64070
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= 96
involuntary context switches= 1977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49732 second user time and 7.00293 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-22 15:42:51
IDJOB=4111842
IDBENCH=90143
IDSOLVER=2555
FILE ID=node137/4111842-1466602971
RUNJOBID= node137-1466586458-1411
PBS_JOBID= 19953365
Free space on /tmp= 71608 MiB

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

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

MD5SUM BENCH= 4ffc81aa318dee614e51a62344fd339d
RANDOM SEED=1012204335

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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		: 2666.486
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:        28803700 kB
Buffers:          108412 kB
Cached:           227756 kB
SwapCached:         1556 kB
Active:          1385572 kB
Inactive:         216772 kB
Active(anon):    1266760 kB
Inactive(anon):     2108 kB
Active(file):     118812 kB
Inactive(file):   214664 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100540 kB
Dirty:              5640 kB
Writeback:             0 kB
AnonPages:       2980356 kB
Mapped:             9660 kB
Shmem:                 0 kB
Slab:             613220 kB
SReclaimable:      57320 kB
SUnreclaim:       555900 kB
KernelStack:        1464 kB
PageTables:         9680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3113752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1236992 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-4111842-1466602971.opb

Free space on /tmp at the end= 71648 MiB
End job on node137 at 2016-06-22 16:12:52