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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM140696e76e8ed6af142b84a22a9a8f01
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.05
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 2306

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-18 18:51:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2709 boxname=wulflinc17 idbench=365 idsolver=3 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  140696e76e8ed6af142b84a22a9a8f01  /oldhome/oroussel/tmp/wulflinc17/normalized-frb50-23-3.opb
REAL COMMAND:  minisat+_script /oldhome/oroussel/tmp/wulflinc17/normalized-frb50-23-3.opb
IDLAUNCH: 2709
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        930696 kB
Buffers:         27636 kB
Cached:          49096 kB
SwapCached:        516 kB
Active:          29692 kB
Inactive:        49472 kB
HighTotal:      131008 kB
HighFree:        77952 kB
LowTotal:       903652 kB
LowFree:        852744 kB
SwapTotal:     2097892 kB
SwapFree:      2096672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            19064 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 19:11:34 (client local time) WITH STATUS 10 IN 1207.9 SECONDS
stats: 2709 7 1207.9 10

Solver Data

c Parsing PB file...
c Converting 81068 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   81068   162136 |   27022       0        0     nan |  0.000 % |
c ==============================================================================
c Found solution: -34
c ---[   0]---> Sorter-cost:63046     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  148824   321085 |   49608       0        0     nan |  0.000 % |
c |       100 |  148525   320464 |   54568      89      647     7.3 |  0.364 % |
c |       250 |  147550   318365 |   60025     172     1582     9.2 |  1.583 % |
c |       475 |  146282   315603 |   66028     352     3233     9.2 |  3.202 % |
c |       813 |  144245   311162 |   72631     579     5643     9.7 |  5.871 % |
c |      1319 |  142081   306384 |   79894     969     9530     9.8 |  8.642 % |
c |      2078 |  137736   296703 |   87883    1563    16664    10.7 | 14.500 % |
c |      3217 |  131537   282628 |   96671    2418    27257    11.3 | 23.018 % |
c |      4925 |  123620   264611 |  106339    3613    42907    11.9 | 33.844 % |
c |      7487 |  113550   241172 |  116973    5356    67950    12.7 | 47.966 % |
c ==============================================================================
c Found solution: -35
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      8942 |  109479   231646 |   36493    6398    83738    13.1 | 47.966 % |
c |      9042 |  109425   231526 |   40142    6488    84756    13.1 | 54.101 % |
c |      9192 |  108817   230122 |   44156    6542    85696    13.1 | 54.940 % |
c |      9417 |  108742   229957 |   48572    6753    88958    13.2 | 55.038 % |
c |      9754 |  107510   227021 |   53429    6943    92761    13.4 | 56.846 % |
c |     10260 |  105913   223216 |   58772    7155    97498    13.6 | 59.215 % |
c |     11020 |  105175   221476 |   64649    7673   105317    13.7 | 60.288 % |
c |     12159 |  103203   216846 |   71114    8489   120338    14.2 | 63.131 % |
c ==============================================================================
c Found solution: -36
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     13203 |  100733   210967 |   33577    9056   136886    15.1 | 63.131 % |
c |     13303 |  100611   210685 |   36934    9131   139212    15.2 | 66.860 % |
c |     13453 |  100325   210019 |   40628    9181   139747    15.2 | 67.265 % |
c |     13678 |  100059   209371 |   44690    9352   142290    15.2 | 67.665 % |
c |     14015 |   99707   208499 |   49160    9535   150995    15.8 | 68.219 % |
c |     14522 |   99276   207440 |   54076   10000   163255    16.3 | 68.874 % |
c ==============================================================================
c Found solution: -37
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     14905 |   99017   206836 |   33005   10349   176652    17.1 | 68.874 % |
c |     15005 |   98880   206528 |   36305   10433   177386    17.0 | 69.468 % |
c |     15156 |   98646   205978 |   39936   10557   180672    17.1 | 69.807 % |
c |     15381 |   98366   205323 |   43929   10660   183391    17.2 | 70.205 % |
c |     15718 |   97960   204346 |   48322   10906   188208    17.3 | 70.808 % |
c |     16224 |   97329   202834 |   53154   11259   197451    17.5 | 71.755 % |
c ==============================================================================
c Found solution: -38
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     16609 |   97142   202333 |   32380   11543   200782    17.4 | 71.755 % |
c |     16709 |   97045   202091 |   35618   11621   201582    17.3 | 72.198 % |
c |     16860 |   96950   201864 |   39179   11735   204990    17.5 | 72.347 % |
c |     17088 |   96889   201715 |   43097   11909   209728    17.6 | 72.433 % |
c |     17425 |   96380   200482 |   47407   12147   216033    17.8 | 73.196 % |
c |     17932 |   96079   199749 |   52148   12412   237148    19.1 | 73.650 % |
c |     18692 |   95763   198984 |   57363   13024   253885    19.5 | 74.133 % |
c ==============================================================================
c Found solution: -39
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     19374 |   95715   198918 |   31905   13669   272269    19.9 | 74.133 % |
c |     19474 |   95715   198918 |   35095   13769   274839    20.0 | 74.287 % |
c |     19624 |   95609   198662 |   38605   13853   276879    20.0 | 74.444 % |
c |     19849 |   95504   198406 |   42465   14055   280648    20.0 | 74.608 % |
c |     20186 |   95321   197961 |   46712   14273   290024    20.3 | 74.888 % |
c |     20692 |   95154   197572 |   51383   14648   305122    20.8 | 75.121 % |
c |     21451 |   94801   196722 |   56521   15251   327192    21.5 | 75.643 % |
c |     22590 |   93726   194151 |   62173   16066   352985    22.0 | 77.246 % |
c ==============================================================================
c Found solution: -41
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     23429 |   93460   193538 |   31153   16809   378976    22.5 | 77.246 % |
c |     23529 |   93460   193538 |   34268   16909   381017    22.5 | 77.671 % |
c |     23679 |   93460   193538 |   37695   17059   388758    22.8 | 77.671 % |
c |     23904 |   93460   193538 |   41464   17284   395681    22.9 | 77.671 % |
c |     24241 |   93370   193322 |   45611   17561   402866    22.9 | 77.805 % |
c |     24748 |   93155   192800 |   50172   17880   419682    23.5 | 78.132 % |
c |     25507 |   92786   191894 |   55189   18335   435938    23.8 | 78.691 % |
c |     26646 |   92029   190018 |   60708   19085   465968    24.4 | 79.853 % |
c |     28354 |   91911   189738 |   66779   20687   567048    27.4 | 80.025 % |
c |     30918 |   91718   189266 |   73457   23148   724187    31.3 | 80.312 % |
c |     34763 |   91541   188853 |   80802   26821  1007077    37.5 | 80.553 % |
c |     40529 |   91425   188555 |   88883   32336  1405077    43.5 | 80.745 % |
c |     49178 |   90591   186576 |   97771   40058  2307923    57.6 | 81.963 % |
c |     62152 |   90053   185258 |  107548   52252  3904159    74.7 | 82.791 % |
c |     81614 |   89718   184449 |  118303   70757  6817442    96.4 | 83.299 % |
c ==============================================================================
c Found solution: -42
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     92949 |   89145   183005 |   29715   81197  8186868   100.8 | 83.299 % |
c |     93050 |   89145   183005 |   32686   22034  1602261    72.7 | 84.175 % |
c |     93200 |   89036   182740 |   35955   22132  1607001    72.6 | 84.341 % |
c |     93426 |   88996   182646 |   39550   22127  1611092    72.8 | 84.397 % |
c |     93763 |   88996   182646 |   43505   22464  1641209    73.1 | 84.397 % |
c |     94269 |   88996   182646 |   47856   22970  1706790    74.3 | 84.397 % |
c |     95028 |   88949   182534 |   52641   23714  1783041    75.2 | 84.460 % |
c |     96167 |   88941   182514 |   57906   24846  1915727    77.1 | 84.472 % |
c |     97876 |   88901   182419 |   63696   26515  2138859    80.7 | 84.529 % |
c |    100438 |   88795   182161 |   70066   29050  2363631    81.4 | 84.692 % |
c |    104282 |   88753   182051 |   77073   32854  2852036    86.8 | 84.766 % |
c |    110048 |   88753   182051 |   84780   38620  3734405    96.7 | 84.766 % |
c |    118697 |   88753   182051 |   93258   47269  5406231   114.4 | 84.766 % |
c ==============================================================================
c Found solution: -43
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    129419 |   88785   182147 |   29595   57991  7188448   124.0 | 84.766 % |
c |    129519 |   88747   182048 |   32554   58060  7189895   123.8 | 84.813 % |
c |    129669 |   88747   182048 |   35809   58210  7203645   123.8 | 84.813 % |
c |    129894 |   88747   182048 |   39390   58435  7222308   123.6 | 84.813 % |
c |    130231 |   88747   182048 |   43330   58772  7240654   123.2 | 84.813 % |
c |    130737 |   88747   182048 |   47663   59278  7308626   123.3 | 84.813 % |
c |    131496 |   88747   182048 |   52429   60037  7397997   123.2 | 84.813 % |
c |    132635 |   88747   182048 |   57672   61176  7525501   123.0 | 84.813 % |
c |    134344 |   88747   182048 |   63439   62885  7690787   122.3 | 84.813 % |
c |    136908 |   88747   182048 |   69783   65449  7984177   122.0 | 84.813 % |
c |    140752 |   88734   182017 |   76761   69270  8519695   123.0 | 84.832 % |
c |    146518 |   88734   182017 |   84437   75036  9316076   124.2 | 84.832 % |
c |    155169 |   88734   182017 |   92881   83687 10482862   125.3 | 84.832 % |
c |    168144 |   88731   182010 |  102169   96657 12423900   128.5 | 84.837 % |
c |    187605 |   88731   182010 |  112386  116118 15556343   134.0 | 84.837 % |
c ==============================================================================
c Found solution: -44
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    200502 |   88705   181922 |   29568  127023 16926154   133.3 | 84.837 % |
c |    200602 |   88705   181922 |   32524   23397  1923533    82.2 | 84.876 % |
c |    200752 |   88705   181922 |   35777   23547  1936394    82.2 | 84.876 % |
c |    200977 |   88705   181922 |   39355   23772  1958482    82.4 | 84.876 % |
c |    201315 |   88705   181922 |   43290   24110  1985133    82.3 | 84.876 % |
c |    201821 |   88705   181922 |   47619   24616  2015838    81.9 | 84.876 % |
c |    202582 |   88689   181882 |   52381   25361  2086362    82.3 | 84.902 % |
c |    203721 |   88689   181882 |   57619   26500  2187127    82.5 | 84.902 % |
c |    205432 |   88689   181882 |   63381   28211  2387337    84.6 | 84.902 % |
c |    207994 |   88689   181882 |   69719   30773  2779868    90.3 | 84.902 % |
c |    211839 |   88689   181882 |   76691   34618  3316548    95.8 | 84.902 % |
c |    217605 |   88689   181882 |   84360   40384  4220056   104.5 | 84.902 % |
c |    226255 |   88679   181858 |   92797   49031  5387721   109.9 | 84.917 % |
c |    239230 |   88669   181834 |  102076   61996  7218396   116.4 | 84.932 % |
c |    258691 |   88669   181834 |  112284   81457 11453565   140.6 | 84.932 % |
c |    287884 |   88657   181806 |  123512  110646 15171541   137.1 | 84.949 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/26159/stat): 26159 (minisat+_script) R 26158 26159 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1843578949 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26159/statm): 174 3 169 147 0 27 0
[pid=26159] vsize: 696
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libtermcap.so.2
open syscall for file tls/i686/libtermcap.so.2
open syscall for file tls/mmx/libtermcap.so.2
open syscall for file tls/libtermcap.so.2
open syscall for file i686/mmx/libtermcap.so.2
open syscall for file i686/libtermcap.so.2
open syscall for file mmx/libtermcap.so.2
open syscall for file libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/libtermcap.so.2
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libtermcap.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /dev/tty
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file /oldhome/oroussel/solvers/minisat+_script
New process pid=26160
New process pid=26161
New process pid=26162
execve syscall for /bin/sed executable
One traced child (pid=26161) exited with status: 0
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=26162) exited with status: 0
One traced child (pid=26160) exited with status: 0
New process pid=26163
execve syscall for /oldhome/oroussel/solvers/minisat+_64-bit_static executable
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-frb50-23-3.opb

