Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUMb7f280d80b52f97899362fbc10d59421
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of terms in the objective function 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1205.82
Number of variables1272
Total number of constraints94308
Number of constraints which are clauses94308
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 2309

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-18 18:52:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2712 boxname=wulflinc15 idbench=368 idsolver=3 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b7f280d80b52f97899362fbc10d59421  /oldhome/oroussel/tmp/wulflinc15/normalized-frb53-24-4.opb
REAL COMMAND:  minisat+_script /oldhome/oroussel/tmp/wulflinc15/normalized-frb53-24-4.opb
IDLAUNCH: 2712
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        914188 kB
Buffers:         33688 kB
Cached:          57488 kB
SwapCached:        692 kB
Active:          52104 kB
Inactive:        41704 kB
HighTotal:      131008 kB
HighFree:        70336 kB
LowTotal:       903652 kB
LowFree:        843852 kB
SwapTotal:     2097136 kB
SwapFree:      2095920 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            20888 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 19:12:16 (client local time) WITH STATUS 10 IN 1207.57 SECONDS
stats: 2712 7 1207.57 10

Solver Data

c Parsing PB file...
c Converting 94308 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 |   94308   188616 |   31436       0        0     nan |  0.000 % |
c ==============================================================================
c Found solution: -35
c ---[   0]---> Sorter-cost:70300     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  169359   364682 |   56453       0        0     nan |  0.000 % |
c |       100 |  168922   363775 |   62098      77      709     9.2 |  0.462 % |
c |       250 |  168305   362472 |   68308     192     1716     8.9 |  1.133 % |
c |       475 |  166978   359599 |   75138     381     5781    15.2 |  2.646 % |
c |       812 |  165218   355749 |   82652     626     8251    13.2 |  4.692 % |
c |      1318 |  162383   349476 |   90918     969    12154    12.5 |  8.056 % |
c |      2077 |  157617   338824 |  100009    1476    17994    12.2 | 13.811 % |
c |      3216 |  151802   325721 |  110010    2318    29720    12.8 | 20.921 % |
c ==============================================================================
c Found solution: -37
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      4326 |  144676   309573 |   48225    3058    38672    12.6 | 20.921 % |
c |      4426 |  144186   308463 |   53047    3120    40617    13.0 | 30.445 % |
c |      4578 |  143238   306289 |   58352    3231    41825    12.9 | 31.640 % |
c |      4803 |  142402   304387 |   64187    3414    43860    12.8 | 32.673 % |
c |      5140 |  140852   300820 |   70606    3633    46525    12.8 | 34.621 % |
c |      5646 |  137216   292423 |   77666    3913    51403    13.1 | 39.212 % |
c |      6405 |  133356   283441 |   85433    4391    54876    12.5 | 44.054 % |
c |      7544 |  127322   269284 |   93976    4922    61075    12.4 | 51.849 % |
c ==============================================================================
c Found solution: -40
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      9035 |  122166   257188 |   40722    5712    68946    12.1 | 51.849 % |
c |      9135 |  121552   255722 |   44794    5751    69272    12.0 | 59.554 % |
c |      9285 |  121245   255012 |   49273    5828    69502    11.9 | 59.945 % |
c |      9510 |  121055   254568 |   54200    6029    72399    12.0 | 60.191 % |
c |      9847 |  120494   253218 |   59621    6279    75507    12.0 | 60.946 % |
c |     10353 |  118916   249506 |   65583    6555    78969    12.0 | 62.996 % |
c |     11112 |  117082   245139 |   72141    7037    85135    12.1 | 65.428 % |
c |     12251 |  114869   239846 |   79355    7741    96400    12.5 | 68.376 % |
c |     13959 |  112196   233396 |   87291    8885   110056    12.4 | 71.966 % |
c |     16523 |  108175   223723 |   96020   10065   142813    14.2 | 77.395 % |
c ==============================================================================
c Found solution: -41
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     19072 |  106303   219239 |   35434   11936   210099    17.6 | 77.395 % |
c |     19172 |  106043   218597 |   38977   11913   208439    17.5 | 80.304 % |
c |     19322 |  105714   217753 |   42875   11980   209621    17.5 | 80.776 % |
c |     19547 |  105655   217612 |   47162   12193   214538    17.6 | 80.854 % |
c ==============================================================================
c Found solution: -42
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     19700 |  105414   216919 |   35138   12302   216558    17.6 | 80.854 % |
c |     19802 |  105209   216406 |   38651   12305   216661    17.6 | 81.471 % |
c |     19953 |  105203   216390 |   42516   12451   220393    17.7 | 81.480 % |
c |     20178 |  105058   216037 |   46768   12580   223266    17.7 | 81.681 % |
c |     20516 |  104867   215577 |   51445   12813   230857    18.0 | 81.941 % |
c |     21023 |  104818   215452 |   56590   13308   264533    19.9 | 82.011 % |
c |     21782 |  104386   214420 |   62249   13800   279516    20.3 | 82.590 % |
c |     22921 |  104213   214009 |   68474   14850   336123    22.6 | 82.822 % |
c |     24629 |  103871   213167 |   75321   16186   396533    24.5 | 83.304 % |
c ==============================================================================
c Found solution: -43
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     26527 |  103755   212908 |   34585   17822   678720    38.1 | 83.304 % |
c |     26627 |  103735   212860 |   38043   17778   677205    38.1 | 83.537 % |
c |     26777 |  103735   212860 |   41847   17928   682500    38.1 | 83.537 % |
c |     27002 |  103433   212117 |   46032   17979   684667    38.1 | 83.965 % |
c ==============================================================================
c Found solution: -44
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     27134 |  103393   211992 |   34464   18086   687939    38.0 | 83.965 % |
c |     27235 |  103393   211992 |   37910   18187   690077    37.9 | 84.028 % |
c |     27385 |  103330   211845 |   41701   18330   694511    37.9 | 84.110 % |
c |     27610 |  103274   211723 |   45871   18540   704605    38.0 | 84.174 % |
c |     27947 |  103174   211495 |   50458   18784   712675    37.9 | 84.298 % |
c |     28453 |  103125   211380 |   55504   19201   738207    38.4 | 84.363 % |
c |     29213 |  103036   211162 |   61055   19929   801117    40.2 | 84.483 % |
c |     30354 |  103036   211162 |   67160   21070   872549    41.4 | 84.483 % |
c |     32062 |  102929   210905 |   73876   22689   978508    43.1 | 84.629 % |
c |     34625 |  102876   210772 |   81264   25209  1290370    51.2 | 84.705 % |
c |     38470 |  102422   209622 |   89390   28495  1592565    55.9 | 85.367 % |
c ==============================================================================
c Found solution: -45
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     42150 |  102402   209586 |   34134   32167  2030327    63.1 | 85.367 % |
c |     42250 |  102360   209480 |   37547   32094  2030566    63.3 | 85.465 % |
c |     42400 |  102360   209480 |   41302   32244  2037497    63.2 | 85.465 % |
c |     42627 |  102312   209368 |   45432   32244  2042126    63.3 | 85.527 % |
c |     42964 |  102312   209368 |   49975   32581  2056632    63.1 | 85.527 % |
c |     43470 |  102291   209319 |   54973   33064  2093079    63.3 | 85.554 % |
c |     44229 |  102285   209305 |   60470   33822  2138960    63.2 | 85.562 % |
c |     45368 |  102285   209305 |   66517   34961  2228762    63.7 | 85.562 % |
c |     47079 |  102253   209229 |   73169   36649  2377893    64.9 | 85.605 % |
c |     49642 |  102161   209013 |   80486   38901  2692898    69.2 | 85.725 % |
c |     53486 |  101926   208427 |   88534   42083  3015186    71.6 | 86.065 % |
c |     59252 |  101926   208427 |   97388   47849  4019284    84.0 | 86.065 % |
c ==============================================================================
c Found solution: -46
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     63656 |  101864   208243 |   33954   52055  4640150    89.1 | 86.065 % |
c |     63756 |  101864   208243 |   37349   52155  4646978    89.1 | 86.150 % |
c |     63906 |  101784   208061 |   41084   52010  4649791    89.4 | 86.249 % |
c |     64133 |  101747   207976 |   45192   52227  4665999    89.3 | 86.295 % |
c |     64471 |  101747   207976 |   49712   52565  4707636    89.6 | 86.295 % |
c |     64979 |  101698   207853 |   54683   53067  4764394    89.8 | 86.367 % |
c |     65739 |  101698   207853 |   60151   53827  4818117    89.5 | 86.367 % |
c |     66878 |  101698   207853 |   66166   54966  4969185    90.4 | 86.367 % |
c |     68586 |  101644   207713 |   72783   56584  5161376    91.2 | 86.451 % |
c |     71148 |  101596   207595 |   80061   59103  5440262    92.0 | 86.515 % |
c |     74993 |  101575   207542 |   88067   62857  5902484    93.9 | 86.546 % |
c |     80759 |  101529   207432 |   96874   68536  6548383    95.5 | 86.608 % |
c |     89409 |  101529   207432 |  106562   77186  7759810   100.5 | 86.608 % |
c |    102383 |  101499   207363 |  117218   89990  9717255   108.0 | 86.643 % |
c ==============================================================================
c Found solution: -47
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    111569 |  101519   207425 |   33839   99175 10870430   109.6 | 86.643 % |
c |    111669 |  101519   207425 |   37222   21174  1649250    77.9 | 86.653 % |
c |    111819 |  101519   207425 |   40945   21324  1657282    77.7 | 86.653 % |
c |    112044 |  101519   207425 |   45039   21549  1669973    77.5 | 86.653 % |
c |    112381 |  101519   207425 |   49543   21886  1703740    77.8 | 86.653 % |
c |    112888 |  101519   207425 |   54498   22393  1760303    78.6 | 86.653 % |
c |    113648 |  101519   207425 |   59947   23153  1822629    78.7 | 86.653 % |
c |    114788 |  101519   207425 |   65942   24293  1967003    81.0 | 86.653 % |
c |    116496 |  101426   207199 |   72536   25977  2138860    82.3 | 86.779 % |
c |    119058 |  101330   206964 |   79790   28358  2417119    85.2 | 86.911 % |
c |    122902 |  101305   206907 |   87769   32146  2874288    89.4 | 86.942 % |
c |    128668 |  101287   206865 |   96546   37909  3613117    95.3 | 86.965 % |
c |    137317 |  101265   206813 |  106201   46547  4922270   105.7 | 86.994 % |
c |    150291 |  101143   206513 |  116821   59498  6548282   110.1 | 87.163 % |
c |    169752 |  101069   206331 |  128503   78930  9574296   121.3 | 87.268 % |
c |    198948 |  101014   206202 |  141353  108099 13638722   126.2 | 87.336 % |
c |    242737 |  101007   206183 |  155489  151887 17463503   115.0 | 87.347 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 C1081 -C1080 -C1079 -C1078 -C1077 C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 C985 -C984 -C983 -C982 -C981 -C980 -C979 C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 C893 -C892 -C891 -C890 -C889 C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C63

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/11035/stat): 11035 (minisat+_script) R 11034 11035 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1785321227 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11035/statm): 174 3 169 147 0 27 0
[pid=11035] 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=11036
New process pid=11037
New process pid=11038
One traced child (pid=11037) exited with status: 0
execve syscall for /bin/sed executable
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=11038) exited with status: 0
One traced child (pid=11036) exited with status: 0
New process pid=11039
execve syscall for /oldhome/oroussel/solvers/minisat+_64-bit_static executable
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-frb53-24-4.opb

