Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
MD5SUM | 3f087816af6a7fb75be2e9f81cc24df7 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.11 |
Number of variables | 1400 |
Total number of constraints | 109379 |
Number of constraints which are clauses | 109379 |
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 wulflinc8 THE 2005-05-27 05:42:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23100 boxname=wulflinc8 idbench=346 idsolver=16 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3f087816af6a7fb75be2e9f81cc24df7 /oldhome/oroussel/tmp/wulflinc8/normalized-frb56-25-3.opb REAL COMMAND: minisat+_script -cb -gs /oldhome/oroussel/tmp/wulflinc8/normalized-frb56-25-3.opb IDLAUNCH: 23100 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 302712 kB Buffers: 37892 kB Cached: 666928 kB SwapCached: 0 kB Active: 55036 kB Inactive: 656728 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 302460 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 24 kB Writeback: 0 kB Mapped: 7072 kB Slab: 14556 kB Committed_AS: 63724 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-27 06:02:35 (client local time) WITH STATUS 152 IN 1229.89 SECONDS stats: 23100 7 1229.89 152 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 109379 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 | 109379 218758 | 36459 0 0 nan | 0.000 % | c ============================================================================== c [1mFound solution: -40[0m c ---[ 0]---> Sorter-cost:78076 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 193072 415055 | 64357 0 0 nan | 0.000 % | c | 100 | 192289 413380 | 70792 76 438 5.8 | 0.796 % | c | 250 | 191308 411295 | 77871 154 1089 7.1 | 1.765 % | c | 475 | 189986 408459 | 85659 332 3281 9.9 | 3.095 % | c | 812 | 188252 404641 | 94225 591 5859 9.9 | 4.924 % | c | 1318 | 185282 398055 | 103647 966 10783 11.2 | 8.159 % | c | 2077 | 180838 388205 | 114012 1540 17472 11.3 | 12.913 % | c | 3216 | 174564 374091 | 125413 2383 27299 11.5 | 19.709 % | c | 4924 | 165519 353508 | 137954 3677 43819 11.9 | 29.753 % | c | 7486 | 155664 330749 | 151750 5389 63888 11.9 | 40.969 % | 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 | 7678 | 155277 329891 | 51759 5555 66399 12.0 | 40.969 % | c | 7778 | 155112 329513 | 56934 5646 67027 11.9 | 41.617 % | c | 7928 | 154703 328544 | 62628 5760 68552 11.9 | 42.108 % | c | 8153 | 153653 326101 | 68891 5917 70305 11.9 | 43.312 % | c | 8491 | 152864 324267 | 75780 6136 73256 11.9 | 44.216 % | c | 8997 | 150953 319781 | 83358 6468 76139 11.8 | 46.384 % | c | 9756 | 148474 313934 | 91694 6960 82237 11.8 | 49.283 % | c | 10895 | 144799 305265 | 100863 7805 92930 11.9 | 53.569 % | c | 12603 | 139793 293375 | 110950 8870 106020 12.0 | 59.496 % | c | 15165 | 135051 282169 | 122045 10462 131410 12.6 | 65.125 % | c | 19010 | 129965 270060 | 134249 13548 195200 14.4 | 71.137 % | c | 24776 | 126588 261988 | 147674 18369 339931 18.5 | 75.205 % | 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 | 32090 | 124714 257528 | 41571 24908 642270 25.8 | 75.205 % | c | 32190 | 124620 257302 | 45728 24877 642286 25.8 | 77.650 % | c | 32340 | 124503 257023 | 50300 24964 645321 25.9 | 77.792 % | c | 32565 | 124503 257023 | 55331 25189 657624 26.1 | 77.792 % | c | 32902 | 124248 256413 | 60864 25322 668588 26.4 | 78.100 % | c | 33409 | 124048 255923 | 66950 25747 685296 26.6 | 78.349 % | c | 34169 | 123814 255346 | 73645 26344 707362 26.9 | 78.659 % | c | 35308 | 123314 254145 | 81010 26766 734139 27.4 | 79.251 % | c | 37016 | 122980 253317 | 89111 28310 800471 28.3 | 79.671 % | 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 | 38041 | 122955 253294 | 40985 29330 878435 30.0 | 79.671 % | c | 38141 | 122908 253175 | 45083 29428 881494 30.0 | 79.772 % | c | 38292 | 122808 252938 | 49591 29459 884935 30.0 | 79.889 % | c | 38517 | 122701 252678 | 54551 29640 893182 30.1 | 80.022 % | c | 38854 | 122469 252128 | 60006 29755 899984 30.2 | 80.300 % | c | 39360 | 122418 251995 | 66006 30229 921921 30.5 | 80.369 % | c | 40120 | 122408 251969 | 72607 30944 953783 30.8 | 80.383 % | c | 41259 | 121915 250781 | 79868 31596 1004535 31.8 | 80.976 % | c | 42967 | 121553 249906 | 87854 32982 1091208 33.1 | 81.405 % | 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 | 43880 | 120877 248170 | 40292 33490 1122781 33.5 | 81.405 % | c | 43981 | 120746 247855 | 44321 33468 1122634 33.5 | 82.436 % | c | 44131 | 120643 247601 | 48753 33534 1125930 33.6 | 82.568 % | c | 44356 | 120639 247591 | 53628 33757 1134632 33.6 | 82.573 % | c | 44694 | 120639 247591 | 58991 34095 1167457 34.2 | 82.573 % | c | 45202 | 120555 247389 | 64890 34455 1205966 35.0 | 82.676 % | c | 45961 | 120449 247139 | 71379 35097 1268003 36.1 | 82.802 % | c | 47100 | 120449 247139 | 78517 36236 1343983 37.1 | 82.802 % | c | 48808 | 120381 246969 | 86369 37873 1461540 38.6 | 82.891 % | c | 51370 | 120381 246969 | 95006 40435 1758124 43.5 | 82.891 % | c | 55214 | 120194 246508 | 104507 44166 2049429 46.4 | 83.131 % | 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 | 59419 | 120236 246644 | 40078 48283 2571328 53.3 | 83.131 % | c | 59519 | 120236 246644 | 44085 48383 2577827 53.3 | 83.121 % | c | 59669 | 120046 246170 | 48494 48153 2573782 53.5 | 83.366 % | c | 59894 | 120046 246170 | 53343 48378 2587917 53.5 | 83.366 % | c | 60231 | 120046 246170 | 58678 48715 2610106 53.6 | 83.366 % | c | 60737 | 119972 245994 | 64546 49150 2641554 53.7 | 83.455 % | c | 61496 | 119972 245994 | 71000 49909 2689717 53.9 | 83.455 % | c | 62635 | 119972 245994 | 78100 51048 2778866 54.4 | 83.455 % | c | 64345 | 119928 245882 | 85910 52609 2939154 55.9 | 83.512 % | c | 66908 | 119762 245470 | 94501 54951 3124242 56.9 | 83.722 % | c | 70752 | 119678 245269 | 103952 58681 3464776 59.0 | 83.821 % | c | 76518 | 119245 244229 | 114347 63705 4075621 64.0 | 84.345 % | c | 85167 | 119220 244168 | 125781 72202 4873608 67.5 | 84.377 % | 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 | 89191 | 119133 243922 | 39711 75689 5308024 70.1 | 84.377 % | c | 89293 | 119097 243838 | 43682 75747 5308704 70.1 | 84.538 % | c | 89443 | 119097 243838 | 48050 75897 5313532 70.0 | 84.538 % | c | 89668 | 119097 243838 | 52855 76122 5343666 70.2 | 84.538 % | c | 90005 | 119097 243838 | 58140 76459 5376009 70.3 | 84.538 % | c | 90511 | 119097 243838 | 63954 76965 5418238 70.4 | 84.538 % | c | 91270 | 119092 243827 | 70350 77719 5484685 70.6 | 84.543 % | c | 92410 | 119061 243749 | 77385 78821 5576081 70.7 | 84.583 % | c | 94119 | 119009 243626 | 85124 79969 5732669 71.7 | 84.641 % | c | 96681 | 118880 243323 | 93636 82103 6068614 73.9 | 84.793 % | c | 100525 | 118867 243294 | 103000 85937 6618201 77.0 | 84.807 % | c | 106291 | 118844 243239 | 113300 91697 7472440 81.5 | 84.835 % | c | 114941 | 118836 243219 | 124630 100333 8787645 87.6 | 84.845 % | c | 127915 | 118830 243203 | 137093 113301 10621442 93.7 | 84.854 % | c | 147376 | 118811 243160 | 150802 132530 13627869 102.8 | 84.875 % | c | 176568 | 118770 243067 | 165882 161493 19013368 117.7 | 84.920 % | c ============================================================================== c [1mFound solution: -49[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 194891 | 118792 243133 | 39597 179816 22236738 123.7 | 84.920 % | c | 194991 | 118792 243133 | 43556 25721 2608842 101.4 | 84.904 % | c | 195141 | 118792 243133 | 47912 25871 2618895 101.2 | 84.904 % | c | 195366 | 118792 243133 | 52703 26096 2633968 100.9 | 84.904 % | c | 195703 | 118792 243133 | 57973 26433 2658439 100.6 | 84.904 % | c | 196209 | 118746 243016 | 63771 26900 2696719 100.2 | 84.960 % | c | 196968 | 118746 243016 | 70148 27659 2783846 100.6 | 84.960 % | c | 198107 | 118746 243016 | 77163 28798 2904085 100.8 | 84.960 % | c | 199815 | 118708 242922 | 84879 30503 3038914 99.6 | 85.009 % | c | 202377 | 118561 242559 | 93367 33010 3263398 98.9 | 85.195 % | c | 206221 | 118438 242259 | 102704 36848 3708724 100.6 | 85.347 % | c | 211987 | 118423 242224 | 112974 42603 4394753 103.2 | 85.365 % | c | 220636 | 118399 242168 | 124272 51236 5537942 108.1 | 85.393 % | c ============================================================================== c [1mFound solution: -50[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 229090 | 118286 241857 | 39428 59647 6700392 112.3 | 85.393 % | c | 229190 | 118286 241857 | 43370 59747 6707785 112.3 | 85.535 % | c | 229342 | 118286 241857 | 47707 59899 6717998 112.2 | 85.535 % | c | 229567 | 118286 241857 | 52478 60124 6753812 112.3 | 85.535 % | c | 229904 | 118286 241857 | 57726 60461 6781159 112.2 | 85.535 % | c | 230410 | 118286 241857 | 63499 60967 6854467 112.4 | 85.535 % | c | 231169 | 118286 241857 | 69849 61726 6920330 112.1 | 85.535 % | c | 232308 | 118286 241857 | 76834 62865 7085436 112.7 | 85.535 % | c | 234016 | 118286 241857 | 84517 64573 7329189 113.5 | 85.535 % | c | 236578 | 118280 241843 | 92969 67081 7761358 115.7 | 85.542 % | c | 240423 | 118280 241843 | 102266 70926 8364204 117.9 | 85.542 % | c | 246189 | 118195 241640 | 112492 76643 9241235 120.6 | 85.644 % | c | 254838 | 118192 241633 | 123741 85290 10512072 123.3 | 85.648 % | c | 267813 | 118081 241357 | 136116 98069 12211460 124.5 | 85.791 % | /oldhome/oroussel/solvers/minisat+_script: line 9: 30011 CPU time limit exceeded $XDIR/minisat+_64-bit_static -try "$@" #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.95 0.90 2/54 30007 Raw data (stat): 30007 (runsolver) R 30006 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781937088 1052672 99 4294967295 134512640 135381576 3221224480 3221219688 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0002 s] Raw data (loadavg): 0.93 0.95 0.90 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+20.0009 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+30.0019 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+40.0015 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+50.0022 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+60.002 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+70.0028 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+80.0035 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+90.0034 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+110.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+240.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+250.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+260.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+300.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+310.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+320.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+330.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+340.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+350.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+370.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+380.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+390.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+400.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+410.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+420.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+430.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+440.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+450.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+460.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+470.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+490.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+500.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+510.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+520.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+530.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+540.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+550.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+560.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+570.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+580.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+590.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+600.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+610.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+620.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+630.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+640.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+650.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+660.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+670.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+680.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+690.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+700.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+710.004 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+720.005 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+730.005 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+740.005 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+750.005 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+760.005 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+770.005 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+780.006 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+790.006 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+800.005 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+810.005 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+820.005 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+830.005 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+840.005 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+850.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+860.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+870.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+880.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+890.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+900.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+910.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+920.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+930.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+940.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+950.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+960.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+970.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+980.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+990.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1000.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1010.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1020.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1030.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1040.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1050.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1060.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1070.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 30011 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1080.12 s] Raw data (loadavg): 1.08 1.00 0.92 2/58 30014 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1090.14 s] Raw data (loadavg): 1.22 1.04 0.93 3/58 30055 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1100.14 s] Raw data (loadavg): 1.19 1.03 0.93 2/55 30064 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1110.14 s] Raw data (loadavg): 1.16 1.03 0.93 2/55 30064 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1120.14 s] Raw data (loadavg): 1.13 1.03 0.93 2/55 30064 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1130.14 s] Raw data (loadavg): 1.11 1.03 0.93 2/55 30064 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1140.14 s] Raw data (loadavg): 1.09 1.03 0.93 2/55 30064 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1150.14 s] Raw data (loadavg): 1.08 1.03 0.93 2/55 30064 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1160.14 s] Raw data (loadavg): 1.07 1.03 0.93 2/55 30066 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1170.14 s] Raw data (loadavg): 1.06 1.02 0.93 2/55 30066 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1180.14 s] Raw data (loadavg): 1.05 1.02 0.93 2/55 30066 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1190.14 s] Raw data (loadavg): 1.04 1.02 0.93 2/55 30066 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1200.14 s] Raw data (loadavg): 1.03 1.02 0.93 2/55 30066 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1210.14 s] Raw data (loadavg): 1.03 1.02 0.93 2/55 30066 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1220.14 s] Raw data (loadavg): 1.02 1.02 0.93 2/55 30066 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1229.75 s] Raw data (loadavg): 1.02 1.02 0.93 1/53 30066 Raw data (stat): 30007 (minisat+_script) S 30006 3132 3131 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 781937088 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 0 Child status: 152 Real time (s): 1229.75 CPU time (s): 1229.89 CPU user time (s): 1228.74 CPU system time (s): 1.14782 CPU usage (%): 100.011 Max. virtual memory (Kb): 2124 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####