Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb |
MD5SUM | 1694d09a3d3e6cb31138c73ed644b225 |
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 | 1400 |
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 | 1400 |
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 | 1400 |
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.12 |
Number of variables | 1400 |
Total number of constraints | 109601 |
Number of constraints which are clauses | 109601 |
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 wulflinc15 THE 2005-05-25 17:28:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21930 boxname=wulflinc15 idbench=348 idsolver=15 numberseed=0 MD5SUM SOLVER: 34d34154b8ad81f02ee98439942e0814 /oldhome/oroussel/solvers/minisat+_script MD5SUM BENCH: 1694d09a3d3e6cb31138c73ed644b225 /oldhome/oroussel/tmp/wulflinc15/normalized-frb56-25-5.opb REAL COMMAND: minisat+_script /oldhome/oroussel/tmp/wulflinc15/normalized-frb56-25-5.opb IDLAUNCH: 21930 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 617152 kB Buffers: 35644 kB Cached: 359852 kB SwapCached: 672 kB Active: 76212 kB Inactive: 321360 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 616900 kB SwapTotal: 2097136 kB SwapFree: 2095624 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5080 kB Slab: 14344 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 17:49:08 (client local time) WITH STATUS 152 IN 1229.91 SECONDS stats: 21930 7 1229.91 152 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 109601 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 | 109601 219202 | 36533 0 0 nan | 0.000 % | c ============================================================================== c [1mFound solution: -37[0m c ---[ 0]---> Sorter-cost:78076 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 193124 415097 | 64374 0 0 nan | 0.000 % | c | 100 | 192416 413617 | 70811 76 921 12.1 | 0.681 % | c | 250 | 191023 410616 | 77892 179 2197 12.3 | 2.096 % | c | 475 | 190063 408538 | 85681 361 3680 10.2 | 3.080 % | c | 812 | 188734 405627 | 94249 637 6636 10.4 | 4.472 % | c | 1318 | 186843 401468 | 103674 1068 12098 11.3 | 6.468 % | c | 2078 | 182356 391503 | 114042 1656 20682 12.5 | 11.351 % | c | 3217 | 177722 381101 | 125446 2499 32422 13.0 | 16.364 % | c ============================================================================== c [1mFound solution: -42[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 3529 | 175621 376581 | 58540 2705 34651 12.8 | 16.364 % | c | 3629 | 175081 375366 | 64394 2776 35448 12.8 | 19.578 % | c | 3779 | 174172 373327 | 70833 2879 36988 12.8 | 20.559 % | c | 4004 | 173065 370801 | 77916 3042 38920 12.8 | 21.723 % | c | 4341 | 171253 366710 | 85708 3295 42788 13.0 | 23.699 % | c | 4847 | 168168 359645 | 94279 3646 46729 12.8 | 27.155 % | c | 5606 | 165511 353533 | 103707 4196 52953 12.6 | 30.161 % | c | 6746 | 160767 342641 | 114077 5044 64353 12.8 | 35.508 % | c | 8454 | 155384 330180 | 125485 6279 81871 13.0 | 41.640 % | c | 11016 | 149069 315430 | 138034 8200 110217 13.4 | 48.843 % | c | 14860 | 139979 293955 | 151837 11004 152130 13.8 | 59.520 % | c ============================================================================== c [1mFound solution: -43[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 20499 | 132623 276547 | 44207 15087 233369 15.5 | 59.520 % | c | 20599 | 132522 276302 | 48627 15164 235097 15.5 | 68.499 % | c | 20749 | 132324 275837 | 53490 15279 237075 15.5 | 68.729 % | c | 20974 | 132058 275218 | 58839 15436 241112 15.6 | 69.032 % | c | 21311 | 131621 274190 | 64723 15651 243787 15.6 | 69.531 % | c | 21817 | 131015 272757 | 71195 15990 252762 15.8 | 70.240 % | c | 22576 | 130069 270499 | 78315 16497 264557 16.0 | 71.349 % | c | 23715 | 128828 267554 | 86146 17352 289981 16.7 | 72.790 % | c | 25423 | 127390 264042 | 94761 18639 326421 17.5 | 74.562 % | 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 | 27608 | 126418 261648 | 42139 20404 389011 19.1 | 74.562 % | c | 27708 | 126083 260820 | 46352 20406 388917 19.1 | 76.186 % | c | 27858 | 125935 260464 | 50988 20480 393969 19.2 | 76.368 % | c | 28083 | 125831 260210 | 56087 20649 399264 19.3 | 76.498 % | c | 28420 | 125831 260210 | 61695 20986 410136 19.5 | 76.498 % | c | 28926 | 125772 260065 | 67865 21475 417326 19.4 | 76.571 % | c | 29687 | 125736 259979 | 74651 22220 469844 21.1 | 76.615 % | c | 30826 | 125376 259109 | 82116 23271 508205 21.8 | 77.053 % | c | 32535 | 124959 258114 | 90328 24674 574603 23.3 | 77.553 % | c | 35097 | 124654 257365 | 99361 27056 731371 27.0 | 77.933 % | c | 38941 | 123674 254985 | 109297 30310 953739 31.5 | 79.143 % | 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 | 39981 | 123189 253844 | 41063 30770 1040985 33.8 | 79.143 % | c | 40081 | 123136 253713 | 45169 30862 1043549 33.8 | 79.813 % | c | 40231 | 122947 253253 | 49686 30899 1043609 33.8 | 80.048 % | c | 40456 | 122945 253249 | 54654 31123 1055699 33.9 | 80.049 % | c | 40794 | 122945 253249 | 60120 31461 1069312 34.0 | 80.049 % | c | 41300 | 122900 253146 | 66132 31902 1099724 34.5 | 80.100 % | c | 42059 | 122752 252790 | 72745 32334 1144268 35.4 | 80.272 % | c | 43198 | 122366 251861 | 80020 33089 1185693 35.8 | 80.723 % | c | 44907 | 122194 251428 | 88022 34657 1295375 37.4 | 80.945 % | c | 47469 | 121548 249831 | 96824 36732 1490676 40.6 | 81.756 % | 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 | 49597 | 121162 248821 | 40387 38360 1594354 41.6 | 81.756 % | c | 49697 | 121121 248722 | 44425 38424 1596348 41.5 | 82.285 % | c | 49847 | 121069 248597 | 48868 38550 1604324 41.6 | 82.348 % | c | 50072 | 121069 248597 | 53755 38775 1614451 41.6 | 82.348 % | c | 50409 | 120960 248347 | 59130 39032 1630054 41.8 | 82.467 % | c | 50916 | 120636 247540 | 65043 39334 1644118 41.8 | 82.880 % | c | 51675 | 120511 247232 | 71548 39793 1665108 41.8 | 83.036 % | c | 52814 | 120273 246658 | 78702 40760 1749498 42.9 | 83.330 % | c | 54522 | 120044 246077 | 86573 42192 1866998 44.3 | 83.631 % | c | 57086 | 119856 245625 | 95230 44603 2084904 46.7 | 83.860 % | c | 60930 | 119757 245394 | 104753 48320 2492696 51.6 | 83.975 % | c | 66698 | 119630 245101 | 115228 53924 3060814 56.8 | 84.119 % | c | 75349 | 119586 244999 | 126751 62536 4250466 68.0 | 84.170 % | 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 | 80708 | 119633 245141 | 39877 67895 4961309 73.1 | 84.170 % | c | 80808 | 119633 245141 | 43864 67995 4966277 73.0 | 84.150 % | c | 80958 | 119633 245141 | 48251 68145 4968911 72.9 | 84.150 % | c | 81183 | 119630 245134 | 53076 68360 4989143 73.0 | 84.154 % | c | 81520 | 119590 245038 | 58383 68485 5032014 73.5 | 84.203 % | c | 82026 | 119560 244960 | 64222 68956 5055540 73.3 | 84.243 % | c | 82785 | 119541 244917 | 70644 69664 5112086 73.4 | 84.264 % | c | 83924 | 119484 244782 | 77708 70593 5233348 74.1 | 84.330 % | c | 85632 | 119390 244544 | 85479 72182 5364386 74.3 | 84.452 % | c | 88194 | 119390 244544 | 94027 74744 5768919 77.2 | 84.452 % | c | 92038 | 119330 244395 | 103430 78241 6251849 79.9 | 84.529 % | 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 | 95222 | 119307 244312 | 39769 80797 6489917 80.3 | 84.529 % | c | 95322 | 119302 244301 | 43745 80801 6494507 80.4 | 84.568 % | c | 95473 | 119302 244301 | 48120 80952 6499168 80.3 | 84.568 % | c | 95699 | 119302 244301 | 52932 81178 6517644 80.3 | 84.568 % | c | 96037 | 119302 244301 | 58225 81516 6558349 80.5 | 84.568 % | c | 96543 | 119251 244180 | 64048 81893 6601834 80.6 | 84.629 % | c | 97302 | 119251 244180 | 70453 82652 6683850 80.9 | 84.629 % | c | 98443 | 119251 244180 | 77498 83793 6792426 81.1 | 84.629 % | c | 100152 | 119248 244173 | 85248 85501 7044565 82.4 | 84.633 % | c | 102714 | 119224 244113 | 93773 87981 7416265 84.3 | 84.664 % | c | 106558 | 119224 244113 | 103150 91825 8083263 88.0 | 84.664 % | c | 112324 | 119173 243998 | 113465 97535 8694659 89.1 | 84.720 % | c | 120973 | 119173 243998 | 124812 106184 10419020 98.1 | 84.720 % | c | 133947 | 119051 243701 | 137293 118592 12175059 102.7 | 84.868 % | c | 153408 | 118999 243571 | 151022 137826 14991766 108.8 | 84.933 % | c | 182602 | 118921 243384 | 166124 166833 21119827 126.6 | 85.020 % | c | 226392 | 118907 243352 | 182737 210607 28689871 136.2 | 85.036 % | /oldhome/oroussel/solvers/minisat+_script: line 9: 10932 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.91 0.95 0.92 2/54 10928 Raw data (stat): 10928 (runsolver) R 10927 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 782454453 1052672 99 4294967295 134512640 135381576 3221224496 3221219704 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 0.93 0.95 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+20.0013 s] Raw data (loadavg): 0.94 0.96 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+30.0026 s] Raw data (loadavg): 0.95 0.96 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+40.0019 s] Raw data (loadavg): 0.95 0.96 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+50.0027 s] Raw data (loadavg): 0.96 0.96 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+60.0028 s] Raw data (loadavg): 0.97 0.96 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+70.0034 s] Raw data (loadavg): 0.97 0.96 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+80.0042 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+90.0043 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+370.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+400.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+430.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+510.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+520.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+530.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+540.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+550.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+560.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.92 3/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+590.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+610.019 s] Raw data (loadavg): 0.99 0.97 0.92 3/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+630.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+640.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+650.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+660.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+670.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+680.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+690.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+700.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+710.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+720.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+730.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+740.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+750.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+770.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+780.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+790.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+800.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+820.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+830.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+840.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+850.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+860.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+870.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+880.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+890.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+900.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+910.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+920.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+930.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+940.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+950.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+960.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+970.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+980.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+990.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1210.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1220.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1229.76 s] Raw data (loadavg): 0.99 0.97 0.92 1/53 10932 Raw data (stat): 10928 (minisat+_script) S 10927 23514 23513 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 782454453 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 0 Child status: 152 Real time (s): 1229.76 CPU time (s): 1229.91 CPU user time (s): 1228.56 CPU system time (s): 1.34879 CPU usage (%): 100.012 Max. virtual memory (Kb): 2124 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####