Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb |
MD5SUM | ed503628984a48598e5d5a4b8388e97a |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 4250 |
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 | 4250 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4250 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 4250 |
Total number of constraints | 68397 |
Number of constraints which are clauses | 68397 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 17 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-04-13 20:36:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1166 boxname=wulflinc29 idbench=130 idsolver=5 numberseed=0 MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4 /oldhome/oroussel/solvers/minisat+ MD5SUM BENCH: ed503628984a48598e5d5a4b8388e97a /oldhome/oroussel/tmp/wulflinc29/normalized-g125.17.opb REAL COMMAND: minisat+ /oldhome/oroussel/tmp/wulflinc29/normalized-g125.17.opb IDLAUNCH: 1166 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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: 857644 kB Buffers: 35568 kB Cached: 103684 kB SwapCached: 12 kB Active: 53720 kB Inactive: 88396 kB HighTotal: 131008 kB HighFree: 23856 kB LowTotal: 903652 kB LowFree: 833788 kB SwapTotal: 2097892 kB SwapFree: 2097880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6928 kB Slab: 29352 kB Committed_AS: 63492 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 20:56:11 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 1166 7 1200.26 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 68397 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 | 68397 138669 | 22799 0 0 nan | 0.000 % | c | 100 | 68397 138669 | 25078 100 5288 52.9 | 0.000 % | c | 250 | 68397 138669 | 27586 250 27345 109.4 | 0.000 % | c | 476 | 68397 138669 | 30345 476 55808 117.2 | 0.000 % | c | 813 | 68397 138669 | 33380 813 105508 129.8 | 0.000 % | c | 1319 | 68397 138669 | 36718 1319 238948 181.2 | 0.000 % | c | 2080 | 68397 138669 | 40389 2080 408552 196.4 | 0.000 % | c | 3220 | 68397 138669 | 44428 3220 720088 223.6 | 0.000 % | c | 4930 | 68397 138669 | 48871 4930 1260193 255.6 | 0.000 % | c | 7492 | 68397 138669 | 53758 7492 2077236 277.3 | 0.000 % | c | 11336 | 68397 138669 | 59134 11336 3292984 290.5 | 0.000 % | c | 17103 | 68397 138669 | 65048 17103 5370978 314.0 | 0.000 % | c | 25752 | 68397 138669 | 71553 25752 8706513 338.1 | 0.000 % | c | 38727 | 68397 138669 | 78708 38727 13018646 336.2 | 0.000 % | c | 58190 | 68397 138669 | 86579 58190 20743435 356.5 | 0.000 % | c | 87385 | 68397 138669 | 95237 87385 30964013 354.3 | 0.000 % | c | 131175 | 68397 138669 | 104760 47058 17880606 380.0 | 0.000 % | #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.84 0.94 0.90 2/54 29553 Raw data (stat): 29553 (runsolver) R 29552 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478875641 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0001 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 3558 0 0 0 988 10 0 0 25 0 1 0 478875641 16756736 3535 4294967295 134512640 134672761 3221224640 3221223808 134561400 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 4091 3535 603 41 0 4050 0 vsize: 16364 [startup+20.0008 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 4929 0 0 0 1984 14 0 0 25 0 1 0 478875641 22405120 4906 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 5470 4906 603 41 0 5429 0 vsize: 21880 [startup+30.0009 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 6502 0 0 0 2980 18 0 0 25 0 1 0 478875641 28860416 6479 4294967295 134512640 134672761 3221224640 3221223808 134561212 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7046 6479 603 41 0 7005 0 vsize: 28184 [startup+40.0004 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 7830 0 0 0 3976 21 0 0 25 0 1 0 478875641 34283520 7807 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 8370 7807 603 41 0 8329 0 vsize: 33480 [startup+50.0012 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 9107 0 0 0 4972 26 0 0 25 0 1 0 478875641 39538688 9084 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 9653 9084 603 41 0 9612 0 vsize: 38612 [startup+60.0013 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 10103 0 0 0 5970 29 0 0 25 0 1 0 478875641 43589632 10080 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 10642 10080 603 41 0 10601 0 vsize: 42568 [startup+70.0017 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 10821 0 0 0 6967 31 0 0 25 0 1 0 478875641 46559232 10798 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 11367 10798 603 41 0 11326 0 vsize: 45468 [startup+80.0015 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 11446 0 0 0 7966 32 0 0 25 0 1 0 478875641 49115136 11423 4294967295 134512640 134672761 3221224640 3221223808 134560876 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 11991 11423 603 41 0 11950 0 vsize: 47964 [startup+90.0013 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 12064 0 0 0 8964 34 0 0 25 0 1 0 478875641 51666944 12041 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 12614 12041 603 41 0 12573 0 vsize: 50456 [startup+100.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 12771 0 0 0 9962 36 0 0 25 0 1 0 478875641 54489088 12748 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 13303 12748 603 41 0 13262 0 vsize: 53212 [startup+110.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 13426 0 0 0 10961 38 0 0 25 0 1 0 478875641 57311232 13403 4294967295 134512640 134672761 3221224640 3221223824 134559498 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 13992 13403 603 41 0 13951 0 vsize: 55968 [startup+120.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 14037 0 0 0 11958 41 0 0 25 0 1 0 478875641 59871232 14014 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 14617 14014 603 41 0 14576 0 vsize: 58468 [startup+130.001 s] Raw data (loadavg): 0.98 0.95 0.91 3/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 14628 0 0 0 12957 42 0 0 25 0 1 0 478875641 62283776 14605 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 15206 14605 603 41 0 15165 0 vsize: 60824 [startup+140.001 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 15277 0 0 0 13954 45 0 0 25 0 1 0 478875641 64843776 15254 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 15831 15254 603 41 0 15790 0 vsize: 63324 [startup+150.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 16115 0 0 0 14952 47 0 0 25 0 1 0 478875641 68349952 16092 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 16687 16092 603 41 0 16646 0 vsize: 66748 [startup+160.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 16854 0 0 0 15950 49 0 0 25 0 1 0 478875641 71303168 16831 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 17408 16831 603 41 0 17367 0 vsize: 69632 [startup+170.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 17556 0 0 0 16948 52 0 0 25 0 1 0 478875641 74268672 17533 4294967295 134512640 134672761 3221224640 3221223640 1075350517 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 18132 17533 603 41 0 18091 0 vsize: 72528 [startup+180.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 18297 0 0 0 17945 54 0 0 25 0 1 0 478875641 77238272 18274 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 18857 18274 603 41 0 18816 0 vsize: 75428 [startup+190.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 19016 0 0 0 18943 57 0 0 25 0 1 0 478875641 80203776 18993 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 19581 18993 603 41 0 19540 0 vsize: 78324 [startup+200.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 19734 0 0 0 19940 59 0 0 25 0 1 0 478875641 83165184 19711 4294967295 134512640 134672761 3221224640 3221223744 134559958 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 20304 19711 603 41 0 20263 0 vsize: 81216 [startup+210.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 20463 0 0 0 20939 61 0 0 25 0 1 0 478875641 86118400 20440 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 21025 20440 603 41 0 20984 0 vsize: 84100 [startup+220.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 21125 0 0 0 21937 63 0 0 25 0 1 0 478875641 88805376 21102 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 21681 21102 603 41 0 21640 0 vsize: 86724 [startup+230.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 21757 0 0 0 22936 64 0 0 25 0 1 0 478875641 91361280 21734 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 22305 21734 603 41 0 22264 0 vsize: 89220 [startup+240.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 22414 0 0 0 23934 66 0 0 25 0 1 0 478875641 94048256 22391 4294967295 134512640 134672761 3221224640 3221223808 134561148 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 22961 22391 603 41 0 22920 0 vsize: 91844 [startup+250.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 23112 0 0 0 24933 68 0 0 25 0 1 0 478875641 96886784 23089 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 23654 23089 603 41 0 23613 0 vsize: 94616 [startup+260.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 23682 0 0 0 25930 70 0 0 25 0 1 0 478875641 99311616 23659 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24246 23659 603 41 0 24205 0 vsize: 96984 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 24238 0 0 0 26929 72 0 0 25 0 1 0 478875641 101597184 24215 4294967295 134512640 134672761 3221224640 3221223744 134555314 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24804 24215 603 41 0 24763 0 vsize: 99216 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 24796 0 0 0 27928 73 0 0 25 0 1 0 478875641 103878656 24773 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 25361 24773 603 41 0 25320 0 vsize: 101444 [startup+290.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 25404 0 0 0 28926 75 0 0 25 0 1 0 478875641 106307584 25381 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 25954 25381 603 41 0 25913 0 vsize: 103816 [startup+300.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 26008 0 0 0 29925 76 0 0 25 0 1 0 478875641 108998656 25985 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 26611 25985 603 41 0 26570 0 vsize: 106444 [startup+310.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 26627 0 0 0 30923 78 0 0 25 0 1 0 478875641 111562752 26604 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 27237 26604 603 41 0 27196 0 vsize: 108948 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 27107 0 0 0 31922 79 0 0 25 0 1 0 478875641 113569792 27084 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 27727 27084 603 41 0 27686 0 vsize: 110908 [startup+330.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 27612 0 0 0 32921 81 0 0 25 0 1 0 478875641 115572736 27589 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 28216 27589 603 41 0 28175 0 vsize: 112864 [startup+340.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 28175 0 0 0 33920 83 0 0 25 0 1 0 478875641 117858304 28152 4294967295 134512640 134672761 3221224640 3221223640 1075350517 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 28774 28152 603 41 0 28733 0 vsize: 115096 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 28723 0 0 0 34918 84 0 0 25 0 1 0 478875641 120156160 28700 4294967295 134512640 134672761 3221224640 3221223808 134561115 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 29335 28700 603 41 0 29294 0 vsize: 117340 [startup+360.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 29218 0 0 0 35917 85 0 0 25 0 1 0 478875641 122183680 29195 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 29830 29195 603 41 0 29789 0 vsize: 119320 [startup+370.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 29704 0 0 0 36916 87 0 0 25 0 1 0 478875641 124211200 29681 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 30325 29681 603 41 0 30284 0 vsize: 121300 [startup+380.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 30206 0 0 0 37915 88 0 0 25 0 1 0 478875641 126238720 30183 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 30820 30183 603 41 0 30779 0 vsize: 123280 [startup+390.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 30635 0 0 0 38914 89 0 0 25 0 1 0 478875641 128024576 30612 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 31256 30612 603 41 0 31215 0 vsize: 125024 [startup+400.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 31006 0 0 0 39913 91 0 0 25 0 1 0 478875641 129503232 30983 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 31617 30983 603 41 0 31576 0 vsize: 126468 [startup+410.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 31420 0 0 0 40912 92 0 0 25 0 1 0 478875641 131256320 31397 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 32045 31397 603 41 0 32004 0 vsize: 128180 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 31812 0 0 0 41911 93 0 0 25 0 1 0 478875641 132730880 31789 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 32405 31789 603 41 0 32364 0 vsize: 129620 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 32111 0 0 0 42911 93 0 0 25 0 1 0 478875641 134090752 32088 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 32737 32088 603 41 0 32696 0 vsize: 130948 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 32404 0 0 0 43910 94 0 0 25 0 1 0 478875641 135294976 32381 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 33031 32381 603 41 0 32990 0 vsize: 132124 [startup+450.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 32691 0 0 0 44910 95 0 0 25 0 1 0 478875641 136364032 32668 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 33292 32668 603 41 0 33251 0 vsize: 133168 [startup+460.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 32975 0 0 0 45909 95 0 0 25 0 1 0 478875641 137572352 32952 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 33587 32952 603 41 0 33546 0 vsize: 134348 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 33225 0 0 0 46908 96 0 0 25 0 1 0 478875641 138649600 33202 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 33850 33202 603 41 0 33809 0 vsize: 135400 [startup+480.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 33575 0 0 0 47907 98 0 0 25 0 1 0 478875641 140017664 33552 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 34184 33552 603 41 0 34143 0 vsize: 136736 [startup+490.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 33970 0 0 0 48906 98 0 0 25 0 1 0 478875641 141631488 33947 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 34578 33947 603 41 0 34537 0 vsize: 138312 [startup+500.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 34289 0 0 0 49905 100 0 0 25 0 1 0 478875641 142999552 34266 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 34912 34266 603 41 0 34871 0 vsize: 139648 [startup+510.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 34714 0 0 0 50904 101 0 0 25 0 1 0 478875641 144752640 34691 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 35340 34691 603 41 0 35299 0 vsize: 141360 [startup+520.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 35151 0 0 0 51903 102 0 0 25 0 1 0 478875641 146497536 35128 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 35766 35128 603 41 0 35725 0 vsize: 143064 [startup+530.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 35518 0 0 0 52902 103 0 0 25 0 1 0 478875641 147976192 35495 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 36127 35495 603 41 0 36086 0 vsize: 144508 [startup+540.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 35898 0 0 0 53901 104 0 0 25 0 1 0 478875641 149602304 35875 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 36524 35875 603 41 0 36483 0 vsize: 146096 [startup+550.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 36323 0 0 0 54900 106 0 0 25 0 1 0 478875641 151355392 36300 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 36952 36300 603 41 0 36911 0 vsize: 147808 [startup+560.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 36761 0 0 0 55899 107 0 0 25 0 1 0 478875641 153124864 36738 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 37384 36738 603 41 0 37343 0 vsize: 149536 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37131 0 0 0 56898 108 0 0 25 0 1 0 478875641 154611712 37108 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 37747 37108 603 41 0 37706 0 vsize: 150988 [startup+580.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 57898 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 58898 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+600.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 59898 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 60898 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+620.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 61898 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134560903 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+630.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 62899 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561121 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 63899 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561011 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 64899 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+660.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 65899 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+670.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 66899 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+680.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 67900 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+690.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37382 0 0 0 68900 109 0 0 25 0 1 0 478875641 155684864 37359 4294967295 134512640 134672761 3221224640 3221223824 134559340 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+700.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37384 0 0 0 69900 109 0 0 25 0 1 0 478875641 155684864 37361 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37361 603 41 0 37968 0 vsize: 152036 [startup+710.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 70900 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37362 603 41 0 37968 0 vsize: 152036 [startup+720.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 71900 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37362 603 41 0 37968 0 vsize: 152036 [startup+730.011 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 72900 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37362 603 41 0 37968 0 vsize: 152036 [startup+740.011 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 73901 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 134561201 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37362 603 41 0 37968 0 vsize: 152036 [startup+750.012 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 74901 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37362 603 41 0 37968 0 vsize: 152036 [startup+760.012 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37385 0 0 0 75901 109 0 0 25 0 1 0 478875641 155684864 37362 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37362 603 41 0 37968 0 vsize: 152036 [startup+770.013 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37386 0 0 0 76901 109 0 0 25 0 1 0 478875641 155684864 37363 4294967295 134512640 134672761 3221224640 3221223744 134560025 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37363 603 41 0 37968 0 vsize: 152036 [startup+780.012 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37386 0 0 0 77901 109 0 0 25 0 1 0 478875641 155684864 37363 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37363 603 41 0 37968 0 vsize: 152036 [startup+790.012 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37386 0 0 0 78902 109 0 0 25 0 1 0 478875641 155684864 37363 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37363 603 41 0 37968 0 vsize: 152036 [startup+800.013 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37386 0 0 0 79902 109 0 0 25 0 1 0 478875641 155684864 37363 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37363 603 41 0 37968 0 vsize: 152036 [startup+810.012 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 80902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561003 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+820.014 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 81901 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561164 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+830.014 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 82902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+840.014 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 83902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+850.014 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 84902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223744 134560529 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+860.014 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 85902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223736 1075347133 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+870.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 86902 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+880.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 87903 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561275 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+890.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 88903 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561205 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+900.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 89903 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+910.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 90903 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+920.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 91903 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561005 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+930.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 92904 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+940.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 93904 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+950.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 94904 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+960.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 95904 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+970.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 96904 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+980.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 97905 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+990.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 98905 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560806 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+1000.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37387 0 0 0 99905 109 0 0 25 0 1 0 478875641 155684864 37364 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+1010.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37388 0 0 0 100905 109 0 0 25 0 1 0 478875641 155684864 37365 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37365 603 41 0 37968 0 vsize: 152036 [startup+1020.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37388 0 0 0 101905 109 0 0 25 0 1 0 478875641 155684864 37365 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37365 603 41 0 37968 0 vsize: 152036 [startup+1030.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 102906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223776 134560588 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1040.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 103906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223744 134560194 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1050.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 104906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1060.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 105906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1070.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 106906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1080.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 107906 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1090.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 108907 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1100.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 109907 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1110.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 110907 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134561005 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1120.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 111907 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1130.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 112907 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134561218 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1140.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 113908 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1150.02 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37389 0 0 0 114908 109 0 0 25 0 1 0 478875641 155684864 37366 4294967295 134512640 134672761 3221224640 3221223744 134560252 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37366 603 41 0 37968 0 vsize: 152036 [startup+1160.02 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 37678 0 0 0 115907 110 0 0 25 0 1 0 478875641 156884992 37655 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38302 37655 603 41 0 38261 0 vsize: 153208 [startup+1170.02 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 38093 0 0 0 116907 111 0 0 25 0 1 0 478875641 158494720 38070 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38695 38070 603 41 0 38654 0 vsize: 154780 [startup+1180.02 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 38568 0 0 0 117906 112 0 0 25 0 1 0 478875641 160514048 38545 4294967295 134512640 134672761 3221224640 3221223808 134561118 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 39188 38545 603 41 0 39147 0 vsize: 156752 [startup+1190.02 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 39040 0 0 0 118905 113 0 0 25 0 1 0 478875641 162398208 39017 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 39648 39017 603 41 0 39607 0 vsize: 158592 [startup+1200.02 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 29553 Raw data (stat): 29553 (minisat+) R 29552 27222 27221 0 -1 0 39491 0 0 0 119903 115 0 0 25 0 1 0 478875641 164270080 39468 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 40105 39468 603 41 0 40064 0 vsize: 160420 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 1.03 1.00 0.92 1/54 29553 Raw data (stat): 29553 (minisat+) Z 29552 27222 27221 0 -1 12 39493 0 0 0 119903 122 0 0 25 0 1 0 478875641 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.1 CPU time (s): 1200.26 CPU user time (s): 1199.04 CPU system time (s): 1.22381 CPU usage (%): 100.014 Max. virtual memory (Kb): 160420 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####