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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUM9cfcc49797c7ac58bfef2056b3d91b66
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 7500
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 7500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7500
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables7500
Total number of constraints237715
Number of constraints which are clauses237715
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 constraint15

Trace number 1464

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-18 15:09:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2471 boxname=wulflinc1 idbench=127 idsolver=3 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9cfcc49797c7ac58bfef2056b3d91b66  /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb
REAL COMMAND:  minisat+_script /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb
IDLAUNCH: 2471
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        877744 kB
Buffers:         37568 kB
Cached:          88888 kB
SwapCached:        908 kB
Active:          97512 kB
Inactive:        31784 kB
HighTotal:      131008 kB
HighFree:        46060 kB
LowTotal:       903652 kB
LowFree:        831684 kB
SwapTotal:     2097136 kB
SwapFree:      2095620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5992 kB
Slab:            21884 kB
Committed_AS:    93168 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 15:29:11 (client local time) WITH STATUS 0 IN 1207.89 SECONDS
stats: 2471 7 1207.89 0

Solver Data

c Parsing PB file...
c Converting 237715 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 |  237715   478680 |   79238       0        0     nan |  0.000 % |
c |       100 |  237715   478680 |   87161     100     4687    46.9 |  0.000 % |
c |       251 |  237715   478680 |   95877     251    13884    55.3 |  0.000 % |
c |       478 |  237715   478680 |  105465     478    34800    72.8 |  0.000 % |
c |       818 |  237715   478680 |  116012     818    73420    89.8 |  0.000 % |
c |      1324 |  237715   478680 |  127613    1324   170495   128.8 |  0.000 % |
c |      2083 |  237715   478680 |  140374    2083   290241   139.3 |  0.000 % |
c |      3224 |  237715   478680 |  154412    3224   545693   169.3 |  0.000 % |
c |      4934 |  237715   478680 |  169853    4934   854269   173.1 |  0.000 % |
c |      7497 |  237715   478680 |  186839    7497  1546507   206.3 |  0.000 % |
c |     11342 |  237715   478680 |  205522   11342  2310229   203.7 |  0.000 % |
c |     17111 |  237715   478680 |  226075   17111  3510127   205.1 |  0.000 % |
c |     25760 |  237715   478680 |  248682   25760  5122962   198.9 |  0.000 % |
c |     38737 |  237715   478680 |  273551   38737  8543560   220.6 |  0.000 % |
c |     58200 |  237715   478680 |  300906   58200 13346325   229.3 |  0.000 % |
c |     87394 |  237715   478680 |  330996   87394 18565662   212.4 |  0.000 % |
c |    131185 |  237715   478680 |  364096  131185 27153657   207.0 |  0.000 % |

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/25242/stat): 25242 (minisat+_script) R 25241 25242 17733 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1727136481 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25242/statm): 174 3 169 147 0 27 0
[pid=25242] 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=25243
New process pid=25244
New process pid=25245
execve syscall for /bin/sed executable
One traced child (pid=25244) 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=25245) exited with status: 0
One traced child (pid=25243) exited with status: 0
New process pid=25246
execve syscall for /oldhome/oroussel/solvers/minisat+_64-bit_static executable
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb

[startup+10.0035 s]
Raw data (loadavg): 0.55 0.76 0.90 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 893 59 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223040 134551908 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 9.52
Current children cumulated vsize (Kb) 62120

[startup+20.0043 s]
Raw data (loadavg): 0.62 0.77 0.90 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 1893 59 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 19.52
Current children cumulated vsize (Kb) 62120

[startup+30.0051 s]
Raw data (loadavg): 0.68 0.77 0.90 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 2893 59 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 29.52
Current children cumulated vsize (Kb) 62120

[startup+40.0059 s]
Raw data (loadavg): 0.73 0.78 0.90 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 3893 59 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223100 134558255 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 39.52
Current children cumulated vsize (Kb) 62120

[startup+50.0076 s]
Raw data (loadavg): 0.77 0.79 0.90 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 4892 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223136 134554687 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 49.52
Current children cumulated vsize (Kb) 62120

[startup+60.0084 s]
Raw data (loadavg): 0.80 0.79 0.90 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 5893 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 59.53
Current children cumulated vsize (Kb) 62120

[startup+70.0082 s]
Raw data (loadavg): 0.83 0.80 0.90 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 6893 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 69.53
Current children cumulated vsize (Kb) 62120

[startup+80.009 s]
Raw data (loadavg): 0.86 0.81 0.90 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 7893 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558187 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 79.53
Current children cumulated vsize (Kb) 62120

[startup+90.0098 s]
Raw data (loadavg): 0.88 0.81 0.90 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 8893 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223072 134562104 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 89.53
Current children cumulated vsize (Kb) 62120

[startup+100.011 s]
Raw data (loadavg): 0.90 0.82 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 9894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 99.54
Current children cumulated vsize (Kb) 62120

[startup+110.011 s]
Raw data (loadavg): 0.91 0.82 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 10894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223088 134562225 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 109.54
Current children cumulated vsize (Kb) 62120

[startup+120.012 s]
Raw data (loadavg): 0.93 0.83 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 11894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223072 134557612 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 119.54
Current children cumulated vsize (Kb) 62120

