Trace number 4111822

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K140.opb
MD5SUM59945e7fb6f70b0a7aeb9a0267c89f72
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 variables16660
Total number of constraints16942
Number of constraints which are clauses16802
Number of constraints which are cardinality constraints (but not clauses)140
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint140
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 141
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.39/0.48	c Converting 16940 PB-constraints to clauses...
0.39/0.49	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.39/0.49	c   -- Detecting intervals from adjacent constraints: ##########################################################################################################################################
0.48/0.50	c   -- Clauses(.)/Splits(s): ...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.48/0.52	c ---[ 276]---> BDD-cost:  235
0.48/0.52	c ---[ 274]---> BDD-cost:  235
0.48/0.53	c ---[ 272]---> BDD-cost:  235
0.48/0.53	c ---[ 270]---> BDD-cost:  235
0.48/0.53	c ---[ 268]---> BDD-cost:  235
0.48/0.53	c ---[ 266]---> BDD-cost:  235
0.48/0.54	c ---[ 264]---> BDD-cost:  235
0.48/0.54	c ---[ 262]---> BDD-cost:  235
0.48/0.54	c ---[ 260]---> BDD-cost:  235
0.48/0.55	c ---[ 258]---> BDD-cost:  235
0.48/0.55	c ---[ 256]---> BDD-cost:  235
0.48/0.55	c ---[ 254]---> BDD-cost:  235
0.48/0.56	c ---[ 252]---> BDD-cost:  235
0.48/0.56	c ---[ 250]---> BDD-cost:  235
0.48/0.56	c ---[ 248]---> BDD-cost:  235
0.48/0.57	c ---[ 246]---> BDD-cost:  235
0.48/0.57	c ---[ 244]---> BDD-cost:  235
0.48/0.57	c ---[ 242]---> BDD-cost:  235
0.48/0.58	c ---[ 240]---> BDD-cost:  235
0.48/0.58	c ---[ 238]---> BDD-cost:  235
0.48/0.58	c ---[ 236]---> BDD-cost:  235
0.48/0.59	c ---[ 234]---> BDD-cost:  235
0.48/0.59	c ---[ 232]---> BDD-cost:  235
0.48/0.59	c ---[ 230]---> BDD-cost:  235
0.58/0.60	c ---[ 228]---> BDD-cost:  235
0.58/0.60	c ---[ 226]---> BDD-cost:  235
0.58/0.60	c ---[ 224]---> BDD-cost:  235
0.58/0.61	c ---[ 222]---> BDD-cost:  235
0.58/0.61	c ---[ 220]---> BDD-cost:  235
0.58/0.61	c ---[ 218]---> BDD-cost:  235
0.58/0.62	c ---[ 216]---> BDD-cost:  235
0.58/0.62	c ---[ 214]---> BDD-cost:  235
0.58/0.62	c ---[ 212]---> BDD-cost:  235
0.58/0.63	c ---[ 210]---> BDD-cost:  235
0.58/0.63	c ---[ 208]---> BDD-cost:  235
0.58/0.63	c ---[ 206]---> BDD-cost:  235
0.58/0.64	c ---[ 204]---> BDD-cost:  235
0.58/0.64	c ---[ 202]---> BDD-cost:  235
0.58/0.64	c ---[ 200]---> BDD-cost:  235
0.58/0.65	c ---[ 198]---> BDD-cost:  235
0.58/0.65	c ---[ 196]---> BDD-cost:  235
0.58/0.65	c ---[ 194]---> BDD-cost:  235
0.58/0.66	c ---[ 192]---> BDD-cost:  235
0.58/0.66	c ---[ 190]---> BDD-cost:  235
0.58/0.66	c ---[ 188]---> BDD-cost:  235
0.58/0.67	c ---[ 186]---> BDD-cost:  235
0.58/0.67	c ---[ 184]---> BDD-cost:  235
0.58/0.67	c ---[ 182]---> BDD-cost:  235
0.58/0.68	c ---[ 180]---> BDD-cost:  235
0.58/0.68	c ---[ 178]---> BDD-cost:  235
0.58/0.68	c ---[ 176]---> BDD-cost:  235
0.58/0.69	c ---[ 174]---> BDD-cost:  235
0.58/0.69	c ---[ 172]---> BDD-cost:  235
0.58/0.69	c ---[ 170]---> BDD-cost:  235
0.69/0.70	c ---[ 168]---> BDD-cost:  235
0.69/0.70	c ---[ 166]---> BDD-cost:  235
0.69/0.70	c ---[ 164]---> BDD-cost:  235
0.69/0.71	c ---[ 162]---> BDD-cost:  235
0.69/0.71	c ---[ 160]---> BDD-cost:  235
0.69/0.71	c ---[ 158]---> BDD-cost:  235
0.69/0.72	c ---[ 156]---> BDD-cost:  235
0.69/0.72	c ---[ 154]---> BDD-cost:  235
0.69/0.72	c ---[ 152]---> BDD-cost:  235
0.69/0.73	c ---[ 150]---> BDD-cost:  235
0.69/0.73	c ---[ 148]---> BDD-cost:  235
0.69/0.73	c ---[ 146]---> BDD-cost:  235
0.69/0.74	c ---[ 144]---> BDD-cost:  235
0.69/0.74	c ---[ 142]---> BDD-cost:  235
0.69/0.74	c ---[ 140]---> BDD-cost:  235
0.69/0.75	c ---[ 138]---> BDD-cost:  235
0.69/0.75	c ---[ 136]---> BDD-cost:  235
0.69/0.75	c ---[ 134]---> BDD-cost:  235
0.69/0.76	c ---[ 132]---> BDD-cost:  235
0.69/0.76	c ---[ 130]---> BDD-cost:  235
0.69/0.76	c ---[ 128]---> BDD-cost:  235
0.69/0.77	c ---[ 126]---> BDD-cost:  235
0.69/0.77	c ---[ 124]---> BDD-cost:  235
0.69/0.77	c ---[ 122]---> BDD-cost:  235
0.69/0.78	c ---[ 120]---> BDD-cost:  235
0.69/0.78	c ---[ 118]---> BDD-cost:  235
0.69/0.78	c ---[ 116]---> BDD-cost:  235
0.69/0.78	c ---[ 114]---> BDD-cost:  235
0.69/0.79	c ---[ 112]---> BDD-cost:  235
0.69/0.79	c ---[ 110]---> BDD-cost:  235
0.69/0.79	c ---[ 108]---> BDD-cost:  235
0.79/0.80	c ---[ 106]---> BDD-cost:  235
0.79/0.80	c ---[ 104]---> BDD-cost:  235
0.79/0.80	c ---[ 102]---> BDD-cost:  235
0.79/0.81	c ---[ 100]---> BDD-cost:  235
0.79/0.81	c ---[  98]---> BDD-cost:  235
0.79/0.82	c ---[  96]---> BDD-cost:  235
0.79/0.82	c ---[  94]---> BDD-cost:  235
0.79/0.82	c ---[  92]---> BDD-cost:  235
0.79/0.83	c ---[  90]---> BDD-cost:  235
0.79/0.83	c ---[  88]---> BDD-cost:  235
0.79/0.83	c ---[  86]---> BDD-cost:  235
0.79/0.83	c ---[  84]---> BDD-cost:  235
0.79/0.84	c ---[  82]---> BDD-cost:  235
0.79/0.84	c ---[  80]---> BDD-cost:  235
0.79/0.84	c ---[  78]---> BDD-cost:  235
0.79/0.85	c ---[  76]---> BDD-cost:  235
0.79/0.85	c ---[  74]---> BDD-cost:  235
0.79/0.85	c ---[  72]---> BDD-cost:  235
0.79/0.86	c ---[  70]---> BDD-cost:  235
0.79/0.86	c ---[  68]---> BDD-cost:  235
0.79/0.86	c ---[  66]---> BDD-cost:  235
0.79/0.87	c ---[  64]---> BDD-cost:  235
0.79/0.87	c ---[  62]---> BDD-cost:  235
0.79/0.87	c ---[  60]---> BDD-cost:  235
0.79/0.88	c ---[  58]---> BDD-cost:  235
0.79/0.88	c ---[  56]---> BDD-cost:  235
0.79/0.88	c ---[  54]---> BDD-cost:  235
0.79/0.89	c ---[  52]---> BDD-cost:  235
0.79/0.89	c ---[  50]---> BDD-cost:  235
0.79/0.89	c ---[  48]---> BDD-cost:  235
0.89/0.90	c ---[  46]---> BDD-cost:  235
0.89/0.90	c ---[  44]---> BDD-cost:  235
0.89/0.90	c ---[  42]---> BDD-cost:  235
0.89/0.91	c ---[  40]---> BDD-cost:  235
0.89/0.91	c ---[  38]---> BDD-cost:  235
0.89/0.91	c ---[  36]---> BDD-cost:  235
0.89/0.92	c ---[  34]---> BDD-cost:  235
0.89/0.92	c ---[  32]---> BDD-cost:  235
0.89/0.92	c ---[  30]---> BDD-cost:  235
0.89/0.93	c ---[  28]---> BDD-cost:  235
0.89/0.93	c ---[  26]---> BDD-cost:  235
0.89/0.93	c ---[  24]---> BDD-cost:  233
0.89/0.94	c ---[  22]---> BDD-cost:  229
0.89/0.94	c ---[  20]---> BDD-cost:  223
0.89/0.94	c ---[  18]---> BDD-cost:  213
0.89/0.95	c ---[  16]---> BDD-cost:  205
0.89/0.95	c ---[  14]---> BDD-cost:  199
0.89/0.95	c ---[  12]---> BDD-cost:  177
0.89/0.95	c ---[  10]---> BDD-cost:  131
0.89/0.95	c ---[   8]---> BDD-cost:   97
0.89/0.95	c ---[   6]---> BDD-cost:   63
0.89/0.95	c ---[   4]---> BDD-cost:   35
0.89/0.95	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 |   46210    93136   272574 |    34149       98    195 |  1.884 % |
1800.03/1800.40	|       250 |   46210    93136   272574 |    37564      248    216 |  1.884 % |
1800.03/1800.40	|       475 |   46210    93136   272574 |    41321      473    160 |  1.884 % |
1800.03/1800.40	|       812 |   46209    93136   272574 |    45453      809    164 |  1.886 % |
1800.03/1800.40	|      1318 |   46209    93136   272574 |    49998     1315    161 |  1.886 % |
1800.03/1800.40	|      2077 |   46209    93136   272574 |    54998     2074    172 |  1.886 % |
1800.03/1800.40	|      3216 |   46209    93136   272574 |    60498     3213    197 |  1.886 % |
1800.03/1800.40	|      4924 |   46207    93136   272574 |    66548     4918    190 |  1.891 % |
1800.03/1800.40	|      7486 |   46206    93136   272574 |    73203     7479    200 |  1.893 % |
1800.03/1800.40	|     11330 |   46204    93136   272574 |    80523    11320    213 |  1.897 % |
1800.03/1800.40	|     17096 |   46202    93136   272574 |    88575    17084    228 |  1.901 % |
1800.03/1800.40	|     25745 |   46198    93136   272574 |    97433    25726    221 |  1.909 % |
1800.03/1800.40	|     38719 |   46196    93136   272574 |   107176    38694    218 |  1.913 % |
1800.03/1800.40	|     58180 |   46195    93136   272574 |   117894    58154    252 |  1.915 % |
1800.03/1800.40	|     87372 |   46192    93136   272574 |   129684    87342    266 |  1.922 % |
1800.03/1800.40	|    131161 |   46192    93136   272574 |   142652    33051    125 |  1.922 % |
1800.03/1800.40	|    196845 |   46192    93136   272574 |   156917    98735    265 |  1.922 % |
1800.03/1800.40	|    295371 |   46188    93136   272574 |   172609    81409    262 |  1.930 % |
1800.03/1800.40	|    443160 |   46184    93136   272574 |   189870   105444    232 |  1.938 % |
1800.03/1800.40	|    664843 |   46182    93136   272574 |   208857    58302    119 |  1.943 % |
1800.03/1800.40	|    997368 |   46181    93136   272574 |   229743    73291    313 |  1.945 % |
1800.03/1800.40	|   1496156 |   46178    93136   272574 |   252717   223980    365 |  1.951 % |
1800.03/1800.40	|   2244338 |   46176    93136   272574 |   277989   234285    489 |  1.955 % |
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-4111822-1466604144/watcher-4111822-1466604144 -o /tmp/evaluation-result-4111822-1466604144/solver-4111822-1466604144 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466586524-6145 --watchdog 1960 minisatp HOME/instance-4111822-1466604144.opb 

