Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb |
MD5SUM | 1694d09a3d3e6cb31138c73ed644b225 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -43 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.12 |
Number of variables | 1400 |
Total number of constraints | 109601 |
Number of constraints which are clauses | 109601 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-05-27 05:47:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23102 boxname=wulflinc12 idbench=348 idsolver=16 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 1694d09a3d3e6cb31138c73ed644b225 /oldhome/oroussel/tmp/wulflinc12/normalized-frb56-25-5.opb REAL COMMAND: minisat+_script -cb -gs /oldhome/oroussel/tmp/wulflinc12/normalized-frb56-25-5.opb IDLAUNCH: 23102 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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: 796124 kB Buffers: 33592 kB Cached: 183204 kB SwapCached: 396 kB Active: 53500 kB Inactive: 165564 kB HighTotal: 131008 kB HighFree: 48328 kB LowTotal: 903652 kB LowFree: 747796 kB SwapTotal: 2097136 kB SwapFree: 2096076 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5684 kB Slab: 13692 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-27 06:07:50 (client local time) WITH STATUS 152 IN 1229.9 SECONDS stats: 23102 7 1229.9 152 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 109601 PB-constraints to clauses... c -- Unit propagations: (none) c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 109601 219202 | 36533 0 0 nan | 0.000 % | c ============================================================================== c [1mFound solution: -37[0m c ---[ 0]---> Sorter-cost:78076 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 193124 415097 | 64374 0 0 nan | 0.000 % | c | 100 | 192416 413617 | 70811 76 921 12.1 | 0.681 % | c | 250 | 191023 410616 | 77892 179 2197 12.3 | 2.096 % | c | 475 | 190063 408538 | 85681 361 3680 10.2 | 3.080 % | c | 812 | 188734 405627 | 94249 637 6636 10.4 | 4.472 % | c | 1318 | 186843 401468 | 103674 1068 12098 11.3 | 6.468 % | c | 2078 | 182356 391503 | 114042 1656 20682 12.5 | 11.351 % | c | 3217 | 177722 381101 | 125446 2499 32422 13.0 | 16.364 % | c ============================================================================== c [1mFound solution: -42[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 3529 | 175621 376581 | 58540 2705 34651 12.8 | 16.364 % | c | 3629 | 175081 375366 | 64394 2776 35448 12.8 | 19.578 % | c | 3779 | 174172 373327 | 70833 2879 36988 12.8 | 20.559 % | c | 4004 | 173065 370801 | 77916 3042 38920 12.8 | 21.723 % | c | 4341 | 171253 366710 | 85708 3295 42788 13.0 | 23.699 % | c | 4847 | 168168 359645 | 94279 3646 46729 12.8 | 27.155 % | c | 5606 | 165511 353533 | 103707 4196 52953 12.6 | 30.161 % | c | 6746 | 160767 342641 | 114077 5044 64353 12.8 | 35.508 % | c | 8454 | 155384 330180 | 125485 6279 81871 13.0 | 41.640 % | c | 11016 | 149069 315430 | 138034 8200 110217 13.4 | 48.843 % | c | 14860 | 139979 293955 | 151837 11004 152130 13.8 | 59.520 % | c ============================================================================== c [1mFound solution: -43[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 20499 | 132623 276547 | 44207 15087 233369 15.5 | 59.520 % | c | 20599 | 132522 276302 | 48627 15164 235097 15.5 | 68.499 % | c | 20749 | 132324 275837 | 53490 15279 237075 15.5 | 68.729 % | c | 20974 | 132058 275218 | 58839 15436 241112 15.6 | 69.032 % | c | 21311 | 131621 274190 | 64723 15651 243787 15.6 | 69.531 % | c | 21817 | 131015 272757 | 71195 15990 252762 15.8 | 70.240 % | c | 22576 | 130069 270499 | 78315 16497 264557 16.0 | 71.349 % | c | 23715 | 128828 267554 | 86146 17352 289981 16.7 | 72.790 % | c | 25423 | 127390 264042 | 94761 18639 326421 17.5 | 74.562 % | c ============================================================================== c [1mFound solution: -44[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 27608 | 126418 261648 | 42139 20404 389011 19.1 | 74.562 % | c | 27708 | 126083 260820 | 46352 20406 388917 19.1 | 76.186 % | c | 27858 | 125935 260464 | 50988 20480 393969 19.2 | 76.368 % | c | 28083 | 125831 260210 | 56087 20649 399264 19.3 | 76.498 % | c | 28420 | 125831 260210 | 61695 20986 410136 19.5 | 76.498 % | c | 28926 | 125772 260065 | 67865 21475 417326 19.4 | 76.571 % | c | 29687 | 125736 259979 | 74651 22220 469844 21.1 | 76.615 % | c | 30826 | 125376 259109 | 82116 23271 508205 21.8 | 77.053 % | c | 32535 | 124959 258114 | 90328 24674 574603 23.3 | 77.553 % | c | 35097 | 124654 257365 | 99361 27056 731371 27.0 | 77.933 % | c | 38941 | 123674 254985 | 109297 30310 953739 31.5 | 79.143 % | c ============================================================================== c [1mFound solution: -45[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 39981 | 123189 253844 | 41063 30770 1040985 33.8 | 79.143 % | c | 40081 | 123136 253713 | 45169 30862 1043549 33.8 | 79.813 % | c | 40231 | 122947 253253 | 49686 30899 1043609 33.8 | 80.048 % | c | 40456 | 122945 253249 | 54654 31123 1055699 33.9 | 80.049 % | c | 40794 | 122945 253249 | 60120 31461 1069312 34.0 | 80.049 % | c | 41300 | 122900 253146 | 66132 31902 1099724 34.5 | 80.100 % | c | 42059 | 122752 252790 | 72745 32334 1144268 35.4 | 80.272 % | c | 43198 | 122366 251861 | 80020 33089 1185693 35.8 | 80.723 % | c | 44907 | 122194 251428 | 88022 34657 1295375 37.4 | 80.945 % | c | 47469 | 121548 249831 | 96824 36732 1490676 40.6 | 81.756 % | c ============================================================================== c [1mFound solution: -46[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 49597 | 121162 248821 | 40387 38360 1594354 41.6 | 81.756 % | c | 49697 | 121121 248722 | 44425 38424 1596348 41.5 | 82.285 % | c | 49847 | 121069 248597 | 48868 38550 1604324 41.6 | 82.348 % | c | 50072 | 121069 248597 | 53755 38775 1614451 41.6 | 82.348 % | c | 50409 | 120960 248347 | 59130 39032 1630054 41.8 | 82.467 % | c | 50916 | 120636 247540 | 65043 39334 1644118 41.8 | 82.880 % | c | 51675 | 120511 247232 | 71548 39793 1665108 41.8 | 83.036 % | c | 52814 | 120273 246658 | 78702 40760 1749498 42.9 | 83.330 % | c | 54522 | 120044 246077 | 86573 42192 1866998 44.3 | 83.631 % | c | 57086 | 119856 245625 | 95230 44603 2084904 46.7 | 83.860 % | c | 60930 | 119757 245394 | 104753 48320 2492696 51.6 | 83.975 % | c | 66698 | 119630 245101 | 115228 53924 3060814 56.8 | 84.119 % | c | 75349 | 119586 244999 | 126751 62536 4250466 68.0 | 84.170 % | c ============================================================================== c [1mFound solution: -47[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 80708 | 119633 245141 | 39877 67895 4961309 73.1 | 84.170 % | c | 80808 | 119633 245141 | 43864 67995 4966277 73.0 | 84.150 % | c | 80958 | 119633 245141 | 48251 68145 4968911 72.9 | 84.150 % | c | 81183 | 119630 245134 | 53076 68360 4989143 73.0 | 84.154 % | c | 81520 | 119590 245038 | 58383 68485 5032014 73.5 | 84.203 % | c | 82026 | 119560 244960 | 64222 68956 5055540 73.3 | 84.243 % | c | 82785 | 119541 244917 | 70644 69664 5112086 73.4 | 84.264 % | c | 83924 | 119484 244782 | 77708 70593 5233348 74.1 | 84.330 % | c | 85632 | 119390 244544 | 85479 72182 5364386 74.3 | 84.452 % | c | 88194 | 119390 244544 | 94027 74744 5768919 77.2 | 84.452 % | c | 92038 | 119330 244395 | 103430 78241 6251849 79.9 | 84.529 % | c ============================================================================== c [1mFound solution: -48[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 95222 | 119307 244312 | 39769 80797 6489917 80.3 | 84.529 % | c | 95322 | 119302 244301 | 43745 80801 6494507 80.4 | 84.568 % | c | 95473 | 119302 244301 | 48120 80952 6499168 80.3 | 84.568 % | c | 95699 | 119302 244301 | 52932 81178 6517644 80.3 | 84.568 % | c | 96037 | 119302 244301 | 58225 81516 6558349 80.5 | 84.568 % | c | 96543 | 119251 244180 | 64048 81893 6601834 80.6 | 84.629 % | c | 97302 | 119251 244180 | 70453 82652 6683850 80.9 | 84.629 % | c | 98443 | 119251 244180 | 77498 83793 6792426 81.1 | 84.629 % | c | 100152 | 119248 244173 | 85248 85501 7044565 82.4 | 84.633 % | c | 102714 | 119224 244113 | 93773 87981 7416265 84.3 | 84.664 % | c | 106558 | 119224 244113 | 103150 91825 8083263 88.0 | 84.664 % | c | 112324 | 119173 243998 | 113465 97535 8694659 89.1 | 84.720 % | c | 120973 | 119173 243998 | 124812 106184 10419020 98.1 | 84.720 % | c | 133947 | 119051 243701 | 137293 118592 12175059 102.7 | 84.868 % | c | 153408 | 118999 243571 | 151022 137826 14991766 108.8 | 84.933 % | c | 182602 | 118921 243384 | 166124 166833 21119827 126.6 | 85.020 % | c | 226392 | 118907 243352 | 182737 210607 28689871 136.2 | 85.036 % | /oldhome/oroussel/solvers/minisat+_script: line 9: 23589 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@" #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.90 2/54 23585 Raw data (stat): 23585 (runsolver) R 23584 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 795527667 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+9.99984 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.0004 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.0007 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.0013 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.0019 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.002 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+70.0034 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.0035 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.0046 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23589 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.03 s] Raw data (loadavg): 1.07 0.99 0.91 2/59 23632 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.085 s] Raw data (loadavg): 1.14 1.00 0.92 2/55 23642 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.085 s] Raw data (loadavg): 1.11 1.00 0.92 2/55 23642 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.086 s] Raw data (loadavg): 1.10 1.00 0.92 2/55 23642 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.087 s] Raw data (loadavg): 1.08 1.00 0.92 2/55 23642 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.086 s] Raw data (loadavg): 1.07 1.00 0.92 2/55 23642 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.086 s] Raw data (loadavg): 1.06 1.00 0.92 2/55 23642 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.086 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 23642 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.087 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.087 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.087 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.087 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.087 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.087 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.087 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.088 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.088 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.087 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.088 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.088 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.088 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.089 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.088 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23644 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23646 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23646 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23646 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23646 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23646 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23646 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23646 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23646 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 23646 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.83 s] Raw data (loadavg): 1.00 1.00 0.92 1/53 23646 Raw data (stat): 23585 (minisat+_script) S 23584 32284 32283 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 795527667 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 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.83 CPU time (s): 1229.9 CPU user time (s): 1228.67 CPU system time (s): 1.22781 CPU usage (%): 100.006 Max. virtual memory (Kb): 2124 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####