[startup+10.0033 s]
Raw data (loadavg): 0.87 0.96 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 5925 0 0 0 953 23 0 0 25 0 1 0 1785321232 25042944 5912 4294967295 134512640 135094434 3221224448 3221223108 134553446 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 6114 5912 145 145 0 5969 0
[pid=11039] vsize: 24456
Current children cumulated CPU time (s) 9.76
Current children cumulated vsize (Kb) 26580

[startup+20.0041 s]
Raw data (loadavg): 0.89 0.96 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 5925 0 0 0 1953 23 0 0 25 0 1 0 1785321232 25042944 5912 4294967295 134512640 135094434 3221224448 3221223108 134553480 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 6114 5912 145 145 0 5969 0
[pid=11039] vsize: 24456
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (Kb) 26580

[startup+30.0059 s]
Raw data (loadavg): 0.91 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 5925 0 0 0 2952 23 0 0 25 0 1 0 1785321232 25042944 5912 4294967295 134512640 135094434 3221224448 3221223108 134553446 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 6114 5912 145 145 0 5969 0
[pid=11039] vsize: 24456
Current children cumulated CPU time (s) 29.75
Current children cumulated vsize (Kb) 26580

[startup+40.0068 s]
Raw data (loadavg): 0.92 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 5925 0 0 0 3952 24 0 0 25 0 1 0 1785321232 25042944 5912 4294967295 134512640 135094434 3221224448 3221223108 134553497 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 6114 5912 145 145 0 5969 0
[pid=11039] vsize: 24456
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 26580