[startup+130.013 s]
Raw data (loadavg): 0.94 0.83 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 12894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 129.54
Current children cumulated vsize (Kb) 62120

[startup+140.014 s]
Raw data (loadavg): 0.95 0.84 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 13894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 139.54
Current children cumulated vsize (Kb) 62120

[startup+150.016 s]
Raw data (loadavg): 0.95 0.84 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 14894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 149.54
Current children cumulated vsize (Kb) 62120

[startup+160.016 s]
Raw data (loadavg): 0.96 0.85 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 15894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 159.54
Current children cumulated vsize (Kb) 62120

[startup+170.016 s]
Raw data (loadavg): 0.97 0.85 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 16894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 169.54
Current children cumulated vsize (Kb) 62120

[startup+180.017 s]
Raw data (loadavg): 0.97 0.86 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 17894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558232 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0
[pid=25246] vsize: 59996
Current children cumulated CPU time (s) 179.54
Current children cumulated vsize (Kb) 62120

[startup+190.018 s]
Raw data (loadavg): 0.97 0.86 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 15218 0 0 0 18889 62 0 0 25 0 1 0 1727136486 62615552 15161 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 15287 15161 145 145 0 15142 0
[pid=25246] vsize: 61148
Current children cumulated CPU time (s) 189.51
Current children cumulated vsize (Kb) 63272

[startup+200.018 s]
Raw data (loadavg): 0.98 0.87 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 15538 0 0 0 19883 65 0 0 25 0 1 0 1727136486 63926272 15481 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 15607 15481 145 145 0 15462 0
[pid=25246] vsize: 62428
Current children cumulated CPU time (s) 199.48
Current children cumulated vsize (Kb) 64552

[startup+210.019 s]
Raw data (loadavg): 0.98 0.87 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 15874 0 0 0 20878 68 0 0 25 0 1 0 1727136486 65327104 15817 4294967295 134512640 135094434 3221224448 3221223104 134557866 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 15949 15817 145 145 0 15804 0
[pid=25246] vsize: 63796
Current children cumulated CPU time (s) 209.46
Current children cumulated vsize (Kb) 65920

[startup+220.02 s]
Raw data (loadavg): 0.98 0.87 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 16214 0 0 0 21873 69 0 0 25 0 1 0 1727136486 66752512 16157 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 16297 16157 145 145 0 16152 0
[pid=25246] vsize: 65188
Current children cumulated CPU time (s) 219.42
Current children cumulated vsize (Kb) 67312

[startup+230.021 s]
Raw data (loadavg): 0.99 0.88 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 16475 0 0 0 22868 71 0 0 25 0 1 0 1727136486 67837952 16418 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 16562 16418 145 145 0 16417 0
[pid=25246] vsize: 66248
Current children cumulated CPU time (s) 229.39
Current children cumulated vsize (Kb) 68372

[startup+240.022 s]
Raw data (loadavg): 0.99 0.88 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 16706 0 0 0 23865 72 0 0 25 0 1 0 1727136486 68800512 16649 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 16797 16649 145 145 0 16652 0
[pid=25246] vsize: 67188
Current children cumulated CPU time (s) 239.37
Current children cumulated vsize (Kb) 69312

[startup+250.022 s]
Raw data (loadavg): 0.99 0.88 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 17030 0 0 0 24860 75 0 0 25 0 1 0 1727136486 70164480 16973 4294967295 134512640 135094434 3221224448 3221223072 134557737 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 17130 16973 145 145 0 16985 0
[pid=25246] vsize: 68520
Current children cumulated CPU time (s) 249.35
Current children cumulated vsize (Kb) 70644

[startup+260.023 s]
Raw data (loadavg): 0.99 0.89 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 17365 0 0 0 25853 78 0 0 25 0 1 0 1727136486 71602176 17308 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 17481 17308 145 145 0 17336 0
[pid=25246] vsize: 69924
Current children cumulated CPU time (s) 259.31
Current children cumulated vsize (Kb) 72048

[startup+270.023 s]
Raw data (loadavg): 0.99 0.89 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 17738 0 0 0 26846 81 0 0 25 0 1 0 1727136486 73129984 17681 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/25246/statm): 17854 17681 145 145 0 17709 0
[pid=25246] vsize: 71416
Current children cumulated CPU time (s) 269.27
Current children cumulated vsize (Kb) 73540

[startup+280.024 s]
Raw data (loadavg): 0.99 0.89 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 18033 0 0 0 27841 83 0 0 25 0 1 0 1727136486 74330112 17976 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/25246/statm): 18147 17976 145 145 0 18002 0
[pid=25246] vsize: 72588
Current children cumulated CPU time (s) 279.24
Current children cumulated vsize (Kb) 74712

[startup+290.024 s]
Raw data (loadavg): 0.99 0.90 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 18339 0 0 0 28836 85 0 0 25 0 1 0 1727136486 75603968 18282 4294967295 134512640 135094434 3221224448 3221223104 134557863 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 18458 18282 145 145 0 18313 0
[pid=25246] vsize: 73832
Current children cumulated CPU time (s) 289.21
Current children cumulated vsize (Kb) 75956