pid=9698
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.14 2.20 2.18 3/176 9701
/proc/meminfo: memFree=29768296/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=6456 CPUtime=0 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 62463002 6610944 194 33554432000 4194304 5646918 140735013071984 140736710293064 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 1614 196 94 355 0 1255 0

[startup+0.100163 s]
/proc/loadavg: 2.14 2.20 2.18 3/176 9701
/proc/meminfo: memFree=29768296/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=13268 CPUtime=0.09 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 1954 0 0 0 9 0 0 0 20 0 1 0 62463002 13586432 1789 33554432000 4194304 5646918 140735013071984 140736710293064 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 3317 1789 94 355 0 2958 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13268

[startup+0.20033 s]
/proc/loadavg: 2.14 2.20 2.18 3/176 9701
/proc/meminfo: memFree=29768296/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=18868 CPUtime=0.19 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 3353 0 0 0 19 0 0 0 20 0 1 0 62463002 19320832 3188 33554432000 4194304 5646918 140735013071984 140736710293064 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 4717 3189 94 355 0 4358 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18868

[startup+0.300302 s]
/proc/loadavg: 2.14 2.20 2.18 3/176 9701
/proc/meminfo: memFree=29768296/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=24476 CPUtime=0.29 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 4738 0 0 0 29 0 0 0 20 0 1 0 62463002 25063424 4573 33554432000 4194304 5646918 140735013071984 140736710293064 4251061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 6119 4573 94 355 0 5760 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24476

