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 wulflinc20 THE 2005-04-14 03:47:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4642 boxname=wulflinc20 idbench=130 idsolver=13 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ed503628984a48598e5d5a4b8388e97a /oldhome/oroussel/tmp/wulflinc20/normalized-g125.17.opb REAL COMMAND: minisat+ -w /oldhome/oroussel/tmp/wulflinc20/normalized-g125.17.opb /oldhome/oroussel/tmp/wulflinc20/normalized-g125.17.opb IDLAUNCH: 4642 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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.215 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 872276 kB Buffers: 35280 kB Cached: 91020 kB SwapCached: 2628 kB Active: 51728 kB Inactive: 80060 kB HighTotal: 131008 kB HighFree: 36232 kB LowTotal: 903652 kB LowFree: 836044 kB SwapTotal: 2097892 kB SwapFree: 2095264 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6928 kB Slab: 25048 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-14 04:07:43 (client local time) WITH STATUS 0 IN 1200.3 SECONDS stats: 4642 7 1200.3 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.70 0.91 0.89 2/54 3119 Raw data (stat): 3119 (runsolver) R 3118 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481466859 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 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.0009 s] Raw data (loadavg): 0.75 0.91 0.89 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 3558 0 0 0 987 10 0 0 25 0 1 0 481466859 16756736 3535 4294967295 134512640 134672761 3221224560 3221223728 134561151 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.0014 s] Raw data (loadavg): 0.79 0.91 0.89 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 4950 0 0 0 1984 13 0 0 25 0 1 0 481466859 22540288 4927 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 5503 4927 603 41 0 5462 0 vsize: 22012 [startup+30.0021 s] Raw data (loadavg): 0.82 0.92 0.89 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 6557 0 0 0 2980 17 0 0 25 0 1 0 481466859 29130752 6534 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7112 6534 603 41 0 7071 0 vsize: 28448 [startup+40.0021 s] Raw data (loadavg): 0.85 0.92 0.89 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 7890 0 0 0 3978 20 0 0 25 0 1 0 481466859 34553856 7867 4294967295 134512640 134672761 3221224560 3221223684 134566043 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 8436 7867 603 41 0 8395 0 vsize: 33744 [startup+50.0015 s] Raw data (loadavg): 0.87 0.92 0.89 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 9164 0 0 0 4974 23 0 0 25 0 1 0 481466859 39809024 9141 4294967295 134512640 134672761 3221224560 3221223716 134559752 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 9719 9141 603 41 0 9678 0 vsize: 38876 [startup+60.0013 s] Raw data (loadavg): 0.89 0.92 0.90 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 10167 0 0 0 5972 26 0 0 25 0 1 0 481466859 43859968 10144 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 10708 10144 603 41 0 10667 0 vsize: 42832 [startup+70.0013 s] Raw data (loadavg): 0.91 0.92 0.90 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 10865 0 0 0 6969 28 0 0 25 0 1 0 481466859 46694400 10842 4294967295 134512640 134672761 3221224560 3221223728 134561148 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 11400 10842 603 41 0 11359 0 vsize: 45600 [startup+80.0017 s] Raw data (loadavg): 0.92 0.93 0.90 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 11486 0 0 0 7968 29 0 0 25 0 1 0 481466859 49250304 11463 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 12024 11463 603 41 0 11983 0 vsize: 48096 [startup+90.0014 s] Raw data (loadavg): 0.93 0.93 0.90 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 12118 0 0 0 8967 31 0 0 25 0 1 0 481466859 51802112 12095 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 12647 12095 603 41 0 12606 0 vsize: 50588 [startup+100.001 s] Raw data (loadavg): 0.94 0.93 0.90 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 12852 0 0 0 9965 33 0 0 25 0 1 0 481466859 54894592 12829 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 13402 12829 603 41 0 13361 0 vsize: 53608 [startup+110.002 s] Raw data (loadavg): 0.95 0.93 0.90 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 13490 0 0 0 10964 34 0 0 25 0 1 0 481466859 57581568 13467 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 14058 13467 603 41 0 14017 0 vsize: 56232 [startup+120.002 s] Raw data (loadavg): 0.96 0.93 0.90 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 14102 0 0 0 11962 36 0 0 25 0 1 0 481466859 60137472 14079 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 14682 14079 603 41 0 14641 0 vsize: 58728 [startup+130.003 s] Raw data (loadavg): 0.96 0.94 0.90 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 14703 0 0 0 12961 37 0 0 25 0 1 0 481466859 62554112 14680 4294967295 134512640 134672761 3221224560 3221223684 134566059 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 15272 14680 603 41 0 15231 0 vsize: 61088 [startup+140.002 s] Raw data (loadavg): 0.97 0.94 0.90 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 15384 0 0 0 13958 40 0 0 25 0 1 0 481466859 65384448 15361 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 15963 15361 603 41 0 15922 0 vsize: 63852 [startup+150.002 s] Raw data (loadavg): 0.97 0.94 0.90 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 16229 0 0 0 14956 42 0 0 25 0 1 0 481466859 68755456 16206 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 16786 16206 603 41 0 16745 0 vsize: 67144 [startup+160.002 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 16967 0 0 0 15954 44 0 0 25 0 1 0 481466859 71843840 16944 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 17540 16944 603 41 0 17499 0 vsize: 70160 [startup+170.002 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 17704 0 0 0 16952 46 0 0 25 0 1 0 481466859 74809344 17681 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 18264 17681 603 41 0 18223 0 vsize: 73056 [startup+180.002 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 18451 0 0 0 17951 48 0 0 25 0 1 0 481466859 77914112 18428 4294967295 134512640 134672761 3221224560 3221223744 134559161 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 19022 18428 603 41 0 18981 0 vsize: 76088 [startup+190.003 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 19154 0 0 0 18948 50 0 0 25 0 1 0 481466859 80744448 19131 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 19713 19131 603 41 0 19672 0 vsize: 78852 [startup+200.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 19893 0 0 0 19946 53 0 0 25 0 1 0 481466859 83705856 19870 4294967295 134512640 134672761 3221224560 3221223728 134561207 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 20436 19870 603 41 0 20395 0 vsize: 81744 [startup+210.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 20642 0 0 0 20944 55 0 0 25 0 1 0 481466859 86790144 20619 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 21189 20619 603 41 0 21148 0 vsize: 84756 [startup+220.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 21276 0 0 0 21942 57 0 0 25 0 1 0 481466859 89481216 21253 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 21846 21253 603 41 0 21805 0 vsize: 87384 [startup+230.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 21938 0 0 0 22941 59 0 0 25 0 1 0 481466859 92160000 21915 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 22500 21915 603 41 0 22459 0 vsize: 90000 [startup+240.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 22658 0 0 0 23939 61 0 0 25 0 1 0 481466859 95125504 22635 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 23224 22635 603 41 0 23183 0 vsize: 92896 [startup+250.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 23305 0 0 0 24938 62 0 0 25 0 1 0 481466859 97697792 23282 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 23852 23282 603 41 0 23811 0 vsize: 95408 [startup+260.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 23902 0 0 0 25936 64 0 0 25 0 1 0 481466859 100122624 23879 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24444 23879 603 41 0 24403 0 vsize: 97776 [startup+270.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 24411 0 0 0 26934 66 0 0 25 0 1 0 481466859 102268928 24388 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24968 24388 603 41 0 24927 0 vsize: 99872 [startup+280.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 25013 0 0 0 27933 67 0 0 25 0 1 0 481466859 104689664 24990 4294967295 134512640 134672761 3221224560 3221223664 134555091 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 25559 24990 603 41 0 25518 0 vsize: 102236 [startup+290.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 25634 0 0 0 28932 69 0 0 25 0 1 0 481466859 107515904 25611 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 26249 25611 603 41 0 26208 0 vsize: 104996 [startup+300.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 26238 0 0 0 29930 70 0 0 25 0 1 0 481466859 109940736 26215 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 26841 26215 603 41 0 26800 0 vsize: 107364 [startup+310.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 26835 0 0 0 30930 71 0 0 25 0 1 0 481466859 112369664 26812 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 27434 26812 603 41 0 27393 0 vsize: 109736 [startup+320.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 27321 0 0 0 31929 72 0 0 25 0 1 0 481466859 114380800 27298 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 27925 27298 603 41 0 27884 0 vsize: 111700 [startup+330.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 27858 0 0 0 32928 74 0 0 25 0 1 0 481466859 116645888 27835 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 28478 27835 603 41 0 28437 0 vsize: 113912 [startup+340.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 28414 0 0 0 33927 75 0 0 25 0 1 0 481466859 118943744 28391 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 29039 28391 603 41 0 28998 0 vsize: 116156 [startup+350.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 28960 0 0 0 34925 77 0 0 25 0 1 0 481466859 121102336 28937 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 29566 28937 603 41 0 29525 0 vsize: 118264 [startup+360.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 29460 0 0 0 35924 78 0 0 25 0 1 0 481466859 123129856 29437 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 30061 29437 603 41 0 30020 0 vsize: 120244 [startup+370.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 29954 0 0 0 36923 79 0 0 25 0 1 0 481466859 125157376 29931 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 30556 29931 603 41 0 30515 0 vsize: 122224 [startup+380.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 30474 0 0 0 37922 80 0 0 25 0 1 0 481466859 127320064 30451 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 31084 30451 603 41 0 31043 0 vsize: 124336 [startup+390.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 30833 0 0 0 38921 82 0 0 25 0 1 0 481466859 128831488 30810 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 31453 30810 603 41 0 31412 0 vsize: 125812 [startup+400.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 31240 0 0 0 39920 82 0 0 25 0 1 0 481466859 130453504 31217 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 31849 31217 603 41 0 31808 0 vsize: 127396 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 31645 0 0 0 40920 83 0 0 25 0 1 0 481466859 132055040 31622 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 32240 31622 603 41 0 32199 0 vsize: 128960 [startup+420.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 31981 0 0 0 41919 84 0 0 25 0 1 0 481466859 133541888 31958 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 32603 31958 603 41 0 32562 0 vsize: 130412 [startup+430.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 32284 0 0 0 42919 84 0 0 25 0 1 0 481466859 134762496 32261 4294967295 134512640 134672761 3221224560 3221223696 134560688 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 32901 32261 603 41 0 32860 0 vsize: 131604 [startup+440.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 32602 0 0 0 43918 85 0 0 25 0 1 0 481466859 136093696 32579 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 33226 32579 603 41 0 33185 0 vsize: 132904 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 32863 0 0 0 44918 86 0 0 25 0 1 0 481466859 137166848 32840 4294967295 134512640 134672761 3221224560 3221223728 134561016 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 33488 32840 603 41 0 33447 0 vsize: 133952 [startup+460.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 33133 0 0 0 45917 87 0 0 25 0 1 0 481466859 138244096 33110 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 33751 33110 603 41 0 33710 0 vsize: 135004 [startup+470.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 33428 0 0 0 46917 87 0 0 25 0 1 0 481466859 139468800 33405 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 34050 33405 603 41 0 34009 0 vsize: 136200 [startup+480.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 33858 0 0 0 47915 89 0 0 25 0 1 0 481466859 141225984 33835 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 34479 33835 603 41 0 34438 0 vsize: 137916 [startup+490.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 34182 0 0 0 48915 89 0 0 25 0 1 0 481466859 142577664 34159 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 34809 34159 603 41 0 34768 0 vsize: 139236 [startup+500.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 34589 0 0 0 49914 91 0 0 25 0 1 0 481466859 144216064 34566 4294967295 134512640 134672761 3221224560 3221223728 134561016 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 35209 34566 603 41 0 35168 0 vsize: 140836 [startup+510.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 35027 0 0 0 50913 91 0 0 25 0 1 0 481466859 145960960 35004 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 35635 35004 603 41 0 35594 0 vsize: 142540 [startup+520.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 35416 0 0 0 51912 92 0 0 25 0 1 0 481466859 147570688 35393 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 36028 35393 603 41 0 35987 0 vsize: 144112 [startup+530.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 35807 0 0 0 52911 93 0 0 25 0 1 0 481466859 149192704 35784 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 36424 35784 603 41 0 36383 0 vsize: 145696 [startup+540.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 36221 0 0 0 53911 94 0 0 25 0 1 0 481466859 150953984 36198 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 36854 36198 603 41 0 36813 0 vsize: 147416 [startup+550.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 36676 0 0 0 54910 95 0 0 25 0 1 0 481466859 152707072 36653 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 37282 36653 603 41 0 37241 0 vsize: 149128 [startup+560.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37059 0 0 0 55910 96 0 0 25 0 1 0 481466859 154341376 37036 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 37681 37036 603 41 0 37640 0 vsize: 150724 [startup+570.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 56910 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223664 134554662 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37359 603 41 0 37968 0 vsize: 152036 [startup+580.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 57910 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 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+590.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 58910 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561229 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.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 59910 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561188 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.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 60910 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 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+620.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 61911 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561269 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.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 62911 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561188 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.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 63911 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 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+650.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 64911 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561218 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 65911 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561205 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 66912 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223728 134561005 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.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37382 0 0 0 67912 96 0 0 25 0 1 0 481466859 155684864 37359 4294967295 134512640 134672761 3221224560 3221223744 134558754 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.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37383 0 0 0 68912 96 0 0 25 0 1 0 481466859 155684864 37360 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37360 603 41 0 37968 0 vsize: 152036 [startup+700.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 69912 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 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+710.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 70912 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134560988 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 71912 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134561193 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 72913 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134561193 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.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3119 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 73913 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 134561218 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.064 s] Raw data (loadavg): 1.07 0.99 0.91 3/58 3162 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37385 0 0 0 74918 96 0 0 25 0 1 0 481466859 155684864 37362 4294967295 134512640 134672761 3221224560 3221223728 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+760.068 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 3172 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37386 0 0 0 75919 96 0 0 25 0 1 0 481466859 155684864 37363 4294967295 134512640 134672761 3221224560 3221223728 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+770.069 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 3172 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37386 0 0 0 76919 96 0 0 25 0 1 0 481466859 155684864 37363 4294967295 134512640 134672761 3221224560 3221223728 134561188 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.068 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 3172 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37386 0 0 0 77919 96 0 0 25 0 1 0 481466859 155684864 37363 4294967295 134512640 134672761 3221224560 3221223744 134559354 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.069 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 3172 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37386 0 0 0 78920 96 0 0 25 0 1 0 481466859 155684864 37363 4294967295 134512640 134672761 3221224560 3221223744 134558925 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.069 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 3172 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 79920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560797 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+810.069 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 3172 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 80919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223760 134557809 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 38009 37364 603 41 0 37968 0 vsize: 152036 [startup+820.069 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 81919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+830.069 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 82919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134561188 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.069 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 83919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223744 134559354 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.069 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 84919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+860.069 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 85919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+870.069 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 86919 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+880.068 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 87920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+890.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 88920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+900.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 89920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+910.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 90920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223664 134560224 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.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 91920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 92920 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 134560980 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.069 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 93921 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223744 134558920 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.069 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 94921 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+960.069 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 95921 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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.069 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 96921 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+980.069 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 97921 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+990.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37387 0 0 0 98922 96 0 0 25 0 1 0 481466859 155684864 37364 4294967295 134512640 134672761 3221224560 3221223728 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+1000.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37388 0 0 0 99922 96 0 0 25 0 1 0 481466859 155684864 37365 4294967295 134512640 134672761 3221224560 3221223728 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+1010.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37388 0 0 0 100922 96 0 0 25 0 1 0 481466859 155684864 37365 4294967295 134512640 134672761 3221224560 3221223728 134560903 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 101922 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 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+1030.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 102922 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 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+1040.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 103923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 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+1050.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 104923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134561229 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 105923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 134560869 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3174 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 106923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223664 134559908 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 107923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 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+1090.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 108923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 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+1100.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 109923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 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+1110.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 110923 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 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+1120.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 111924 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223664 134559875 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37389 0 0 0 112924 96 0 0 25 0 1 0 481466859 155684864 37366 4294967295 134512640 134672761 3221224560 3221223728 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+1140.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37496 0 0 0 113924 97 0 0 25 0 1 0 481466859 156082176 37473 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38106 37473 603 41 0 38065 0 vsize: 152424 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 37887 0 0 0 114922 98 0 0 25 0 1 0 481466859 157691904 37864 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38499 37864 603 41 0 38458 0 vsize: 153996 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 38371 0 0 0 115921 100 0 0 25 0 1 0 481466859 159703040 38348 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 38990 38348 603 41 0 38949 0 vsize: 155960 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 38823 0 0 0 116920 101 0 0 25 0 1 0 481466859 161591296 38800 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 39451 38800 603 41 0 39410 0 vsize: 157804 [startup+1180.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 39286 0 0 0 117919 102 0 0 25 0 1 0 481466859 163467264 39263 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 39909 39263 603 41 0 39868 0 vsize: 159636 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 39709 0 0 0 118918 103 0 0 25 0 1 0 481466859 165216256 39686 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 40336 39686 603 41 0 40295 0 vsize: 161344 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 3176 Raw data (stat): 3119 (minisat+) R 3118 27565 27564 0 -1 0 40143 0 0 0 119918 103 0 0 25 0 1 0 481466859 166965248 40120 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 40763 40120 603 41 0 40722 0 vsize: 163052 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.14 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 3176 Raw data (stat): 3119 (minisat+) Z 3118 27565 27564 0 -1 12 40146 0 0 0 119918 111 0 0 25 0 1 0 481466859 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.14 CPU time (s): 1200.3 CPU user time (s): 1199.18 CPU system time (s): 1.11283 CPU usage (%): 100.013 Max. virtual memory (Kb): 163052 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####