[startup+300.025 s]
Raw data (loadavg): 0.99 0.90 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 18594 0 0 0 29832 86 0 0 25 0 1 0 1727136486 76660736 18537 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 18716 18537 145 145 0 18571 0
[pid=25246] vsize: 74864
Current children cumulated CPU time (s) 299.18
Current children cumulated vsize (Kb) 76988

[startup+310.026 s]
Raw data (loadavg): 0.99 0.90 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 18887 0 0 0 30827 88 0 0 25 0 1 0 1727136486 77864960 18830 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 19010 18830 145 145 0 18865 0
[pid=25246] vsize: 76040
Current children cumulated CPU time (s) 309.15
Current children cumulated vsize (Kb) 78164

[startup+320.026 s]
Raw data (loadavg): 0.99 0.90 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 19172 0 0 0 31822 91 0 0 25 0 1 0 1727136486 79040512 19115 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 19297 19115 145 145 0 19152 0
[pid=25246] vsize: 77188
Current children cumulated CPU time (s) 319.13
Current children cumulated vsize (Kb) 79312

[startup+330.028 s]
Raw data (loadavg): 0.99 0.91 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 19453 0 0 0 32818 93 0 0 25 0 1 0 1727136486 80207872 19396 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 19582 19396 145 145 0 19437 0
[pid=25246] vsize: 78328
Current children cumulated CPU time (s) 329.11
Current children cumulated vsize (Kb) 80452

[startup+340.028 s]
Raw data (loadavg): 0.99 0.91 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 19802 0 0 0 33815 94 0 0 25 0 1 0 1727136486 82042880 19745 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 20030 19745 145 145 0 19885 0
[pid=25246] vsize: 80120
Current children cumulated CPU time (s) 339.09
Current children cumulated vsize (Kb) 82244

[startup+350.029 s]
Raw data (loadavg): 0.99 0.91 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 19961 0 0 0 34814 95 0 0 25 0 1 0 1727136486 82694144 19904 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 20189 19904 145 145 0 20044 0
[pid=25246] vsize: 80756
Current children cumulated CPU time (s) 349.09
Current children cumulated vsize (Kb) 82880

[startup+360.03 s]
Raw data (loadavg): 0.99 0.91 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 20203 0 0 0 35810 96 0 0 25 0 1 0 1727136486 83709952 20146 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 20437 20146 145 145 0 20292 0
[pid=25246] vsize: 81748
Current children cumulated CPU time (s) 359.06
Current children cumulated vsize (Kb) 83872

[startup+370.031 s]
Raw data (loadavg): 0.99 0.92 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 20434 0 0 0 36806 98 0 0 25 0 1 0 1727136486 84697088 20377 4294967295 134512640 135094434 3221224448 3221223136 134554731 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 20678 20377 145 145 0 20533 0
[pid=25246] vsize: 82712
Current children cumulated CPU time (s) 369.04
Current children cumulated vsize (Kb) 84836

[startup+380.032 s]
Raw data (loadavg): 0.99 0.92 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 20653 0 0 0 37803 99 0 0 25 0 1 0 1727136486 85598208 20596 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 20898 20596 145 145 0 20753 0
[pid=25246] vsize: 83592
Current children cumulated CPU time (s) 379.02
Current children cumulated vsize (Kb) 85716

[startup+390.032 s]
Raw data (loadavg): 0.99 0.92 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 20863 0 0 0 38799 101 0 0 25 0 1 0 1727136486 86487040 20806 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 21115 20806 145 145 0 20970 0
[pid=25246] vsize: 84460
Current children cumulated CPU time (s) 389
Current children cumulated vsize (Kb) 86584

[startup+400.033 s]
Raw data (loadavg): 0.99 0.92 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 21078 0 0 0 39796 102 0 0 25 0 1 0 1727136486 87400448 21021 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 21338 21021 145 145 0 21193 0
[pid=25246] vsize: 85352
Current children cumulated CPU time (s) 398.98
Current children cumulated vsize (Kb) 87476

[startup+410.034 s]
Raw data (loadavg): 0.99 0.92 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 21300 0 0 0 40792 103 0 0 25 0 1 0 1727136486 88317952 21243 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 21562 21243 145 145 0 21417 0
[pid=25246] vsize: 86248
Current children cumulated CPU time (s) 408.95
Current children cumulated vsize (Kb) 88372

[startup+420.034 s]
Raw data (loadavg): 0.99 0.93 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 21522 0 0 0 41789 106 0 0 25 0 1 0 1727136486 89219072 21465 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 21782 21465 145 145 0 21637 0
[pid=25246] vsize: 87128
Current children cumulated CPU time (s) 418.95
Current children cumulated vsize (Kb) 89252

[startup+430.036 s]
Raw data (loadavg): 0.99 0.93 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 21699 0 0 0 42786 107 0 0 25 0 1 0 1727136486 89935872 21642 4294967295 134512640 135094434 3221224448 3221223120 134555839 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 21957 21642 145 145 0 21812 0
[pid=25246] vsize: 87828
Current children cumulated CPU time (s) 428.93
Current children cumulated vsize (Kb) 89952

[startup+440.036 s]
Raw data (loadavg): 0.99 0.93 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 21892 0 0 0 43782 108 0 0 25 0 1 0 1727136486 90726400 21835 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 22150 21835 145 145 0 22005 0
[pid=25246] vsize: 88600
Current children cumulated CPU time (s) 438.9
Current children cumulated vsize (Kb) 90724