[startup+0.700277 s]
/proc/loadavg: 2.14 2.20 2.18 3/176 9701
/proc/meminfo: memFree=29768296/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=34580 CPUtime=0.69 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 7547 0 0 0 67 2 0 0 20 0 1 0 62463002 35409920 7235 33554432000 4194304 5646918 140735013071984 140735013043096 4817591 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 8645 7235 117 355 0 8286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34580

[startup+1.50029 s]
/proc/loadavg: 2.14 2.20 2.18 3/177 9702
/proc/meminfo: memFree=29729308/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=41960 CPUtime=1.48 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 9400 0 0 0 146 2 0 0 20 0 1 0 62463002 42967040 9587 33554432000 4194304 5646918 140735013071984 140735013043096 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 10490 9587 144 355 0 10131 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41960

[startup+3.10025 s]
/proc/loadavg: 2.14 2.20 2.18 3/177 9702
/proc/meminfo: memFree=29720500/32872528 swapFree=1556508/1720028
[pid=9701] ppid=9698 vsize=49100 CPUtime=3.09 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 10339 0 0 0 306 3 0 0 20 0 1 0 62463002 50278400 11547 33554432000 4194304 5646918 140735013071984 140735013070680 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 12275 11547 145 355 0 11916 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49100

[startup+6.30028 s]
/proc/loadavg: 2.28 2.23 2.19 4/177 9702
/proc/meminfo: memFree=29698224/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=56280 CPUtime=6.29 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 11284 0 0 0 626 3 0 0 20 0 1 0 62463002 57630720 13513 33554432000 4194304 5646918 140735013071984 140735013070680 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 14070 13513 145 355 0 13711 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56280

