Name | submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb |
MD5SUM | 95af9ee9e7f41d7e844f72bb8840ff83 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 14500 |
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 | 14500 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 14500 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 14500 |
Total number of constraints | 461872 |
Number of constraints which are clauses | 461872 |
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 | 29 |
LAUNCH ON wulflinc23 THE 2005-09-18 15:10:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2472 boxname=wulflinc23 idbench=128 idsolver=3 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 95af9ee9e7f41d7e844f72bb8840ff83 /oldhome/oroussel/tmp/wulflinc23/normalized-g250.29.opb REAL COMMAND: minisat+_script /oldhome/oroussel/tmp/wulflinc23/normalized-g250.29.opb IDLAUNCH: 2472 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 904684 kB Buffers: 32724 kB Cached: 69572 kB SwapCached: 792 kB Active: 43176 kB Inactive: 61772 kB HighTotal: 131008 kB HighFree: 57736 kB LowTotal: 903652 kB LowFree: 846948 kB SwapTotal: 2097136 kB SwapFree: 2095868 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5692 kB Slab: 19296 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 15:30:15 (client local time) WITH STATUS 0 IN 1204.51 SECONDS stats: 2472 7 1204.51 0
c Parsing PB file... c Converting 461872 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 | 461872 930494 | 153957 0 0 nan | 0.000 % | c | 100 | 461872 930494 | 169352 100 9776 97.8 | 0.000 % | c | 253 | 461872 930494 | 186287 253 37282 147.4 | 0.000 % | c | 478 | 461872 930494 | 204916 478 117761 246.4 | 0.000 % | c | 819 | 461872 930494 | 225408 819 306261 373.9 | 0.000 % | c | 1327 | 461872 930494 | 247949 1327 660276 497.6 | 0.000 % | c | 2086 | 461872 930494 | 272744 2086 1077877 516.7 | 0.000 % | c | 3231 | 461872 930494 | 300018 3231 1993574 617.0 | 0.000 % | c | 4939 | 461872 930494 | 330020 4939 3016806 610.8 | 0.000 % | c | 7504 | 461872 930494 | 363022 7504 5218471 695.4 | 0.000 % | c | 11348 | 461872 930494 | 399324 11348 8680258 764.9 | 0.000 % | c | 17114 | 461872 930494 | 439257 17114 16687175 975.1 | 0.000 % | c | 25763 | 461872 930494 | 483183 25763 22664780 879.7 | 0.000 % | c | 38737 | 461872 930494 | 531501 38737 33750907 871.3 | 0.000 % | c | 58199 | 461872 930494 | 584651 58199 60635918 1041.9 | 0.000 % | c | 87395 | 461872 930494 | 643116 87395 108179773 1237.8 | 0.000 % |
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/8674/stat): 8674 (minisat+_script) R 8673 8674 5299 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1842236659 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8674/statm): 174 3 169 147 0 27 0 [pid=8674] vsize: 696 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libtermcap.so.2 open syscall for file tls/i686/libtermcap.so.2 open syscall for file tls/mmx/libtermcap.so.2 open syscall for file tls/libtermcap.so.2 open syscall for file i686/mmx/libtermcap.so.2 open syscall for file i686/libtermcap.so.2 open syscall for file mmx/libtermcap.so.2 open syscall for file libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/libtermcap.so.2 open syscall for file /etc/ld.so.cache open syscall for file /lib/libtermcap.so.2 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /dev/tty open syscall for file /etc/mtab open syscall for file /proc/meminfo open syscall for file /oldhome/oroussel/solvers/minisat+_script New process pid=8675 New process pid=8676 New process pid=8677 execve syscall for /bin/sed executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 One traced child (pid=8676) exited with status: 0 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 One traced child (pid=8677) exited with status: 0 One traced child (pid=8675) exited with status: 0 New process pid=8678 execve syscall for /oldhome/oroussel/solvers/minisat+_64-bit_static executable open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-g250.29.opb [startup+10.0036 s] Raw data (loadavg): 0.93 0.96 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 23834 0 0 0 838 100 0 0 25 0 1 0 1842236664 97951744 23736 4294967295 134512640 135094434 3221224448 3221223120 134757040 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 23914 23736 145 145 0 23769 0 [pid=8678] vsize: 95656 Current children cumulated CPU time (s) 9.39 Current children cumulated vsize (Kb) 97780 [startup+20.0052 s] Raw data (loadavg): 0.94 0.96 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 1783 121 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223104 134558013 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 19.05 Current children cumulated vsize (Kb) 118204 [startup+30.0058 s] Raw data (loadavg): 0.95 0.96 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 2782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223040 134557031 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 29.05 Current children cumulated vsize (Kb) 118204 [startup+40.0075 s] Raw data (loadavg): 0.96 0.96 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 3782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 39.05 Current children cumulated vsize (Kb) 118204 [startup+50.0091 s] Raw data (loadavg): 0.96 0.96 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 4782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223040 134557230 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 49.05 Current children cumulated vsize (Kb) 118204 [startup+60.0097 s] Raw data (loadavg): 0.97 0.96 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 5782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223136 134554746 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 59.05 Current children cumulated vsize (Kb) 118204 [startup+70.0104 s] Raw data (loadavg): 0.97 0.96 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 6782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223072 134562104 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 69.05 Current children cumulated vsize (Kb) 118204 [startup+80.011 s] Raw data (loadavg): 0.98 0.96 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 7782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223104 134558235 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 79.05 Current children cumulated vsize (Kb) 118204 [startup+90.0126 s] Raw data (loadavg): 0.98 0.96 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 8782 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223040 134556862 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 89.05 Current children cumulated vsize (Kb) 118204 [startup+100.013 s] Raw data (loadavg): 0.98 0.96 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 9783 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223104 134558181 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 99.06 Current children cumulated vsize (Kb) 118204 [startup+110.014 s] Raw data (loadavg): 0.98 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 10783 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223100 134556676 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 109.06 Current children cumulated vsize (Kb) 118204 [startup+120.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 11783 122 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223040 134557518 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 119.06 Current children cumulated vsize (Kb) 118204 [startup+130.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 28895 0 0 0 12783 123 0 0 25 0 1 0 1842236664 118865920 28797 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 29020 28797 145 145 0 28875 0 [pid=8678] vsize: 116080 Current children cumulated CPU time (s) 129.07 Current children cumulated vsize (Kb) 118204 [startup+140.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 29493 0 0 0 13778 125 0 0 25 0 1 0 1842236664 121286656 29395 4294967295 134512640 135094434 3221224448 3221223040 134557518 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 29611 29395 145 145 0 29466 0 [pid=8678] vsize: 118444 Current children cumulated CPU time (s) 139.04 Current children cumulated vsize (Kb) 120568 [startup+150.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 30769 0 0 0 14763 131 0 0 25 0 1 0 1842236664 126517248 30671 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 30888 30671 145 145 0 30743 0 [pid=8678] vsize: 123552 Current children cumulated CPU time (s) 148.95 Current children cumulated vsize (Kb) 125676 [startup+160.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) T 8674 8674 5299 0 -1 0 32127 0 0 0 15750 137 0 0 25 0 1 0 1842236664 132079616 32029 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 0 0 0 Raw data (/proc/8678/statm): 32246 32029 145 145 0 32101 0 [pid=8678] vsize: 128984 Current children cumulated CPU time (s) 158.88 Current children cumulated vsize (Kb) 131108 [startup+170.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 33287 0 0 0 16738 142 0 0 25 0 1 0 1842236664 136830976 33189 4294967295 134512640 135094434 3221224448 3221223040 134557180 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 33406 33189 145 145 0 33261 0 [pid=8678] vsize: 133624 Current children cumulated CPU time (s) 168.81 Current children cumulated vsize (Kb) 135748 [startup+180.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 34546 0 0 0 17727 146 0 0 25 0 1 0 1842236664 141987840 34448 4294967295 134512640 135094434 3221224448 3221223072 134557565 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 34665 34448 145 145 0 34520 0 [pid=8678] vsize: 138660 Current children cumulated CPU time (s) 178.74 Current children cumulated vsize (Kb) 140784 [startup+190.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) T 8674 8674 5299 0 -1 0 35682 0 0 0 18716 152 0 0 25 0 1 0 1842236664 146640896 35584 4294967295 134512640 135094434 3221224448 3221222812 134870330 0 0 5 16386 3222434794 0 0 17 0 0 0 Raw data (/proc/8678/statm): 35801 35584 145 145 0 35656 0 [pid=8678] vsize: 143204 Current children cumulated CPU time (s) 188.69 Current children cumulated vsize (Kb) 145328 [startup+200.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 36688 0 0 0 19706 155 0 0 25 0 1 0 1842236664 150896640 36590 4294967295 134512640 135094434 3221224448 3221223072 134557724 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 36840 36590 145 145 0 36695 0 [pid=8678] vsize: 147360 Current children cumulated CPU time (s) 198.62 Current children cumulated vsize (Kb) 149484 [startup+210.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 37698 0 0 0 20695 160 0 0 25 0 1 0 1842236664 155017216 37600 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 37846 37600 145 145 0 37701 0 [pid=8678] vsize: 151384 Current children cumulated CPU time (s) 208.56 Current children cumulated vsize (Kb) 153508 [startup+220.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 38555 0 0 0 21688 163 0 0 25 0 1 0 1842236664 158527488 38457 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 38703 38457 145 145 0 38558 0 [pid=8678] vsize: 154812 Current children cumulated CPU time (s) 218.52 Current children cumulated vsize (Kb) 156936 [startup+230.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 39507 0 0 0 22678 168 0 0 25 0 1 0 1842236664 162426880 39409 4294967295 134512640 135094434 3221224448 3221223040 134556904 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 39655 39409 145 145 0 39510 0 [pid=8678] vsize: 158620 Current children cumulated CPU time (s) 228.47 Current children cumulated vsize (Kb) 160744 [startup+240.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 40344 0 0 0 23668 172 0 0 25 0 1 0 1842236664 165859328 40246 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 40493 40246 145 145 0 40348 0 [pid=8678] vsize: 161972 Current children cumulated CPU time (s) 238.41 Current children cumulated vsize (Kb) 164096 [startup+250.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 41097 0 0 0 24659 176 0 0 25 0 1 0 1842236664 168935424 40999 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 41244 40999 145 145 0 41099 0 [pid=8678] vsize: 164976 Current children cumulated CPU time (s) 248.36 Current children cumulated vsize (Kb) 167100 [startup+260.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 42315 0 0 0 25646 182 0 0 25 0 1 0 1842236664 173916160 42217 4294967295 134512640 135094434 3221224448 3221223072 134557630 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 42460 42217 145 145 0 42315 0 [pid=8678] vsize: 169840 Current children cumulated CPU time (s) 258.29 Current children cumulated vsize (Kb) 171964 [startup+270.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 43405 0 0 0 26635 185 0 0 25 0 1 0 1842236664 178376704 43307 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 43549 43307 145 145 0 43404 0 [pid=8678] vsize: 174196 Current children cumulated CPU time (s) 268.21 Current children cumulated vsize (Kb) 176320 [startup+280.027 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 44731 0 0 0 27622 191 0 0 25 0 1 0 1842236664 183803904 44633 4294967295 134512640 135094434 3221224448 3221223120 134555787 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 44874 44633 145 145 0 44729 0 [pid=8678] vsize: 179496 Current children cumulated CPU time (s) 278.14 Current children cumulated vsize (Kb) 181620 [startup+290.028 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 46178 0 0 0 28609 196 0 0 25 0 1 0 1842236664 189730816 46080 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 46321 46080 145 145 0 46176 0 [pid=8678] vsize: 185284 Current children cumulated CPU time (s) 288.06 Current children cumulated vsize (Kb) 187408 [startup+300.029 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 47410 0 0 0 29600 201 0 0 25 0 1 0 1842236664 194768896 47312 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 47551 47312 145 145 0 47406 0 [pid=8678] vsize: 190204 Current children cumulated CPU time (s) 298.02 Current children cumulated vsize (Kb) 192328 [startup+310.029 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 48752 0 0 0 30589 207 0 0 25 0 1 0 1842236664 200273920 48654 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 48895 48654 145 145 0 48750 0 [pid=8678] vsize: 195580 Current children cumulated CPU time (s) 307.97 Current children cumulated vsize (Kb) 197704 [startup+320.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 49945 0 0 0 31578 212 0 0 25 0 1 0 1842236664 205152256 49847 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 50086 49847 145 145 0 49941 0 [pid=8678] vsize: 200344 Current children cumulated CPU time (s) 317.91 Current children cumulated vsize (Kb) 202468 [startup+330.031 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 51013 0 0 0 32570 217 0 0 25 0 1 0 1842236664 209526784 50915 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 51154 50915 145 145 0 51009 0 [pid=8678] vsize: 204616 Current children cumulated CPU time (s) 327.88 Current children cumulated vsize (Kb) 206740 [startup+340.033 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 52012 0 0 0 33561 221 0 0 25 0 1 0 1842236664 213618688 51914 4294967295 134512640 135094434 3221224448 3221223040 134557227 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 52153 51914 145 145 0 52008 0 [pid=8678] vsize: 208612 Current children cumulated CPU time (s) 337.83 Current children cumulated vsize (Kb) 210736 [startup+350.033 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 53108 0 0 0 34551 227 0 0 25 0 1 0 1842236664 218103808 53010 4294967295 134512640 135094434 3221224448 3221223104 134557920 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 53248 53010 145 145 0 53103 0 [pid=8678] vsize: 212992 Current children cumulated CPU time (s) 347.79 Current children cumulated vsize (Kb) 215116 [startup+360.034 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 54255 0 0 0 35541 232 0 0 25 0 1 0 1842236664 222806016 54157 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 54396 54157 145 145 0 54251 0 [pid=8678] vsize: 217584 Current children cumulated CPU time (s) 357.74 Current children cumulated vsize (Kb) 219708 [startup+370.035 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 55299 0 0 0 36531 236 0 0 25 0 1 0 1842236664 227078144 55201 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 55439 55201 145 145 0 55294 0 [pid=8678] vsize: 221756 Current children cumulated CPU time (s) 367.68 Current children cumulated vsize (Kb) 223880 [startup+380.035 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 56380 0 0 0 37522 241 0 0 25 0 1 0 1842236664 231501824 56282 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 56519 56282 145 145 0 56374 0 [pid=8678] vsize: 226076 Current children cumulated CPU time (s) 377.64 Current children cumulated vsize (Kb) 228200 [startup+390.037 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 57172 0 0 0 38515 243 0 0 25 0 1 0 1842236664 234758144 57074 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 57314 57074 145 145 0 57169 0 [pid=8678] vsize: 229256 Current children cumulated CPU time (s) 387.59 Current children cumulated vsize (Kb) 231380 [startup+400.037 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 57935 0 0 0 39509 246 0 0 25 0 1 0 1842236664 237895680 57837 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 58080 57837 145 145 0 57935 0 [pid=8678] vsize: 232320 Current children cumulated CPU time (s) 397.56 Current children cumulated vsize (Kb) 234444 [startup+410.038 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 58793 0 0 0 40500 251 0 0 25 0 1 0 1842236664 241401856 58695 4294967295 134512640 135094434 3221224448 3221223120 134555953 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 58936 58695 145 145 0 58791 0 [pid=8678] vsize: 235744 Current children cumulated CPU time (s) 407.52 Current children cumulated vsize (Kb) 237868 [startup+420.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 59747 0 0 0 41491 254 0 0 25 0 1 0 1842236664 245317632 59649 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 59892 59649 145 145 0 59747 0 [pid=8678] vsize: 239568 Current children cumulated CPU time (s) 417.46 Current children cumulated vsize (Kb) 241692 [startup+430.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 60788 0 0 0 42482 258 0 0 25 0 1 0 1842236664 249569280 60690 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 60930 60690 145 145 0 60785 0 [pid=8678] vsize: 243720 Current children cumulated CPU time (s) 427.41 Current children cumulated vsize (Kb) 245844 [startup+440.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 61568 0 0 0 43473 261 0 0 25 0 1 0 1842236664 252760064 61470 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 61709 61470 145 145 0 61564 0 [pid=8678] vsize: 246836 Current children cumulated CPU time (s) 437.35 Current children cumulated vsize (Kb) 248960 [startup+450.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 62454 0 0 0 44465 265 0 0 25 0 1 0 1842236664 256393216 62356 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 62596 62356 145 145 0 62451 0 [pid=8678] vsize: 250384 Current children cumulated CPU time (s) 447.31 Current children cumulated vsize (Kb) 252508 [startup+460.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 63445 0 0 0 45456 269 0 0 25 0 1 0 1842236664 260448256 63347 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 63586 63347 145 145 0 63441 0 [pid=8678] vsize: 254344 Current children cumulated CPU time (s) 457.26 Current children cumulated vsize (Kb) 256468 [startup+470.043 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 64246 0 0 0 46448 273 0 0 25 0 1 0 1842236664 263729152 64148 4294967295 134512640 135094434 3221224448 3221223104 134558249 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 64387 64148 145 145 0 64242 0 [pid=8678] vsize: 257548 Current children cumulated CPU time (s) 467.22 Current children cumulated vsize (Kb) 259672 [startup+480.044 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 65073 0 0 0 47440 277 0 0 25 0 1 0 1842236664 267112448 64975 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 65213 64975 145 145 0 65068 0 [pid=8678] vsize: 260852 Current children cumulated CPU time (s) 477.18 Current children cumulated vsize (Kb) 262976 [startup+490.045 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 65861 0 0 0 48434 280 0 0 25 0 1 0 1842236664 270340096 65763 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 66001 65763 145 145 0 65856 0 [pid=8678] vsize: 264004 Current children cumulated CPU time (s) 487.15 Current children cumulated vsize (Kb) 266128 [startup+500.046 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 66684 0 0 0 49428 282 0 0 25 0 1 0 1842236664 273711104 66586 4294967295 134512640 135094434 3221224448 3221223104 134558024 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 66824 66586 145 145 0 66679 0 [pid=8678] vsize: 267296 Current children cumulated CPU time (s) 497.11 Current children cumulated vsize (Kb) 269420 [startup+510.045 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 67514 0 0 0 50421 286 0 0 25 0 1 0 1842236664 277106688 67416 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 67653 67416 145 145 0 67508 0 [pid=8678] vsize: 270612 Current children cumulated CPU time (s) 507.08 Current children cumulated vsize (Kb) 272736 [startup+520.046 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 68367 0 0 0 51412 290 0 0 25 0 1 0 1842236664 280596480 68269 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 68505 68269 145 145 0 68360 0 [pid=8678] vsize: 274020 Current children cumulated CPU time (s) 517.03 Current children cumulated vsize (Kb) 276144 [startup+530.047 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 69741 0 0 0 52399 296 0 0 25 0 1 0 1842236664 286220288 69643 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 69878 69643 145 145 0 69733 0 [pid=8678] vsize: 279512 Current children cumulated CPU time (s) 526.96 Current children cumulated vsize (Kb) 281636 [startup+540.048 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 71157 0 0 0 53389 301 0 0 25 0 1 0 1842236664 292028416 71059 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 71296 71059 145 145 0 71151 0 [pid=8678] vsize: 285184 Current children cumulated CPU time (s) 536.91 Current children cumulated vsize (Kb) 287308 [startup+550.049 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 72280 0 0 0 54377 306 0 0 25 0 1 0 1842236664 296624128 72182 4294967295 134512640 135094434 3221224448 3221223040 134557375 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 72418 72182 145 145 0 72273 0 [pid=8678] vsize: 289672 Current children cumulated CPU time (s) 546.84 Current children cumulated vsize (Kb) 291796 [startup+560.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 73594 0 0 0 55367 311 0 0 25 0 1 0 1842236664 302002176 73496 4294967295 134512640 135094434 3221224448 3221223040 134556802 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 73731 73496 145 145 0 73586 0 [pid=8678] vsize: 294924 Current children cumulated CPU time (s) 556.79 Current children cumulated vsize (Kb) 297048 [startup+570.05 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 74990 0 0 0 56357 315 0 0 25 0 1 0 1842236664 307716096 74892 4294967295 134512640 135094434 3221224448 3221223040 134557429 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 75126 74892 145 145 0 74981 0 [pid=8678] vsize: 300504 Current children cumulated CPU time (s) 566.73 Current children cumulated vsize (Kb) 302628 [startup+580.051 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 76252 0 0 0 57346 320 0 0 25 0 1 0 1842236664 312881152 76154 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 76387 76154 145 145 0 76242 0 [pid=8678] vsize: 305548 Current children cumulated CPU time (s) 576.67 Current children cumulated vsize (Kb) 307672 [startup+590.052 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 77354 0 0 0 58337 324 0 0 25 0 1 0 1842236664 317652992 77256 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 77552 77256 145 145 0 77407 0 [pid=8678] vsize: 310208 Current children cumulated CPU time (s) 586.62 Current children cumulated vsize (Kb) 312332 [startup+600.052 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 78441 0 0 0 59328 329 0 0 25 0 1 0 1842236664 322105344 78343 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 78639 78343 145 145 0 78494 0 [pid=8678] vsize: 314556 Current children cumulated CPU time (s) 596.58 Current children cumulated vsize (Kb) 316680 [startup+610.052 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 79554 0 0 0 60320 332 0 0 25 0 1 0 1842236664 326660096 79456 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 79751 79456 145 145 0 79606 0 [pid=8678] vsize: 319004 Current children cumulated CPU time (s) 606.53 Current children cumulated vsize (Kb) 321128 [startup+620.052 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 80670 0 0 0 61314 336 0 0 25 0 1 0 1842236664 331231232 80572 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 80867 80572 145 145 0 80722 0 [pid=8678] vsize: 323468 Current children cumulated CPU time (s) 616.51 Current children cumulated vsize (Kb) 325592 [startup+630.053 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 81670 0 0 0 62306 339 0 0 25 0 1 0 1842236664 335323136 81572 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 81866 81572 145 145 0 81721 0 [pid=8678] vsize: 327464 Current children cumulated CPU time (s) 626.46 Current children cumulated vsize (Kb) 329588 [startup+640.054 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 82739 0 0 0 63299 343 0 0 25 0 1 0 1842236664 339701760 82641 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 82935 82641 145 145 0 82790 0 [pid=8678] vsize: 331740 Current children cumulated CPU time (s) 636.43 Current children cumulated vsize (Kb) 333864 [startup+650.054 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 83836 0 0 0 64293 347 0 0 25 0 1 0 1842236664 344195072 83738 4294967295 134512640 135094434 3221224448 3221223040 134557287 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 84032 83738 145 145 0 83887 0 [pid=8678] vsize: 336128 Current children cumulated CPU time (s) 646.41 Current children cumulated vsize (Kb) 338252 [startup+660.055 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 84918 0 0 0 65284 352 0 0 25 0 1 0 1842236664 348622848 84820 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 85113 84820 145 145 0 84968 0 [pid=8678] vsize: 340452 Current children cumulated CPU time (s) 656.37 Current children cumulated vsize (Kb) 342576 [startup+670.056 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 86032 0 0 0 66276 355 0 0 25 0 1 0 1842236664 353181696 85934 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 86226 85934 145 145 0 86081 0 [pid=8678] vsize: 344904 Current children cumulated CPU time (s) 666.32 Current children cumulated vsize (Kb) 347028 [startup+680.056 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 87006 0 0 0 67269 359 0 0 25 0 1 0 1842236664 357175296 86908 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 87201 86908 145 145 0 87056 0 [pid=8678] vsize: 348804 Current children cumulated CPU time (s) 676.29 Current children cumulated vsize (Kb) 350928 [startup+690.058 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) T 8674 8674 5299 0 -1 0 87951 0 0 0 68263 362 0 0 25 0 1 0 1842236664 361037824 87853 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 0 0 0 Raw data (/proc/8678/statm): 88144 87853 145 145 0 87999 0 [pid=8678] vsize: 352576 Current children cumulated CPU time (s) 686.26 Current children cumulated vsize (Kb) 354700 [startup+700.059 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 88938 0 0 0 69256 366 0 0 25 0 1 0 1842236664 365080576 88840 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 89131 88840 145 145 0 88986 0 [pid=8678] vsize: 356524 Current children cumulated CPU time (s) 696.23 Current children cumulated vsize (Kb) 358648 [startup+710.058 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 89987 0 0 0 70248 370 0 0 25 0 1 0 1842236664 369373184 89889 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 90179 89889 145 145 0 90034 0 [pid=8678] vsize: 360716 Current children cumulated CPU time (s) 706.19 Current children cumulated vsize (Kb) 362840 [startup+720.059 s] Raw data (loadavg): 1.15 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 91010 0 0 0 71241 374 0 0 25 0 1 0 1842236664 373563392 90912 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 91202 90912 145 145 0 91057 0 [pid=8678] vsize: 364808 Current children cumulated CPU time (s) 716.16 Current children cumulated vsize (Kb) 366932 [startup+730.059 s] Raw data (loadavg): 1.12 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 92094 0 0 0 72234 378 0 0 25 0 1 0 1842236664 377999360 91996 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 92285 91996 145 145 0 92140 0 [pid=8678] vsize: 369140 Current children cumulated CPU time (s) 726.13 Current children cumulated vsize (Kb) 371264 [startup+740.06 s] Raw data (loadavg): 1.10 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 92999 0 0 0 73228 381 0 0 25 0 1 0 1842236664 381706240 92901 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 93190 92901 145 145 0 93045 0 [pid=8678] vsize: 372760 Current children cumulated CPU time (s) 736.1 Current children cumulated vsize (Kb) 374884 [startup+750.061 s] Raw data (loadavg): 1.09 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 93974 0 0 0 74222 383 0 0 25 0 1 0 1842236664 385699840 93876 4294967295 134512640 135094434 3221224448 3221223040 134557219 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 94165 93876 145 145 0 94020 0 [pid=8678] vsize: 376660 Current children cumulated CPU time (s) 746.06 Current children cumulated vsize (Kb) 378784 [startup+760.061 s] Raw data (loadavg): 1.07 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 94915 0 0 0 75216 386 0 0 25 0 1 0 1842236664 389550080 94817 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 95105 94817 145 145 0 94960 0 [pid=8678] vsize: 380420 Current children cumulated CPU time (s) 756.03 Current children cumulated vsize (Kb) 382544 [startup+770.062 s] Raw data (loadavg): 1.06 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 95823 0 0 0 76211 388 0 0 25 0 1 0 1842236664 393269248 95725 4294967295 134512640 135094434 3221224448 3221223120 134556288 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 96013 95725 145 145 0 95868 0 [pid=8678] vsize: 384052 Current children cumulated CPU time (s) 766 Current children cumulated vsize (Kb) 386176 [startup+780.063 s] Raw data (loadavg): 1.05 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 96571 0 0 0 77206 391 0 0 25 0 1 0 1842236664 396333056 96473 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 96761 96473 145 145 0 96616 0 [pid=8678] vsize: 387044 Current children cumulated CPU time (s) 775.98 Current children cumulated vsize (Kb) 389168 [startup+790.063 s] Raw data (loadavg): 1.04 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 97494 0 0 0 78200 395 0 0 25 0 1 0 1842236664 400109568 97396 4294967295 134512640 135094434 3221224448 3221223104 134557884 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 97683 97396 145 145 0 97538 0 [pid=8678] vsize: 390732 Current children cumulated CPU time (s) 785.96 Current children cumulated vsize (Kb) 392856 [startup+800.064 s] Raw data (loadavg): 1.04 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 98396 0 0 0 79194 397 0 0 25 0 1 0 1842236664 403804160 98298 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 98585 98298 145 145 0 98440 0 [pid=8678] vsize: 394340 Current children cumulated CPU time (s) 795.92 Current children cumulated vsize (Kb) 396464 [startup+810.065 s] Raw data (loadavg): 1.03 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 99384 0 0 0 80187 401 0 0 25 0 1 0 1842236664 407855104 99286 4294967295 134512640 135094434 3221224448 3221223040 134557531 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 99574 99286 145 145 0 99429 0 [pid=8678] vsize: 398296 Current children cumulated CPU time (s) 805.89 Current children cumulated vsize (Kb) 400420 [startup+820.065 s] Raw data (loadavg): 1.03 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) T 8674 8674 5299 0 -1 0 100509 0 0 0 81179 405 0 0 25 0 1 0 1842236664 412463104 100411 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 0 0 0 Raw data (/proc/8678/statm): 100699 100411 145 145 0 100554 0 [pid=8678] vsize: 402796 Current children cumulated CPU time (s) 815.85 Current children cumulated vsize (Kb) 404920 [startup+830.066 s] Raw data (loadavg): 1.02 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 101588 0 0 0 82171 408 0 0 25 0 1 0 1842236664 416882688 101490 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 101778 101490 145 145 0 101633 0 [pid=8678] vsize: 407112 Current children cumulated CPU time (s) 825.8 Current children cumulated vsize (Kb) 409236 [startup+840.067 s] Raw data (loadavg): 1.02 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 102508 0 0 0 83165 412 0 0 25 0 1 0 1842236664 420655104 102410 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 102699 102410 145 145 0 102554 0 [pid=8678] vsize: 410796 Current children cumulated CPU time (s) 835.78 Current children cumulated vsize (Kb) 412920 [startup+850.067 s] Raw data (loadavg): 1.01 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 103610 0 0 0 84156 417 0 0 25 0 1 0 1842236664 425168896 103512 4294967295 134512640 135094434 3221224448 3221223072 134557642 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 103801 103512 145 145 0 103656 0 [pid=8678] vsize: 415204 Current children cumulated CPU time (s) 845.74 Current children cumulated vsize (Kb) 417328 [startup+860.067 s] Raw data (loadavg): 1.01 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 104551 0 0 0 85150 420 0 0 25 0 1 0 1842236664 429015040 104453 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 104740 104453 145 145 0 104595 0 [pid=8678] vsize: 418960 Current children cumulated CPU time (s) 855.71 Current children cumulated vsize (Kb) 421084 [startup+870.067 s] Raw data (loadavg): 1.01 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 105432 0 0 0 86144 423 0 0 25 0 1 0 1842236664 432623616 105334 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 105621 105334 145 145 0 105476 0 [pid=8678] vsize: 422484 Current children cumulated CPU time (s) 865.68 Current children cumulated vsize (Kb) 424608 [startup+880.068 s] Raw data (loadavg): 1.01 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 106096 0 0 0 87138 426 0 0 25 0 1 0 1842236664 435351552 105998 4294967295 134512640 135094434 3221224448 3221223136 134554715 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 106287 105998 145 145 0 106142 0 [pid=8678] vsize: 425148 Current children cumulated CPU time (s) 875.65 Current children cumulated vsize (Kb) 427272 [startup+890.069 s] Raw data (loadavg): 1.01 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 106956 0 0 0 88129 431 0 0 25 0 1 0 1842236664 438870016 106858 4294967295 134512640 135094434 3221224448 3221223120 134556317 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 107146 106858 145 145 0 107001 0 [pid=8678] vsize: 428584 Current children cumulated CPU time (s) 885.61 Current children cumulated vsize (Kb) 430708 [startup+900.069 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 107934 0 0 0 89120 435 0 0 25 0 1 0 1842236664 442871808 107836 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 108123 107836 145 145 0 107978 0 [pid=8678] vsize: 432492 Current children cumulated CPU time (s) 895.56 Current children cumulated vsize (Kb) 434616 [startup+910.069 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 108834 0 0 0 90111 440 0 0 25 0 1 0 1842236664 446554112 108736 4294967295 134512640 135094434 3221224448 3221223104 134558019 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 109022 108736 145 145 0 108877 0 [pid=8678] vsize: 436088 Current children cumulated CPU time (s) 905.52 Current children cumulated vsize (Kb) 438212 [startup+920.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 109458 0 0 0 91107 441 0 0 25 0 1 0 1842236664 449105920 109360 4294967295 134512640 135094434 3221224448 3221223040 134556802 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 109645 109360 145 145 0 109500 0 [pid=8678] vsize: 438580 Current children cumulated CPU time (s) 915.49 Current children cumulated vsize (Kb) 440704 [startup+930.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 110299 0 0 0 92100 445 0 0 25 0 1 0 1842236664 452546560 110201 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 110485 110201 145 145 0 110340 0 [pid=8678] vsize: 441940 Current children cumulated CPU time (s) 925.46 Current children cumulated vsize (Kb) 444064 [startup+940.071 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 111241 0 0 0 93091 450 0 0 25 0 1 0 1842236664 456400896 111143 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 111426 111143 145 145 0 111281 0 [pid=8678] vsize: 445704 Current children cumulated CPU time (s) 935.42 Current children cumulated vsize (Kb) 447828 [startup+950.072 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 112144 0 0 0 94082 453 0 0 25 0 1 0 1842236664 460099584 112046 4294967295 134512640 135094434 3221224448 3221223040 134556785 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 112329 112046 145 145 0 112184 0 [pid=8678] vsize: 449316 Current children cumulated CPU time (s) 945.36 Current children cumulated vsize (Kb) 451440 [startup+960.072 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 113099 0 0 0 95075 457 0 0 25 0 1 0 1842236664 464007168 113001 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 113283 113001 145 145 0 113138 0 [pid=8678] vsize: 453132 Current children cumulated CPU time (s) 955.33 Current children cumulated vsize (Kb) 455256 [startup+970.073 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 113852 0 0 0 96067 461 0 0 25 0 1 0 1842236664 467087360 113754 4294967295 134512640 135094434 3221224448 3221223120 134556450 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 114035 113754 145 145 0 113890 0 [pid=8678] vsize: 456140 Current children cumulated CPU time (s) 965.29 Current children cumulated vsize (Kb) 458264 [startup+980.073 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 114636 0 0 0 97060 464 0 0 25 0 1 0 1842236664 470294528 114538 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 114818 114538 145 145 0 114673 0 [pid=8678] vsize: 459272 Current children cumulated CPU time (s) 975.25 Current children cumulated vsize (Kb) 461396 [startup+990.074 s] Raw data (loadavg): 1.00 1.00 0.99 1/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) T 8674 8674 5299 0 -1 0 115549 0 0 0 98050 469 0 0 25 0 1 0 1842236664 474038272 115451 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 0 0 0 Raw data (/proc/8678/statm): 115732 115451 145 145 0 115587 0 [pid=8678] vsize: 462928 Current children cumulated CPU time (s) 985.2 Current children cumulated vsize (Kb) 465052 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 116610 0 0 0 99041 475 0 0 25 0 1 0 1842236664 478375936 116512 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 116791 116512 145 145 0 116646 0 [pid=8678] vsize: 467164 Current children cumulated CPU time (s) 995.17 Current children cumulated vsize (Kb) 469288 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 117841 0 0 0 100030 480 0 0 25 0 1 0 1842236664 483418112 117743 4294967295 134512640 135094434 3221224448 3221223104 134558249 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 118022 117743 145 145 0 117877 0 [pid=8678] vsize: 472088 Current children cumulated CPU time (s) 1005.11 Current children cumulated vsize (Kb) 474212 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 118912 0 0 0 101020 484 0 0 25 0 1 0 1842236664 487796736 118814 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 119091 118814 145 145 0 118946 0 [pid=8678] vsize: 476364 Current children cumulated CPU time (s) 1015.05 Current children cumulated vsize (Kb) 478488 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 119793 0 0 0 102013 488 0 0 25 0 1 0 1842236664 491401216 119695 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 119971 119695 145 145 0 119826 0 [pid=8678] vsize: 479884 Current children cumulated CPU time (s) 1025.02 Current children cumulated vsize (Kb) 482008 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 120822 0 0 0 103003 492 0 0 25 0 1 0 1842236664 495611904 120724 4294967295 134512640 135094434 3221224448 3221223120 134556317 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 120999 120724 145 145 0 120854 0 [pid=8678] vsize: 483996 Current children cumulated CPU time (s) 1034.96 Current children cumulated vsize (Kb) 486120 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 121823 0 0 0 103995 496 0 0 25 0 1 0 1842236664 499707904 121725 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 121999 121725 145 145 0 121854 0 [pid=8678] vsize: 487996 Current children cumulated CPU time (s) 1044.92 Current children cumulated vsize (Kb) 490120 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 122911 0 0 0 104986 500 0 0 25 0 1 0 1842236664 504164352 122813 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 123087 122813 145 145 0 122942 0 [pid=8678] vsize: 492348 Current children cumulated CPU time (s) 1054.87 Current children cumulated vsize (Kb) 494472 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 124229 0 0 0 105977 504 0 0 25 0 1 0 1842236664 509558784 124131 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 124404 124131 145 145 0 124259 0 [pid=8678] vsize: 497616 Current children cumulated CPU time (s) 1064.82 Current children cumulated vsize (Kb) 499740 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 125428 0 0 0 106968 508 0 0 25 0 1 0 1842236664 514465792 125330 4294967295 134512640 135094434 3221224448 3221223100 134556676 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 125602 125330 145 145 0 125457 0 [pid=8678] vsize: 502408 Current children cumulated CPU time (s) 1074.77 Current children cumulated vsize (Kb) 504532 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 126553 0 0 0 107960 513 0 0 25 0 1 0 1842236664 519073792 126455 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 126727 126455 145 145 0 126582 0 [pid=8678] vsize: 506908 Current children cumulated CPU time (s) 1084.74 Current children cumulated vsize (Kb) 509032 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 127742 0 0 0 108954 517 0 0 25 0 1 0 1842236664 523939840 127644 4294967295 134512640 135094434 3221224448 3221223104 134558232 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 127915 127644 145 145 0 127770 0 [pid=8678] vsize: 511660 Current children cumulated CPU time (s) 1094.72 Current children cumulated vsize (Kb) 513784 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 128686 0 0 0 109947 521 0 0 25 0 1 0 1842236664 527802368 128588 4294967295 134512640 135094434 3221224448 3221223072 134557653 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 128858 128588 145 145 0 128713 0 [pid=8678] vsize: 515432 Current children cumulated CPU time (s) 1104.69 Current children cumulated vsize (Kb) 517556 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 129897 0 0 0 110937 525 0 0 25 0 1 0 1842236664 532762624 129799 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 130069 129799 145 145 0 129924 0 [pid=8678] vsize: 520276 Current children cumulated CPU time (s) 1114.63 Current children cumulated vsize (Kb) 522400 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 131111 0 0 0 111928 529 0 0 25 0 1 0 1842236664 537731072 131013 4294967295 134512640 135094434 3221224448 3221223120 134556428 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 131282 131013 145 145 0 131137 0 [pid=8678] vsize: 525128 Current children cumulated CPU time (s) 1124.58 Current children cumulated vsize (Kb) 527252 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 132151 0 0 0 112921 533 0 0 25 0 1 0 1842236664 541986816 132053 4294967295 134512640 135094434 3221224448 3221223072 134557714 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 132321 132053 145 145 0 132176 0 [pid=8678] vsize: 529284 Current children cumulated CPU time (s) 1134.55 Current children cumulated vsize (Kb) 531408 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 133153 0 0 0 113914 537 0 0 25 0 1 0 1842236664 546091008 133055 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 133323 133055 145 145 0 133178 0 [pid=8678] vsize: 533292 Current children cumulated CPU time (s) 1144.52 Current children cumulated vsize (Kb) 535416 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 134012 0 0 0 114905 540 0 0 25 0 1 0 1842236664 549613568 133914 4294967295 134512640 135094434 3221224448 3221223120 134555574 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 134183 133914 145 145 0 134038 0 [pid=8678] vsize: 536732 Current children cumulated CPU time (s) 1154.46 Current children cumulated vsize (Kb) 538856 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 134829 0 0 0 115898 544 0 0 25 0 1 0 1842236664 552955904 134731 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 134999 134731 145 145 0 134854 0 [pid=8678] vsize: 539996 Current children cumulated CPU time (s) 1164.43 Current children cumulated vsize (Kb) 542120 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 135674 0 0 0 116890 548 0 0 25 0 1 0 1842236664 556412928 135576 4294967295 134512640 135094434 3221224448 3221223104 134557911 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/8678/statm): 135843 135576 145 145 0 135698 0 [pid=8678] vsize: 543372 Current children cumulated CPU time (s) 1174.39 Current children cumulated vsize (Kb) 545496 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 136762 0 0 0 117881 552 0 0 25 0 1 0 1842236664 560865280 136664 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 136930 136664 145 145 0 136785 0 [pid=8678] vsize: 547720 Current children cumulated CPU time (s) 1184.34 Current children cumulated vsize (Kb) 549844 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 137774 0 0 0 118870 558 0 0 25 0 1 0 1842236664 565006336 137676 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 137941 137676 145 145 0 137796 0 [pid=8678] vsize: 551764 Current children cumulated CPU time (s) 1194.29 Current children cumulated vsize (Kb) 553888 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 138758 0 0 0 119862 562 0 0 25 0 1 0 1842236664 569036800 138660 4294967295 134512640 135094434 3221224448 3221223072 134557737 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 138925 138660 145 145 0 138780 0 [pid=8678] vsize: 555700 Current children cumulated CPU time (s) 1204.25 Current children cumulated vsize (Kb) 557824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 0.99 2/57 8678 Raw data (/proc/8674/stat): 8674 (minisat+_script) S 8673 8674 5299 0 -1 0 288 239 0 0 0 0 0 1 20 0 1 0 1842236659 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0 Raw data (/proc/8674/statm): 531 226 485 147 0 384 0 [pid=8674] vsize: 2124 Raw data (/proc/8678/stat): 8678 (minisat+_64-bit) R 8674 8674 5299 0 -1 0 138758 0 0 0 119862 562 0 0 25 0 1 0 1842236664 569036800 138660 4294967295 134512640 135094434 3221224448 3221223072 134557737 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/8678/statm): 138925 138660 145 145 0 138780 0 [pid=8678] vsize: 555700 Current children cumulated CPU time (s) 1204.25 Current children cumulated vsize (Kb) 557824 Sending SIGTERM to -8674 Sleeping 2 seconds One traced child (pid=8674) ended because it received signal 15 (SIGTERM) One traced child (pid=8678) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1210.35 CPU time (s): 1204.51 CPU user time (s): 1198.63 CPU system time (s): 5.87911 CPU usage (%): 99.5169 Max. virtual memory (cumulated for all children) (Kb): 557824
ERROR: no interpretation found !