Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb |
MD5SUM | 02058527b1ad27d5be75faa6974ffa0f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -42 |
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.11 |
Number of variables | 1400 |
Total number of constraints | 109676 |
Number of constraints which are clauses | 109676 |
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 wulflinc4 THE 2005-05-27 05:41:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23098 boxname=wulflinc4 idbench=344 idsolver=16 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 02058527b1ad27d5be75faa6974ffa0f /oldhome/oroussel/tmp/wulflinc4/normalized-frb56-25-1.opb REAL COMMAND: minisat+_script -cb -gs /oldhome/oroussel/tmp/wulflinc4/normalized-frb56-25-1.opb IDLAUNCH: 23098 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 451.169 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: 814548 kB Buffers: 33508 kB Cached: 165504 kB SwapCached: 500 kB Active: 54672 kB Inactive: 146720 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 814296 kB SwapTotal: 2097136 kB SwapFree: 2096004 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5788 kB Slab: 12984 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-27 06:02:24 (client local time) WITH STATUS 152 IN 1229.9 SECONDS stats: 23098 7 1229.9 152 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 109676 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 | 109676 219352 | 36558 0 0 nan | 0.000 % | c ============================================================================== c [1mFound solution: -39[0m c ---[ 0]---> Sorter-cost:78076 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 193374 415660 | 64458 0 0 nan | 0.000 % | c | 100 | 192719 414299 | 70903 63 1093 17.3 | 0.622 % | c | 250 | 192264 413332 | 77994 193 3275 17.0 | 1.071 % | c | 476 | 191415 411505 | 85793 346 4129 11.9 | 1.930 % | c | 813 | 188955 406147 | 94372 570 6726 11.8 | 4.475 % | c | 1319 | 186406 400564 | 103810 962 13044 13.6 | 7.139 % | c | 2078 | 180912 388275 | 114191 1479 18824 12.7 | 13.094 % | c | 3217 | 175709 376585 | 125610 2357 32192 13.7 | 18.778 % | c | 4925 | 166673 356010 | 138171 3574 49702 13.9 | 28.824 % | c | 7487 | 157658 335240 | 151988 5415 74543 13.8 | 39.079 % | c | 11331 | 143138 301148 | 167187 7961 113671 14.3 | 55.865 % | 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 | 12525 | 140763 295746 | 46921 8929 130833 14.7 | 55.865 % | c | 12625 | 139918 293726 | 51613 8922 130380 14.6 | 59.751 % | c | 12775 | 139671 293133 | 56774 9032 131953 14.6 | 60.052 % | c | 13000 | 139283 292232 | 62451 9203 135203 14.7 | 60.501 % | c | 13337 | 138691 290861 | 68697 9414 138503 14.7 | 61.171 % | c | 13843 | 138328 290009 | 75566 9866 147954 15.0 | 61.597 % | c | 14602 | 137121 287145 | 83123 10409 155824 15.0 | 63.131 % | c | 15741 | 135695 283700 | 91435 11210 169938 15.2 | 64.772 % | c | 17449 | 133720 279037 | 100579 12512 198089 15.8 | 67.074 % | c | 20011 | 128643 266845 | 110637 13856 224025 16.2 | 73.177 % | c | 23856 | 125354 258987 | 121700 16543 306442 18.5 | 77.142 % | c | 29622 | 122874 253024 | 133871 20367 492068 24.2 | 80.137 % | 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 | 30967 | 122645 252423 | 40881 21516 531155 24.7 | 80.137 % | c | 31067 | 122645 252423 | 44969 21616 531997 24.6 | 80.427 % | c | 31217 | 122636 252402 | 49466 21757 536269 24.6 | 80.437 % | c | 31442 | 122593 252300 | 54412 21951 542487 24.7 | 80.488 % | c | 31779 | 122436 251912 | 59853 22120 548490 24.8 | 80.684 % | c | 32285 | 122436 251912 | 65839 22626 572074 25.3 | 80.684 % | c | 33044 | 122390 251788 | 72423 23361 600618 25.7 | 80.751 % | c | 34183 | 122320 251616 | 79665 24453 657839 26.9 | 80.840 % | c | 35892 | 122035 250934 | 87632 26003 710446 27.3 | 81.185 % | c | 38454 | 121806 250367 | 96395 28222 984902 34.9 | 81.476 % | 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 | 38938 | 121634 249984 | 40544 28578 1022037 35.8 | 81.476 % | c | 39038 | 121617 249941 | 44598 28653 1023964 35.7 | 81.716 % | c | 39188 | 121349 249292 | 49058 28508 1022934 35.9 | 82.043 % | c | 39413 | 121349 249292 | 53964 28733 1031080 35.9 | 82.043 % | c | 39750 | 121213 248952 | 59360 29014 1043187 36.0 | 82.215 % | c | 40256 | 121088 248654 | 65296 29472 1065725 36.2 | 82.365 % | c | 41015 | 121034 248515 | 71826 30083 1084053 36.0 | 82.437 % | c | 42154 | 120996 248419 | 79008 31210 1134841 36.4 | 82.488 % | c | 43862 | 120814 247954 | 86909 32806 1219139 37.2 | 82.733 % | c | 46425 | 120660 247566 | 95600 35272 1481711 42.0 | 82.934 % | c | 50269 | 120426 247002 | 105160 38769 1679322 43.3 | 83.221 % | 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 | 55508 | 120404 246861 | 40134 43705 2184532 50.0 | 83.221 % | c | 55608 | 120404 246861 | 44147 43805 2187268 49.9 | 83.253 % | c | 55759 | 120401 246854 | 48562 43919 2198441 50.1 | 83.257 % | c | 55984 | 120297 246612 | 53418 44129 2204023 49.9 | 83.377 % | c | 56322 | 120297 246612 | 58760 44467 2221646 50.0 | 83.377 % | c | 56828 | 120262 246523 | 64636 44943 2244896 49.9 | 83.425 % | c | 57588 | 120262 246523 | 71099 45703 2321279 50.8 | 83.425 % | c | 58727 | 120173 246296 | 78209 45708 2347180 51.4 | 83.542 % | c | 60435 | 120173 246296 | 86030 47416 2483476 52.4 | 83.542 % | c | 62998 | 119939 245717 | 94633 49359 2778436 56.3 | 83.841 % | 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 | 65455 | 119986 245861 | 39995 51816 3103184 59.9 | 83.841 % | c | 65555 | 119986 245861 | 43994 51916 3106425 59.8 | 83.823 % | c | 65705 | 119842 245523 | 48393 51870 3106898 59.9 | 83.990 % | c | 65931 | 119801 245428 | 53233 52001 3128578 60.2 | 84.037 % | c | 66268 | 119776 245371 | 58556 52307 3156736 60.4 | 84.064 % | c | 66774 | 119755 245323 | 64412 52795 3188273 60.4 | 84.086 % | c | 67533 | 119752 245316 | 70853 53553 3227607 60.3 | 84.090 % | c | 68672 | 119752 245316 | 77938 54692 3351972 61.3 | 84.090 % | c | 70380 | 119623 244995 | 85732 55978 3468009 62.0 | 84.254 % | c | 72942 | 119551 244815 | 94306 58246 3772441 64.8 | 84.346 % | c | 76786 | 119544 244798 | 103736 62089 4097900 66.0 | 84.355 % | c | 82552 | 119337 244296 | 114110 67497 4883125 72.3 | 84.607 % | 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 | 91183 | 119326 244244 | 39775 75532 5875208 77.8 | 84.607 % | c | 91283 | 119326 244244 | 43752 75632 5876836 77.7 | 84.623 % | c | 91433 | 119326 244244 | 48127 75782 5886804 77.7 | 84.623 % | c | 91658 | 119174 243872 | 52940 75571 5878542 77.8 | 84.815 % | c | 91995 | 119169 243861 | 58234 75798 5913726 78.0 | 84.820 % | c | 92501 | 119169 243861 | 64058 76304 5962450 78.1 | 84.820 % | c | 93260 | 119169 243861 | 70463 77063 6047017 78.5 | 84.820 % | c | 94399 | 119169 243861 | 77510 78202 6141731 78.5 | 84.820 % | c | 96107 | 119164 243850 | 85261 79903 6346087 79.4 | 84.825 % | c | 98670 | 119164 243850 | 93787 82466 6693670 81.2 | 84.825 % | c | 102515 | 119130 243772 | 103166 86111 7282535 84.6 | 84.864 % | c | 108281 | 119010 243470 | 113482 91427 8357465 91.4 | 85.016 % | c | 116930 | 118952 243328 | 124830 100035 9709566 97.1 | 85.089 % | c | 129904 | 118839 243050 | 137314 112031 11367601 101.5 | 85.232 % | c ============================================================================== c [1mFound solution: -49[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 142656 | 118861 243115 | 39620 124783 13424185 107.6 | 85.232 % | c | 142756 | 118809 242989 | 43582 22640 2136428 94.4 | 85.280 % | c | 142906 | 118809 242989 | 47940 22790 2140780 93.9 | 85.280 % | c | 143131 | 118741 242820 | 52734 22993 2162172 94.0 | 85.368 % | c | 143468 | 118741 242820 | 58007 23330 2174648 93.2 | 85.368 % | c | 143974 | 118733 242802 | 63808 23832 2203863 92.5 | 85.376 % | c | 144733 | 118722 242773 | 70189 24588 2263679 92.1 | 85.392 % | c | 145872 | 118722 242773 | 77208 25727 2328778 90.5 | 85.392 % | c | 147580 | 118596 242466 | 84928 27418 2490341 90.8 | 85.549 % | c | 150144 | 118596 242466 | 93421 29982 2825667 94.2 | 85.549 % | c | 153988 | 118581 242431 | 102764 33809 3133516 92.7 | 85.567 % | c | 159757 | 118486 242200 | 113040 39498 3825619 96.9 | 85.685 % | c | 168406 | 118465 242145 | 124344 48141 5116869 106.3 | 85.715 % | c | 181380 | 118409 242007 | 136778 61109 6776970 110.9 | 85.787 % | c | 200842 | 118409 242007 | 150456 80571 9946562 123.5 | 85.787 % | c | 230034 | 118372 241919 | 165502 109697 15616229 142.4 | 85.830 % | c | 273823 | 118197 241494 | 182052 153345 23390472 152.5 | 86.048 % | /oldhome/oroussel/solvers/minisat+_script: line 9: 13553 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.99 0.99 0.91 2/54 13549 Raw data (stat): 13549 (runsolver) R 13548 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 795493483 1052672 99 4294967295 134512640 135381576 3221224480 3221219688 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.0002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.0011 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.0009 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.0007 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.0006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.0004 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.0003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.0002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.003 s] Raw data (loadavg): 0.99 0.99 0.91 3/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.004 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.004 s] Raw data (loadavg): 0.99 0.99 0.91 3/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.004 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.004 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.004 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.008 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.008 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.009 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.012 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.012 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.013 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.013 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.014 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.013 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.013 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.014 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.014 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.015 s] Raw data (loadavg): 0.99 0.99 0.91 3/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.016 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.016 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.016 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.016 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.018 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.018 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.018 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.019 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.019 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.019 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.019 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.019 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.023 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.023 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.023 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.023 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.024 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 13553 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.99 0.91 2/56 13554 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.07 1.00 0.92 2/59 13596 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.06 1.00 0.92 2/55 13606 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 13606 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 13606 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 13606 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 13606 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 13606 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 13608 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 13608 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 13608 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 13608 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 13608 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.12 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 13608 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.79 s] Raw data (loadavg): 1.01 1.00 0.92 1/53 13608 Raw data (stat): 13549 (minisat+_script) S 13548 21152 21151 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795493483 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.79 CPU time (s): 1229.9 CPU user time (s): 1228.84 CPU system time (s): 1.05984 CPU usage (%): 100.009 Max. virtual memory (Kb): 2124 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####