[startup+50.0086 s]
Raw data (loadavg): 0.93 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 6021 0 0 0 4951 24 0 0 25 0 1 0 1785321232 25698304 6008 4294967295 134512640 135094434 3221224448 3221223108 134553446 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 6274 6008 145 145 0 6129 0
[pid=11039] vsize: 25096
Current children cumulated CPU time (s) 49.75
Current children cumulated vsize (Kb) 27220

[startup+60.0094 s]
Raw data (loadavg): 0.94 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 6021 0 0 0 5951 25 0 0 25 0 1 0 1785321232 25698304 6008 4294967295 134512640 135094434 3221224448 3221223088 134562098 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 6274 6008 145 145 0 6129 0
[pid=11039] vsize: 25096
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (Kb) 27220

[startup+70.0102 s]
Raw data (loadavg): 0.95 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 6021 0 0 0 6950 26 0 0 25 0 1 0 1785321232 25698304 6008 4294967295 134512640 135094434 3221224448 3221223108 134553450 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 6274 6008 145 145 0 6129 0
[pid=11039] vsize: 25096
Current children cumulated CPU time (s) 69.76
Current children cumulated vsize (Kb) 27220

[startup+80.011 s]
Raw data (loadavg): 0.96 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 6021 0 0 0 7950 26 0 0 25 0 1 0 1785321232 25698304 6008 4294967295 134512640 135094434 3221224448 3221223108 134553446 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 6274 6008 145 145 0 6129 0
[pid=11039] vsize: 25096
Current children cumulated CPU time (s) 79.76
Current children cumulated vsize (Kb) 27220

[startup+90.0119 s]
Raw data (loadavg): 0.96 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 6021 0 0 0 8950 26 0 0 25 0 1 0 1785321232 25698304 6008 4294967295 134512640 135094434 3221224448 3221223152 134558999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 6274 6008 145 145 0 6129 0
[pid=11039] vsize: 25096
Current children cumulated CPU time (s) 89.76
Current children cumulated vsize (Kb) 27220

[startup+100.013 s]
Raw data (loadavg): 0.97 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 6021 0 0 0 9950 26 0 0 25 0 1 0 1785321232 25698304 6008 4294967295 134512640 135094434 3221224448 3221223104 134557837 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 6274 6008 145 145 0 6129 0
[pid=11039] vsize: 25096
Current children cumulated CPU time (s) 99.76
Current children cumulated vsize (Kb) 27220

[startup+110.013 s]
Raw data (loadavg): 0.97 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 6021 0 0 0 10950 26 0 0 25 0 1 0 1785321232 25698304 6008 4294967295 134512640 135094434 3221224448 3221223108 134553446 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 6274 6008 145 145 0 6129 0
[pid=11039] vsize: 25096
Current children cumulated CPU time (s) 109.76
Current children cumulated vsize (Kb) 27220

