Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb |
MD5SUM | b95391b071a3986ad670119101f16613 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -43 |
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 | 126082 |
Number of constraints which are clauses | 126082 |
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 wulflinc26 THE 2005-05-27 05:52:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23105 boxname=wulflinc26 idbench=351 idsolver=16 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b95391b071a3986ad670119101f16613 /oldhome/oroussel/tmp/wulflinc26/normalized-frb59-26-3.opb REAL COMMAND: minisat+_script -cb -gs /oldhome/oroussel/tmp/wulflinc26/normalized-frb59-26-3.opb IDLAUNCH: 23105 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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.061 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: 847732 kB Buffers: 33032 kB Cached: 132540 kB SwapCached: 756 kB Active: 53048 kB Inactive: 114784 kB HighTotal: 131008 kB HighFree: 6244 kB LowTotal: 903652 kB LowFree: 841488 kB SwapTotal: 2097892 kB SwapFree: 2096400 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5248 kB Slab: 13436 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-27 06:12:39 (client local time) WITH STATUS 152 IN 1229.88 SECONDS stats: 23105 7 1229.88 152 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 126082 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 | 126082 252164 | 42027 0 0 nan | 0.000 % | c ============================================================================== c [1mFound solution: -43[0m c ---[ 0]---> Sorter-cost:85954 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 216998 465444 | 72332 0 0 nan | 0.000 % | c | 100 | 216440 464274 | 79565 77 692 9.0 | 0.496 % | c | 250 | 215718 462730 | 87521 178 1363 7.7 | 1.160 % | c | 475 | 214836 460831 | 96273 357 3111 8.7 | 1.981 % | c | 813 | 212641 456042 | 105901 592 5851 9.9 | 4.071 % | c | 1319 | 209385 448854 | 116491 990 12030 12.2 | 7.246 % | c | 2078 | 205094 439353 | 128140 1507 17185 11.4 | 11.504 % | c | 3217 | 196864 420718 | 140954 2245 27826 12.4 | 19.808 % | c | 4926 | 187933 400276 | 155050 3536 41251 11.7 | 29.154 % | c | 7488 | 174890 370399 | 170555 5163 60601 11.7 | 42.471 % | c | 11332 | 162083 340109 | 187610 7594 92875 12.2 | 56.282 % | c | 17099 | 148519 307983 | 206371 10871 135486 12.5 | 71.082 % | 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 | 19471 | 145143 299814 | 48381 12463 157720 12.7 | 71.082 % | c | 19572 | 145143 299814 | 53219 12564 158110 12.6 | 74.855 % | c | 19722 | 145143 299814 | 58541 12714 160469 12.6 | 74.855 % | c | 19947 | 144865 299152 | 64395 12900 164705 12.8 | 75.164 % | c | 20285 | 144640 298591 | 70834 13140 169632 12.9 | 75.430 % | c | 20791 | 144145 297400 | 77918 13454 174511 13.0 | 75.987 % | c | 21550 | 143691 296290 | 85709 14108 190400 13.5 | 76.508 % | c | 22689 | 143174 295063 | 94280 15003 211362 14.1 | 77.073 % | c | 24397 | 142110 292541 | 103708 16399 244001 14.9 | 78.248 % | c | 26959 | 141157 290281 | 114079 18515 320032 17.3 | 79.296 % | 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 | 29178 | 139823 287131 | 46607 20012 367782 18.4 | 79.296 % | c | 29278 | 139608 286611 | 51267 20026 367537 18.4 | 81.025 % | c | 29428 | 139550 286467 | 56394 20139 368185 18.3 | 81.091 % | c | 29653 | 139471 286275 | 62033 20269 375681 18.5 | 81.175 % | 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 | 29811 | 139464 286228 | 46488 20389 388027 19.0 | 81.175 % | c | 29911 | 139408 286102 | 51136 20451 388814 19.0 | 81.242 % | c | 30061 | 139192 285577 | 56250 20394 388394 19.0 | 81.489 % | c | 30287 | 139191 285574 | 61875 20614 390522 18.9 | 81.490 % | c | 30626 | 139133 285437 | 68063 20890 404382 19.4 | 81.553 % | c | 31132 | 138976 285056 | 74869 21312 414941 19.5 | 81.729 % | c | 31891 | 138892 284848 | 82356 22019 435831 19.8 | 81.828 % | c | 33030 | 138569 284044 | 90591 22926 464026 20.2 | 82.207 % | 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 | 33870 | 138476 283871 | 46158 23604 502946 21.3 | 82.207 % | c | 33970 | 138311 283468 | 50773 23665 503768 21.3 | 82.539 % | c | 34120 | 138311 283468 | 55851 23815 513660 21.6 | 82.539 % | c | 34346 | 138308 283461 | 61436 24031 520109 21.6 | 82.542 % | c | 34683 | 138149 283085 | 67579 24316 528924 21.8 | 82.713 % | c | 35189 | 138025 282766 | 74337 24647 538200 21.8 | 82.866 % | c | 35948 | 138025 282766 | 81771 25406 603192 23.7 | 82.866 % | c | 37087 | 137588 281684 | 89948 26334 642119 24.4 | 83.372 % | c | 38795 | 136959 280149 | 98943 27600 711769 25.8 | 84.100 % | c ============================================================================== c [1mFound solution: -48[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 39995 | 136686 279451 | 45562 28586 771814 27.0 | 84.100 % | c | 40097 | 136675 279424 | 50118 28671 773626 27.0 | 84.439 % | c | 40247 | 136675 279424 | 55130 28821 779668 27.1 | 84.439 % | c | 40472 | 136570 279173 | 60643 28831 782806 27.2 | 84.556 % | c | 40810 | 136570 279173 | 66707 29169 806748 27.7 | 84.556 % | c | 41316 | 136521 279056 | 73378 29583 849482 28.7 | 84.611 % | c | 42075 | 136516 279045 | 80715 30339 884023 29.1 | 84.616 % | c | 43215 | 136401 278762 | 88787 31387 962003 30.6 | 84.749 % | c | 44923 | 136232 278358 | 97666 32887 1048554 31.9 | 84.938 % | c | 47486 | 136149 278147 | 107432 35346 1276312 36.1 | 85.041 % | c | 51330 | 135674 276982 | 118176 38442 1790167 46.6 | 85.585 % | c | 57096 | 135612 276826 | 129993 44030 2810947 63.8 | 85.661 % | c | 65747 | 135576 276739 | 142993 52662 4145672 78.7 | 85.700 % | 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 | 67205 | 135575 276748 | 45191 54070 4291929 79.4 | 85.700 % | c | 67306 | 135575 276748 | 49710 54171 4295459 79.3 | 85.712 % | c | 67456 | 135575 276748 | 54681 54321 4300437 79.2 | 85.712 % | c | 67681 | 135535 276654 | 60149 54440 4305045 79.1 | 85.755 % | c | 68018 | 135535 276654 | 66164 54777 4342942 79.3 | 85.755 % | c | 68524 | 135521 276622 | 72780 55207 4364365 79.1 | 85.770 % | c | 69283 | 135521 276622 | 80058 55966 4413885 78.9 | 85.770 % | c | 70422 | 135515 276608 | 88064 57102 4537411 79.5 | 85.776 % | c | 72130 | 135376 276279 | 96870 58658 4750361 81.0 | 85.929 % | c | 74693 | 135329 276160 | 106558 61096 5113153 83.7 | 85.987 % | c | 78537 | 135199 275844 | 117213 64712 5460014 84.4 | 86.135 % | c | 84303 | 135012 275411 | 128935 70321 6502802 92.5 | 86.333 % | c | 92953 | 134966 275296 | 141828 78769 8516166 108.1 | 86.388 % | c | 105927 | 134803 274900 | 156011 91584 10845292 118.4 | 86.575 % | c | 125388 | 134627 274480 | 171612 110465 13789180 124.8 | 86.771 % | 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 | 146490 | 134608 274413 | 44869 131017 18005950 137.4 | 86.771 % | c | 146590 | 134520 274198 | 49355 22382 2976833 133.0 | 86.897 % | c | 146740 | 134520 274198 | 54291 22532 2986731 132.6 | 86.897 % | c | 146965 | 134520 274198 | 59720 22757 2997680 131.7 | 86.897 % | c | 147302 | 134512 274176 | 65692 23090 3039315 131.6 | 86.908 % | c | 147808 | 134451 274041 | 72261 23589 3067515 130.0 | 86.968 % | c | 148567 | 134451 274041 | 79488 24348 3118327 128.1 | 86.968 % | c | 149706 | 134451 274041 | 87436 25487 3236403 127.0 | 86.968 % | c | 151416 | 134445 274025 | 96180 27194 3363305 123.7 | 86.976 % | c | 153979 | 134404 273920 | 105798 29674 3626730 122.2 | 87.028 % | c | 157823 | 134360 273816 | 116378 33340 4031583 120.9 | 87.076 % | c | 163589 | 134360 273816 | 128016 39106 5002751 127.9 | 87.076 % | c | 172238 | 134353 273801 | 140818 47751 6347034 132.9 | 87.082 % | c | 185212 | 134327 273741 | 154899 60700 8591150 141.5 | 87.110 % | c | 204674 | 134245 273546 | 170389 80128 11902448 148.5 | 87.200 % | c | 233867 | 134159 273343 | 187428 109294 17140633 156.8 | 87.290 % | 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 | 238225 | 134187 273424 | 44729 113652 17745327 156.1 | 87.290 % | c | 238325 | 134187 273424 | 49201 24419 2447777 100.2 | 87.285 % | c | 238475 | 134187 273424 | 54122 24569 2456904 100.0 | 87.285 % | c | 238701 | 134187 273424 | 59534 24795 2468989 99.6 | 87.285 % | c | 239039 | 134110 273222 | 65487 25074 2474764 98.7 | 87.383 % | c | 239545 | 134110 273222 | 72036 25580 2530061 98.9 | 87.383 % | c | 240304 | 134102 273204 | 79240 26330 2598566 98.7 | 87.391 % | c | 241443 | 134102 273204 | 87164 27469 2711977 98.7 | 87.391 % | c | 243151 | 134102 273204 | 95880 29177 2947946 101.0 | 87.391 % | c | 245713 | 134102 273204 | 105468 31739 3332683 105.0 | 87.391 % | c | 249557 | 134097 273193 | 116015 35578 3879118 109.0 | 87.395 % | c | 255324 | 134064 273108 | 127617 41315 4585248 111.0 | 87.437 % | c | 263974 | 134031 273025 | 140378 49956 5870587 117.5 | 87.476 % | c | 276948 | 134005 272961 | 154416 62913 8051620 128.0 | 87.506 % | c | 296409 | 134000 272950 | 169858 82371 12209581 148.2 | 87.511 % | /oldhome/oroussel/solvers/minisat+_script: line 9: 15894 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.92 0.95 0.90 2/54 15890 Raw data (stat): 15890 (runsolver) R 15889 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 853791434 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.001 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.94 0.96 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.0018 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.0018 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.0021 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.0018 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.0019 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.0022 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.0018 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15894 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.01 s] Raw data (loadavg): 1.07 0.99 0.91 3/58 15934 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.01 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 15947 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 15947 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 15947 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 15947 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 15947 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 15947 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 15947 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.078 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15949 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.079 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.078 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.078 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.73 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 15951 Raw data (stat): 15890 (minisat+_script) S 15889 20687 20686 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853791434 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.73 CPU time (s): 1229.88 CPU user time (s): 1228.82 CPU system time (s): 1.06384 CPU usage (%): 100.012 Max. virtual memory (Kb): 2124 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####