[startup+450.036 s]
Raw data (loadavg): 0.99 0.93 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 22095 0 0 0 44779 110 0 0 25 0 1 0 1727136486 91549696 22038 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 22351 22038 145 145 0 22206 0
[pid=25246] vsize: 89404
Current children cumulated CPU time (s) 448.89
Current children cumulated vsize (Kb) 91528

[startup+460.037 s]
Raw data (loadavg): 0.99 0.93 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 22292 0 0 0 45777 111 0 0 25 0 1 0 1727136486 92348416 22235 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 22546 22235 145 145 0 22401 0
[pid=25246] vsize: 90184
Current children cumulated CPU time (s) 458.88
Current children cumulated vsize (Kb) 92308

[startup+470.038 s]
Raw data (loadavg): 0.99 0.94 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 22539 0 0 0 46773 112 0 0 25 0 1 0 1727136486 93356032 22482 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 22792 22482 145 145 0 22647 0
[pid=25246] vsize: 91168
Current children cumulated CPU time (s) 468.85
Current children cumulated vsize (Kb) 93292

[startup+480.038 s]
Raw data (loadavg): 0.99 0.94 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 22757 0 0 0 47770 114 0 0 25 0 1 0 1727136486 94261248 22700 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 23013 22700 145 145 0 22868 0
[pid=25246] vsize: 92052
Current children cumulated CPU time (s) 478.84
Current children cumulated vsize (Kb) 94176

[startup+490.039 s]
Raw data (loadavg): 0.99 0.94 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 22978 0 0 0 48766 116 0 0 25 0 1 0 1727136486 95158272 22921 4294967295 134512640 135094434 3221224448 3221223104 134558013 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 23232 22921 145 145 0 23087 0
[pid=25246] vsize: 92928
Current children cumulated CPU time (s) 488.82
Current children cumulated vsize (Kb) 95052

[startup+500.04 s]
Raw data (loadavg): 0.99 0.94 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 23167 0 0 0 49762 117 0 0 25 0 1 0 1727136486 95952896 23110 4294967295 134512640 135094434 3221224448 3221223080 134557561 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 23426 23110 145 145 0 23281 0
[pid=25246] vsize: 93704
Current children cumulated CPU time (s) 498.79
Current children cumulated vsize (Kb) 95828

[startup+510.041 s]
Raw data (loadavg): 0.99 0.94 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 23424 0 0 0 50758 119 0 0 25 0 1 0 1727136486 97009664 23367 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 23684 23367 145 145 0 23539 0
[pid=25246] vsize: 94736
Current children cumulated CPU time (s) 508.77
Current children cumulated vsize (Kb) 96860

[startup+520.041 s]
Raw data (loadavg): 0.99 0.94 0.91 1/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) T 25242 25242 17733 0 -1 0 23627 0 0 0 51753 121 0 0 25 0 1 0 1727136486 97832960 23570 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 1 0 0
Raw data (/proc/25246/statm): 23885 23570 145 145 0 23740 0
[pid=25246] vsize: 95540
Current children cumulated CPU time (s) 518.74
Current children cumulated vsize (Kb) 97664

[startup+530.042 s]
Raw data (loadavg): 0.99 0.94 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 23842 0 0 0 52749 123 0 0 25 0 1 0 1727136486 98721792 23785 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 24102 23785 145 145 0 23957 0
[pid=25246] vsize: 96408
Current children cumulated CPU time (s) 528.72
Current children cumulated vsize (Kb) 98532

[startup+540.043 s]
Raw data (loadavg): 0.99 0.95 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24017 0 0 0 53745 125 0 0 25 0 1 0 1727136486 99446784 23960 4294967295 134512640 135094434 3221224448 3221223104 134558178 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 24279 23960 145 145 0 24134 0
[pid=25246] vsize: 97116
Current children cumulated CPU time (s) 538.7
Current children cumulated vsize (Kb) 99240

[startup+550.044 s]
Raw data (loadavg): 0.99 0.95 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24238 0 0 0 54742 126 0 0 25 0 1 0 1727136486 100347904 24181 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/25246/statm): 24499 24181 145 145 0 24354 0
[pid=25246] vsize: 97996
Current children cumulated CPU time (s) 548.68
Current children cumulated vsize (Kb) 100120

[startup+560.045 s]
Raw data (loadavg): 0.99 0.95 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24427 0 0 0 55737 128 0 0 25 0 1 0 1727136486 101113856 24370 4294967295 134512640 135094434 3221224448 3221223104 134558178 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 24686 24370 145 145 0 24541 0
[pid=25246] vsize: 98744
Current children cumulated CPU time (s) 558.65
Current children cumulated vsize (Kb) 100868

[startup+570.045 s]
Raw data (loadavg): 0.99 0.95 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24586 0 0 0 56734 129 0 0 25 0 1 0 1727136486 101761024 24529 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 24844 24529 145 145 0 24699 0
[pid=25246] vsize: 99376
Current children cumulated CPU time (s) 568.63
Current children cumulated vsize (Kb) 101500