[startup+120.014 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 6233 0 0 0 11948 27 0 0 25 0 1 0 1785321232 26140672 6118 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 6382 6118 145 145 0 6237 0
[pid=11039] vsize: 25528
Current children cumulated CPU time (s) 119.75
Current children cumulated vsize (Kb) 27652

[startup+130.015 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 6792 0 0 0 12937 32 0 0 25 0 1 0 1785321232 28078080 6577 4294967295 134512640 135094434 3221224448 3221223136 134554709 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 6855 6577 145 145 0 6710 0
[pid=11039] vsize: 27420
Current children cumulated CPU time (s) 129.69
Current children cumulated vsize (Kb) 29544

[startup+140.016 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 7272 0 0 0 13928 37 0 0 25 0 1 0 1785321232 30019584 7057 4294967295 134512640 135094434 3221224448 3221223108 134553530 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 7329 7057 145 145 0 7184 0
[pid=11039] vsize: 29316
Current children cumulated CPU time (s) 139.65
Current children cumulated vsize (Kb) 31440

[startup+150.017 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 7790 0 0 0 14918 41 0 0 25 0 1 0 1785321232 32124928 7575 4294967295 134512640 135094434 3221224448 3221223040 134556941 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 7843 7575 145 145 0 7698 0
[pid=11039] vsize: 31372
Current children cumulated CPU time (s) 149.59
Current children cumulated vsize (Kb) 33496

[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 8376 0 0 0 15908 44 0 0 25 0 1 0 1785321232 34435072 8111 4294967295 134512640 135094434 3221224448 3221223072 134562104 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 8407 8111 145 145 0 8262 0
[pid=11039] vsize: 33628
Current children cumulated CPU time (s) 159.52
Current children cumulated vsize (Kb) 35752

[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 8780 0 0 0 16900 48 0 0 25 0 1 0 1785321232 36073472 8515 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 8807 8515 145 145 0 8662 0
[pid=11039] vsize: 35228
Current children cumulated CPU time (s) 169.48
Current children cumulated vsize (Kb) 37352

[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 9205 0 0 0 17893 52 0 0 25 0 1 0 1785321232 37797888 8940 4294967295 134512640 135094434 3221224448 3221223104 134558004 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 9228 8940 145 145 0 9083 0
[pid=11039] vsize: 36912
Current children cumulated CPU time (s) 179.45
Current children cumulated vsize (Kb) 39036

[startup+190.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 9807 0 0 0 18879 58 0 0 25 0 1 0 1785321232 40247296 9542 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 9826 9542 145 145 0 9681 0
[pid=11039] vsize: 39304
Current children cumulated CPU time (s) 189.37
Current children cumulated vsize (Kb) 41428

[startup+200.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 10424 0 0 0 19867 62 0 0 25 0 1 0 1785321232 42762240 10159 4294967295 134512640 135094434 3221224448 3221223108 134553482 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 10440 10159 145 145 0 10295 0
[pid=11039] vsize: 41760
Current children cumulated CPU time (s) 199.29
Current children cumulated vsize (Kb) 43884

[startup+210.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 10903 0 0 0 20858 66 0 0 25 0 1 0 1785321232 44707840 10638 4294967295 134512640 135094434 3221224448 3221223104 134558246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 10915 10638 145 145 0 10770 0
[pid=11039] vsize: 43660
Current children cumulated CPU time (s) 209.24
Current children cumulated vsize (Kb) 45784

[startup+220.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 11332 0 0 0 21850 70 0 0 25 0 1 0 1785321232 46252032 11017 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 11292 11017 145 145 0 11147 0
[pid=11039] vsize: 45168
Current children cumulated CPU time (s) 219.2
Current children cumulated vsize (Kb) 47292

[startup+230.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 11773 0 0 0 22842 74 0 0 25 0 1 0 1785321232 48046080 11458 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 11730 11458 145 145 0 11585 0
[pid=11039] vsize: 46920
Current children cumulated CPU time (s) 229.16
Current children cumulated vsize (Kb) 49044

[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 12159 0 0 0 23836 77 0 0 25 0 1 0 1785321232 49610752 11844 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 12112 11844 145 145 0 11967 0
[pid=11039] vsize: 48448
Current children cumulated CPU time (s) 239.13
Current children cumulated vsize (Kb) 50572

[startup+250.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 12567 0 0 0 24827 80 0 0 25 0 1 0 1785321232 51269632 12252 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 12517 12252 145 145 0 12372 0
[pid=11039] vsize: 50068
Current children cumulated CPU time (s) 249.07
Current children cumulated vsize (Kb) 52192

[startup+260.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 12952 0 0 0 25818 84 0 0 25 0 1 0 1785321232 53096448 12637 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 12963 12637 145 145 0 12818 0
[pid=11039] vsize: 51852
Current children cumulated CPU time (s) 259.02
Current children cumulated vsize (Kb) 53976

[startup+270.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 13287 0 0 0 26811 88 0 0 25 0 1 0 1785321232 54460416 12972 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 13296 12972 145 145 0 13151 0
[pid=11039] vsize: 53184
Current children cumulated CPU time (s) 268.99
Current children cumulated vsize (Kb) 55308

[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 13678 0 0 0 27804 91 0 0 25 0 1 0 1785321232 56045568 13363 4294967295 134512640 135094434 3221224448 3221223120 134556315 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 13683 13363 145 145 0 13538 0
[pid=11039] vsize: 54732
Current children cumulated CPU time (s) 278.95
Current children cumulated vsize (Kb) 56856

[startup+290.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 14124 0 0 0 28794 95 0 0 25 0 1 0 1785321232 57864192 13809 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 14127 13809 145 145 0 13982 0
[pid=11039] vsize: 56508
Current children cumulated CPU time (s) 288.89
Current children cumulated vsize (Kb) 58632

[startup+300.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 14527 0 0 0 29785 99 0 0 25 0 1 0 1785321232 59506688 14212 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 14528 14212 145 145 0 14383 0
[pid=11039] vsize: 58112
Current children cumulated CPU time (s) 298.84
Current children cumulated vsize (Kb) 60236

[startup+310.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 15011 0 0 0 30777 103 0 0 25 0 1 0 1785321232 61476864 14696 4294967295 134512640 135094434 3221224448 3221223040 134557202 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 15009 14696 145 145 0 14864 0
[pid=11039] vsize: 60036
Current children cumulated CPU time (s) 308.8
Current children cumulated vsize (Kb) 62160

[startup+320.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 15464 0 0 0 31769 106 0 0 25 0 1 0 1785321232 63324160 15149 4294967295 134512640 135094434 3221224448 3221223104 134557948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 15460 15149 145 145 0 15315 0
[pid=11039] vsize: 61840
Current children cumulated CPU time (s) 318.75
Current children cumulated vsize (Kb) 63964

[startup+330.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 15805 0 0 0 32763 109 0 0 25 0 1 0 1785321232 64708608 15490 4294967295 134512640 135094434 3221224448 3221223040 134556918 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 15798 15490 145 145 0 15653 0
[pid=11039] vsize: 63192
Current children cumulated CPU time (s) 328.72
Current children cumulated vsize (Kb) 65316

[startup+340.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 16138 0 0 0 33757 113 0 0 25 0 1 0 1785321232 66064384 15823 4294967295 134512640 135094434 3221224448 3221223104 134558249 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 16129 15823 145 145 0 15984 0
[pid=11039] vsize: 64516
Current children cumulated CPU time (s) 338.7
Current children cumulated vsize (Kb) 66640

[startup+350.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 16478 0 0 0 34751 115 0 0 25 0 1 0 1785321232 67452928 16163 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 16468 16163 145 145 0 16323 0
[pid=11039] vsize: 65872
Current children cumulated CPU time (s) 348.66
Current children cumulated vsize (Kb) 67996

[startup+360.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 16764 0 0 0 35746 118 0 0 25 0 1 0 1785321232 68612096 16449 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 16751 16449 145 145 0 16606 0
[pid=11039] vsize: 67004
Current children cumulated CPU time (s) 358.64
Current children cumulated vsize (Kb) 69128

[startup+370.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17139 0 0 0 36738 121 0 0 25 0 1 0 1785321232 70139904 16824 4294967295 134512640 135094434 3221224448 3221223072 134557696 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 17124 16824 145 145 0 16979 0
[pid=11039] vsize: 68496
Current children cumulated CPU time (s) 368.59
Current children cumulated vsize (Kb) 70620

[startup+380.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17475 0 0 0 37733 124 0 0 25 0 1 0 1785321232 71503872 17160 4294967295 134512640 135094434 3221224448 3221223104 134557837 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 17457 17160 145 145 0 17312 0
[pid=11039] vsize: 69828
Current children cumulated CPU time (s) 378.57
Current children cumulated vsize (Kb) 71952

[startup+390.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 38727 127 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134558141 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 388.54
Current children cumulated vsize (Kb) 73000

[startup+400.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 39726 127 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 398.53
Current children cumulated vsize (Kb) 73000

[startup+410.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 40726 128 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223072 134557737 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 408.54
Current children cumulated vsize (Kb) 73000

[startup+420.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 41726 129 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134558035 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 418.55
Current children cumulated vsize (Kb) 73000

[startup+430.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 42725 129 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 428.54
Current children cumulated vsize (Kb) 73000

[startup+440.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 43725 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134558210 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 438.55
Current children cumulated vsize (Kb) 73000

[startup+450.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 44725 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 448.55
Current children cumulated vsize (Kb) 73000

[startup+460.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 45725 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223040 134557230 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 458.55
Current children cumulated vsize (Kb) 73000

[startup+470.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 46725 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223136 134554746 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 468.55
Current children cumulated vsize (Kb) 73000

[startup+480.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 47726 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 478.56
Current children cumulated vsize (Kb) 73000

[startup+490.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 48726 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 488.56
Current children cumulated vsize (Kb) 73000

[startup+500.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 49726 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 498.56
Current children cumulated vsize (Kb) 73000

[startup+510.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 50726 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223072 134557696 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 508.56
Current children cumulated vsize (Kb) 73000

[startup+520.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 51726 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223136 134554731 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 518.56
Current children cumulated vsize (Kb) 73000

[startup+530.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 52727 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 528.57
Current children cumulated vsize (Kb) 73000

[startup+540.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 53727 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 538.57
Current children cumulated vsize (Kb) 73000

[startup+550.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 54727 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134557948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 548.57
Current children cumulated vsize (Kb) 73000

[startup+560.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 55728 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223072 134557596 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 558.58
Current children cumulated vsize (Kb) 73000

[startup+570.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 56728 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134558398 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 568.58
Current children cumulated vsize (Kb) 73000

[startup+580.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 57728 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 578.58
Current children cumulated vsize (Kb) 73000

[startup+590.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17786 0 0 0 58728 130 0 0 25 0 1 0 1785321232 72577024 17423 4294967295 134512640 135094434 3221224448 3221223040 134557244 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17719 17423 145 145 0 17574 0
[pid=11039] vsize: 70876
Current children cumulated CPU time (s) 588.58
Current children cumulated vsize (Kb) 73000

[startup+600.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 17899 0 0 0 59727 131 0 0 25 0 1 0 1785321232 73039872 17536 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 17832 17536 145 145 0 17687 0
[pid=11039] vsize: 71328
Current children cumulated CPU time (s) 598.58
Current children cumulated vsize (Kb) 73452

[startup+610.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 18266 0 0 0 60720 133 0 0 25 0 1 0 1785321232 74543104 17903 4294967295 134512640 135094434 3221224448 3221223040 134556826 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 18199 17903 145 145 0 18054 0
[pid=11039] vsize: 72796
Current children cumulated CPU time (s) 608.53
Current children cumulated vsize (Kb) 74920

[startup+620.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 18566 0 0 0 61715 135 0 0 25 0 1 0 1785321232 75780096 18203 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 18501 18203 145 145 0 18356 0
[pid=11039] vsize: 74004
Current children cumulated CPU time (s) 618.5
Current children cumulated vsize (Kb) 76128

[startup+630.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 18827 0 0 0 62711 137 0 0 25 0 1 0 1785321232 76845056 18464 4294967295 134512640 135094434 3221224448 3221223072 134557665 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 18761 18464 145 145 0 18616 0
[pid=11039] vsize: 75044
Current children cumulated CPU time (s) 628.48
Current children cumulated vsize (Kb) 77168

[startup+640.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 19101 0 0 0 63705 140 0 0 25 0 1 0 1785321232 77967360 18738 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 19035 18738 145 145 0 18890 0
[pid=11039] vsize: 76140
Current children cumulated CPU time (s) 638.45
Current children cumulated vsize (Kb) 78264

[startup+650.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 19364 0 0 0 64701 141 0 0 25 0 1 0 1785321232 79048704 19001 4294967295 134512640 135094434 3221224448 3221223104 134557972 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 19299 19001 145 145 0 19154 0
[pid=11039] vsize: 77196
Current children cumulated CPU time (s) 648.42
Current children cumulated vsize (Kb) 79320

[startup+660.063 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) T 11035 11035 31778 0 -1 0 19661 0 0 0 65696 144 0 0 25 0 1 0 1785321232 80257024 19298 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 1 0 0
Raw data (/proc/11039/statm): 19594 19298 145 145 0 19449 0
[pid=11039] vsize: 78376
Current children cumulated CPU time (s) 658.4
Current children cumulated vsize (Kb) 80500

[startup+670.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 19949 0 0 0 66690 147 0 0 25 0 1 0 1785321232 81432576 19586 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 19881 19586 145 145 0 19736 0
[pid=11039] vsize: 79524
Current children cumulated CPU time (s) 668.37
Current children cumulated vsize (Kb) 81648

[startup+680.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 20229 0 0 0 67685 149 0 0 25 0 1 0 1785321232 82579456 19866 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 20161 19866 145 145 0 20016 0
[pid=11039] vsize: 80644
Current children cumulated CPU time (s) 678.34
Current children cumulated vsize (Kb) 82768

[startup+690.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 20566 0 0 0 68679 150 0 0 25 0 1 0 1785321232 83955712 20203 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 20497 20203 145 145 0 20352 0
[pid=11039] vsize: 81988
Current children cumulated CPU time (s) 688.29
Current children cumulated vsize (Kb) 84112

[startup+700.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 20880 0 0 0 69674 153 0 0 25 0 1 0 1785321232 85237760 20517 4294967295 134512640 135094434 3221224448 3221223104 134558007 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 20810 20517 145 145 0 20665 0
[pid=11039] vsize: 83240
Current children cumulated CPU time (s) 698.27
Current children cumulated vsize (Kb) 85364

[startup+710.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 21151 0 0 0 70668 155 0 0 25 0 1 0 1785321232 86343680 20788 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 21080 20788 145 145 0 20935 0
[pid=11039] vsize: 84320
Current children cumulated CPU time (s) 708.23
Current children cumulated vsize (Kb) 86444

[startup+720.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 21425 0 0 0 71661 158 0 0 25 0 1 0 1785321232 87457792 21062 4294967295 134512640 135094434 3221224448 3221223040 134557273 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 21352 21062 145 145 0 21207 0
[pid=11039] vsize: 85408
Current children cumulated CPU time (s) 718.19
Current children cumulated vsize (Kb) 87532

[startup+730.069 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 21702 0 0 0 72656 160 0 0 25 0 1 0 1785321232 88588288 21339 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 21628 21339 145 145 0 21483 0
[pid=11039] vsize: 86512
Current children cumulated CPU time (s) 728.16
Current children cumulated vsize (Kb) 88636

[startup+740.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 21960 0 0 0 73650 163 0 0 25 0 1 0 1785321232 89632768 21597 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 21883 21597 145 145 0 21738 0
[pid=11039] vsize: 87532
Current children cumulated CPU time (s) 738.13
Current children cumulated vsize (Kb) 89656

[startup+750.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 22275 0 0 0 74644 166 0 0 25 0 1 0 1785321232 90910720 21912 4294967295 134512640 135094434 3221224448 3221223040 134557202 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 22195 21912 145 145 0 22050 0
[pid=11039] vsize: 88780
Current children cumulated CPU time (s) 748.1
Current children cumulated vsize (Kb) 90904

[startup+760.073 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 22525 0 0 0 75639 168 0 0 25 0 1 0 1785321232 91930624 22162 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 22444 22162 145 145 0 22299 0
[pid=11039] vsize: 89776
Current children cumulated CPU time (s) 758.07
Current children cumulated vsize (Kb) 91900

[startup+770.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 22714 0 0 0 76635 169 0 0 25 0 1 0 1785321232 92700672 22351 4294967295 134512640 135094434 3221224448 3221223084 134557560 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 22632 22351 145 145 0 22487 0
[pid=11039] vsize: 90528
Current children cumulated CPU time (s) 768.04
Current children cumulated vsize (Kb) 92652

[startup+780.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 22911 0 0 0 77631 172 0 0 25 0 1 0 1785321232 93495296 22548 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 22826 22548 145 145 0 22681 0
[pid=11039] vsize: 91304
Current children cumulated CPU time (s) 778.03
Current children cumulated vsize (Kb) 93428

[startup+790.075 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 23094 0 0 0 78626 173 0 0 25 0 1 0 1785321232 94240768 22731 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 23008 22731 145 145 0 22863 0
[pid=11039] vsize: 92032
Current children cumulated CPU time (s) 787.99
Current children cumulated vsize (Kb) 94156

[startup+800.077 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 23283 0 0 0 79621 176 0 0 25 0 1 0 1785321232 95010816 22920 4294967295 134512640 135094434 3221224448 3221223072 134557696 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 23196 22920 145 145 0 23051 0
[pid=11039] vsize: 92784
Current children cumulated CPU time (s) 797.97
Current children cumulated vsize (Kb) 94908

[startup+810.078 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 23451 0 0 0 80618 177 0 0 25 0 1 0 1785321232 95703040 23088 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 23365 23088 145 145 0 23220 0
[pid=11039] vsize: 93460
Current children cumulated CPU time (s) 807.95
Current children cumulated vsize (Kb) 95584

[startup+820.079 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 23589 0 0 0 81616 178 0 0 25 0 1 0 1785321232 96788480 23226 4294967295 134512640 135094434 3221224448 3221223120 134556394 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 23630 23226 145 145 0 23485 0
[pid=11039] vsize: 94520
Current children cumulated CPU time (s) 817.94
Current children cumulated vsize (Kb) 96644

[startup+830.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 23765 0 0 0 82612 180 0 0 25 0 1 0 1785321232 97505280 23402 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 23805 23402 145 145 0 23660 0
[pid=11039] vsize: 95220
Current children cumulated CPU time (s) 827.92
Current children cumulated vsize (Kb) 97344

[startup+840.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 23929 0 0 0 83608 182 0 0 25 0 1 0 1785321232 98172928 23566 4294967295 134512640 135094434 3221224448 3221223040 134557273 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 23968 23566 145 145 0 23823 0
[pid=11039] vsize: 95872
Current children cumulated CPU time (s) 837.9
Current children cumulated vsize (Kb) 97996

[startup+850.081 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 24064 0 0 0 84605 183 0 0 25 0 1 0 1785321232 98717696 23701 4294967295 134512640 135094434 3221224448 3221223104 134558292 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 24101 23701 145 145 0 23956 0
[pid=11039] vsize: 96404
Current children cumulated CPU time (s) 847.88
Current children cumulated vsize (Kb) 98528

[startup+860.082 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 24186 0 0 0 85601 184 0 0 25 0 1 0 1785321232 99209216 23823 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 24221 23823 145 145 0 24076 0
[pid=11039] vsize: 96884
Current children cumulated CPU time (s) 857.85
Current children cumulated vsize (Kb) 99008

[startup+870.083 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 24307 0 0 0 86599 186 0 0 25 0 1 0 1785321232 99704832 23944 4294967295 134512640 135094434 3221224448 3221223104 134558126 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 24342 23944 145 145 0 24197 0
[pid=11039] vsize: 97368
Current children cumulated CPU time (s) 867.85
Current children cumulated vsize (Kb) 99492

[startup+880.085 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 24453 0 0 0 87596 187 0 0 25 0 1 0 1785321232 100290560 24090 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 24485 24090 145 145 0 24340 0
[pid=11039] vsize: 97940
Current children cumulated CPU time (s) 877.83
Current children cumulated vsize (Kb) 100064

[startup+890.085 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 24595 0 0 0 88593 189 0 0 25 0 1 0 1785321232 100864000 24232 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 24625 24232 145 145 0 24480 0
[pid=11039] vsize: 98500
Current children cumulated CPU time (s) 887.82
Current children cumulated vsize (Kb) 100624

[startup+900.087 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 24717 0 0 0 89590 190 0 0 25 0 1 0 1785321232 101355520 24354 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 24745 24354 145 145 0 24600 0
[pid=11039] vsize: 98980
Current children cumulated CPU time (s) 897.8
Current children cumulated vsize (Kb) 101104

[startup+910.088 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 24832 0 0 0 90587 191 0 0 25 0 1 0 1785321232 101822464 24469 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 24859 24469 145 145 0 24714 0
[pid=11039] vsize: 99436
Current children cumulated CPU time (s) 907.78
Current children cumulated vsize (Kb) 101560

[startup+920.088 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 24943 0 0 0 91584 193 0 0 25 0 1 0 1785321232 102268928 24580 4294967295 134512640 135094434 3221224448 3221223136 134554793 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 24968 24580 145 145 0 24823 0
[pid=11039] vsize: 99872
Current children cumulated CPU time (s) 917.77
Current children cumulated vsize (Kb) 101996

[startup+930.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 25054 0 0 0 92582 194 0 0 25 0 1 0 1785321232 102723584 24691 4294967295 134512640 135094434 3221224448 3221223120 134555787 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 25079 24691 145 145 0 24934 0
[pid=11039] vsize: 100316
Current children cumulated CPU time (s) 927.76
Current children cumulated vsize (Kb) 102440

[startup+940.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 25158 0 0 0 93580 195 0 0 25 0 1 0 1785321232 103137280 24795 4294967295 134512640 135094434 3221224448 3221223104 134557837 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 25180 24795 145 145 0 25035 0
[pid=11039] vsize: 100720
Current children cumulated CPU time (s) 937.75
Current children cumulated vsize (Kb) 102844

[startup+950.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 25289 0 0 0 94577 197 0 0 25 0 1 0 1785321232 103669760 24926 4294967295 134512640 135094434 3221224448 3221223120 134555574 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 25310 24926 145 145 0 25165 0
[pid=11039] vsize: 101240
Current children cumulated CPU time (s) 947.74
Current children cumulated vsize (Kb) 103364

[startup+960.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 25418 0 0 0 95575 198 0 0 25 0 1 0 1785321232 104189952 25055 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 25437 25055 145 145 0 25292 0
[pid=11039] vsize: 101748
Current children cumulated CPU time (s) 957.73
Current children cumulated vsize (Kb) 103872

[startup+970.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 25539 0 0 0 96572 199 0 0 25 0 1 0 1785321232 104681472 25176 4294967295 134512640 135094434 3221224448 3221223104 134558126 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 25557 25176 145 145 0 25412 0
[pid=11039] vsize: 102228
Current children cumulated CPU time (s) 967.71
Current children cumulated vsize (Kb) 104352

[startup+980.093 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 25649 0 0 0 97569 201 0 0 25 0 1 0 1785321232 105136128 25286 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 25668 25286 145 145 0 25523 0
[pid=11039] vsize: 102672
Current children cumulated CPU time (s) 977.7
Current children cumulated vsize (Kb) 104796

[startup+990.094 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 25756 0 0 0 98566 202 0 0 25 0 1 0 1785321232 105562112 25393 4294967295 134512640 135094434 3221224448 3221223040 134556789 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 25772 25393 145 145 0 25627 0
[pid=11039] vsize: 103088
Current children cumulated CPU time (s) 987.68
Current children cumulated vsize (Kb) 105212

[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 25858 0 0 0 99564 204 0 0 25 0 1 0 1785321232 105975808 25495 4294967295 134512640 135094434 3221224448 3221223104 134558210 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 25873 25495 145 145 0 25728 0
[pid=11039] vsize: 103492
Current children cumulated CPU time (s) 997.68
Current children cumulated vsize (Kb) 105616

[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 25959 0 0 0 100561 205 0 0 25 0 1 0 1785321232 106385408 25596 4294967295 134512640 135094434 3221224448 3221222888 134795553 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 25973 25596 145 145 0 25828 0
[pid=11039] vsize: 103892
Current children cumulated CPU time (s) 1007.66
Current children cumulated vsize (Kb) 106016

[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 26062 0 0 0 101559 207 0 0 25 0 1 0 1785321232 106815488 25699 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 26078 25699 145 145 0 25933 0
[pid=11039] vsize: 104312
Current children cumulated CPU time (s) 1017.66
Current children cumulated vsize (Kb) 106436

[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 26161 0 0 0 102556 208 0 0 25 0 1 0 1785321232 107212800 25798 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 26175 25798 145 145 0 26030 0
[pid=11039] vsize: 104700
Current children cumulated CPU time (s) 1027.64
Current children cumulated vsize (Kb) 106824

[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 26261 0 0 0 103554 209 0 0 25 0 1 0 1785321232 107618304 25898 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (/proc/11039/statm): 26274 25898 145 145 0 26129 0
[pid=11039] vsize: 105096
Current children cumulated CPU time (s) 1037.63
Current children cumulated vsize (Kb) 107220

[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 26349 0 0 0 104553 210 0 0 25 0 1 0 1785321232 107978752 25986 4294967295 134512640 135094434 3221224448 3221223040 134557230 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 26362 25986 145 145 0 26217 0
[pid=11039] vsize: 105448
Current children cumulated CPU time (s) 1047.63
Current children cumulated vsize (Kb) 107572

[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 26445 0 0 0 105551 210 0 0 25 0 1 0 1785321232 108359680 26082 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 26455 26082 145 145 0 26310 0
[pid=11039] vsize: 105820
Current children cumulated CPU time (s) 1057.61
Current children cumulated vsize (Kb) 107944

[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 26566 0 0 0 106550 211 0 0 25 0 1 0 1785321232 108838912 26203 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 26572 26203 145 145 0 26427 0
[pid=11039] vsize: 106288
Current children cumulated CPU time (s) 1067.61
Current children cumulated vsize (Kb) 108412

[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 26666 0 0 0 107548 211 0 0 25 0 1 0 1785321232 109244416 26303 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 26671 26303 145 145 0 26526 0
[pid=11039] vsize: 106684
Current children cumulated CPU time (s) 1077.59
Current children cumulated vsize (Kb) 108808

[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 26757 0 0 0 108547 212 0 0 25 0 1 0 1785321232 109625344 26394 4294967295 134512640 135094434 3221224448 3221223104 134557948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 26764 26394 145 145 0 26619 0
[pid=11039] vsize: 107056
Current children cumulated CPU time (s) 1087.59
Current children cumulated vsize (Kb) 109180

[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 26854 0 0 0 109546 213 0 0 25 0 1 0 1785321232 110026752 26491 4294967295 134512640 135094434 3221224448 3221223104 134558246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 26862 26491 145 145 0 26717 0
[pid=11039] vsize: 107448
Current children cumulated CPU time (s) 1097.59
Current children cumulated vsize (Kb) 109572

[startup+1110.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 26953 0 0 0 110544 213 0 0 25 0 1 0 1785321232 110428160 26590 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 26960 26590 145 145 0 26815 0
[pid=11039] vsize: 107840
Current children cumulated CPU time (s) 1107.57
Current children cumulated vsize (Kb) 109964

[startup+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27046 0 0 0 111543 214 0 0 25 0 1 0 1785321232 110800896 26683 4294967295 134512640 135094434 3221224448 3221223104 134557948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27051 26683 145 145 0 26906 0
[pid=11039] vsize: 108204
Current children cumulated CPU time (s) 1117.57
Current children cumulated vsize (Kb) 110328

[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27135 0 0 0 112542 214 0 0 25 0 1 0 1785321232 111173632 26772 4294967295 134512640 135094434 3221224448 3221223104 134558249 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27142 26772 145 145 0 26997 0
[pid=11039] vsize: 108568
Current children cumulated CPU time (s) 1127.56
Current children cumulated vsize (Kb) 110692

[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27259 0 0 0 113541 215 0 0 25 0 1 0 1785321232 111689728 26896 4294967295 134512640 135094434 3221224448 3221223104 134557846 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27268 26896 145 145 0 27123 0
[pid=11039] vsize: 109072
Current children cumulated CPU time (s) 1137.56
Current children cumulated vsize (Kb) 111196

[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27372 0 0 0 114539 216 0 0 25 0 1 0 1785321232 112148480 27009 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27380 27009 145 145 0 27235 0
[pid=11039] vsize: 109520
Current children cumulated CPU time (s) 1147.55
Current children cumulated vsize (Kb) 111644

[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27457 0 0 0 115538 216 0 0 25 0 1 0 1785321232 112496640 27094 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27465 27094 145 145 0 27320 0
[pid=11039] vsize: 109860
Current children cumulated CPU time (s) 1157.54
Current children cumulated vsize (Kb) 111984

[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27585 0 0 0 116536 217 0 0 25 0 1 0 1785321232 113037312 27222 4294967295 134512640 135094434 3221224448 3221223104 134557884 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27597 27222 145 145 0 27452 0
[pid=11039] vsize: 110388
Current children cumulated CPU time (s) 1167.53
Current children cumulated vsize (Kb) 112512

[startup+1180.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27672 0 0 0 117535 218 0 0 25 0 1 0 1785321232 113381376 27309 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27681 27309 145 145 0 27536 0
[pid=11039] vsize: 110724
Current children cumulated CPU time (s) 1177.53
Current children cumulated vsize (Kb) 112848

[startup+1190.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27760 0 0 0 118533 219 0 0 25 0 1 0 1785321232 113754112 27397 4294967295 134512640 135094434 3221224448 3221223104 134557945 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27772 27397 145 145 0 27627 0
[pid=11039] vsize: 111088
Current children cumulated CPU time (s) 1187.52
Current children cumulated vsize (Kb) 113212

[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27847 0 0 0 119532 219 0 0 25 0 1 0 1785321232 114098176 27484 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27856 27484 145 145 0 27711 0
[pid=11039] vsize: 111424
Current children cumulated CPU time (s) 1197.51
Current children cumulated vsize (Kb) 113548

[startup+1210.12 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27940 0 0 0 120531 220 0 0 25 0 1 0 1785321232 114470912 27577 4294967295 134512640 135094434 3221224448 3221223136 134554726 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27947 27577 145 145 0 27802 0
[pid=11039] vsize: 111788
Current children cumulated CPU time (s) 1207.51
Current children cumulated vsize (Kb) 113912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.12 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 11039
Raw data (/proc/11035/stat): 11035 (minisat+_script) S 11034 11035 31778 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1785321227 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/11035/statm): 531 226 485 147 0 384 0
[pid=11035] vsize: 2124
Raw data (/proc/11039/stat): 11039 (minisat+_64-bit) R 11035 11035 31778 0 -1 0 27940 0 0 0 120531 220 0 0 25 0 1 0 1785321232 114470912 27577 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/11039/statm): 27947 27577 145 145 0 27802 0
[pid=11039] vsize: 111788
Current children cumulated CPU time (s) 1207.51
Current children cumulated vsize (Kb) 113912

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

Child status: 10
Real time (s): 1210.17
CPU time (s): 1207.57
CPU user time (s): 1205.31
CPU system time (s): 2.25366
CPU usage (%): 99.7846
Max. virtual memory (cumulated for all children) (Kb): 113912

Verifier Data

ERROR: no interpretation found !