Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb |
MD5SUM | f6c01aa815aa7b4a79652c8bfa8bef11 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1534 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.14 |
Number of variables | 1534 |
Total number of constraints | 127011 |
Number of constraints which are clauses | 127011 |
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 wulflinc17 THE 2005-05-27 05:52:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23106 boxname=wulflinc17 idbench=352 idsolver=16 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f6c01aa815aa7b4a79652c8bfa8bef11 /oldhome/oroussel/tmp/wulflinc17/normalized-frb59-26-4.opb REAL COMMAND: minisat+_script -cb -gs /oldhome/oroussel/tmp/wulflinc17/normalized-frb59-26-4.opb IDLAUNCH: 23106 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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: 833980 kB Buffers: 33284 kB Cached: 145716 kB SwapCached: 520 kB Active: 52880 kB Inactive: 128332 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 833728 kB SwapTotal: 2097892 kB SwapFree: 2096560 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5296 kB Slab: 13816 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-27 06:13:12 (client local time) WITH STATUS 152 IN 1229.9 SECONDS stats: 23106 7 1229.9 152 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 127011 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 | 127011 254022 | 42337 0 0 nan | 0.000 % | c ============================================================================== c [1mFound solution: -39[0m c ---[ 0]---> Sorter-cost:85954 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 217724 466825 | 72574 0 0 nan | 0.000 % | c | 101 | 217100 465520 | 79831 75 1891 25.2 | 0.552 % | c | 251 | 216142 463482 | 87814 175 2869 16.4 | 1.472 % | c ============================================================================== c [1mFound solution: -41[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 283 | 215895 463068 | 71965 196 3081 15.7 | 1.472 % | c | 383 | 215282 461707 | 79161 278 3977 14.3 | 2.308 % | c | 533 | 214159 459226 | 87077 364 4788 13.2 | 3.458 % | c | 758 | 213006 456739 | 95785 549 6483 11.8 | 4.484 % | c | 1095 | 209782 449507 | 105363 745 9421 12.6 | 7.724 % | c | 1601 | 206432 442115 | 115900 1112 13705 12.3 | 10.979 % | c | 2360 | 201924 431973 | 127490 1602 20009 12.5 | 15.533 % | c | 3500 | 195490 417458 | 140239 2379 31301 13.2 | 22.054 % | c | 5208 | 186285 396444 | 154263 3408 43041 12.6 | 31.638 % | c | 7770 | 173869 367796 | 169689 5209 63334 12.2 | 44.393 % | c | 11614 | 161751 339183 | 186658 7679 87729 11.4 | 57.565 % | 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 | 13187 | 157688 329476 | 52562 8663 102201 11.8 | 57.565 % | c | 13287 | 156933 327666 | 57818 8663 102407 11.8 | 62.822 % | c | 13437 | 156496 326637 | 63600 8745 104289 11.9 | 63.301 % | c | 13662 | 155926 325281 | 69960 8819 104473 11.8 | 63.932 % | c | 13999 | 155223 323650 | 76956 9083 108132 11.9 | 64.683 % | c | 14505 | 153620 319797 | 84651 9246 108097 11.7 | 66.481 % | c | 15266 | 152501 317114 | 93116 9748 115430 11.8 | 67.730 % | c | 16405 | 150344 311979 | 102428 10394 122912 11.8 | 70.057 % | c | 18113 | 147697 305619 | 112671 11549 139462 12.1 | 72.985 % | c ============================================================================== c [1mFound solution: -43[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 18694 | 147539 305334 | 49179 12008 148388 12.4 | 72.985 % | c | 18794 | 147400 304996 | 54096 12090 148857 12.3 | 73.377 % | c | 18945 | 146811 303591 | 59506 12125 150381 12.4 | 74.016 % | c | 19170 | 146618 303111 | 65457 12274 152728 12.4 | 74.244 % | c | 19507 | 145916 301459 | 72002 12424 155150 12.5 | 75.006 % | c | 20013 | 145431 300287 | 79203 12767 162117 12.7 | 75.554 % | c | 20772 | 144765 298681 | 87123 13375 171555 12.8 | 76.309 % | c | 21911 | 143552 295765 | 95835 14116 185523 13.1 | 77.671 % | 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 | 23059 | 142709 293706 | 47569 14897 209048 14.0 | 77.671 % | c | 23159 | 142510 293231 | 52325 14949 209340 14.0 | 78.860 % | c | 23310 | 142062 292140 | 57558 14929 208787 14.0 | 79.346 % | c | 23536 | 141876 291690 | 63314 15084 214231 14.2 | 79.559 % | c | 23873 | 141619 291066 | 69645 15263 216726 14.2 | 79.842 % | c | 24380 | 141451 290658 | 76610 15623 225005 14.4 | 80.026 % | c | 25139 | 141389 290517 | 84271 16374 240561 14.7 | 80.090 % | c | 26278 | 141010 289613 | 92698 17296 268483 15.5 | 80.505 % | c | 27986 | 140784 289062 | 101968 18835 308966 16.4 | 80.767 % | c | 30548 | 140209 287664 | 112165 21022 405981 19.3 | 81.421 % | 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 | 31778 | 139373 285667 | 46457 21842 443937 20.3 | 81.421 % | c | 31878 | 139276 285430 | 51102 21902 444674 20.3 | 82.494 % | c | 32029 | 139276 285430 | 56212 22053 447802 20.3 | 82.494 % | c | 32254 | 139132 285074 | 61834 22160 457327 20.6 | 82.665 % | c | 32591 | 139096 284980 | 68017 22456 466009 20.8 | 82.711 % | c | 33097 | 139094 284976 | 74819 22954 500316 21.8 | 82.712 % | c | 33856 | 139054 284872 | 82301 23600 526498 22.3 | 82.762 % | c | 34995 | 138920 284556 | 90531 24549 663204 27.0 | 82.909 % | 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 | 36284 | 138821 284259 | 46273 25668 883732 34.4 | 82.909 % | c | 36385 | 138694 283953 | 50900 25669 884126 34.4 | 83.174 % | c | 36536 | 138694 283953 | 55990 25820 891891 34.5 | 83.174 % | c | 36762 | 138602 283731 | 61589 25934 893650 34.5 | 83.279 % | c | 37100 | 138554 283617 | 67748 26205 902693 34.4 | 83.333 % | c | 37606 | 138370 283163 | 74523 26546 924148 34.8 | 83.550 % | c | 38365 | 138313 283026 | 81975 27113 948062 35.0 | 83.615 % | 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 | 38791 | 138360 283160 | 46120 27022 836672 31.0 | 83.615 % | c | 38892 | 138358 283156 | 50732 27122 837742 30.9 | 83.607 % | c | 39043 | 138332 283094 | 55805 27268 842795 30.9 | 83.636 % | c | 39268 | 138117 282577 | 61385 27410 845816 30.9 | 83.879 % | c | 39605 | 138117 282577 | 67524 27747 884440 31.9 | 83.879 % | c | 40111 | 138075 282477 | 74276 28208 904104 32.1 | 83.926 % | c | 40870 | 137982 282266 | 81704 28889 956337 33.1 | 84.019 % | c | 42009 | 137859 281970 | 89874 29943 1018380 34.0 | 84.157 % | c | 43717 | 137738 281685 | 98862 31588 1206634 38.2 | 84.288 % | c | 46279 | 137357 280740 | 108748 33696 1418373 42.1 | 84.732 % | c | 50123 | 137309 280630 | 119623 37526 2132174 56.8 | 84.782 % | 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 | 55401 | 137127 280197 | 45709 42680 2974708 69.7 | 84.782 % | c | 55501 | 137127 280197 | 50279 42780 2976346 69.6 | 85.002 % | c | 55651 | 136978 279835 | 55307 42557 2970739 69.8 | 85.168 % | c | 55876 | 136978 279835 | 60838 42782 2981811 69.7 | 85.168 % | c | 56213 | 136946 279745 | 66922 42968 2999837 69.8 | 85.208 % | c | 56720 | 136769 279322 | 73614 42865 3011417 70.3 | 85.406 % | c | 57479 | 136682 279123 | 80976 43566 3091567 71.0 | 85.496 % | c | 58618 | 136682 279123 | 89073 44705 3176085 71.0 | 85.496 % | c | 60327 | 136677 279112 | 97981 46359 3394772 73.2 | 85.501 % | c | 62889 | 136606 278935 | 107779 48822 3952476 81.0 | 85.586 % | c | 66734 | 136606 278935 | 118557 52667 4362427 82.8 | 85.586 % | 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 | 70484 | 136545 278743 | 45515 56061 4839854 86.3 | 85.586 % | c | 70585 | 136545 278743 | 50066 56162 4844298 86.3 | 85.659 % | c | 70735 | 136545 278743 | 55073 56312 4853620 86.2 | 85.659 % | c | 70965 | 136508 278657 | 60580 56513 4877293 86.3 | 85.698 % | c | 71302 | 136496 278631 | 66638 56834 4903232 86.3 | 85.709 % | c | 71808 | 136496 278631 | 73302 57340 4937196 86.1 | 85.709 % | c | 72567 | 136496 278631 | 80632 58099 4981194 85.7 | 85.709 % | c | 73706 | 136461 278546 | 88695 59205 5136627 86.8 | 85.749 % | c | 75418 | 136461 278546 | 97565 60917 5434311 89.2 | 85.749 % | c | 77980 | 136417 278438 | 107321 63453 5774796 91.0 | 85.799 % | c | 81824 | 136321 278208 | 118054 67105 6309832 94.0 | 85.907 % | c | 87590 | 136321 278208 | 129859 72871 7685311 105.5 | 85.907 % | c | 96241 | 136217 277949 | 142845 81328 9191572 113.0 | 86.031 % | c | 109215 | 136204 277918 | 157130 94286 11641845 123.5 | 86.046 % | c ============================================================================== c [1mFound solution: -51[0m c ---[ 0]---> Sorter-cost: 0 Base: c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 125220 | 136194 277914 | 45398 110254 16471650 149.4 | 86.046 % | c | 125320 | 136181 277883 | 49937 20057 4267558 212.8 | 86.113 % | c | 125470 | 136169 277853 | 54931 20206 4271480 211.4 | 86.113 % | c | 125697 | 136169 277853 | 60424 20433 4273810 209.2 | 86.113 % | c | 126034 | 136117 277724 | 66467 20608 4287831 208.1 | 86.174 % | c | 126540 | 135890 277186 | 73113 21097 4314903 204.5 | 86.423 % | c | 127299 | 135890 277186 | 80425 21856 4363796 199.7 | 86.423 % | c | 128438 | 135890 277186 | 88467 22995 4434339 192.8 | 86.423 % | c | 130146 | 135868 277130 | 97314 24672 4540070 184.0 | 86.451 % | c | 132709 | 135755 276862 | 107046 27219 4704140 172.8 | 86.574 % | c | 136554 | 135751 276852 | 117750 31061 5320921 171.3 | 86.579 % | c | 142320 | 135645 276598 | 129525 36769 5908029 160.7 | 86.698 % | c | 150969 | 135622 276541 | 142478 45411 7122478 156.8 | 86.725 % | c | 163943 | 135377 275953 | 156726 58104 8615626 148.3 | 86.995 % | c | 183404 | 135186 275506 | 172398 77279 11243538 145.5 | 87.201 % | c | 212596 | 135136 275378 | 189638 106355 16308482 153.3 | 87.262 % | c | 256385 | 135136 275378 | 208602 150144 24609310 163.9 | 87.262 % | /oldhome/oroussel/solvers/minisat+_script: line 9: 3520 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): 1.06 0.99 0.91 2/54 3516 Raw data (stat): 3516 (runsolver) R 3515 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 853800471 1052672 99 4294967295 134512640 135381576 3221224480 3221219688 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99979 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+20.0008 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+30.0011 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+40.0006 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+50.0014 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+60.0007 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+70.0013 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+80.0022 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+90.0015 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+100.001 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+110.001 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+120.001 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+130.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+140.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+150.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+160.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+170.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+180.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+190.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+200.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+210.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+220.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+230.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+240.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+250.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+260.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+270.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+280.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+290.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+300.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+310.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+320.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+330.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+340.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+350.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+360.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+370.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+380.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+390.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+400.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+410.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+420.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+430.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+440.203 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 3520 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+450.239 s] Raw data (loadavg): 1.15 1.02 0.93 3/58 3564 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+460.24 s] Raw data (loadavg): 1.28 1.05 0.94 2/55 3573 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+470.24 s] Raw data (loadavg): 1.23 1.05 0.94 2/55 3573 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+480.24 s] Raw data (loadavg): 1.20 1.05 0.94 2/55 3573 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+490.24 s] Raw data (loadavg): 1.17 1.05 0.94 2/55 3573 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+500.241 s] Raw data (loadavg): 1.14 1.04 0.94 2/55 3573 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+510.24 s] Raw data (loadavg): 1.12 1.04 0.94 2/55 3573 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+520.24 s] Raw data (loadavg): 1.10 1.04 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+530.24 s] Raw data (loadavg): 1.08 1.04 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+540.239 s] Raw data (loadavg): 1.07 1.04 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+550.239 s] Raw data (loadavg): 1.06 1.03 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+560.24 s] Raw data (loadavg): 1.05 1.03 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+570.24 s] Raw data (loadavg): 1.04 1.03 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+580.24 s] Raw data (loadavg): 1.04 1.03 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+590.24 s] Raw data (loadavg): 1.03 1.03 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+600.24 s] Raw data (loadavg): 1.02 1.03 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+610.24 s] Raw data (loadavg): 1.02 1.03 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+620.241 s] Raw data (loadavg): 1.02 1.02 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+630.241 s] Raw data (loadavg): 1.01 1.02 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+640.241 s] Raw data (loadavg): 1.01 1.02 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+650.241 s] Raw data (loadavg): 1.01 1.02 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+660.241 s] Raw data (loadavg): 1.01 1.02 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+670.263 s] Raw data (loadavg): 1.01 1.02 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+680.263 s] Raw data (loadavg): 1.00 1.02 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+690.262 s] Raw data (loadavg): 1.00 1.02 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+700.263 s] Raw data (loadavg): 1.00 1.02 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+710.263 s] Raw data (loadavg): 1.00 1.02 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+720.263 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+730.263 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+740.263 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+750.263 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+760.263 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+770.263 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 3575 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+780.263 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+790.263 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+800.263 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+810.264 s] Raw data (loadavg): 1.00 1.01 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+820.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+830.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+840.263 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+850.263 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+860.263 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+870.263 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+880.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+890.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+900.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+910.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+920.265 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+930.265 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+940.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+950.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+960.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+970.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+980.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+990.264 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1000.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1010.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1020.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1030.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1040.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1050.27 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1060.27 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1070.27 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1080.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1090.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1100.27 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1110.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1120.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1130.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1140.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1150.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1160.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1170.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1180.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1190.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1200.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1210.26 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1220.27 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+1229.74 s] Raw data (loadavg): 1.00 1.00 0.94 1/53 3577 Raw data (stat): 3516 (minisat+_script) S 3515 7475 7474 0 -1 0 275 239 0 0 0 0 0 0 19 0 1 0 853800471 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 0 Child status: 152 Real time (s): 1229.74 CPU time (s): 1229.9 CPU user time (s): 1228.61 CPU system time (s): 1.2858 CPU usage (%): 100.013 Max. virtual memory (Kb): 2124 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####