[startup+580.045 s]
Raw data (loadavg): 0.99 0.95 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24762 0 0 0 57730 131 0 0 25 0 1 0 1727136486 102469632 24705 4294967295 134512640 135094434 3221224448 3221223104 134558141 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 25017 24705 145 145 0 24872 0
[pid=25246] vsize: 100068
Current children cumulated CPU time (s) 578.61
Current children cumulated vsize (Kb) 102192

[startup+590.046 s]
Raw data (loadavg): 0.99 0.95 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24961 0 0 0 58726 133 0 0 25 0 1 0 1727136486 103292928 24904 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 25218 24904 145 145 0 25073 0
[pid=25246] vsize: 100872
Current children cumulated CPU time (s) 588.59
Current children cumulated vsize (Kb) 102996

[startup+600.046 s]
Raw data (loadavg): 0.99 0.95 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 25157 0 0 0 59723 134 0 0 25 0 1 0 1727136486 104108032 25100 4294967295 134512640 135094434 3221224448 3221223104 134558178 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 25417 25100 145 145 0 25272 0
[pid=25246] vsize: 101668
Current children cumulated CPU time (s) 598.57
Current children cumulated vsize (Kb) 103792

[startup+610.047 s]
Raw data (loadavg): 0.99 0.95 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 25359 0 0 0 60719 136 0 0 25 0 1 0 1727136486 104931328 25302 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 25618 25302 145 145 0 25473 0
[pid=25246] vsize: 102472
Current children cumulated CPU time (s) 608.55
Current children cumulated vsize (Kb) 104596

[startup+620.047 s]
Raw data (loadavg): 0.99 0.95 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 25596 0 0 0 61714 138 0 0 25 0 1 0 1727136486 105889792 25539 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 25852 25539 145 145 0 25707 0
[pid=25246] vsize: 103408
Current children cumulated CPU time (s) 618.52
Current children cumulated vsize (Kb) 105532

[startup+630.048 s]
Raw data (loadavg): 0.99 0.95 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 25785 0 0 0 62711 139 0 0 25 0 1 0 1727136486 106639360 25728 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 26035 25728 145 145 0 25890 0
[pid=25246] vsize: 104140
Current children cumulated CPU time (s) 628.5
Current children cumulated vsize (Kb) 106264

[startup+640.049 s]
Raw data (loadavg): 0.99 0.96 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 25951 0 0 0 63709 141 0 0 25 0 1 0 1727136486 107311104 25894 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 26199 25894 145 145 0 26054 0
[pid=25246] vsize: 104796
Current children cumulated CPU time (s) 638.5
Current children cumulated vsize (Kb) 106920

[startup+650.049 s]
Raw data (loadavg): 0.99 0.96 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26113 0 0 0 64706 142 0 0 25 0 1 0 1727136486 107982848 26056 4294967295 134512640 135094434 3221224448 3221223104 134558016 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 26363 26056 145 145 0 26218 0
[pid=25246] vsize: 105452
Current children cumulated CPU time (s) 648.48
Current children cumulated vsize (Kb) 107576

[startup+660.05 s]
Raw data (loadavg): 0.99 0.96 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26303 0 0 0 65704 143 0 0 25 0 1 0 1727136486 108769280 26246 4294967295 134512640 135094434 3221224448 3221223104 134558249 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 26555 26246 145 145 0 26410 0
[pid=25246] vsize: 106220
Current children cumulated CPU time (s) 658.47
Current children cumulated vsize (Kb) 108344

[startup+670.05 s]
Raw data (loadavg): 0.99 0.96 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26468 0 0 0 66701 145 0 0 25 0 1 0 1727136486 109432832 26411 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 26717 26411 145 145 0 26572 0
[pid=25246] vsize: 106868
Current children cumulated CPU time (s) 668.46
Current children cumulated vsize (Kb) 108992

