Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb |
MD5SUM | 42c2d619b73aa24781f1b54bddde28cc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1534 |
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 | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.13 |
Number of variables | 1534 |
Total number of constraints | 126555 |
Number of constraints which are clauses | 126555 |
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 | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-05-27 05:48:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23103 boxname=wulflinc20 idbench=349 idsolver=16 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 42c2d619b73aa24781f1b54bddde28cc /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-1.opb REAL COMMAND: minisat+_script -cb -gs /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-1.opb IDLAUNCH: 23103 /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: 573120 kB Buffers: 34720 kB Cached: 399832 kB SwapCached: 716 kB Active: 55152 kB Inactive: 386248 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 572868 kB SwapTotal: 2097892 kB SwapFree: 2096304 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5080 kB Slab: 14416 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-27 06:09:23 (client local time) WITH STATUS 152 IN 1229.9 SECONDS stats: 23103 7 1229.9 152 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 126555 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 | 126555 253110 | 42185 0 0 nan | 0.000 % | c ============================================================================== c [1mFound solution: -38[0m c ---[ 0]---> Sorter-cost:85954 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 217069 465444 | 72356 0 0 nan | 0.000 % | c | 100 | 216790 464872 | 79591 89 600 6.7 | 0.248 % | c | 250 | 216274 463770 | 87550 214 1440 6.7 | 0.724 % | c | 475 | 214965 460959 | 96305 387 3800 9.8 | 1.942 % | c | 812 | 213132 456972 | 105936 636 6869 10.8 | 3.690 % | c | 1318 | 209951 449961 | 116530 1002 10730 10.7 | 6.792 % | c | 2077 | 205662 440456 | 128183 1519 16520 10.9 | 11.021 % | c | 3216 | 199835 427331 | 141001 2396 25951 10.8 | 16.918 % | c ============================================================================== c [1mFound solution: -43[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 3223 | 200270 428729 | 66756 2403 26015 10.8 | 16.918 % | c | 3323 | 199641 427323 | 73431 2482 27299 11.0 | 17.474 % | c | 3473 | 199268 426478 | 80774 2623 28620 10.9 | 17.853 % | c | 3698 | 198296 424266 | 88852 2793 31030 11.1 | 18.843 % | c | 4035 | 197051 421439 | 97737 3060 33694 11.0 | 20.114 % | c | 4541 | 194569 415770 | 107511 3395 37438 11.0 | 22.737 % | c | 5300 | 190369 406170 | 118262 3960 44788 11.3 | 27.005 % | c | 6439 | 182768 388764 | 130088 4700 55187 11.7 | 34.909 % | c | 8147 | 174224 368940 | 143097 5708 72305 12.7 | 43.717 % | c | 10709 | 165439 348267 | 157407 7267 89810 12.4 | 53.135 % | c | 14553 | 156316 326744 | 173147 9959 124967 12.5 | 63.024 % | c | 20319 | 147828 306496 | 190462 14080 183519 13.0 | 72.300 % | c ============================================================================== c [1mFound solution: -44[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 25837 | 143368 295674 | 47789 17986 271545 15.1 | 72.300 % | c | 25937 | 143318 295554 | 52567 18069 272521 15.1 | 77.378 % | c | 26087 | 143318 295554 | 57824 18219 275625 15.1 | 77.378 % | c | 26312 | 143318 295554 | 63607 18444 284168 15.4 | 77.378 % | c | 26649 | 143163 295179 | 69967 18736 288281 15.4 | 77.554 % | c ============================================================================== c [1mFound solution: -45[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 27143 | 143076 295011 | 47692 19144 298953 15.6 | 77.554 % | c | 27243 | 142556 293745 | 52461 19063 298397 15.7 | 78.265 % | c | 27393 | 142450 293495 | 57707 19186 301638 15.7 | 78.379 % | c | 27618 | 142241 292993 | 63478 19268 305978 15.9 | 78.614 % | c | 27955 | 141995 292408 | 69825 19544 313502 16.0 | 78.883 % | c | 28461 | 141729 291765 | 76808 19836 322624 16.3 | 79.180 % | c ============================================================================== c [1mFound solution: -46[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 28871 | 141560 291295 | 47186 20008 322581 16.1 | 79.180 % | c | 28971 | 141515 291186 | 51904 20090 324233 16.1 | 79.429 % | c | 29121 | 141400 290922 | 57095 20163 327469 16.2 | 79.549 % | c | 29346 | 141396 290914 | 62804 20385 331852 16.3 | 79.552 % | c | 29683 | 141396 290914 | 69085 20722 343595 16.6 | 79.552 % | c | 30189 | 141159 290330 | 75993 21078 358393 17.0 | 79.823 % | c | 30948 | 140973 289868 | 83592 21771 380728 17.5 | 80.043 % | c | 32087 | 140117 287815 | 91952 22672 424529 18.7 | 80.992 % | c | 33796 | 139646 286654 | 101147 23974 467827 19.5 | 81.524 % | c | 36358 | 139155 285455 | 111262 26220 579099 22.1 | 82.076 % | c ============================================================================== c [1mFound solution: -47[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 38530 | 139217 285652 | 46405 28392 692199 24.4 | 82.076 % | c | 38630 | 139120 285424 | 51045 28405 692322 24.4 | 82.155 % | c | 38780 | 139069 285299 | 56150 28506 695478 24.4 | 82.215 % | c | 39005 | 139069 285299 | 61765 28731 709046 24.7 | 82.215 % | c | 39342 | 138819 284706 | 67941 28972 715394 24.7 | 82.490 % | c | 39848 | 138809 284682 | 74735 29437 735124 25.0 | 82.502 % | c | 40607 | 138612 284206 | 82209 29922 839034 28.0 | 82.721 % | c | 41746 | 138426 283742 | 90430 30998 891426 28.8 | 82.941 % | c ============================================================================== c [1mFound solution: -49[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 41990 | 138454 283837 | 46151 31242 911340 29.2 | 82.941 % | c | 42091 | 138428 283771 | 50766 31312 912232 29.1 | 82.953 % | c | 42241 | 138428 283771 | 55842 31462 917434 29.2 | 82.953 % | c | 42466 | 138278 283417 | 61426 31611 923903 29.2 | 83.114 % | c | 42803 | 137928 282540 | 67569 31679 928965 29.3 | 83.529 % | c | 43310 | 137872 282400 | 74326 32119 950929 29.6 | 83.595 % | c | 44069 | 137866 282386 | 81759 32875 983833 29.9 | 83.602 % | c | 45208 | 137455 281361 | 89935 33634 1027157 30.5 | 84.088 % | c | 46916 | 137280 280916 | 98928 35056 1089866 31.1 | 84.300 % | c | 49478 | 137202 280728 | 108821 37522 1272111 33.9 | 84.387 % | c | 53324 | 137143 280585 | 119703 41254 1866319 45.2 | 84.453 % | c | 59090 | 136637 279332 | 131674 46104 2356760 51.1 | 85.042 % | c | 67740 | 136556 279141 | 144841 54534 3483570 63.9 | 85.129 % | c | 80716 | 136315 278541 | 159325 66526 5357733 80.5 | 85.409 % | c ============================================================================== c [1mFound solution: -50[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 91931 | 136028 277798 | 45342 76435 6823228 89.3 | 85.409 % | c | 92031 | 136028 277798 | 49876 76535 6827573 89.2 | 85.731 % | c | 92181 | 136028 277798 | 54863 76685 6837964 89.2 | 85.731 % | c | 92406 | 136028 277798 | 60350 76910 6853645 89.1 | 85.731 % | c | 92743 | 136028 277798 | 66385 77247 6888984 89.2 | 85.731 % | c | 93249 | 136006 277746 | 73023 77393 6919823 89.4 | 85.755 % | c | 94008 | 135801 277258 | 80326 77892 6992575 89.8 | 85.981 % | c | 95149 | 135801 277258 | 88358 79033 7143161 90.4 | 85.981 % | c | 96858 | 135801 277258 | 97194 80742 7310652 90.5 | 85.981 % | c | 99421 | 135794 277239 | 106914 83280 7717781 92.7 | 85.990 % | c | 103266 | 135744 277110 | 117605 86790 8302212 95.7 | 86.052 % | c | 109032 | 135618 276804 | 129366 92180 9208017 99.9 | 86.195 % | c | 117681 | 135583 276725 | 142302 100781 10796546 107.1 | 86.230 % | c | 130655 | 135583 276725 | 156532 113755 13366729 117.5 | 86.230 % | c ============================================================================== c [1mFound solution: -51[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 142723 | 135521 276601 | 45173 125296 15573034 124.3 | 86.230 % | c | 142823 | 135506 276566 | 49690 25450 2459778 96.7 | 86.339 % | c | 142973 | 135506 276566 | 54659 25600 2465974 96.3 | 86.339 % | c | 143198 | 135506 276566 | 60125 25825 2473790 95.8 | 86.339 % | c | 143538 | 135466 276463 | 66137 26120 2508871 96.1 | 86.389 % | c | 144046 | 135457 276442 | 72751 26623 2535133 95.2 | 86.399 % | c | 144805 | 135457 276442 | 80026 27382 2623469 95.8 | 86.399 % | c | 145945 | 135318 276111 | 88029 28446 2748631 96.6 | 86.553 % | c | 147654 | 135313 276100 | 96832 30150 2908905 96.5 | 86.558 % | c | 150216 | 135305 276080 | 106515 32705 3332788 101.9 | 86.567 % | c | 154060 | 135186 275787 | 117167 36497 3895528 106.7 | 86.706 % | c | 159826 | 135186 275787 | 128883 42263 5032494 119.1 | 86.706 % | c | 168476 | 135056 275467 | 141772 50809 6500407 127.9 | 86.855 % | c | 181450 | 134967 275239 | 155949 63604 8803501 138.4 | 86.966 % | c | 200911 | 134960 275222 | 171544 83064 12598146 151.7 | 86.974 % | c | 230103 | 134960 275222 | 188698 112256 18482499 164.6 | 86.974 % | c | 273892 | 134955 275211 | 207568 156043 26526961 170.0 | 86.979 % | /oldhome/oroussel/solvers/minisat+_script: line 9: 18781 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@" #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.84 0.94 0.90 2/54 18777 Raw data (stat): 18777 (runsolver) R 18776 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 853764933 1052672 99 4294967295 134512640 135381576 3221224480 3221219688 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0001 s] Raw data (loadavg): 0.87 0.94 0.90 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+20.0011 s] Raw data (loadavg): 0.89 0.94 0.90 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+30.0015 s] Raw data (loadavg): 0.90 0.94 0.90 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+40.0012 s] Raw data (loadavg): 0.92 0.94 0.90 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+50.0012 s] Raw data (loadavg): 0.93 0.94 0.90 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+60.0007 s] Raw data (loadavg): 0.94 0.95 0.90 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+70.0014 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+80.0014 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+90.0019 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+100.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+110.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+120.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+130.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+140.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+150.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+160.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+170.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+180.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+190.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+200.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+210.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+220.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+230.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+240.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+250.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+260.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+290.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+300.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+330.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+340.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+350.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+360.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+370.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+380.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+390.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+400.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+410.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+420.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+430.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+440.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+450.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+460.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+470.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+480.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+490.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+500.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+510.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+520.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+530.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+540.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+550.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+560.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+570.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+580.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+590.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+600.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+610.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+620.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+630.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+640.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+650.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+660.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+670.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18781 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+680.033 s] Raw data (loadavg): 0.99 0.97 0.91 3/58 18829 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+690.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18834 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+700.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18834 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+710.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18834 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+720.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18834 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+730.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18834 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+740.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18834 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+750.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18834 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+760.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+770.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+780.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+790.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+800.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+810.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+820.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+830.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+840.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+850.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+860.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+870.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+880.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+890.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+900.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+910.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+920.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+930.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+940.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+950.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+960.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+970.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+980.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+990.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18836 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1220.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1229.75 s] Raw data (loadavg): 1.07 0.99 0.91 1/53 18838 Raw data (stat): 18777 (minisat+_script) S 18776 25399 25398 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853764933 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 0 Child status: 152 Real time (s): 1229.75 CPU time (s): 1229.9 CPU user time (s): 1228.73 CPU system time (s): 1.16882 CPU usage (%): 100.012 Max. virtual memory (Kb): 2124 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####