[startup+10.0039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5134 0 0 0 957 21 0 0 25 0 1 0 1843578954 21925888 5121 4294967295 134512640 135094434 3221224448 3221223108 134553446 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 5353 5121 145 145 0 5208 0
[pid=26163] vsize: 21412
Current children cumulated CPU time (s) 9.78
Current children cumulated vsize (Kb) 23536

[startup+20.0045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5134 0 0 0 1957 21 0 0 25 0 1 0 1843578954 21925888 5121 4294967295 134512640 135094434 3221224448 3221223152 134559019 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 5353 5121 145 145 0 5208 0
[pid=26163] vsize: 21412
Current children cumulated CPU time (s) 19.78
Current children cumulated vsize (Kb) 23536

[startup+30.0061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5134 0 0 0 2957 21 0 0 25 0 1 0 1843578954 21925888 5121 4294967295 134512640 135094434 3221224448 3221223104 134557837 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 5353 5121 145 145 0 5208 0
[pid=26163] vsize: 21412
Current children cumulated CPU time (s) 29.78
Current children cumulated vsize (Kb) 23536

[startup+40.0067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5134 0 0 0 3956 22 0 0 25 0 1 0 1843578954 21925888 5121 4294967295 134512640 135094434 3221224448 3221223060 134563046 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 5353 5121 145 145 0 5208 0
[pid=26163] vsize: 21412
Current children cumulated CPU time (s) 39.78
Current children cumulated vsize (Kb) 23536

[startup+50.0083 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5134 0 0 0 4957 22 0 0 25 0 1 0 1843578954 21925888 5121 4294967295 134512640 135094434 3221224448 3221223132 134553432 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 5353 5121 145 145 0 5208 0
[pid=26163] vsize: 21412
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (Kb) 23536

[startup+60.0089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5134 0 0 0 5957 22 0 0 25 0 1 0 1843578954 21925888 5121 4294967295 134512640 135094434 3221224448 3221223108 134553446 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 5353 5121 145 145 0 5208 0
[pid=26163] vsize: 21412
Current children cumulated CPU time (s) 59.79
Current children cumulated vsize (Kb) 23536

[startup+70.0095 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5379 0 0 0 6956 22 0 0 25 0 1 0 1843578954 23797760 5366 4294967295 134512640 135094434 3221224448 3221223136 134558987 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 5810 5366 145 145 0 5665 0
[pid=26163] vsize: 23240
Current children cumulated CPU time (s) 69.78
Current children cumulated vsize (Kb) 25364

[startup+80.0111 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5379 0 0 0 7956 22 0 0 25 0 1 0 1843578954 23797760 5366 4294967295 134512640 135094434 3221224448 3221223108 134553482 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 5810 5366 145 145 0 5665 0
[pid=26163] vsize: 23240
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (Kb) 25364

[startup+90.0117 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5379 0 0 0 8956 23 0 0 25 0 1 0 1843578954 23797760 5366 4294967295 134512640 135094434 3221224448 3221223132 134553526 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 5810 5366 145 145 0 5665 0
[pid=26163] vsize: 23240
Current children cumulated CPU time (s) 89.79
Current children cumulated vsize (Kb) 25364

[startup+100.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5539 0 0 0 9954 24 0 0 25 0 1 0 1843578954 24264704 5480 4294967295 134512640 135094434 3221224448 3221223108 134553446 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 5924 5480 145 145 0 5779 0
[pid=26163] vsize: 23696
Current children cumulated CPU time (s) 99.78
Current children cumulated vsize (Kb) 25820

[startup+110.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 5757 0 0 0 10950 26 0 0 25 0 1 0 1843578954 25014272 5651 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 6107 5651 145 145 0 5962 0
[pid=26163] vsize: 24428
Current children cumulated CPU time (s) 109.76
Current children cumulated vsize (Kb) 26552

[startup+120.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 6277 0 0 0 11940 29 0 0 25 0 1 0 1843578954 27123712 6171 4294967295 134512640 135094434 3221224448 3221223108 134553482 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 6622 6171 145 145 0 6477 0
[pid=26163] vsize: 26488
Current children cumulated CPU time (s) 119.69
Current children cumulated vsize (Kb) 28612

[startup+130.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 6731 0 0 0 12931 33 0 0 25 0 1 0 1843578954 28954624 6625 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 7069 6625 145 145 0 6924 0
[pid=26163] vsize: 28276
Current children cumulated CPU time (s) 129.64
Current children cumulated vsize (Kb) 30400

[startup+140.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 7086 0 0 0 13925 36 0 0 25 0 1 0 1843578954 30527488 6980 4294967295 134512640 135094434 3221224448 3221223108 134553482 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 7453 6980 145 145 0 7308 0
[pid=26163] vsize: 29812
Current children cumulated CPU time (s) 139.61
Current children cumulated vsize (Kb) 31936

[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 7753 0 0 0 14915 40 0 0 25 0 1 0 1843578954 33243136 7647 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 8116 7647 145 145 0 7971 0
[pid=26163] vsize: 32464
Current children cumulated CPU time (s) 149.55
Current children cumulated vsize (Kb) 34588

[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 8149 0 0 0 15907 44 0 0 25 0 1 0 1843578954 34848768 8043 4294967295 134512640 135094434 3221224448 3221223104 134558016 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 8508 8043 145 145 0 8363 0
[pid=26163] vsize: 34032
Current children cumulated CPU time (s) 159.51
Current children cumulated vsize (Kb) 36156

[startup+170.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 8799 0 0 0 16899 47 0 0 25 0 1 0 1843578954 37494784 8693 4294967295 134512640 135094434 3221224448 3221223120 134555842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 9154 8693 145 145 0 9009 0
[pid=26163] vsize: 36616
Current children cumulated CPU time (s) 169.46
Current children cumulated vsize (Kb) 38740

[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 9255 0 0 0 17890 51 0 0 25 0 1 0 1843578954 39350272 9149 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 9607 9149 145 145 0 9462 0
[pid=26163] vsize: 38428
Current children cumulated CPU time (s) 179.41
Current children cumulated vsize (Kb) 40552

[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 9669 0 0 0 18882 54 0 0 25 0 1 0 1843578954 41033728 9563 4294967295 134512640 135094434 3221224448 3221223104 134558249 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 10018 9563 145 145 0 9873 0
[pid=26163] vsize: 40072
Current children cumulated CPU time (s) 189.36
Current children cumulated vsize (Kb) 42196

[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 10222 0 0 0 19874 57 0 0 25 0 1 0 1843578954 43282432 10116 4294967295 134512640 135094434 3221224448 3221223104 134558007 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 10567 10116 145 145 0 10422 0
[pid=26163] vsize: 42268
Current children cumulated CPU time (s) 199.31
Current children cumulated vsize (Kb) 44392

[startup+210.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 10735 0 0 0 20866 61 0 0 25 0 1 0 1843578954 45371392 10629 4294967295 134512640 135094434 3221224448 3221223104 134558126 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 11077 10629 145 145 0 10932 0
[pid=26163] vsize: 44308
Current children cumulated CPU time (s) 209.27
Current children cumulated vsize (Kb) 46432

[startup+220.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 11218 0 0 0 21858 65 0 0 25 0 1 0 1843578954 47337472 11112 4294967295 134512640 135094434 3221224448 3221223104 134557948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 11557 11112 145 145 0 11412 0
[pid=26163] vsize: 46228
Current children cumulated CPU time (s) 219.23
Current children cumulated vsize (Kb) 48352

[startup+230.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 11903 0 0 0 22845 70 0 0 25 0 1 0 1843578954 50397184 11797 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 12304 11797 145 145 0 12159 0
[pid=26163] vsize: 49216
Current children cumulated CPU time (s) 229.15
Current children cumulated vsize (Kb) 51340

[startup+240.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 12290 0 0 0 23837 74 0 0 25 0 1 0 1843578954 51970048 12184 4294967295 134512640 135094434 3221224448 3221223108 134553450 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 12688 12184 145 145 0 12543 0
[pid=26163] vsize: 50752
Current children cumulated CPU time (s) 239.11
Current children cumulated vsize (Kb) 52876

[startup+250.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 12611 0 0 0 24830 77 0 0 25 0 1 0 1843578954 53276672 12505 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 13007 12505 145 145 0 12862 0
[pid=26163] vsize: 52028
Current children cumulated CPU time (s) 249.07
Current children cumulated vsize (Kb) 54152

[startup+260.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 12714 0 0 0 25828 78 0 0 25 0 1 0 1843578954 53694464 12608 4294967295 134512640 135094434 3221224448 3221223104 134558187 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 13109 12608 145 145 0 12964 0
[pid=26163] vsize: 52436
Current children cumulated CPU time (s) 259.06
Current children cumulated vsize (Kb) 54560

[startup+270.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 13028 0 0 0 26822 81 0 0 25 0 1 0 1843578954 54972416 12922 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 13421 12922 145 145 0 13276 0
[pid=26163] vsize: 53684
Current children cumulated CPU time (s) 269.03
Current children cumulated vsize (Kb) 55808

[startup+280.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 13493 0 0 0 27815 84 0 0 25 0 1 0 1843578954 56868864 13387 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 13884 13387 145 145 0 13739 0
[pid=26163] vsize: 55536
Current children cumulated CPU time (s) 278.99
Current children cumulated vsize (Kb) 57660

[startup+290.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 13952 0 0 0 28805 88 0 0 25 0 1 0 1843578954 58736640 13846 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14340 13846 145 145 0 14195 0
[pid=26163] vsize: 57360
Current children cumulated CPU time (s) 288.93
Current children cumulated vsize (Kb) 59484

[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 29802 90 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 298.92
Current children cumulated vsize (Kb) 60016

[startup+310.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 30801 91 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223200 134559206 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 308.92
Current children cumulated vsize (Kb) 60016

[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 31801 91 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 318.92
Current children cumulated vsize (Kb) 60016

[startup+330.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 32801 92 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 328.93
Current children cumulated vsize (Kb) 60016

[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 33801 92 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223104 134558004 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 338.93
Current children cumulated vsize (Kb) 60016

[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 34801 92 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223040 134557175 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 348.93
Current children cumulated vsize (Kb) 60016

[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 35801 92 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223104 134557956 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 358.93
Current children cumulated vsize (Kb) 60016

[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 36801 92 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 368.93
Current children cumulated vsize (Kb) 60016

[startup+380.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 37801 93 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223120 134556517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 378.94
Current children cumulated vsize (Kb) 60016

[startup+390.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 38801 93 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 388.94
Current children cumulated vsize (Kb) 60016

[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 39802 93 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 398.95
Current children cumulated vsize (Kb) 60016

[startup+410.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14131 0 0 0 40802 93 0 0 25 0 1 0 1843578954 59281408 13980 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14473 13980 145 145 0 14328 0
[pid=26163] vsize: 57892
Current children cumulated CPU time (s) 408.95
Current children cumulated vsize (Kb) 60016

[startup+420.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14167 0 0 0 41801 93 0 0 25 0 1 0 1843578954 59428864 14016 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14509 14016 145 145 0 14364 0
[pid=26163] vsize: 58036
Current children cumulated CPU time (s) 418.94
Current children cumulated vsize (Kb) 60160

[startup+430.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14570 0 0 0 42795 96 0 0 25 0 1 0 1843578954 61079552 14419 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 14912 14419 145 145 0 14767 0
[pid=26163] vsize: 59648
Current children cumulated CPU time (s) 428.91
Current children cumulated vsize (Kb) 61772

[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 14938 0 0 0 43788 99 0 0 25 0 1 0 1843578954 62586880 14787 4294967295 134512640 135094434 3221224448 3221223104 134558004 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 15280 14787 145 145 0 15135 0
[pid=26163] vsize: 61120
Current children cumulated CPU time (s) 438.87
Current children cumulated vsize (Kb) 63244

[startup+450.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 15379 0 0 0 44781 102 0 0 25 0 1 0 1843578954 64393216 15228 4294967295 134512640 135094434 3221224448 3221223072 134557565 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 15721 15228 145 145 0 15576 0
[pid=26163] vsize: 62884
Current children cumulated CPU time (s) 448.83
Current children cumulated vsize (Kb) 65008

[startup+460.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 15678 0 0 0 45777 104 0 0 25 0 1 0 1843578954 65617920 15527 4294967295 134512640 135094434 3221224448 3221223104 134557945 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 16020 15527 145 145 0 15875 0
[pid=26163] vsize: 64080
Current children cumulated CPU time (s) 458.81
Current children cumulated vsize (Kb) 66204

[startup+470.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 16030 0 0 0 46769 107 0 0 25 0 1 0 1843578954 67059712 15879 4294967295 134512640 135094434 3221224448 3221223104 134558002 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 16372 15879 145 145 0 16227 0
[pid=26163] vsize: 65488
Current children cumulated CPU time (s) 468.76
Current children cumulated vsize (Kb) 67612

[startup+480.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 16370 0 0 0 47763 109 0 0 25 0 1 0 1843578954 68448256 16219 4294967295 134512640 135094434 3221224448 3221223104 134558126 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 16711 16219 145 145 0 16566 0
[pid=26163] vsize: 66844
Current children cumulated CPU time (s) 478.72
Current children cumulated vsize (Kb) 68968

[startup+490.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 16727 0 0 0 48756 112 0 0 25 0 1 0 1843578954 69902336 16576 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 17066 16576 145 145 0 16921 0
[pid=26163] vsize: 68264
Current children cumulated CPU time (s) 488.68
Current children cumulated vsize (Kb) 70388

[startup+500.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 17112 0 0 0 49749 115 0 0 25 0 1 0 1843578954 71467008 16961 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 17448 16961 145 145 0 17303 0
[pid=26163] vsize: 69792
Current children cumulated CPU time (s) 498.64
Current children cumulated vsize (Kb) 71916

[startup+510.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 17545 0 0 0 50743 117 0 0 25 0 1 0 1843578954 73232384 17394 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 17879 17394 145 145 0 17734 0
[pid=26163] vsize: 71516
Current children cumulated CPU time (s) 508.6
Current children cumulated vsize (Kb) 73640

[startup+520.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 17995 0 0 0 51735 119 0 0 25 0 1 0 1843578954 75063296 17844 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 18326 17844 145 145 0 18181 0
[pid=26163] vsize: 73304
Current children cumulated CPU time (s) 518.54
Current children cumulated vsize (Kb) 75428

[startup+530.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 18292 0 0 0 52730 121 0 0 25 0 1 0 1843578954 76275712 18141 4294967295 134512640 135094434 3221224448 3221223040 134557157 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 18622 18141 145 145 0 18477 0
[pid=26163] vsize: 74488
Current children cumulated CPU time (s) 528.51
Current children cumulated vsize (Kb) 76612

[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 18675 0 0 0 53722 125 0 0 25 0 1 0 1843578954 77836288 18524 4294967295 134512640 135094434 3221224448 3221223040 134551757 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 19003 18524 145 145 0 18858 0
[pid=26163] vsize: 76012
Current children cumulated CPU time (s) 538.47
Current children cumulated vsize (Kb) 78136

[startup+550.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 19032 0 0 0 54716 127 0 0 25 0 1 0 1843578954 79290368 18881 4294967295 134512640 135094434 3221224448 3221223040 134557208 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 19358 18881 145 145 0 19213 0
[pid=26163] vsize: 77432
Current children cumulated CPU time (s) 548.43
Current children cumulated vsize (Kb) 79556

[startup+560.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 19362 0 0 0 55711 130 0 0 25 0 1 0 1843578954 80629760 19211 4294967295 134512640 135094434 3221224448 3221223040 134557416 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 19685 19211 145 145 0 19540 0
[pid=26163] vsize: 78740
Current children cumulated CPU time (s) 558.41
Current children cumulated vsize (Kb) 80864

[startup+570.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 19681 0 0 0 56706 132 0 0 25 0 1 0 1843578954 81928192 19530 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 20002 19530 145 145 0 19857 0
[pid=26163] vsize: 80008
Current children cumulated CPU time (s) 568.38
Current children cumulated vsize (Kb) 82132

[startup+580.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 20020 0 0 0 57699 136 0 0 25 0 1 0 1843578954 83308544 19869 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 20339 19869 145 145 0 20194 0
[pid=26163] vsize: 81356
Current children cumulated CPU time (s) 578.35
Current children cumulated vsize (Kb) 83480

[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 20328 0 0 0 58693 138 0 0 25 0 1 0 1843578954 84566016 20177 4294967295 134512640 135094434 3221224448 3221223104 134558411 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 20646 20177 145 145 0 20501 0
[pid=26163] vsize: 82584
Current children cumulated CPU time (s) 588.31
Current children cumulated vsize (Kb) 84708

[startup+600.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 20638 0 0 0 59687 140 0 0 25 0 1 0 1843578954 85827584 20487 4294967295 134512640 135094434 3221224448 3221223120 134555599 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 20954 20487 145 145 0 20809 0
[pid=26163] vsize: 83816
Current children cumulated CPU time (s) 598.27
Current children cumulated vsize (Kb) 85940

[startup+610.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 20947 0 0 0 60681 142 0 0 25 0 1 0 1843578954 87085056 20796 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 21261 20796 145 145 0 21116 0
[pid=26163] vsize: 85044
Current children cumulated CPU time (s) 608.23
Current children cumulated vsize (Kb) 87168

[startup+620.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 21261 0 0 0 61676 144 0 0 25 0 1 0 1843578954 88363008 21110 4294967295 134512640 135094434 3221224448 3221223104 134558395 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 21573 21110 145 145 0 21428 0
[pid=26163] vsize: 86292
Current children cumulated CPU time (s) 618.2
Current children cumulated vsize (Kb) 88416

[startup+630.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 21559 0 0 0 62671 146 0 0 25 0 1 0 1843578954 89579520 21408 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 21870 21408 145 145 0 21725 0
[pid=26163] vsize: 87480
Current children cumulated CPU time (s) 628.17
Current children cumulated vsize (Kb) 89604

[startup+640.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 21862 0 0 0 63666 148 0 0 25 0 1 0 1843578954 90812416 21711 4294967295 134512640 135094434 3221224448 3221223120 134555599 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 22171 21711 145 145 0 22026 0
[pid=26163] vsize: 88684
Current children cumulated CPU time (s) 638.14
Current children cumulated vsize (Kb) 90808

[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 22147 0 0 0 64661 150 0 0 25 0 1 0 1843578954 91967488 21996 4294967295 134512640 135094434 3221224448 3221223104 134558249 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 22453 21996 145 145 0 22308 0
[pid=26163] vsize: 89812
Current children cumulated CPU time (s) 648.11
Current children cumulated vsize (Kb) 91936

[startup+660.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 22472 0 0 0 65656 152 0 0 25 0 1 0 1843578954 93294592 22321 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 22777 22321 145 145 0 22632 0
[pid=26163] vsize: 91108
Current children cumulated CPU time (s) 658.08
Current children cumulated vsize (Kb) 93232

[startup+670.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 22817 0 0 0 66650 156 0 0 25 0 1 0 1843578954 94695424 22666 4294967295 134512640 135094434 3221224448 3221223040 134557040 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 23119 22666 145 145 0 22974 0
[pid=26163] vsize: 92476
Current children cumulated CPU time (s) 668.06
Current children cumulated vsize (Kb) 94600

[startup+680.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23111 0 0 0 67645 159 0 0 25 0 1 0 1843578954 95887360 22960 4294967295 134512640 135094434 3221224448 3221223104 134558007 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 23410 22960 145 145 0 23265 0
[pid=26163] vsize: 93640
Current children cumulated CPU time (s) 678.04
Current children cumulated vsize (Kb) 95764

[startup+690.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) T 26159 26159 19316 0 -1 0 23395 0 0 0 68639 161 0 0 25 0 1 0 1843578954 97046528 23244 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 1 0 0
Raw data (/proc/26163/statm): 23693 23244 145 145 0 23548 0
[pid=26163] vsize: 94772
Current children cumulated CPU time (s) 688
Current children cumulated vsize (Kb) 96896

[startup+700.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23760 0 0 0 69632 164 0 0 25 0 1 0 1843578954 98533376 23609 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24056 23609 145 145 0 23911 0
[pid=26163] vsize: 96224
Current children cumulated CPU time (s) 697.96
Current children cumulated vsize (Kb) 98348

[startup+710.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 70631 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134558004 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 707.97
Current children cumulated vsize (Kb) 98584

[startup+720.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 71631 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 717.97
Current children cumulated vsize (Kb) 98584

[startup+730.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 72632 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223040 134557302 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 727.98
Current children cumulated vsize (Kb) 98584

[startup+740.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 73632 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223040 134557180 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 737.98
Current children cumulated vsize (Kb) 98584

[startup+750.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 74632 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134558221 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 747.98
Current children cumulated vsize (Kb) 98584

[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 75632 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 757.98
Current children cumulated vsize (Kb) 98584

[startup+770.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 76633 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557928 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 767.99
Current children cumulated vsize (Kb) 98584

[startup+780.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 77633 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134558004 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 777.99
Current children cumulated vsize (Kb) 98584

[startup+790.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 78633 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 787.99
Current children cumulated vsize (Kb) 98584

[startup+800.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 79633 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 797.99
Current children cumulated vsize (Kb) 98584

[startup+810.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 80633 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 807.99
Current children cumulated vsize (Kb) 98584

[startup+820.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 81633 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134558013 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 817.99
Current children cumulated vsize (Kb) 98584

[startup+830.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 82634 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 828
Current children cumulated vsize (Kb) 98584

[startup+840.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 83634 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 838
Current children cumulated vsize (Kb) 98584

[startup+850.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 84634 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 848
Current children cumulated vsize (Kb) 98584

[startup+860.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 85634 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 858
Current children cumulated vsize (Kb) 98584

[startup+870.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 86634 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 868
Current children cumulated vsize (Kb) 98584

[startup+880.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 87635 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 878.01
Current children cumulated vsize (Kb) 98584

[startup+890.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 88635 166 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134558178 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 888.01
Current children cumulated vsize (Kb) 98584

[startup+900.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 89634 167 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223040 134557429 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 898.01
Current children cumulated vsize (Kb) 98584

[startup+910.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 90634 168 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 908.02
Current children cumulated vsize (Kb) 98584

[startup+920.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 91634 168 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 918.02
Current children cumulated vsize (Kb) 98584

[startup+930.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 92634 168 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223040 134557219 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 928.02
Current children cumulated vsize (Kb) 98584

[startup+940.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 93634 169 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223136 134554731 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 938.03
Current children cumulated vsize (Kb) 98584

[startup+950.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 94634 169 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134558235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 948.03
Current children cumulated vsize (Kb) 98584

[startup+960.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 95634 169 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 958.03
Current children cumulated vsize (Kb) 98584

[startup+970.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 96634 169 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134558024 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 968.03
Current children cumulated vsize (Kb) 98584

[startup+980.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 97634 169 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 978.03
Current children cumulated vsize (Kb) 98584

[startup+990.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 98634 169 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 988.03
Current children cumulated vsize (Kb) 98584

[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 99635 169 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223040 134556866 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 998.04
Current children cumulated vsize (Kb) 98584

[startup+1010.07 s]
Raw data (loadavg): 1.07 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 100635 170 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557950 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1008.05
Current children cumulated vsize (Kb) 98584

[startup+1020.07 s]
Raw data (loadavg): 1.06 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 101635 170 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557837 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1018.05
Current children cumulated vsize (Kb) 98584

[startup+1030.07 s]
Raw data (loadavg): 1.05 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 102635 170 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557928 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1028.05
Current children cumulated vsize (Kb) 98584

[startup+1040.07 s]
Raw data (loadavg): 1.04 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 103635 170 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1038.05
Current children cumulated vsize (Kb) 98584

[startup+1050.07 s]
Raw data (loadavg): 1.03 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 104635 170 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1048.05
Current children cumulated vsize (Kb) 98584

[startup+1060.07 s]
Raw data (loadavg): 1.03 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 105635 170 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1058.05
Current children cumulated vsize (Kb) 98584

[startup+1070.07 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 106634 170 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1068.04
Current children cumulated vsize (Kb) 98584

[startup+1080.07 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 107633 171 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1078.04
Current children cumulated vsize (Kb) 98584

[startup+1090.07 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 108633 171 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1088.04
Current children cumulated vsize (Kb) 98584

[startup+1100.07 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 109634 171 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1098.05
Current children cumulated vsize (Kb) 98584

[startup+1110.07 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 110634 171 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1108.05
Current children cumulated vsize (Kb) 98584

[startup+1120.07 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 23864 0 0 0 111634 171 0 0 25 0 1 0 1843578954 98775040 23668 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24115 23668 145 145 0 23970 0
[pid=26163] vsize: 96460
Current children cumulated CPU time (s) 1118.05
Current children cumulated vsize (Kb) 98584

[startup+1130.08 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 24106 0 0 0 112630 173 0 0 25 0 1 0 1843578954 99766272 23910 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24357 23910 145 145 0 24212 0
[pid=26163] vsize: 97428
Current children cumulated CPU time (s) 1128.03
Current children cumulated vsize (Kb) 99552

[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 24381 0 0 0 113627 175 0 0 25 0 1 0 1843578954 100896768 24185 4294967295 134512640 135094434 3221224448 3221223100 134558255 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24633 24185 145 145 0 24488 0
[pid=26163] vsize: 98532
Current children cumulated CPU time (s) 1138.02
Current children cumulated vsize (Kb) 100656

[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 24625 0 0 0 114624 176 0 0 25 0 1 0 1843578954 101892096 24429 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 24876 24429 145 145 0 24731 0
[pid=26163] vsize: 99504
Current children cumulated CPU time (s) 1148
Current children cumulated vsize (Kb) 101628

[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 24878 0 0 0 115619 178 0 0 25 0 1 0 1843578954 102932480 24682 4294967295 134512640 135094434 3221224448 3221223040 134557336 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 25130 24682 145 145 0 24985 0
[pid=26163] vsize: 100520
Current children cumulated CPU time (s) 1157.97
Current children cumulated vsize (Kb) 102644

[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 25129 0 0 0 116613 179 0 0 25 0 1 0 1843578954 103960576 24933 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/26163/statm): 25381 24933 145 145 0 25236 0
[pid=26163] vsize: 101524
Current children cumulated CPU time (s) 1167.92
Current children cumulated vsize (Kb) 103648

[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 25344 0 0 0 117609 181 0 0 25 0 1 0 1843578954 104849408 25148 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 25598 25148 145 145 0 25453 0
[pid=26163] vsize: 102392
Current children cumulated CPU time (s) 1177.9
Current children cumulated vsize (Kb) 104516

[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 25553 0 0 0 118606 182 0 0 25 0 1 0 1843578954 105705472 25357 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 25807 25357 145 145 0 25662 0
[pid=26163] vsize: 103228
Current children cumulated CPU time (s) 1187.88
Current children cumulated vsize (Kb) 105352

[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 25774 0 0 0 119601 184 0 0 25 0 1 0 1843578954 107130880 25578 4294967295 134512640 135094434 3221224448 3221223060 134563092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 26155 25578 145 145 0 26010 0
[pid=26163] vsize: 104620
Current children cumulated CPU time (s) 1197.85
Current children cumulated vsize (Kb) 106744

[startup+1210.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 25947 0 0 0 120598 185 0 0 25 0 1 0 1843578954 107839488 25751 4294967295 134512640 135094434 3221224448 3221223104 134557950 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 26328 25751 145 145 0 26183 0
[pid=26163] vsize: 105312
Current children cumulated CPU time (s) 1207.83
Current children cumulated vsize (Kb) 107436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 26163
Raw data (/proc/26159/stat): 26159 (minisat+_script) S 26158 26159 19316 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1843578949 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26159/statm): 531 226 485 147 0 384 0
[pid=26159] vsize: 2124
Raw data (/proc/26163/stat): 26163 (minisat+_64-bit) R 26159 26159 19316 0 -1 0 25947 0 0 0 120598 185 0 0 25 0 1 0 1843578954 107839488 25751 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26163/statm): 26328 25751 145 145 0 26183 0
[pid=26163] vsize: 105312
Current children cumulated CPU time (s) 1207.83
Current children cumulated vsize (Kb) 107436

Sending SIGTERM to -26159
Sleeping 2 seconds
One traced child (pid=26159) ended because it received signal 15 (SIGTERM)
One traced child (pid=26163) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.14
CPU time (s): 1207.9
CPU user time (s): 1205.99
CPU system time (s): 1.90671
CPU usage (%): 99.8147
Max. virtual memory (cumulated for all children) (Kb): 107436

Verifier Data

ERROR: no interpretation found !