[startup+12.7003 s]
/proc/loadavg: 2.26 2.23 2.18 3/177 9702
/proc/meminfo: memFree=29661344/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=86924 CPUtime=12.68 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 11897 0 0 0 1265 3 0 0 20 0 1 0 62463002 89010176 17701 33554432000 4194304 5646918 140735013071984 140735013070680 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 21731 17701 145 355 0 21372 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86924

[startup+25.5004 s]
/proc/loadavg: 2.20 2.22 2.18 4/177 9702
/proc/meminfo: memFree=29688780/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=117744 CPUtime=25.49 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 12453 0 0 0 2545 4 0 0 20 0 1 0 62463002 120569856 26942 33554432000 4194304 5646918 140735013071984 140735013070680 4403170 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 29436 26942 145 355 0 29077 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 117744

[startup+51.1004 s]
/proc/loadavg: 2.27 2.23 2.18 4/177 9702
/proc/meminfo: memFree=29526572/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=257432 CPUtime=51.08 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 15501 0 0 0 5103 5 0 0 20 0 1 0 62463002 263610368 44804 33554432000 4194304 5646918 140735013071984 140735013070120 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 64358 44804 145 355 0 63999 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 257432

[startup+102.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 9703
/proc/meminfo: memFree=29598156/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=263304 CPUtime=102.28 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 19714 0 0 0 10219 9 0 0 20 0 1 0 62463002 269623296 45221 33554432000 4194304 5646918 140735013071984 140735013070120 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 65826 45221 147 355 0 65467 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 263304

[startup+162.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/177 9704
/proc/meminfo: memFree=29514340/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=269072 CPUtime=162.27 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 23174 0 0 0 16214 13 0 0 20 0 1 0 62463002 275529728 46338 33554432000 4194304 5646918 140735013071984 140735013070088 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 67268 46338 147 355 0 66909 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 269072

[startup+222.307 s]
/proc/loadavg: 2.16 2.20 2.18 3/177 9705
/proc/meminfo: memFree=29584916/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=142724 CPUtime=222.26 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 26600 0 0 0 22207 19 0 0 20 0 1 0 62463002 146149376 30679 33554432000 4194304 5646918 140735013071984 140735013070088 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 35681 30679 147 355 0 35322 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 142724

[startup+282.3 s]
/proc/loadavg: 2.28 2.22 2.19 4/177 9763
/proc/meminfo: memFree=29491500/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=276340 CPUtime=282.25 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 28428 0 0 0 28203 22 0 0 20 0 1 0 62463002 282972160 68274 33554432000 4194304 5646918 140735013071984 140735013070120 4403544 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 69085 68274 147 355 0 68726 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 276340

[startup+342.3 s]
/proc/loadavg: 2.28 2.22 2.19 4/177 9764
/proc/meminfo: memFree=29412632/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=279236 CPUtime=342.24 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 32197 0 0 0 34197 27 0 0 20 0 1 0 62463002 285937664 51914 33554432000 4194304 5646918 140735013071984 140735013070680 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 69809 51914 147 355 0 69450 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 279236

[startup+402.3 s]
/proc/loadavg: 2.18 2.21 2.18 4/177 9765
/proc/meminfo: memFree=29518140/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=150800 CPUtime=402.23 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 34969 0 0 0 40193 30 0 0 20 0 1 0 62463002 154419200 33628 33554432000 4194304 5646918 140735013071984 140735013070680 4396854 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 37700 33628 147 355 0 37341 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 150800

[startup+462.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/178 9769
/proc/meminfo: memFree=29469952/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=416276 CPUtime=462.19 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 37178 0 0 0 46186 33 0 0 20 0 1 0 62463002 426266624 72371 33554432000 4194304 5646918 140735013071984 140735013070120 4402661 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 104069 72371 147 355 0 103710 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 416276

[startup+522.3 s]
/proc/loadavg: 2.14 2.19 2.17 3/177 9770
/proc/meminfo: memFree=29428360/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=204920 CPUtime=522.17 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 39881 0 0 0 52180 37 0 0 20 0 1 0 62463002 209838080 45772 33554432000 4194304 5646918 140735013071984 140735013070120 4403170 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 51230 45772 147 355 0 50871 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 204920

[startup+582.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 9772
/proc/meminfo: memFree=29408584/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=420052 CPUtime=582.15 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 41339 0 0 0 58176 39 0 0 20 0 1 0 62463002 430133248 81976 33554432000 4194304 5646918 140735013071984 140735013070120 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 105013 81976 147 355 0 104654 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 420052


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


[startup+882.307 s]
/proc/loadavg: 2.21 2.20 2.18 4/177 9778
/proc/meminfo: memFree=29493552/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=165824 CPUtime=882.11 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 50106 0 0 0 88154 57 0 0 20 0 1 0 62463002 169803776 40638 33554432000 4194304 5646918 140735013071984 140735013070680 4396909 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 41456 40638 147 355 0 41097 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 165824

[startup+942.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 9779
/proc/meminfo: memFree=29178676/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=429696 CPUtime=942.1 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 51531 0 0 0 94149 61 0 0 20 0 1 0 62463002 440008704 75787 33554432000 4194304 5646918 140735013071984 140735013070088 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 107424 75787 147 355 0 107065 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 429696

[startup+1002.3 s]
/proc/loadavg: 2.16 2.19 2.18 4/177 9780
/proc/meminfo: memFree=29319508/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=431692 CPUtime=1002.09 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 52079 0 0 0 100146 63 0 0 20 0 1 0 62463002 442052608 105973 33554432000 4194304 5646918 140735013071984 140735013070120 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 107923 105973 147 355 0 107564 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 431692

[startup+1062.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/178 9784
/proc/meminfo: memFree=29364728/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=300984 CPUtime=1062.09 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 54872 0 0 0 106142 67 0 0 20 0 1 0 62463002 308207616 56199 33554432000 4194304 5646918 140735013071984 140735013070680 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 75246 56199 147 355 0 74887 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 300984

[startup+1122.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 9785
/proc/meminfo: memFree=29068956/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=434436 CPUtime=1122.08 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 55726 0 0 0 112138 70 0 0 20 0 1 0 62463002 444862464 96400 33554432000 4194304 5646918 140735013071984 140735013070120 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 108609 96400 147 355 0 108250 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 434436

[startup+1182.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/176 9787
/proc/meminfo: memFree=29520128/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=172952 CPUtime=1182.07 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 57648 0 0 0 118134 73 0 0 20 0 1 0 62463002 177102848 34983 33554432000 4194304 5646918 140735013071984 140735013070696 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 43238 34983 147 355 0 42879 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 172952

[startup+1242.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 9789
/proc/meminfo: memFree=29236544/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=304564 CPUtime=1242.05 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 58752 0 0 0 124130 75 0 0 20 0 1 0 62463002 311873536 72368 33554432000 4194304 5646918 140735013071984 140735013070088 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 76141 72368 147 355 0 75782 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 304564

[startup+1302.3 s]
/proc/loadavg: 2.11 2.16 2.17 3/177 9790
/proc/meminfo: memFree=28966900/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=652916 CPUtime=1302.05 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 60082 0 0 0 130126 79 0 0 20 0 1 0 62463002 668585984 110488 33554432000 4194304 5646918 140735013071984 140735013070120 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 163229 110488 147 355 0 162870 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 652916

[startup+1362.3 s]
/proc/loadavg: 2.08 2.14 2.16 4/177 9791
/proc/meminfo: memFree=29481636/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=225920 CPUtime=1362.04 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 61789 0 0 0 136121 83 0 0 20 0 1 0 62463002 231342080 54009 33554432000 4194304 5646918 140735013071984 140735013070088 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 56480 54009 147 355 0 56121 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 225920

[startup+1422.3 s]
/proc/loadavg: 2.23 2.18 2.17 4/177 9792
/proc/meminfo: memFree=29158912/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=439728 CPUtime=1422.04 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 62980 0 0 0 142119 85 0 0 20 0 1 0 62463002 450281472 90970 33554432000 4194304 5646918 140735013071984 140735013070120 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 109932 90970 147 355 0 109573 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 439728

[startup+1482.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/177 9794
/proc/meminfo: memFree=29236992/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=177532 CPUtime=1482.02 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 64953 0 0 0 148113 89 0 0 20 0 1 0 62463002 181792768 40338 33554432000 4194304 5646918 140735013071984 140735013070680 4403760 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 44383 40338 147 355 0 44024 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 177532

[startup+1542.31 s]
/proc/loadavg: 2.27 2.21 2.18 4/177 9795
/proc/meminfo: memFree=29351196/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=441664 CPUtime=1542.01 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 66414 0 0 0 154108 93 0 0 20 0 1 0 62463002 452263936 86251 33554432000 4194304 5646918 140735013071984 140735013070120 4388947 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 110416 86251 147 355 0 110057 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 441664

[startup+1602.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 9796
/proc/meminfo: memFree=29010404/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=657928 CPUtime=1602 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 67317 0 0 0 160104 96 0 0 20 0 1 0 62463002 673718272 123946 33554432000 4194304 5646918 140735013071984 140735013070120 4397488 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 164482 123946 147 355 0 164123 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 657928

[startup+1662.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/178 9800
/proc/meminfo: memFree=28755184/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=661244 CPUtime=1661.99 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 68146 0 0 0 166102 97 0 0 20 0 1 0 62463002 677113856 155437 33554432000 4194304 5646918 140735013071984 140735013070120 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 165311 155437 147 355 0 164952 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 661244

[startup+1722.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 9801
/proc/meminfo: memFree=29425296/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=315588 CPUtime=1721.95 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 70576 0 0 0 172087 108 0 0 20 0 1 0 62463002 323162112 71262 33554432000 4194304 5646918 140735013071984 140735013070120 4397715 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 78897 71262 147 355 0 78538 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 315588

[startup+1782.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/176 9802
/proc/meminfo: memFree=29058544/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=663596 CPUtime=1781.94 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 71832 0 0 0 178082 112 0 0 20 0 1 0 62463002 679522304 112879 33554432000 4194304 5646918 140735013071984 140735013070680 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 165899 112879 147 355 0 165540 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 663596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 9803
/proc/meminfo: memFree=28957348/32872528 swapFree=1556504/1720024
[pid=9701] ppid=9698 vsize=664152 CPUtime=1800.03 cores=0,2,4,6
/proc/9701/stat : 9701 (minisatp) R 9698 9701 6129 0 -1 4202496 71982 0 0 0 179890 113 0 0 20 0 1 0 62463002 680091648 125293 33554432000 4194304 5646918 140735013071984 140735013070120 4403087 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9701/statm: 166038 125293 147 355 0 165679 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 664152

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 9701 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.06
CPU user time (s): 1798.91
CPU system time (s): 1.14982
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 1060916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.14982
maximum resident set size= 705440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71982
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= 108
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5803 second user time and 6.90895 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-22 16:02:24
IDJOB=4111822
IDBENCH=90196
IDSOLVER=2555
FILE ID=node117/4111822-1466604144
RUNJOBID= node117-1466586524-6145
PBS_JOBID= 19953369
Free space on /tmp= 71648 MiB

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

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

MD5SUM BENCH= 59945e7fb6f70b0a7aeb9a0267c89f72
RANDOM SEED=1709626736

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29770988 kB
Buffers:           96728 kB
Cached:           430768 kB
SwapCached:         2448 kB
Active:           188232 kB
Inactive:         453796 kB
Active(anon):     115016 kB
Inactive(anon):     1968 kB
Active(file):      73216 kB
Inactive(file):   451828 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67099588 kB
Dirty:              5064 kB
Writeback:             0 kB
AnonPages:       1833184 kB
Mapped:             7716 kB
Shmem:                 0 kB
Slab:             605936 kB
SReclaimable:      49812 kB
SUnreclaim:       556124 kB
KernelStack:        1424 kB
PageTables:         7156 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1952480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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-4111822-1466604144.opb

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