[startup+680.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26641 0 0 0 67698 146 0 0 25 0 1 0 1727136486 110141440 26584 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 26890 26584 145 145 0 26745 0
[pid=25246] vsize: 107560
Current children cumulated CPU time (s) 678.44
Current children cumulated vsize (Kb) 109684

[startup+690.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26802 0 0 0 68696 147 0 0 25 0 1 0 1727136486 110825472 26745 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 27057 26745 145 145 0 26912 0
[pid=25246] vsize: 108228
Current children cumulated CPU time (s) 688.43
Current children cumulated vsize (Kb) 110352

[startup+700.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26959 0 0 0 69694 148 0 0 25 0 1 0 1727136486 111452160 26902 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 27210 26902 145 145 0 27065 0
[pid=25246] vsize: 108840
Current children cumulated CPU time (s) 698.42
Current children cumulated vsize (Kb) 110964

[startup+710.053 s]
Raw data (loadavg): 0.99 0.96 0.91 1/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) T 25242 25242 17733 0 -1 0 27088 0 0 0 70693 148 0 0 25 0 1 0 1727136486 112001024 27031 4294967295 134512640 135094434 3221224448 3221222796 134870330 0 0 5 16386 3222434794 0 0 17 1 0 0
Raw data (/proc/25246/statm): 27344 27031 145 145 0 27199 0
[pid=25246] vsize: 109376
Current children cumulated CPU time (s) 708.41
Current children cumulated vsize (Kb) 111500

[startup+720.053 s]
Raw data (loadavg): 0.99 0.96 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27204 0 0 0 71691 149 0 0 25 0 1 0 1727136486 112504832 27147 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 27467 27147 145 145 0 27322 0
[pid=25246] vsize: 109868
Current children cumulated CPU time (s) 718.4
Current children cumulated vsize (Kb) 111992

[startup+730.054 s]
Raw data (loadavg): 0.99 0.96 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27346 0 0 0 72689 150 0 0 25 0 1 0 1727136486 113119232 27289 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 27617 27289 145 145 0 27472 0
[pid=25246] vsize: 110468
Current children cumulated CPU time (s) 728.39
Current children cumulated vsize (Kb) 112592

[startup+740.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27510 0 0 0 73686 152 0 0 25 0 1 0 1727136486 113786880 27453 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 27780 27453 145 145 0 27635 0
[pid=25246] vsize: 111120
Current children cumulated CPU time (s) 738.38
Current children cumulated vsize (Kb) 113244

[startup+750.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27648 0 0 0 74684 153 0 0 25 0 1 0 1727136486 114343936 27591 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 27916 27591 145 145 0 27771 0
[pid=25246] vsize: 111664
Current children cumulated CPU time (s) 748.37
Current children cumulated vsize (Kb) 113788

[startup+760.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27778 0 0 0 75681 154 0 0 25 0 1 0 1727136486 114933760 27721 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 28060 27721 145 145 0 27915 0
[pid=25246] vsize: 112240
Current children cumulated CPU time (s) 758.35
Current children cumulated vsize (Kb) 114364

[startup+770.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27908 0 0 0 76679 155 0 0 25 0 1 0 1727136486 115453952 27851 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 28187 27851 145 145 0 28042 0
[pid=25246] vsize: 112748
Current children cumulated CPU time (s) 768.34
Current children cumulated vsize (Kb) 114872

[startup+780.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28065 0 0 0 77675 156 0 0 25 0 1 0 1727136486 116113408 28008 4294967295 134512640 135094434 3221224448 3221223104 134558022 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 28348 28008 145 145 0 28203 0
[pid=25246] vsize: 113392
Current children cumulated CPU time (s) 778.31
Current children cumulated vsize (Kb) 115516

[startup+790.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28208 0 0 0 78672 158 0 0 25 0 1 0 1727136486 116707328 28151 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 28493 28151 145 145 0 28348 0
[pid=25246] vsize: 113972
Current children cumulated CPU time (s) 788.3
Current children cumulated vsize (Kb) 116096

[startup+800.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28381 0 0 0 79670 159 0 0 25 0 1 0 1727136486 117424128 28324 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 28668 28324 145 145 0 28523 0
[pid=25246] vsize: 114672
Current children cumulated CPU time (s) 798.29
Current children cumulated vsize (Kb) 116796

[startup+810.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28513 0 0 0 80668 159 0 0 25 0 1 0 1727136486 117981184 28456 4294967295 134512640 135094434 3221224448 3221223136 134554728 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 28804 28456 145 145 0 28659 0
[pid=25246] vsize: 115216
Current children cumulated CPU time (s) 808.27
Current children cumulated vsize (Kb) 117340

[startup+820.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28652 0 0 0 81666 160 0 0 25 0 1 0 1727136486 118542336 28595 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 28941 28595 145 145 0 28796 0
[pid=25246] vsize: 115764
Current children cumulated CPU time (s) 818.26
Current children cumulated vsize (Kb) 117888

[startup+830.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28779 0 0 0 82664 161 0 0 25 0 1 0 1727136486 119066624 28722 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 29069 28722 145 145 0 28924 0
[pid=25246] vsize: 116276
Current children cumulated CPU time (s) 828.25
Current children cumulated vsize (Kb) 118400

[startup+840.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28905 0 0 0 83662 163 0 0 25 0 1 0 1727136486 119582720 28848 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 29195 28848 145 145 0 29050 0
[pid=25246] vsize: 116780
Current children cumulated CPU time (s) 838.25
Current children cumulated vsize (Kb) 118904

[startup+850.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29028 0 0 0 84661 163 0 0 25 0 1 0 1727136486 120098816 28971 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 29321 28971 145 145 0 29176 0
[pid=25246] vsize: 117284
Current children cumulated CPU time (s) 848.24
Current children cumulated vsize (Kb) 119408

[startup+860.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29154 0 0 0 85659 164 0 0 25 0 1 0 1727136486 120602624 29097 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 29444 29097 145 145 0 29299 0
[pid=25246] vsize: 117776
Current children cumulated CPU time (s) 858.23
Current children cumulated vsize (Kb) 119900

[startup+870.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29286 0 0 0 86656 166 0 0 25 0 1 0 1727136486 121135104 29229 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 29574 29229 145 145 0 29429 0
[pid=25246] vsize: 118296
Current children cumulated CPU time (s) 868.22
Current children cumulated vsize (Kb) 120420

[startup+880.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29434 0 0 0 87654 166 0 0 25 0 1 0 1727136486 121741312 29377 4294967295 134512640 135094434 3221224448 3221223104 134558126 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 29722 29377 145 145 0 29577 0
[pid=25246] vsize: 118888
Current children cumulated CPU time (s) 878.2
Current children cumulated vsize (Kb) 121012

[startup+890.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29570 0 0 0 88652 167 0 0 25 0 1 0 1727136486 122331136 29513 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 29866 29513 145 145 0 29721 0
[pid=25246] vsize: 119464
Current children cumulated CPU time (s) 888.19
Current children cumulated vsize (Kb) 121588

[startup+900.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29703 0 0 0 89651 168 0 0 25 0 1 0 1727136486 122863616 29646 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 29996 29646 145 145 0 29851 0
[pid=25246] vsize: 119984
Current children cumulated CPU time (s) 898.19
Current children cumulated vsize (Kb) 122108

[startup+910.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29864 0 0 0 90648 169 0 0 25 0 1 0 1727136486 123527168 29807 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 30158 29807 145 145 0 30013 0
[pid=25246] vsize: 120632
Current children cumulated CPU time (s) 908.17
Current children cumulated vsize (Kb) 122756

[startup+920.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30027 0 0 0 91646 170 0 0 25 0 1 0 1727136486 124190720 29970 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 30320 29970 145 145 0 30175 0
[pid=25246] vsize: 121280
Current children cumulated CPU time (s) 918.16
Current children cumulated vsize (Kb) 123404

[startup+930.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30170 0 0 0 92644 170 0 0 25 0 1 0 1727136486 124805120 30113 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 30470 30113 145 145 0 30325 0
[pid=25246] vsize: 121880
Current children cumulated CPU time (s) 928.14
Current children cumulated vsize (Kb) 124004

[startup+940.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30271 0 0 0 93641 171 0 0 25 0 1 0 1727136486 125239296 30214 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 30576 30214 145 145 0 30431 0
[pid=25246] vsize: 122304
Current children cumulated CPU time (s) 938.12
Current children cumulated vsize (Kb) 124428

[startup+950.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30375 0 0 0 94640 172 0 0 25 0 1 0 1727136486 125689856 30318 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 30686 30318 145 145 0 30541 0
[pid=25246] vsize: 122744
Current children cumulated CPU time (s) 948.12
Current children cumulated vsize (Kb) 124868

[startup+960.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30489 0 0 0 95638 173 0 0 25 0 1 0 1727136486 126173184 30432 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 30804 30432 145 145 0 30659 0
[pid=25246] vsize: 123216
Current children cumulated CPU time (s) 958.11
Current children cumulated vsize (Kb) 125340

[startup+970.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30636 0 0 0 96635 174 0 0 25 0 1 0 1727136486 126763008 30579 4294967295 134512640 135094434 3221224448 3221223104 134558187 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 30948 30579 145 145 0 30803 0
[pid=25246] vsize: 123792
Current children cumulated CPU time (s) 968.09
Current children cumulated vsize (Kb) 125916

[startup+980.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30800 0 0 0 97633 175 0 0 25 0 1 0 1727136486 127430656 30743 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 31111 30743 145 145 0 30966 0
[pid=25246] vsize: 124444
Current children cumulated CPU time (s) 978.08
Current children cumulated vsize (Kb) 126568

[startup+990.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30934 0 0 0 98631 176 0 0 25 0 1 0 1727136486 127950848 30877 4294967295 134512640 135094434 3221224448 3221223120 134556252 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 31238 30877 145 145 0 31093 0
[pid=25246] vsize: 124952
Current children cumulated CPU time (s) 988.07
Current children cumulated vsize (Kb) 127076

[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31049 0 0 0 99629 176 0 0 25 0 1 0 1727136486 128409600 30992 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 31350 30992 145 145 0 31205 0
[pid=25246] vsize: 125400
Current children cumulated CPU time (s) 998.05
Current children cumulated vsize (Kb) 127524

[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31167 0 0 0 100628 177 0 0 25 0 1 0 1727136486 128917504 31110 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 31474 31110 145 145 0 31329 0
[pid=25246] vsize: 125896
Current children cumulated CPU time (s) 1008.05
Current children cumulated vsize (Kb) 128020

[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31261 0 0 0 101626 178 0 0 25 0 1 0 1727136486 129302528 31204 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 31568 31204 145 145 0 31423 0
[pid=25246] vsize: 126272
Current children cumulated CPU time (s) 1018.04
Current children cumulated vsize (Kb) 128396

[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31373 0 0 0 102624 179 0 0 25 0 1 0 1727136486 129785856 31316 4294967295 134512640 135094434 3221224448 3221223104 134558221 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 31686 31316 145 145 0 31541 0
[pid=25246] vsize: 126744
Current children cumulated CPU time (s) 1028.03
Current children cumulated vsize (Kb) 128868

[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31502 0 0 0 103621 180 0 0 25 0 1 0 1727136486 130306048 31445 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 31813 31445 145 145 0 31668 0
[pid=25246] vsize: 127252
Current children cumulated CPU time (s) 1038.01
Current children cumulated vsize (Kb) 129376

[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31610 0 0 0 104619 181 0 0 25 0 1 0 1727136486 130740224 31553 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 31919 31553 145 145 0 31774 0
[pid=25246] vsize: 127676
Current children cumulated CPU time (s) 1048
Current children cumulated vsize (Kb) 129800

[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31727 0 0 0 105617 182 0 0 25 0 1 0 1727136486 131223552 31670 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 32037 31670 145 145 0 31892 0
[pid=25246] vsize: 128148
Current children cumulated CPU time (s) 1057.99
Current children cumulated vsize (Kb) 130272

[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31855 0 0 0 106615 183 0 0 25 0 1 0 1727136486 131739648 31798 4294967295 134512640 135094434 3221224448 3221223040 134557202 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 32163 31798 145 145 0 32018 0
[pid=25246] vsize: 128652
Current children cumulated CPU time (s) 1067.98
Current children cumulated vsize (Kb) 130776

[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31999 0 0 0 107614 184 0 0 25 0 1 0 1727136486 132403200 31942 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 32325 31942 145 145 0 32180 0
[pid=25246] vsize: 129300
Current children cumulated CPU time (s) 1077.98
Current children cumulated vsize (Kb) 131424

[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32126 0 0 0 108612 185 0 0 25 0 1 0 1727136486 132923392 32069 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 32452 32069 145 145 0 32307 0
[pid=25246] vsize: 129808
Current children cumulated CPU time (s) 1087.97
Current children cumulated vsize (Kb) 131932

[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32281 0 0 0 109609 186 0 0 25 0 1 0 1727136486 133558272 32224 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 32607 32224 145 145 0 32462 0
[pid=25246] vsize: 130428
Current children cumulated CPU time (s) 1097.95
Current children cumulated vsize (Kb) 132552

[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32476 0 0 0 110606 187 0 0 25 0 1 0 1727136486 134356992 32419 4294967295 134512640 135094434 3221224448 3221223104 134558235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 32802 32419 145 145 0 32657 0
[pid=25246] vsize: 131208
Current children cumulated CPU time (s) 1107.93
Current children cumulated vsize (Kb) 133332

[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32624 0 0 0 111604 188 0 0 25 0 1 0 1727136486 134995968 32567 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 32958 32567 145 145 0 32813 0
[pid=25246] vsize: 131832
Current children cumulated CPU time (s) 1117.92
Current children cumulated vsize (Kb) 133956

[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32768 0 0 0 112601 189 0 0 25 0 1 0 1727136486 135598080 32711 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 33105 32711 145 145 0 32960 0
[pid=25246] vsize: 132420
Current children cumulated CPU time (s) 1127.9
Current children cumulated vsize (Kb) 134544

[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32956 0 0 0 113598 191 0 0 25 0 1 0 1727136486 136372224 32899 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 33294 32899 145 145 0 33149 0
[pid=25246] vsize: 133176
Current children cumulated CPU time (s) 1137.89
Current children cumulated vsize (Kb) 135300

[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33073 0 0 0 114596 192 0 0 25 0 1 0 1727136486 136863744 33016 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 33414 33016 145 145 0 33269 0
[pid=25246] vsize: 133656
Current children cumulated CPU time (s) 1147.88
Current children cumulated vsize (Kb) 135780

[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33163 0 0 0 115594 192 0 0 25 0 1 0 1727136486 137232384 33106 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 33504 33106 145 145 0 33359 0
[pid=25246] vsize: 134016
Current children cumulated CPU time (s) 1157.86
Current children cumulated vsize (Kb) 136140

[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33253 0 0 0 116593 193 0 0 25 0 1 0 1727136486 137621504 33196 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 33599 33196 145 145 0 33454 0
[pid=25246] vsize: 134396
Current children cumulated CPU time (s) 1167.86
Current children cumulated vsize (Kb) 136520

[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33387 0 0 0 117592 193 0 0 25 0 1 0 1727136486 138182656 33330 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 33736 33330 145 145 0 33591 0
[pid=25246] vsize: 134944
Current children cumulated CPU time (s) 1177.85
Current children cumulated vsize (Kb) 137068

[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33546 0 0 0 118590 194 0 0 25 0 1 0 1727136486 139354112 33489 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 34022 33489 145 145 0 33877 0
[pid=25246] vsize: 136088
Current children cumulated CPU time (s) 1187.84
Current children cumulated vsize (Kb) 138212

[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33718 0 0 0 119587 195 0 0 25 0 1 0 1727136486 140095488 33661 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 34203 33661 145 145 0 34058 0
[pid=25246] vsize: 136812
Current children cumulated CPU time (s) 1197.82
Current children cumulated vsize (Kb) 138936

[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33854 0 0 0 120586 196 0 0 25 0 1 0 1727136486 140656640 33797 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 34340 33797 145 145 0 34195 0
[pid=25246] vsize: 137360
Current children cumulated CPU time (s) 1207.82
Current children cumulated vsize (Kb) 139484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 25246
Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/25242/statm): 531 226 485 147 0 384 0
[pid=25242] vsize: 2124
Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33854 0 0 0 120586 196 0 0 25 0 1 0 1727136486 140656640 33797 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/25246/statm): 34340 33797 145 145 0 34195 0
[pid=25246] vsize: 137360
Current children cumulated CPU time (s) 1207.82
Current children cumulated vsize (Kb) 139484

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

Child status: 0
Real time (s): 1210.15
CPU time (s): 1207.89
CPU user time (s): 1205.86
CPU system time (s): 2.02469
CPU usage (%): 99.8132
Max. virtual memory (cumulated for all children) (Kb): 139484

Verifier Data

ERROR: no interpretation found !