Name | submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb |
MD5SUM | 9cfcc49797c7ac58bfef2056b3d91b66 |
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 | 7500 |
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 | 7500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 7500 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
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 | 15 |
LAUNCH ON wulflinc1 THE 2005-09-18 15:09:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2471 boxname=wulflinc1 idbench=127 idsolver=3 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 9cfcc49797c7ac58bfef2056b3d91b66 /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb REAL COMMAND: minisat+_script /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb IDLAUNCH: 2471 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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: 877744 kB Buffers: 37568 kB Cached: 88888 kB SwapCached: 908 kB Active: 97512 kB Inactive: 31784 kB HighTotal: 131008 kB HighFree: 46060 kB LowTotal: 903652 kB LowFree: 831684 kB SwapTotal: 2097136 kB SwapFree: 2095620 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5992 kB Slab: 21884 kB Committed_AS: 93168 kB PageTables: 344 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 15:29:11 (client local time) WITH STATUS 0 IN 1207.89 SECONDS stats: 2471 7 1207.89 0
c Parsing PB file... c Converting 237715 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 | 237715 478680 | 79238 0 0 nan | 0.000 % | c | 100 | 237715 478680 | 87161 100 4687 46.9 | 0.000 % | c | 251 | 237715 478680 | 95877 251 13884 55.3 | 0.000 % | c | 478 | 237715 478680 | 105465 478 34800 72.8 | 0.000 % | c | 818 | 237715 478680 | 116012 818 73420 89.8 | 0.000 % | c | 1324 | 237715 478680 | 127613 1324 170495 128.8 | 0.000 % | c | 2083 | 237715 478680 | 140374 2083 290241 139.3 | 0.000 % | c | 3224 | 237715 478680 | 154412 3224 545693 169.3 | 0.000 % | c | 4934 | 237715 478680 | 169853 4934 854269 173.1 | 0.000 % | c | 7497 | 237715 478680 | 186839 7497 1546507 206.3 | 0.000 % | c | 11342 | 237715 478680 | 205522 11342 2310229 203.7 | 0.000 % | c | 17111 | 237715 478680 | 226075 17111 3510127 205.1 | 0.000 % | c | 25760 | 237715 478680 | 248682 25760 5122962 198.9 | 0.000 % | c | 38737 | 237715 478680 | 273551 38737 8543560 220.6 | 0.000 % | c | 58200 | 237715 478680 | 300906 58200 13346325 229.3 | 0.000 % | c | 87394 | 237715 478680 | 330996 87394 18565662 212.4 | 0.000 % | c | 131185 | 237715 478680 | 364096 131185 27153657 207.0 | 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/25242/stat): 25242 (minisat+_script) R 25241 25242 17733 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1727136481 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/25242/statm): 174 3 169 147 0 27 0 [pid=25242] 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=25243 New process pid=25244 New process pid=25245 execve syscall for /bin/sed executable One traced child (pid=25244) exited with status: 0 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 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=25245) exited with status: 0 One traced child (pid=25243) exited with status: 0 New process pid=25246 execve syscall for /oldhome/oroussel/solvers/minisat+_64-bit_static executable open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-g250.15.opb [startup+10.0035 s] Raw data (loadavg): 0.55 0.76 0.90 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 893 59 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223040 134551908 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 9.52 Current children cumulated vsize (Kb) 62120 [startup+20.0043 s] Raw data (loadavg): 0.62 0.77 0.90 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 1893 59 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 19.52 Current children cumulated vsize (Kb) 62120 [startup+30.0051 s] Raw data (loadavg): 0.68 0.77 0.90 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 2893 59 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558246 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 29.52 Current children cumulated vsize (Kb) 62120 [startup+40.0059 s] Raw data (loadavg): 0.73 0.78 0.90 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 3893 59 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223100 134558255 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 39.52 Current children cumulated vsize (Kb) 62120 [startup+50.0076 s] Raw data (loadavg): 0.77 0.79 0.90 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 4892 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223136 134554687 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 49.52 Current children cumulated vsize (Kb) 62120 [startup+60.0084 s] Raw data (loadavg): 0.80 0.79 0.90 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 5893 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558235 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 59.53 Current children cumulated vsize (Kb) 62120 [startup+70.0082 s] Raw data (loadavg): 0.83 0.80 0.90 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 6893 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 69.53 Current children cumulated vsize (Kb) 62120 [startup+80.009 s] Raw data (loadavg): 0.86 0.81 0.90 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 7893 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558187 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 79.53 Current children cumulated vsize (Kb) 62120 [startup+90.0098 s] Raw data (loadavg): 0.88 0.81 0.90 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 8893 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223072 134562104 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 89.53 Current children cumulated vsize (Kb) 62120 [startup+100.011 s] Raw data (loadavg): 0.90 0.82 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 9894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 99.54 Current children cumulated vsize (Kb) 62120 [startup+110.011 s] Raw data (loadavg): 0.91 0.82 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 10894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223088 134562225 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 109.54 Current children cumulated vsize (Kb) 62120 [startup+120.012 s] Raw data (loadavg): 0.93 0.83 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 11894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223072 134557612 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 119.54 Current children cumulated vsize (Kb) 62120 [startup+130.013 s] Raw data (loadavg): 0.94 0.83 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 12894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 129.54 Current children cumulated vsize (Kb) 62120 [startup+140.014 s] Raw data (loadavg): 0.95 0.84 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 13894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 139.54 Current children cumulated vsize (Kb) 62120 [startup+150.016 s] Raw data (loadavg): 0.95 0.84 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 14894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 149.54 Current children cumulated vsize (Kb) 62120 [startup+160.016 s] Raw data (loadavg): 0.96 0.85 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 15894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 159.54 Current children cumulated vsize (Kb) 62120 [startup+170.016 s] Raw data (loadavg): 0.97 0.85 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 16894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 169.54 Current children cumulated vsize (Kb) 62120 [startup+180.017 s] Raw data (loadavg): 0.97 0.86 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 14927 0 0 0 17894 60 0 0 25 0 1 0 1727136486 61435904 14870 4294967295 134512640 135094434 3221224448 3221223104 134558232 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 14999 14870 145 145 0 14854 0 [pid=25246] vsize: 59996 Current children cumulated CPU time (s) 179.54 Current children cumulated vsize (Kb) 62120 [startup+190.018 s] Raw data (loadavg): 0.97 0.86 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 15218 0 0 0 18889 62 0 0 25 0 1 0 1727136486 62615552 15161 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 15287 15161 145 145 0 15142 0 [pid=25246] vsize: 61148 Current children cumulated CPU time (s) 189.51 Current children cumulated vsize (Kb) 63272 [startup+200.018 s] Raw data (loadavg): 0.98 0.87 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 15538 0 0 0 19883 65 0 0 25 0 1 0 1727136486 63926272 15481 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 15607 15481 145 145 0 15462 0 [pid=25246] vsize: 62428 Current children cumulated CPU time (s) 199.48 Current children cumulated vsize (Kb) 64552 [startup+210.019 s] Raw data (loadavg): 0.98 0.87 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 15874 0 0 0 20878 68 0 0 25 0 1 0 1727136486 65327104 15817 4294967295 134512640 135094434 3221224448 3221223104 134557866 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 15949 15817 145 145 0 15804 0 [pid=25246] vsize: 63796 Current children cumulated CPU time (s) 209.46 Current children cumulated vsize (Kb) 65920 [startup+220.02 s] Raw data (loadavg): 0.98 0.87 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 16214 0 0 0 21873 69 0 0 25 0 1 0 1727136486 66752512 16157 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 16297 16157 145 145 0 16152 0 [pid=25246] vsize: 65188 Current children cumulated CPU time (s) 219.42 Current children cumulated vsize (Kb) 67312 [startup+230.021 s] Raw data (loadavg): 0.99 0.88 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 16475 0 0 0 22868 71 0 0 25 0 1 0 1727136486 67837952 16418 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 16562 16418 145 145 0 16417 0 [pid=25246] vsize: 66248 Current children cumulated CPU time (s) 229.39 Current children cumulated vsize (Kb) 68372 [startup+240.022 s] Raw data (loadavg): 0.99 0.88 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 16706 0 0 0 23865 72 0 0 25 0 1 0 1727136486 68800512 16649 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 16797 16649 145 145 0 16652 0 [pid=25246] vsize: 67188 Current children cumulated CPU time (s) 239.37 Current children cumulated vsize (Kb) 69312 [startup+250.022 s] Raw data (loadavg): 0.99 0.88 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 17030 0 0 0 24860 75 0 0 25 0 1 0 1727136486 70164480 16973 4294967295 134512640 135094434 3221224448 3221223072 134557737 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 17130 16973 145 145 0 16985 0 [pid=25246] vsize: 68520 Current children cumulated CPU time (s) 249.35 Current children cumulated vsize (Kb) 70644 [startup+260.023 s] Raw data (loadavg): 0.99 0.89 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 17365 0 0 0 25853 78 0 0 25 0 1 0 1727136486 71602176 17308 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 17481 17308 145 145 0 17336 0 [pid=25246] vsize: 69924 Current children cumulated CPU time (s) 259.31 Current children cumulated vsize (Kb) 72048 [startup+270.023 s] Raw data (loadavg): 0.99 0.89 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 17738 0 0 0 26846 81 0 0 25 0 1 0 1727136486 73129984 17681 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/25246/statm): 17854 17681 145 145 0 17709 0 [pid=25246] vsize: 71416 Current children cumulated CPU time (s) 269.27 Current children cumulated vsize (Kb) 73540 [startup+280.024 s] Raw data (loadavg): 0.99 0.89 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 18033 0 0 0 27841 83 0 0 25 0 1 0 1727136486 74330112 17976 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/25246/statm): 18147 17976 145 145 0 18002 0 [pid=25246] vsize: 72588 Current children cumulated CPU time (s) 279.24 Current children cumulated vsize (Kb) 74712 [startup+290.024 s] Raw data (loadavg): 0.99 0.90 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 18339 0 0 0 28836 85 0 0 25 0 1 0 1727136486 75603968 18282 4294967295 134512640 135094434 3221224448 3221223104 134557863 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 18458 18282 145 145 0 18313 0 [pid=25246] vsize: 73832 Current children cumulated CPU time (s) 289.21 Current children cumulated vsize (Kb) 75956 [startup+300.025 s] Raw data (loadavg): 0.99 0.90 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 18594 0 0 0 29832 86 0 0 25 0 1 0 1727136486 76660736 18537 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 18716 18537 145 145 0 18571 0 [pid=25246] vsize: 74864 Current children cumulated CPU time (s) 299.18 Current children cumulated vsize (Kb) 76988 [startup+310.026 s] Raw data (loadavg): 0.99 0.90 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 18887 0 0 0 30827 88 0 0 25 0 1 0 1727136486 77864960 18830 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 19010 18830 145 145 0 18865 0 [pid=25246] vsize: 76040 Current children cumulated CPU time (s) 309.15 Current children cumulated vsize (Kb) 78164 [startup+320.026 s] Raw data (loadavg): 0.99 0.90 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 19172 0 0 0 31822 91 0 0 25 0 1 0 1727136486 79040512 19115 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 19297 19115 145 145 0 19152 0 [pid=25246] vsize: 77188 Current children cumulated CPU time (s) 319.13 Current children cumulated vsize (Kb) 79312 [startup+330.028 s] Raw data (loadavg): 0.99 0.91 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 19453 0 0 0 32818 93 0 0 25 0 1 0 1727136486 80207872 19396 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 19582 19396 145 145 0 19437 0 [pid=25246] vsize: 78328 Current children cumulated CPU time (s) 329.11 Current children cumulated vsize (Kb) 80452 [startup+340.028 s] Raw data (loadavg): 0.99 0.91 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 19802 0 0 0 33815 94 0 0 25 0 1 0 1727136486 82042880 19745 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 20030 19745 145 145 0 19885 0 [pid=25246] vsize: 80120 Current children cumulated CPU time (s) 339.09 Current children cumulated vsize (Kb) 82244 [startup+350.029 s] Raw data (loadavg): 0.99 0.91 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 19961 0 0 0 34814 95 0 0 25 0 1 0 1727136486 82694144 19904 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 20189 19904 145 145 0 20044 0 [pid=25246] vsize: 80756 Current children cumulated CPU time (s) 349.09 Current children cumulated vsize (Kb) 82880 [startup+360.03 s] Raw data (loadavg): 0.99 0.91 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 20203 0 0 0 35810 96 0 0 25 0 1 0 1727136486 83709952 20146 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 20437 20146 145 145 0 20292 0 [pid=25246] vsize: 81748 Current children cumulated CPU time (s) 359.06 Current children cumulated vsize (Kb) 83872 [startup+370.031 s] Raw data (loadavg): 0.99 0.92 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 20434 0 0 0 36806 98 0 0 25 0 1 0 1727136486 84697088 20377 4294967295 134512640 135094434 3221224448 3221223136 134554731 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 20678 20377 145 145 0 20533 0 [pid=25246] vsize: 82712 Current children cumulated CPU time (s) 369.04 Current children cumulated vsize (Kb) 84836 [startup+380.032 s] Raw data (loadavg): 0.99 0.92 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 20653 0 0 0 37803 99 0 0 25 0 1 0 1727136486 85598208 20596 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 20898 20596 145 145 0 20753 0 [pid=25246] vsize: 83592 Current children cumulated CPU time (s) 379.02 Current children cumulated vsize (Kb) 85716 [startup+390.032 s] Raw data (loadavg): 0.99 0.92 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 20863 0 0 0 38799 101 0 0 25 0 1 0 1727136486 86487040 20806 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 21115 20806 145 145 0 20970 0 [pid=25246] vsize: 84460 Current children cumulated CPU time (s) 389 Current children cumulated vsize (Kb) 86584 [startup+400.033 s] Raw data (loadavg): 0.99 0.92 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 21078 0 0 0 39796 102 0 0 25 0 1 0 1727136486 87400448 21021 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 21338 21021 145 145 0 21193 0 [pid=25246] vsize: 85352 Current children cumulated CPU time (s) 398.98 Current children cumulated vsize (Kb) 87476 [startup+410.034 s] Raw data (loadavg): 0.99 0.92 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 21300 0 0 0 40792 103 0 0 25 0 1 0 1727136486 88317952 21243 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 21562 21243 145 145 0 21417 0 [pid=25246] vsize: 86248 Current children cumulated CPU time (s) 408.95 Current children cumulated vsize (Kb) 88372 [startup+420.034 s] Raw data (loadavg): 0.99 0.93 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 21522 0 0 0 41789 106 0 0 25 0 1 0 1727136486 89219072 21465 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 21782 21465 145 145 0 21637 0 [pid=25246] vsize: 87128 Current children cumulated CPU time (s) 418.95 Current children cumulated vsize (Kb) 89252 [startup+430.036 s] Raw data (loadavg): 0.99 0.93 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 21699 0 0 0 42786 107 0 0 25 0 1 0 1727136486 89935872 21642 4294967295 134512640 135094434 3221224448 3221223120 134555839 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 21957 21642 145 145 0 21812 0 [pid=25246] vsize: 87828 Current children cumulated CPU time (s) 428.93 Current children cumulated vsize (Kb) 89952 [startup+440.036 s] Raw data (loadavg): 0.99 0.93 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 21892 0 0 0 43782 108 0 0 25 0 1 0 1727136486 90726400 21835 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 22150 21835 145 145 0 22005 0 [pid=25246] vsize: 88600 Current children cumulated CPU time (s) 438.9 Current children cumulated vsize (Kb) 90724 [startup+450.036 s] Raw data (loadavg): 0.99 0.93 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 22095 0 0 0 44779 110 0 0 25 0 1 0 1727136486 91549696 22038 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 22351 22038 145 145 0 22206 0 [pid=25246] vsize: 89404 Current children cumulated CPU time (s) 448.89 Current children cumulated vsize (Kb) 91528 [startup+460.037 s] Raw data (loadavg): 0.99 0.93 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 22292 0 0 0 45777 111 0 0 25 0 1 0 1727136486 92348416 22235 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 22546 22235 145 145 0 22401 0 [pid=25246] vsize: 90184 Current children cumulated CPU time (s) 458.88 Current children cumulated vsize (Kb) 92308 [startup+470.038 s] Raw data (loadavg): 0.99 0.94 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 22539 0 0 0 46773 112 0 0 25 0 1 0 1727136486 93356032 22482 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 22792 22482 145 145 0 22647 0 [pid=25246] vsize: 91168 Current children cumulated CPU time (s) 468.85 Current children cumulated vsize (Kb) 93292 [startup+480.038 s] Raw data (loadavg): 0.99 0.94 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 22757 0 0 0 47770 114 0 0 25 0 1 0 1727136486 94261248 22700 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 23013 22700 145 145 0 22868 0 [pid=25246] vsize: 92052 Current children cumulated CPU time (s) 478.84 Current children cumulated vsize (Kb) 94176 [startup+490.039 s] Raw data (loadavg): 0.99 0.94 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 22978 0 0 0 48766 116 0 0 25 0 1 0 1727136486 95158272 22921 4294967295 134512640 135094434 3221224448 3221223104 134558013 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 23232 22921 145 145 0 23087 0 [pid=25246] vsize: 92928 Current children cumulated CPU time (s) 488.82 Current children cumulated vsize (Kb) 95052 [startup+500.04 s] Raw data (loadavg): 0.99 0.94 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 23167 0 0 0 49762 117 0 0 25 0 1 0 1727136486 95952896 23110 4294967295 134512640 135094434 3221224448 3221223080 134557561 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 23426 23110 145 145 0 23281 0 [pid=25246] vsize: 93704 Current children cumulated CPU time (s) 498.79 Current children cumulated vsize (Kb) 95828 [startup+510.041 s] Raw data (loadavg): 0.99 0.94 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 23424 0 0 0 50758 119 0 0 25 0 1 0 1727136486 97009664 23367 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 23684 23367 145 145 0 23539 0 [pid=25246] vsize: 94736 Current children cumulated CPU time (s) 508.77 Current children cumulated vsize (Kb) 96860 [startup+520.041 s] Raw data (loadavg): 0.99 0.94 0.91 1/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) T 25242 25242 17733 0 -1 0 23627 0 0 0 51753 121 0 0 25 0 1 0 1727136486 97832960 23570 4294967295 134512640 135094434 3221224448 3221222828 134870330 0 0 5 16386 3222434794 0 0 17 1 0 0 Raw data (/proc/25246/statm): 23885 23570 145 145 0 23740 0 [pid=25246] vsize: 95540 Current children cumulated CPU time (s) 518.74 Current children cumulated vsize (Kb) 97664 [startup+530.042 s] Raw data (loadavg): 0.99 0.94 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 23842 0 0 0 52749 123 0 0 25 0 1 0 1727136486 98721792 23785 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 24102 23785 145 145 0 23957 0 [pid=25246] vsize: 96408 Current children cumulated CPU time (s) 528.72 Current children cumulated vsize (Kb) 98532 [startup+540.043 s] Raw data (loadavg): 0.99 0.95 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24017 0 0 0 53745 125 0 0 25 0 1 0 1727136486 99446784 23960 4294967295 134512640 135094434 3221224448 3221223104 134558178 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 24279 23960 145 145 0 24134 0 [pid=25246] vsize: 97116 Current children cumulated CPU time (s) 538.7 Current children cumulated vsize (Kb) 99240 [startup+550.044 s] Raw data (loadavg): 0.99 0.95 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24238 0 0 0 54742 126 0 0 25 0 1 0 1727136486 100347904 24181 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 0 0 0 Raw data (/proc/25246/statm): 24499 24181 145 145 0 24354 0 [pid=25246] vsize: 97996 Current children cumulated CPU time (s) 548.68 Current children cumulated vsize (Kb) 100120 [startup+560.045 s] Raw data (loadavg): 0.99 0.95 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24427 0 0 0 55737 128 0 0 25 0 1 0 1727136486 101113856 24370 4294967295 134512640 135094434 3221224448 3221223104 134558178 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 24686 24370 145 145 0 24541 0 [pid=25246] vsize: 98744 Current children cumulated CPU time (s) 558.65 Current children cumulated vsize (Kb) 100868 [startup+570.045 s] Raw data (loadavg): 0.99 0.95 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24586 0 0 0 56734 129 0 0 25 0 1 0 1727136486 101761024 24529 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 24844 24529 145 145 0 24699 0 [pid=25246] vsize: 99376 Current children cumulated CPU time (s) 568.63 Current children cumulated vsize (Kb) 101500 [startup+580.045 s] Raw data (loadavg): 0.99 0.95 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24762 0 0 0 57730 131 0 0 25 0 1 0 1727136486 102469632 24705 4294967295 134512640 135094434 3221224448 3221223104 134558141 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 25017 24705 145 145 0 24872 0 [pid=25246] vsize: 100068 Current children cumulated CPU time (s) 578.61 Current children cumulated vsize (Kb) 102192 [startup+590.046 s] Raw data (loadavg): 0.99 0.95 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 24961 0 0 0 58726 133 0 0 25 0 1 0 1727136486 103292928 24904 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 25218 24904 145 145 0 25073 0 [pid=25246] vsize: 100872 Current children cumulated CPU time (s) 588.59 Current children cumulated vsize (Kb) 102996 [startup+600.046 s] Raw data (loadavg): 0.99 0.95 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 25157 0 0 0 59723 134 0 0 25 0 1 0 1727136486 104108032 25100 4294967295 134512640 135094434 3221224448 3221223104 134558178 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 25417 25100 145 145 0 25272 0 [pid=25246] vsize: 101668 Current children cumulated CPU time (s) 598.57 Current children cumulated vsize (Kb) 103792 [startup+610.047 s] Raw data (loadavg): 0.99 0.95 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 25359 0 0 0 60719 136 0 0 25 0 1 0 1727136486 104931328 25302 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 25618 25302 145 145 0 25473 0 [pid=25246] vsize: 102472 Current children cumulated CPU time (s) 608.55 Current children cumulated vsize (Kb) 104596 [startup+620.047 s] Raw data (loadavg): 0.99 0.95 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 25596 0 0 0 61714 138 0 0 25 0 1 0 1727136486 105889792 25539 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 25852 25539 145 145 0 25707 0 [pid=25246] vsize: 103408 Current children cumulated CPU time (s) 618.52 Current children cumulated vsize (Kb) 105532 [startup+630.048 s] Raw data (loadavg): 0.99 0.95 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 25785 0 0 0 62711 139 0 0 25 0 1 0 1727136486 106639360 25728 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 26035 25728 145 145 0 25890 0 [pid=25246] vsize: 104140 Current children cumulated CPU time (s) 628.5 Current children cumulated vsize (Kb) 106264 [startup+640.049 s] Raw data (loadavg): 0.99 0.96 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 25951 0 0 0 63709 141 0 0 25 0 1 0 1727136486 107311104 25894 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 26199 25894 145 145 0 26054 0 [pid=25246] vsize: 104796 Current children cumulated CPU time (s) 638.5 Current children cumulated vsize (Kb) 106920 [startup+650.049 s] Raw data (loadavg): 0.99 0.96 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26113 0 0 0 64706 142 0 0 25 0 1 0 1727136486 107982848 26056 4294967295 134512640 135094434 3221224448 3221223104 134558016 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 26363 26056 145 145 0 26218 0 [pid=25246] vsize: 105452 Current children cumulated CPU time (s) 648.48 Current children cumulated vsize (Kb) 107576 [startup+660.05 s] Raw data (loadavg): 0.99 0.96 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26303 0 0 0 65704 143 0 0 25 0 1 0 1727136486 108769280 26246 4294967295 134512640 135094434 3221224448 3221223104 134558249 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 26555 26246 145 145 0 26410 0 [pid=25246] vsize: 106220 Current children cumulated CPU time (s) 658.47 Current children cumulated vsize (Kb) 108344 [startup+670.05 s] Raw data (loadavg): 0.99 0.96 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26468 0 0 0 66701 145 0 0 25 0 1 0 1727136486 109432832 26411 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 26717 26411 145 145 0 26572 0 [pid=25246] vsize: 106868 Current children cumulated CPU time (s) 668.46 Current children cumulated vsize (Kb) 108992 [startup+680.051 s] Raw data (loadavg): 0.99 0.96 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26641 0 0 0 67698 146 0 0 25 0 1 0 1727136486 110141440 26584 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 26890 26584 145 145 0 26745 0 [pid=25246] vsize: 107560 Current children cumulated CPU time (s) 678.44 Current children cumulated vsize (Kb) 109684 [startup+690.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26802 0 0 0 68696 147 0 0 25 0 1 0 1727136486 110825472 26745 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 27057 26745 145 145 0 26912 0 [pid=25246] vsize: 108228 Current children cumulated CPU time (s) 688.43 Current children cumulated vsize (Kb) 110352 [startup+700.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 26959 0 0 0 69694 148 0 0 25 0 1 0 1727136486 111452160 26902 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 27210 26902 145 145 0 27065 0 [pid=25246] vsize: 108840 Current children cumulated CPU time (s) 698.42 Current children cumulated vsize (Kb) 110964 [startup+710.053 s] Raw data (loadavg): 0.99 0.96 0.91 1/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) T 25242 25242 17733 0 -1 0 27088 0 0 0 70693 148 0 0 25 0 1 0 1727136486 112001024 27031 4294967295 134512640 135094434 3221224448 3221222796 134870330 0 0 5 16386 3222434794 0 0 17 1 0 0 Raw data (/proc/25246/statm): 27344 27031 145 145 0 27199 0 [pid=25246] vsize: 109376 Current children cumulated CPU time (s) 708.41 Current children cumulated vsize (Kb) 111500 [startup+720.053 s] Raw data (loadavg): 0.99 0.96 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27204 0 0 0 71691 149 0 0 25 0 1 0 1727136486 112504832 27147 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 27467 27147 145 145 0 27322 0 [pid=25246] vsize: 109868 Current children cumulated CPU time (s) 718.4 Current children cumulated vsize (Kb) 111992 [startup+730.054 s] Raw data (loadavg): 0.99 0.96 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27346 0 0 0 72689 150 0 0 25 0 1 0 1727136486 113119232 27289 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 27617 27289 145 145 0 27472 0 [pid=25246] vsize: 110468 Current children cumulated CPU time (s) 728.39 Current children cumulated vsize (Kb) 112592 [startup+740.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27510 0 0 0 73686 152 0 0 25 0 1 0 1727136486 113786880 27453 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 27780 27453 145 145 0 27635 0 [pid=25246] vsize: 111120 Current children cumulated CPU time (s) 738.38 Current children cumulated vsize (Kb) 113244 [startup+750.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27648 0 0 0 74684 153 0 0 25 0 1 0 1727136486 114343936 27591 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 27916 27591 145 145 0 27771 0 [pid=25246] vsize: 111664 Current children cumulated CPU time (s) 748.37 Current children cumulated vsize (Kb) 113788 [startup+760.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27778 0 0 0 75681 154 0 0 25 0 1 0 1727136486 114933760 27721 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 28060 27721 145 145 0 27915 0 [pid=25246] vsize: 112240 Current children cumulated CPU time (s) 758.35 Current children cumulated vsize (Kb) 114364 [startup+770.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 27908 0 0 0 76679 155 0 0 25 0 1 0 1727136486 115453952 27851 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 28187 27851 145 145 0 28042 0 [pid=25246] vsize: 112748 Current children cumulated CPU time (s) 768.34 Current children cumulated vsize (Kb) 114872 [startup+780.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28065 0 0 0 77675 156 0 0 25 0 1 0 1727136486 116113408 28008 4294967295 134512640 135094434 3221224448 3221223104 134558022 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 28348 28008 145 145 0 28203 0 [pid=25246] vsize: 113392 Current children cumulated CPU time (s) 778.31 Current children cumulated vsize (Kb) 115516 [startup+790.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28208 0 0 0 78672 158 0 0 25 0 1 0 1727136486 116707328 28151 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 28493 28151 145 145 0 28348 0 [pid=25246] vsize: 113972 Current children cumulated CPU time (s) 788.3 Current children cumulated vsize (Kb) 116096 [startup+800.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28381 0 0 0 79670 159 0 0 25 0 1 0 1727136486 117424128 28324 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 28668 28324 145 145 0 28523 0 [pid=25246] vsize: 114672 Current children cumulated CPU time (s) 798.29 Current children cumulated vsize (Kb) 116796 [startup+810.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28513 0 0 0 80668 159 0 0 25 0 1 0 1727136486 117981184 28456 4294967295 134512640 135094434 3221224448 3221223136 134554728 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 28804 28456 145 145 0 28659 0 [pid=25246] vsize: 115216 Current children cumulated CPU time (s) 808.27 Current children cumulated vsize (Kb) 117340 [startup+820.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28652 0 0 0 81666 160 0 0 25 0 1 0 1727136486 118542336 28595 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 28941 28595 145 145 0 28796 0 [pid=25246] vsize: 115764 Current children cumulated CPU time (s) 818.26 Current children cumulated vsize (Kb) 117888 [startup+830.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28779 0 0 0 82664 161 0 0 25 0 1 0 1727136486 119066624 28722 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 29069 28722 145 145 0 28924 0 [pid=25246] vsize: 116276 Current children cumulated CPU time (s) 828.25 Current children cumulated vsize (Kb) 118400 [startup+840.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 28905 0 0 0 83662 163 0 0 25 0 1 0 1727136486 119582720 28848 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 29195 28848 145 145 0 29050 0 [pid=25246] vsize: 116780 Current children cumulated CPU time (s) 838.25 Current children cumulated vsize (Kb) 118904 [startup+850.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29028 0 0 0 84661 163 0 0 25 0 1 0 1727136486 120098816 28971 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 29321 28971 145 145 0 29176 0 [pid=25246] vsize: 117284 Current children cumulated CPU time (s) 848.24 Current children cumulated vsize (Kb) 119408 [startup+860.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29154 0 0 0 85659 164 0 0 25 0 1 0 1727136486 120602624 29097 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 29444 29097 145 145 0 29299 0 [pid=25246] vsize: 117776 Current children cumulated CPU time (s) 858.23 Current children cumulated vsize (Kb) 119900 [startup+870.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29286 0 0 0 86656 166 0 0 25 0 1 0 1727136486 121135104 29229 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 29574 29229 145 145 0 29429 0 [pid=25246] vsize: 118296 Current children cumulated CPU time (s) 868.22 Current children cumulated vsize (Kb) 120420 [startup+880.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29434 0 0 0 87654 166 0 0 25 0 1 0 1727136486 121741312 29377 4294967295 134512640 135094434 3221224448 3221223104 134558126 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 29722 29377 145 145 0 29577 0 [pid=25246] vsize: 118888 Current children cumulated CPU time (s) 878.2 Current children cumulated vsize (Kb) 121012 [startup+890.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29570 0 0 0 88652 167 0 0 25 0 1 0 1727136486 122331136 29513 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 29866 29513 145 145 0 29721 0 [pid=25246] vsize: 119464 Current children cumulated CPU time (s) 888.19 Current children cumulated vsize (Kb) 121588 [startup+900.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29703 0 0 0 89651 168 0 0 25 0 1 0 1727136486 122863616 29646 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 29996 29646 145 145 0 29851 0 [pid=25246] vsize: 119984 Current children cumulated CPU time (s) 898.19 Current children cumulated vsize (Kb) 122108 [startup+910.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 29864 0 0 0 90648 169 0 0 25 0 1 0 1727136486 123527168 29807 4294967295 134512640 135094434 3221224448 3221223104 134558159 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 30158 29807 145 145 0 30013 0 [pid=25246] vsize: 120632 Current children cumulated CPU time (s) 908.17 Current children cumulated vsize (Kb) 122756 [startup+920.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30027 0 0 0 91646 170 0 0 25 0 1 0 1727136486 124190720 29970 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 30320 29970 145 145 0 30175 0 [pid=25246] vsize: 121280 Current children cumulated CPU time (s) 918.16 Current children cumulated vsize (Kb) 123404 [startup+930.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30170 0 0 0 92644 170 0 0 25 0 1 0 1727136486 124805120 30113 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 30470 30113 145 145 0 30325 0 [pid=25246] vsize: 121880 Current children cumulated CPU time (s) 928.14 Current children cumulated vsize (Kb) 124004 [startup+940.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30271 0 0 0 93641 171 0 0 25 0 1 0 1727136486 125239296 30214 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 30576 30214 145 145 0 30431 0 [pid=25246] vsize: 122304 Current children cumulated CPU time (s) 938.12 Current children cumulated vsize (Kb) 124428 [startup+950.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30375 0 0 0 94640 172 0 0 25 0 1 0 1727136486 125689856 30318 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 30686 30318 145 145 0 30541 0 [pid=25246] vsize: 122744 Current children cumulated CPU time (s) 948.12 Current children cumulated vsize (Kb) 124868 [startup+960.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30489 0 0 0 95638 173 0 0 25 0 1 0 1727136486 126173184 30432 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 30804 30432 145 145 0 30659 0 [pid=25246] vsize: 123216 Current children cumulated CPU time (s) 958.11 Current children cumulated vsize (Kb) 125340 [startup+970.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30636 0 0 0 96635 174 0 0 25 0 1 0 1727136486 126763008 30579 4294967295 134512640 135094434 3221224448 3221223104 134558187 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 30948 30579 145 145 0 30803 0 [pid=25246] vsize: 123792 Current children cumulated CPU time (s) 968.09 Current children cumulated vsize (Kb) 125916 [startup+980.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30800 0 0 0 97633 175 0 0 25 0 1 0 1727136486 127430656 30743 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 31111 30743 145 145 0 30966 0 [pid=25246] vsize: 124444 Current children cumulated CPU time (s) 978.08 Current children cumulated vsize (Kb) 126568 [startup+990.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 30934 0 0 0 98631 176 0 0 25 0 1 0 1727136486 127950848 30877 4294967295 134512640 135094434 3221224448 3221223120 134556252 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 31238 30877 145 145 0 31093 0 [pid=25246] vsize: 124952 Current children cumulated CPU time (s) 988.07 Current children cumulated vsize (Kb) 127076 [startup+1000.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31049 0 0 0 99629 176 0 0 25 0 1 0 1727136486 128409600 30992 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 31350 30992 145 145 0 31205 0 [pid=25246] vsize: 125400 Current children cumulated CPU time (s) 998.05 Current children cumulated vsize (Kb) 127524 [startup+1010.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31167 0 0 0 100628 177 0 0 25 0 1 0 1727136486 128917504 31110 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 31474 31110 145 145 0 31329 0 [pid=25246] vsize: 125896 Current children cumulated CPU time (s) 1008.05 Current children cumulated vsize (Kb) 128020 [startup+1020.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31261 0 0 0 101626 178 0 0 25 0 1 0 1727136486 129302528 31204 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 31568 31204 145 145 0 31423 0 [pid=25246] vsize: 126272 Current children cumulated CPU time (s) 1018.04 Current children cumulated vsize (Kb) 128396 [startup+1030.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31373 0 0 0 102624 179 0 0 25 0 1 0 1727136486 129785856 31316 4294967295 134512640 135094434 3221224448 3221223104 134558221 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 31686 31316 145 145 0 31541 0 [pid=25246] vsize: 126744 Current children cumulated CPU time (s) 1028.03 Current children cumulated vsize (Kb) 128868 [startup+1040.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31502 0 0 0 103621 180 0 0 25 0 1 0 1727136486 130306048 31445 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 31813 31445 145 145 0 31668 0 [pid=25246] vsize: 127252 Current children cumulated CPU time (s) 1038.01 Current children cumulated vsize (Kb) 129376 [startup+1050.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31610 0 0 0 104619 181 0 0 25 0 1 0 1727136486 130740224 31553 4294967295 134512640 135094434 3221224448 3221223104 134558213 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 31919 31553 145 145 0 31774 0 [pid=25246] vsize: 127676 Current children cumulated CPU time (s) 1048 Current children cumulated vsize (Kb) 129800 [startup+1060.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31727 0 0 0 105617 182 0 0 25 0 1 0 1727136486 131223552 31670 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 32037 31670 145 145 0 31892 0 [pid=25246] vsize: 128148 Current children cumulated CPU time (s) 1057.99 Current children cumulated vsize (Kb) 130272 [startup+1070.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31855 0 0 0 106615 183 0 0 25 0 1 0 1727136486 131739648 31798 4294967295 134512640 135094434 3221224448 3221223040 134557202 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 32163 31798 145 145 0 32018 0 [pid=25246] vsize: 128652 Current children cumulated CPU time (s) 1067.98 Current children cumulated vsize (Kb) 130776 [startup+1080.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 31999 0 0 0 107614 184 0 0 25 0 1 0 1727136486 132403200 31942 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 32325 31942 145 145 0 32180 0 [pid=25246] vsize: 129300 Current children cumulated CPU time (s) 1077.98 Current children cumulated vsize (Kb) 131424 [startup+1090.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32126 0 0 0 108612 185 0 0 25 0 1 0 1727136486 132923392 32069 4294967295 134512640 135094434 3221224448 3221223104 134558208 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 32452 32069 145 145 0 32307 0 [pid=25246] vsize: 129808 Current children cumulated CPU time (s) 1087.97 Current children cumulated vsize (Kb) 131932 [startup+1100.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32281 0 0 0 109609 186 0 0 25 0 1 0 1727136486 133558272 32224 4294967295 134512640 135094434 3221224448 3221223104 134557988 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 32607 32224 145 145 0 32462 0 [pid=25246] vsize: 130428 Current children cumulated CPU time (s) 1097.95 Current children cumulated vsize (Kb) 132552 [startup+1110.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32476 0 0 0 110606 187 0 0 25 0 1 0 1727136486 134356992 32419 4294967295 134512640 135094434 3221224448 3221223104 134558235 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 32802 32419 145 145 0 32657 0 [pid=25246] vsize: 131208 Current children cumulated CPU time (s) 1107.93 Current children cumulated vsize (Kb) 133332 [startup+1120.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32624 0 0 0 111604 188 0 0 25 0 1 0 1727136486 134995968 32567 4294967295 134512640 135094434 3221224448 3221223104 134557906 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 32958 32567 145 145 0 32813 0 [pid=25246] vsize: 131832 Current children cumulated CPU time (s) 1117.92 Current children cumulated vsize (Kb) 133956 [startup+1130.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32768 0 0 0 112601 189 0 0 25 0 1 0 1727136486 135598080 32711 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 33105 32711 145 145 0 32960 0 [pid=25246] vsize: 132420 Current children cumulated CPU time (s) 1127.9 Current children cumulated vsize (Kb) 134544 [startup+1140.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 32956 0 0 0 113598 191 0 0 25 0 1 0 1727136486 136372224 32899 4294967295 134512640 135094434 3221224448 3221223104 134558009 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 33294 32899 145 145 0 33149 0 [pid=25246] vsize: 133176 Current children cumulated CPU time (s) 1137.89 Current children cumulated vsize (Kb) 135300 [startup+1150.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33073 0 0 0 114596 192 0 0 25 0 1 0 1727136486 136863744 33016 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 33414 33016 145 145 0 33269 0 [pid=25246] vsize: 133656 Current children cumulated CPU time (s) 1147.88 Current children cumulated vsize (Kb) 135780 [startup+1160.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33163 0 0 0 115594 192 0 0 25 0 1 0 1727136486 137232384 33106 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 33504 33106 145 145 0 33359 0 [pid=25246] vsize: 134016 Current children cumulated CPU time (s) 1157.86 Current children cumulated vsize (Kb) 136140 [startup+1170.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33253 0 0 0 116593 193 0 0 25 0 1 0 1727136486 137621504 33196 4294967295 134512640 135094434 3221224448 3221223104 134557877 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 33599 33196 145 145 0 33454 0 [pid=25246] vsize: 134396 Current children cumulated CPU time (s) 1167.86 Current children cumulated vsize (Kb) 136520 [startup+1180.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33387 0 0 0 117592 193 0 0 25 0 1 0 1727136486 138182656 33330 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 33736 33330 145 145 0 33591 0 [pid=25246] vsize: 134944 Current children cumulated CPU time (s) 1177.85 Current children cumulated vsize (Kb) 137068 [startup+1190.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33546 0 0 0 118590 194 0 0 25 0 1 0 1727136486 139354112 33489 4294967295 134512640 135094434 3221224448 3221223104 134557996 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 34022 33489 145 145 0 33877 0 [pid=25246] vsize: 136088 Current children cumulated CPU time (s) 1187.84 Current children cumulated vsize (Kb) 138212 [startup+1200.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33718 0 0 0 119587 195 0 0 25 0 1 0 1727136486 140095488 33661 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 34203 33661 145 145 0 34058 0 [pid=25246] vsize: 136812 Current children cumulated CPU time (s) 1197.82 Current children cumulated vsize (Kb) 138936 [startup+1210.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33854 0 0 0 120586 196 0 0 25 0 1 0 1727136486 140656640 33797 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 34340 33797 145 145 0 34195 0 [pid=25246] vsize: 137360 Current children cumulated CPU time (s) 1207.82 Current children cumulated vsize (Kb) 139484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 25246 Raw data (/proc/25242/stat): 25242 (minisat+_script) S 25241 25242 17733 0 -1 0 288 239 0 0 0 0 0 0 22 0 1 0 1727136481 2174976 226 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (/proc/25242/statm): 531 226 485 147 0 384 0 [pid=25242] vsize: 2124 Raw data (/proc/25246/stat): 25246 (minisat+_64-bit) R 25242 25242 17733 0 -1 0 33854 0 0 0 120586 196 0 0 25 0 1 0 1727136486 140656640 33797 4294967295 134512640 135094434 3221224448 3221223104 134557991 0 0 5 16386 0 0 0 17 1 0 0 Raw data (/proc/25246/statm): 34340 33797 145 145 0 34195 0 [pid=25246] vsize: 137360 Current children cumulated CPU time (s) 1207.82 Current children cumulated vsize (Kb) 139484 Sending SIGTERM to -25242 Sleeping 2 seconds One traced child (pid=25242) ended because it received signal 15 (SIGTERM) One traced child (pid=25246) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1210.15 CPU time (s): 1207.89 CPU user time (s): 1205.86 CPU system time (s): 2.02469 CPU usage (%): 99.8132 Max. virtual memory (cumulated for all children) (Kb): 139484
ERROR: no interpretation found !