PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4284-1064.opb
MD5SUM	a818b9a925b31116d60be3312981b83f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	21885
Biggest coefficient in the objective function	52428800000000000
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	215454237511534325
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	1280000000000000000000
Number of bits of the biggest number in a constraint	71
Biggest sum of numbers in a constraint	1280215454237511647232
Number of bits of the biggest sum of numbers	71
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1237.84
Number of variables	21885
Total number of constraints	25992
Number of constraints which are clauses	4284
Number of constraints which are cardinality constraints (but not clauses)	21707
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	21885
Trace number 14454

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-20 23:50:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20055 boxname=wulflinc25 idbench=1543 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a818b9a925b31116d60be3312981b83f  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-core4284-1064.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-core4284-1064.opb
IDLAUNCH: 20055
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        713628 kB
Buffers:         14732 kB
Cached:         285892 kB
SwapCached:        820 kB
Active:          55692 kB
Inactive:       247016 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        713376 kB
SwapTotal:     2097892 kB
SwapFree:      2096248 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5000 kB
Slab:            12676 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 00:11:03 (client local time) WITH STATUS 1 IN 1214.83 SECONDS
stats: 20055 7 1214.83 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-core4284-1064.opb
c reading problem 
c [nbvar=21885]
c [nbconstr=25992]
c time 152.984
c #vars     21885
c #clauses  4287
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 162.924
c starts	: 1
c conflicts	: 0
c decisions	: 20907
c propagations	: 21885
c inspects	: 41221
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 163.441
c starts	: 2
c conflicts	: 0
c decisions	: 41814
c propagations	: 43756
c inspects	: 43823
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 163.901
c starts	: 3
c conflicts	: 0
c decisions	: 62721
c propagations	: 65627
c inspects	: 46081
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 3
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 164.355
c starts	: 4
c conflicts	: 0
c decisions	: 83628
c propagations	: 87498
c inspects	: 48343
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 4
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 165.057
c starts	: 5
c conflicts	: 0
c decisions	: 104535
c propagations	: 109369
c inspects	: 50601
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 5
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 165.512
c starts	: 6
c conflicts	: 0
c decisions	: 125442
c propagations	: 131240
c inspects	: 52859
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 6
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 165.956
c starts	: 7
c conflicts	: 0
c decisions	: 146349
c propagations	: 153111
c inspects	: 55124
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 7
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 166.414
c starts	: 8
c conflicts	: 0
c decisions	: 167256
c propagations	: 174982
c inspects	: 57382
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 8
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 167.315
c starts	: 9
c conflicts	: 0
c decisions	: 188163
c propagations	: 196853
c inspects	: 59640
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 9
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 167.789
c starts	: 10
c conflicts	: 0
c decisions	: 209070
c propagations	: 218724
c inspects	: 61898
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 10
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 168.25
c starts	: 11
c conflicts	: 0
c decisions	: 229977
c propagations	: 240595
c inspects	: 64163
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 11
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 168.726
c starts	: 12
c conflicts	: 0
c decisions	: 250884
c propagations	: 262466
c inspects	: 66421
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 12
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 169.595
c starts	: 13
c conflicts	: 0
c decisions	: 271791
c propagations	: 284337
c inspects	: 68679
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 13
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 170.079
c starts	: 14
c conflicts	: 0
c decisions	: 292698
c propagations	: 306208
c inspects	: 70937
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 14
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 170.566
c starts	: 15
c conflicts	: 0
c decisions	: 313605
c propagations	: 328079
c inspects	: 73195
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 15
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 171.422
c starts	: 16
c conflicts	: 0
c decisions	: 334512
c propagations	: 349950
c inspects	: 75460
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 16
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 171.934
c starts	: 17
c conflicts	: 0
c decisions	: 355419
c propagations	: 371821
c inspects	: 77718
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 17
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 172.43
c starts	: 18
c conflicts	: 0
c decisions	: 376326
c propagations	: 393692
c inspects	: 79976
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 18
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 172.927
c starts	: 19
c conflicts	: 0
c decisions	: 397233
c propagations	: 415563
c inspects	: 82234
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 19
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 173.797
c starts	: 20
c conflicts	: 0
c decisions	: 418140
c propagations	: 437434
c inspects	: 84492
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 20
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 174.302
c starts	: 21
c conflicts	: 0
c decisions	: 439047
c propagations	: 459305
c inspects	: 86750
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 21
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 174.809
c starts	: 22
c conflicts	: 0
c decisions	: 459954
c propagations	: 481176
c inspects	: 89008
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 22
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 175.322
c starts	: 23
c conflicts	: 0
c decisions	: 480861
c propagations	: 503047
c inspects	: 91266
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 23
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 176.164
c starts	: 24
c conflicts	: 0
c decisions	: 501768
c propagations	: 524918
c inspects	: 93529
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 24
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 176.684
c starts	: 25
c conflicts	: 0
c decisions	: 522675
c propagations	: 546789
c inspects	: 95787
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 25
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 177.187
c starts	: 26
c conflicts	: 0
c decisions	: 543582
c propagations	: 568660
c inspects	: 98042
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 26
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 178.082
c starts	: 27
c conflicts	: 0
c decisions	: 564489
c propagations	: 590531
c inspects	: 100300
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 27
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 178.596
c starts	: 28
c conflicts	: 0
c decisions	: 585396
c propagations	: 612402
c inspects	: 102563
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 28
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 179.123
c starts	: 29
c conflicts	: 0
c decisions	: 606303
c propagations	: 634273
c inspects	: 104821
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 29
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 179.653
c starts	: 30
c conflicts	: 0
c decisions	: 627210
c propagations	: 656144
c inspects	: 107079
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 30
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 180.594
c starts	: 31
c conflicts	: 0
c decisions	: 648117
c propagations	: 678015
c inspects	: 109337
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 31
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 181.132
c starts	: 32
c conflicts	: 0
c decisions	: 669024
c propagations	: 699886
c inspects	: 111595
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 32
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 181.7
c starts	: 33
c conflicts	: 0
c decisions	: 689931
c propagations	: 721757
c inspects	: 113857
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 33
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 182.242
c starts	: 34
c conflicts	: 0
c decisions	: 710838
c propagations	: 743628
c inspects	: 116115
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 34
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 183.193
c starts	: 35
c conflicts	: 0
c decisions	: 731745
c propagations	: 765499
c inspects	: 118373
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 35
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 183.726
c starts	: 36
c conflicts	: 0
c decisions	: 752652
c propagations	: 787370
c inspects	: 120638
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 36
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 184.278
c starts	: 37
c conflicts	: 0
c decisions	: 773559
c propagations	: 809241
c inspects	: 122896
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 37
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 184.831
c starts	: 38
c conflicts	: 0
c decisions	: 794466
c propagations	: 831112
c inspects	: 125154
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 38
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 185.671
c starts	: 39
c conflicts	: 0
c decisions	: 815373
c propagations	: 852983
c inspects	: 127412
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 39
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 186.217
c starts	: 40
c conflicts	: 0
c decisions	: 836280
c propagations	: 874854
c inspects	: 129670
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 40
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 186.784
c starts	: 41
c conflicts	: 0
c decisions	: 857187
c propagations	: 896725
c inspects	: 131928
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 41
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 187.698
c starts	: 42
c conflicts	: 0
c decisions	: 878094
c propagations	: 918596
c inspects	: 134184
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 42
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 188.27
c starts	: 43
c conflicts	: 0
c decisions	: 899001
c propagations	: 940467
c inspects	: 136442
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 43
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 188.831
c starts	: 44
c conflicts	: 0
c decisions	: 919908
c propagations	: 962338
c inspects	: 138705
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 44
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 189.409
c starts	: 45
c conflicts	: 0
c decisions	: 940815
c propagations	: 984209
c inspects	: 140963
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 45
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 190.37
c starts	: 46
c conflicts	: 0
c decisions	: 961722
c propagations	: 1006080
c inspects	: 143221
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 46
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 190.955
c starts	: 47
c conflicts	: 0
c decisions	: 982629
c propagations	: 1027951
c inspects	: 145479
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 47
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 191.529
c starts	: 48
c conflicts	: 0
c decisions	: 1003536
c propagations	: 1049822
c inspects	: 147742
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 48
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 192.116
c starts	: 49
c conflicts	: 0
c decisions	: 1024443
c propagations	: 1071693
c inspects	: 150000
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 49
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 193.063
c starts	: 50
c conflicts	: 0
c decisions	: 1045350
c propagations	: 1093564
c inspects	: 152272
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 50
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 193.642
c starts	: 51
c conflicts	: 0
c decisions	: 1066257
c propagations	: 1115435
c inspects	: 154534
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 51
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 194.221
c starts	: 52
c conflicts	: 0
c decisions	: 1087164
c propagations	: 1137306
c inspects	: 156796
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 52
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 194.817
c starts	: 53
c conflicts	: 0
c decisions	: 1108071
c propagations	: 1159177
c inspects	: 159054
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 53
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 195.781
c starts	: 54
c conflicts	: 0
c decisions	: 1128978
c propagations	: 1181048
c inspects	: 161306
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 54
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 196.384
c starts	: 55
c conflicts	: 0
c decisions	: 1149885
c propagations	: 1202919
c inspects	: 163571
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 55
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 196.986
c starts	: 56
c conflicts	: 0
c decisions	: 1170792
c propagations	: 1224790
c inspects	: 165828
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 56
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 197.597
c starts	: 57
c conflicts	: 0
c decisions	: 1191699
c propagations	: 1246661
c inspects	: 168090
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 57
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 198.588
c starts	: 58
c conflicts	: 0
c decisions	: 1212606
c propagations	: 1268532
c inspects	: 170348
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 58
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 199.211
c starts	: 59
c conflicts	: 0
c decisions	: 1233513
c propagations	: 1290403
c inspects	: 172606
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 59
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 199.838
c starts	: 60
c conflicts	: 0
c decisions	: 1254420
c propagations	: 1312274
c inspects	: 174864
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 60
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 200.479
c starts	: 61
c conflicts	: 0
c decisions	: 1275327
c propagations	: 1334145
c inspects	: 177122
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 61
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 201.473
c starts	: 62
c conflicts	: 0
c decisions	: 1296234
c propagations	: 1356016
c inspects	: 179378
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 62
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 202.094
c starts	: 63
c conflicts	: 0
c decisions	: 1317141
c propagations	: 1377887
c inspects	: 181638
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 63
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 202.733
c starts	: 64
c conflicts	: 0
c decisions	: 1338048
c propagations	: 1399758
c inspects	: 183896
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 64
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 203.867
c starts	: 65
c conflicts	: 0
c decisions	: 1358955
c propagations	: 1421629
c inspects	: 186148
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 65
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 204.509
c starts	: 66
c conflicts	: 0
c decisions	: 1379862
c propagations	: 1443500
c inspects	: 188406
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 66
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 205.155
c starts	: 67
c conflicts	: 0
c decisions	: 1400769
c propagations	: 1465371
c inspects	: 190664
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 67
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 205.806
c starts	: 68
c conflicts	: 0
c decisions	: 1421676
c propagations	: 1487242
c inspects	: 192922
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 68
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 206.782
c starts	: 69
c conflicts	: 0
c decisions	: 1442583
c propagations	: 1509113
c inspects	: 195187
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 69
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 207.438
c starts	: 70
c conflicts	: 0
c decisions	: 1463490
c propagations	: 1530984
c inspects	: 197445
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 70
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 208.098
c starts	: 71
c conflicts	: 0
c decisions	: 1484397
c propagations	: 1552855
c inspects	: 199703
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 71
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 209.124
c starts	: 72
c conflicts	: 0
c decisions	: 1505304
c propagations	: 1574726
c inspects	: 201961
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 72
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 209.788
c starts	: 73
c conflicts	: 0
c decisions	: 1526211
c propagations	: 1596597
c inspects	: 204219
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 73
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 210.456
c starts	: 74
c conflicts	: 0
c decisions	: 1547118
c propagations	: 1618468
c inspects	: 206477
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 74
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 211.129
c starts	: 75
c conflicts	: 0
c decisions	: 1568025
c propagations	: 1640339
c inspects	: 208735
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 75
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 212.155
c starts	: 76
c conflicts	: 0
c decisions	: 1588932
c propagations	: 1662210
c inspects	: 210993
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 76
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 212.836
c starts	: 77
c conflicts	: 0
c decisions	: 1609839
c propagations	: 1684081
c inspects	: 213251
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 77
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 213.514
c starts	: 78
c conflicts	: 0
c decisions	: 1630746
c propagations	: 1705952
c inspects	: 215509
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 78
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 214.194
c starts	: 79
c conflicts	: 0
c decisions	: 1651653
c propagations	: 1727823
c inspects	: 217767
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 79
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 215.23
c starts	: 80
c conflicts	: 0
c decisions	: 1672560
c propagations	: 1749694
c inspects	: 220025
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 80
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 215.92
c starts	: 81
c conflicts	: 0
c decisions	: 1693467
c propagations	: 1771565
c inspects	: 222283
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 81
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 216.615
c starts	: 82
c conflicts	: 0
c decisions	: 1714374
c propagations	: 1793436
c inspects	: 224541
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 82
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 217.294
c starts	: 83
c conflicts	: 0
c decisions	: 1735281
c propagations	: 1815307
c inspects	: 226795
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 83
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 218.357
c starts	: 84
c conflicts	: 0
c decisions	: 1756188
c propagations	: 1837178
c inspects	: 229053
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 84
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 219.045
c starts	: 85
c conflicts	: 0
c decisions	: 1777095
c propagations	: 1859049
c inspects	: 231315
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 85
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 219.752
c starts	: 86
c conflicts	: 0
c decisions	: 1798002
c propagations	: 1880920
c inspects	: 233573
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 86
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 220.824
c starts	: 87
c conflicts	: 0
c decisions	: 1818909
c propagations	: 1902791
c inspects	: 235831
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 87
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 221.537
c starts	: 88
c conflicts	: 0
c decisions	: 1839816
c propagations	: 1924662
c inspects	: 238089
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 88
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 222.251
c starts	: 89
c conflicts	: 0
c decisions	: 1860723
c propagations	: 1946533
c inspects	: 240347
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 89
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 222.969
c starts	: 90
c conflicts	: 0
c decisions	: 1881630
c propagations	: 1968404
c inspects	: 242605
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 90
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 224.068
c starts	: 91
c conflicts	: 0
c decisions	: 1902537
c propagations	: 1990275
c inspects	: 244863
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 91
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 224.8
c starts	: 92
c conflicts	: 0
c decisions	: 1923444
c propagations	: 2012146
c inspects	: 247121
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 92
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 225.517
c starts	: 93
c conflicts	: 0
c decisions	: 1944351
c propagations	: 2034017
c inspects	: 249382
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 93
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 226.248
c starts	: 94
c conflicts	: 0
c decisions	: 1965258
c propagations	: 2055888
c inspects	: 251640
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 94
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 227.331
c starts	: 95
c conflicts	: 0
c decisions	: 1986165
c propagations	: 2077759
c inspects	: 253898
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 95
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 228.068
c starts	: 96
c conflicts	: 0
c decisions	: 2007072
c propagations	: 2099630
c inspects	: 256156
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 96
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 228.808
c starts	: 97
c conflicts	: 0
c decisions	: 2027979
c propagations	: 2121501
c inspects	: 258414
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 97
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 229.565
c starts	: 98
c conflicts	: 0
c decisions	: 2048886
c propagations	: 2143372
c inspects	: 260672
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 98
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 230.701
c starts	: 99
c conflicts	: 0
c decisions	: 2069793
c propagations	: 2165243
c inspects	: 262930
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 99
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 231.452
c starts	: 100
c conflicts	: 0
c decisions	: 2090700
c propagations	: 2187114
c inspects	: 265188
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 100
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 232.206
c starts	: 101
c conflicts	: 0
c decisions	: 2111607
c propagations	: 2208985
c inspects	: 267446
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 101
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 233.332
c starts	: 102
c conflicts	: 0
c decisions	: 2132514
c propagations	: 2230856
c inspects	: 269704
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 102
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 234.09
c starts	: 103
c conflicts	: 0
c decisions	: 2153421
c propagations	: 2252727
c inspects	: 271962
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 103
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 234.855
c starts	: 104
c conflicts	: 0
c decisions	: 2174328
c propagations	: 2274598
c inspects	: 274220
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 104
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 235.61
c starts	: 105
c conflicts	: 0
c decisions	: 2195235
c propagations	: 2296469
c inspects	: 276484
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 105
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 236.738
c starts	: 106
c conflicts	: 0
c decisions	: 2216142
c propagations	: 2318340
c inspects	: 278747
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 106
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 237.511
c starts	: 107
c conflicts	: 0
c decisions	: 2237049
c propagations	: 2340211
c inspects	: 281005
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 107
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 238.268
c starts	: 108
c conflicts	: 0
c decisions	: 2257956
c propagations	: 2362082
c inspects	: 283257
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 108
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 239.03
c starts	: 109
c conflicts	: 0
c decisions	: 2278863
c propagations	: 2383953
c inspects	: 285516
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 109
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 240.17
c starts	: 110
c conflicts	: 0
c decisions	: 2299770
c propagations	: 2405824
c inspects	: 287774
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 110
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 240.955
c starts	: 111
c conflicts	: 0
c decisions	: 2320677
c propagations	: 2427695
c inspects	: 290032
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 111
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 241.743
c starts	: 112
c conflicts	: 0
c decisions	: 2341584
c propagations	: 2449566
c inspects	: 292290
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 112
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 242.531
c starts	: 113
c conflicts	: 0
c decisions	: 2362491
c propagations	: 2471437
c inspects	: 294548
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 113
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 243.684
c starts	: 114
c conflicts	: 0
c decisions	: 2383398
c propagations	: 2493308
c inspects	: 296806
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 114
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 244.482
c starts	: 115
c conflicts	: 0
c decisions	: 2404305
c propagations	: 2515179
c inspects	: 299064
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 115
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 245.281
c starts	: 116
c conflicts	: 0
c decisions	: 2425212
c propagations	: 2537050
c inspects	: 301322
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 116
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 246.07
c starts	: 117
c conflicts	: 0
c decisions	: 2446119
c propagations	: 2558921
c inspects	: 303587
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 117
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 247.262
c starts	: 118
c conflicts	: 0
c decisions	: 2467026
c propagations	: 2580792
c inspects	: 305845
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 118
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 248.059
c starts	: 119
c conflicts	: 0
c decisions	: 2487933
c propagations	: 2602663
c inspects	: 308108
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 119
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 248.87
c starts	: 120
c conflicts	: 0
c decisions	: 2508840
c propagations	: 2624534
c inspects	: 310366
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 120
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 250.053
c starts	: 121
c conflicts	: 0
c decisions	: 2529747
c propagations	: 2646405
c inspects	: 312624
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 121
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 250.873
c starts	: 122
c conflicts	: 0
c decisions	: 2550654
c propagations	: 2668276
c inspects	: 314882
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 122
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 251.681
c starts	: 123
c conflicts	: 0
c decisions	: 2571561
c propagations	: 2690147
c inspects	: 317147
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 123
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 252.504
c starts	: 124
c conflicts	: 0
c decisions	: 2592468
c propagations	: 2712018
c inspects	: 319405
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 124
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 253.705
c starts	: 125
c conflicts	: 0
c decisions	: 2613375
c propagations	: 2733889
c inspects	: 321663
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 125
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 254.52
c starts	: 126
c conflicts	: 0
c decisions	: 2634282
c propagations	: 2755760
c inspects	: 323921
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 126
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 255.354
c starts	: 127
c conflicts	: 0
c decisions	: 2655189
c propagations	: 2777631
c inspects	: 326179
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 127
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 256.183
c starts	: 128
c conflicts	: 0
c decisions	: 2676096
c propagations	: 2799502
c inspects	: 328437
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 128
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 257.556
c starts	: 129
c conflicts	: 0
c decisions	: 2697003
c propagations	: 2821373
c inspects	: 330695
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 129
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 258.398
c starts	: 130
c conflicts	: 0
c decisions	: 2717910
c propagations	: 2843244
c inspects	: 332953
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 130
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 259.706
c starts	: 131
c conflicts	: 0
c decisions	: 2738817
c propagations	: 2865115
c inspects	: 335211
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 131
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 260.556
c starts	: 132
c conflicts	: 0
c decisions	: 2759724
c propagations	: 2886986
c inspects	: 337469
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 132
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 261.407
c starts	: 133
c conflicts	: 0
c decisions	: 2780631
c propagations	: 2908857
c inspects	: 339727
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 133
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 262.251
c starts	: 134
c conflicts	: 0
c decisions	: 2801538
c propagations	: 2930728
c inspects	: 341985
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 134
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 263.401
c starts	: 135
c conflicts	: 0
c decisions	: 2822445
c propagations	: 2952599
c inspects	: 344243
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 135
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 264.262
c starts	: 136
c conflicts	: 0
c decisions	: 2843352
c propagations	: 2974470
c inspects	: 346501
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 136
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 265.127
c starts	: 137
c conflicts	: 0
c decisions	: 2864259
c propagations	: 2996341
c inspects	: 348759
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 137
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 266.368
c starts	: 138
c conflicts	: 0
c decisions	: 2885166
c propagations	: 3018212
c inspects	: 351024
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 138
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 267.24
c starts	: 139
c conflicts	: 0
c decisions	: 2906073
c propagations	: 3040083
c inspects	: 353282
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 139
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 268.096
c starts	: 140
c conflicts	: 0
c decisions	: 2926980
c propagations	: 3061954
c inspects	: 355536
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 140
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 268.971
c starts	: 141
c conflicts	: 0
c decisions	: 2947887
c propagations	: 3083825
c inspects	: 357794
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 141
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 270.218
c starts	: 142
c conflicts	: 0
c decisions	: 2968794
c propagations	: 3105696
c inspects	: 360052
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 142
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 271.099
c starts	: 143
c conflicts	: 0
c decisions	: 2989701
c propagations	: 3127567
c inspects	: 362310
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 143
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 271.984
c starts	: 144
c conflicts	: 0
c decisions	: 3010608
c propagations	: 3149438
c inspects	: 364568
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 144
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 272.882
c starts	: 145
c conflicts	: 0
c decisions	: 3031515
c propagations	: 3171309
c inspects	: 366826
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 145
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 274.122
c starts	: 146
c conflicts	: 0
c decisions	: 3052422
c propagations	: 3193180
c inspects	: 369088
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 146
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 275.017
c starts	: 147
c conflicts	: 0
c decisions	: 3073329
c propagations	: 3215051
c inspects	: 371346
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 147
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 275.916
c starts	: 148
c conflicts	: 0
c decisions	: 3094236
c propagations	: 3236922
c inspects	: 373604
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 148
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 276.821
c starts	: 149
c conflicts	: 0
c decisions	: 3115143
c propagations	: 3258793
c inspects	: 375862
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 149
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 278.089
c starts	: 150
c conflicts	: 0
c decisions	: 3136050
c propagations	: 3280664
c inspects	: 378127
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 150
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 278.998
c starts	: 151
c conflicts	: 0
c decisions	: 3156957
c propagations	: 3302535
c inspects	: 380385
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 151
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 279.909
c starts	: 152
c conflicts	: 0
c decisions	: 3177864
c propagations	: 3324406
c inspects	: 382643
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 152
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 281.191
c starts	: 153
c conflicts	: 0
c decisions	: 3198771
c propagations	: 3346277
c inspects	: 384901
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 153
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 282.107
c starts	: 154
c conflicts	: 0
c decisions	: 3219678
c propagations	: 3368148
c inspects	: 387159
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 154
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 283.029
c starts	: 155
c conflicts	: 0
c decisions	: 3240585
c propagations	: 3390019
c inspects	: 389417
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 155
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 283.954
c starts	: 156
c conflicts	: 0
c decisions	: 3261492
c propagations	: 3411890
c inspects	: 391675
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 156
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 285.248
c starts	: 157
c conflicts	: 0
c decisions	: 3282399
c propagations	: 3433761
c inspects	: 393933
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 157
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 286.187
c starts	: 158
c conflicts	: 0
c decisions	: 3303306
c propagations	: 3455632
c inspects	: 396191
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 158
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 287.12
c starts	: 159
c conflicts	: 0
c decisions	: 3324213
c propagations	: 3477503
c inspects	: 398449
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 159
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 288.045
c starts	: 160
c conflicts	: 0
c decisions	: 3345120
c propagations	: 3499374
c inspects	: 400707
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 160
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 289.334
c starts	: 161
c conflicts	: 0
c decisions	: 3366027
c propagations	: 3521245
c inspects	: 402965
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 161
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 290.264
c starts	: 162
c conflicts	: 0
c decisions	: 3386934
c propagations	: 3543116
c inspects	: 405233
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 162
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 291.211
c starts	: 163
c conflicts	: 0
c decisions	: 3407841
c propagations	: 3564987
c inspects	: 407491
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 163
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 292.147
c starts	: 164
c conflicts	: 0
c decisions	: 3428748
c propagations	: 3586858
c inspects	: 409756
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 164
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 293.459
c starts	: 165
c conflicts	: 0
c decisions	: 3449655
c propagations	: 3608729
c inspects	: 412016
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 165
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 294.405
c starts	: 166
c conflicts	: 0
c decisions	: 3470562
c propagations	: 3630600
c inspects	: 414297
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 166
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 295.364
c starts	: 167
c conflicts	: 0
c decisions	: 3491469
c propagations	: 3652471
c inspects	: 416555
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 167
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 296.324
c starts	: 168
c conflicts	: 0
c decisions	: 3512376
c propagations	: 3674342
c inspects	: 418813
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 168
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 297.67
c starts	: 169
c conflicts	: 0
c decisions	: 3533283
c propagations	: 3696213
c inspects	: 421071
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 169
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 298.638
c starts	: 170
c conflicts	: 0
c decisions	: 3554190
c propagations	: 3718084
c inspects	: 423329
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 170
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 299.607
c starts	: 171
c conflicts	: 0
c decisions	: 3575097
c propagations	: 3739955
c inspects	: 425587
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 171
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 300.977
c starts	: 172
c conflicts	: 0
c decisions	: 3596004
c propagations	: 3761826
c inspects	: 427845
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 172
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 301.941
c starts	: 173
c conflicts	: 0
c decisions	: 3616911
c propagations	: 3783697
c inspects	: 430110
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 173
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 302.929
c starts	: 174
c conflicts	: 0
c decisions	: 3637818
c propagations	: 3805568
c inspects	: 432368
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 174
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 303.899
c starts	: 175
c conflicts	: 0
c decisions	: 3658725
c propagations	: 3827439
c inspects	: 434626
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 175
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 305.233
c starts	: 176
c conflicts	: 0
c decisions	: 3679632
c propagations	: 3849310
c inspects	: 436884
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 176
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 306.225
c starts	: 177
c conflicts	: 0
c decisions	: 3700539
c propagations	: 3871181
c inspects	: 439142
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 177
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 307.203
c starts	: 178
c conflicts	: 0
c decisions	: 3721446
c propagations	: 3893052
c inspects	: 441399
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 178
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 308.188
c starts	: 179
c conflicts	: 0
c decisions	: 3742353
c propagations	: 3914923
c inspects	: 443669
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 179
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 309.553
c starts	: 180
c conflicts	: 0
c decisions	: 3763260
c propagations	: 3936794
c inspects	: 445927
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 180
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 310.555
c starts	: 181
c conflicts	: 0
c decisions	: 3784167
c propagations	: 3958665
c inspects	: 448185
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 181
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 311.548
c starts	: 182
c conflicts	: 0
c decisions	: 3805074
c propagations	: 3980536
c inspects	: 450455
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 182
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 312.556
c starts	: 183
c conflicts	: 0
c decisions	: 3825981
c propagations	: 4002407
c inspects	: 452713
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 183
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 313.95
c starts	: 184
c conflicts	: 0
c decisions	: 3846888
c propagations	: 4024278
c inspects	: 454971
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 184
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 314.964
c starts	: 185
c conflicts	: 0
c decisions	: 3867795
c propagations	: 4046149
c inspects	: 457229
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 185
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 315.981
c starts	: 186
c conflicts	: 0
c decisions	: 3888702
c propagations	: 4068020
c inspects	: 459487
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 186
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 317.38
c starts	: 187
c conflicts	: 0
c decisions	: 3909609
c propagations	: 4089891
c inspects	: 461745
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 187
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 318.404
c starts	: 188
c conflicts	: 0
c decisions	: 3930516
c propagations	: 4111762
c inspects	: 464003
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 188
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 319.418
c starts	: 189
c conflicts	: 0
c decisions	: 3951423
c propagations	: 4133633
c inspects	: 466267
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 189
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 320.449
c starts	: 190
c conflicts	: 0
c decisions	: 3972330
c propagations	: 4155504
c inspects	: 468525
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 190
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 321.855
c starts	: 191
c conflicts	: 0
c decisions	: 3993237
c propagations	: 4177375
c inspects	: 470783
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 191
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 322.893
c starts	: 192
c conflicts	: 0
c decisions	: 4014144
c propagations	: 4199246
c inspects	: 473041
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 192
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 323.926
c starts	: 193
c conflicts	: 0
c decisions	: 4035051
c propagations	: 4221117
c inspects	: 475299
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 193
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 324.989
c starts	: 194
c conflicts	: 0
c decisions	: 4055958
c propagations	: 4242988
c inspects	: 477562
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 194
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 326.43
c starts	: 195
c conflicts	: 0
c decisions	: 4076865
c propagations	: 4264859
c inspects	: 479835
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 195
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 327.488
c starts	: 196
c conflicts	: 0
c decisions	: 4097772
c propagations	: 4286730
c inspects	: 482093
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 196
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 328.53
c starts	: 197
c conflicts	: 0
c decisions	: 4118679
c propagations	: 4308601
c inspects	: 484354
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 197
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 329.571
c starts	: 198
c conflicts	: 0
c decisions	: 4139586
c propagations	: 4330472
c inspects	: 486616
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 198
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 330.993
c starts	: 199
c conflicts	: 0
c decisions	: 4160493
c propagations	: 4352343
c inspects	: 488874
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 199
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 332.043
c starts	: 200
c conflicts	: 0
c decisions	: 4181400
c propagations	: 4374214
c inspects	: 491136
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 200
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 333.092
c starts	: 201
c conflicts	: 0
c decisions	: 4202307
c propagations	: 4396085
c inspects	: 493401
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 201
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 334.532
c starts	: 202
c conflicts	: 0
c decisions	: 4223214
c propagations	: 4417956
c inspects	: 495659
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 202
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 335.589
c starts	: 203
c conflicts	: 0
c decisions	: 4244121
c propagations	: 4439827
c inspects	: 497924
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 203
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 336.661
c starts	: 204
c conflicts	: 0
c decisions	: 4265028
c propagations	: 4461698
c inspects	: 500182
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 204
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 337.735
c starts	: 205
c conflicts	: 0
c decisions	: 4285935
c propagations	: 4483569
c inspects	: 502440
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 205
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 339.195
c starts	: 206
c conflicts	: 0
c decisions	: 4306842
c propagations	: 4505440
c inspects	: 504698
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 206
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 340.278
c starts	: 207
c conflicts	: 0
c decisions	: 4327749
c propagations	: 4527311
c inspects	: 506956
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 207
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 341.363
c starts	: 208
c conflicts	: 0
c decisions	: 4348656
c propagations	: 4549182
c inspects	: 509214
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 208
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 342.451
c starts	: 209
c conflicts	: 0
c decisions	: 4369563
c propagations	: 4571053
c inspects	: 511472
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 209
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 343.895
c starts	: 210
c conflicts	: 0
c decisions	: 4390470
c propagations	: 4592924
c inspects	: 513730
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 210
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 344.99
c starts	: 211
c conflicts	: 0
c decisions	: 4411377
c propagations	: 4614795
c inspects	: 515988
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 211
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 346.099
c starts	: 212
c conflicts	: 0
c decisions	: 4432284
c propagations	: 4636666
c inspects	: 518246
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 212
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 347.19
c starts	: 213
c conflicts	: 0
c decisions	: 4453191
c propagations	: 4658537
c inspects	: 520519
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 213
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 348.648
c starts	: 214
c conflicts	: 0
c decisions	: 4474098
c propagations	: 4680408
c inspects	: 522781
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 214
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 349.756
c starts	: 215
c conflicts	: 0
c decisions	: 4495005
c propagations	: 4702279
c inspects	: 525039
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 215
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 350.867
c starts	: 216
c conflicts	: 0
c decisions	: 4515912
c propagations	: 4724150
c inspects	: 527297
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 216
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 352.36
c starts	: 217
c conflicts	: 0
c decisions	: 4536819
c propagations	: 4746021
c inspects	: 529555
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 217
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 353.478
c starts	: 218
c conflicts	: 0
c decisions	: 4557726
c propagations	: 4767892
c inspects	: 531813
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 218
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 354.598
c starts	: 219
c conflicts	: 0
c decisions	: 4578633
c propagations	: 4789763
c inspects	: 534071
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 219
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 355.719
c starts	: 220
c conflicts	: 0
c decisions	: 4599540
c propagations	: 4811634
c inspects	: 536329
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 220
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 357.21
c starts	: 221
c conflicts	: 0
c decisions	: 4620447
c propagations	: 4833505
c inspects	: 538587
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 221
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 358.342
c starts	: 222
c conflicts	: 0
c decisions	: 4641354
c propagations	: 4855376
c inspects	: 540845
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 222
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 359.472
c starts	: 223
c conflicts	: 0
c decisions	: 4662261
c propagations	: 4877247
c inspects	: 543103
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 223
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 360.598
c starts	: 224
c conflicts	: 0
c decisions	: 4683168
c propagations	: 4899118
c inspects	: 545361
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 224
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 362.074
c starts	: 225
c conflicts	: 0
c decisions	: 4704075
c propagations	: 4920989
c inspects	: 547623
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 225
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 363.203
c starts	: 226
c conflicts	: 0
c decisions	: 4724982
c propagations	: 4942860
c inspects	: 549888
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 226
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 364.348
c starts	: 227
c conflicts	: 0
c decisions	: 4745889
c propagations	: 4964731
c inspects	: 552146
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 227
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 365.478
c starts	: 228
c conflicts	: 0
c decisions	: 4766796
c propagations	: 4986602
c inspects	: 554400
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 228
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 366.998
c starts	: 229
c conflicts	: 0
c decisions	: 4787703
c propagations	: 5008473
c inspects	: 556658
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 229
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 368.154
c starts	: 230
c conflicts	: 0
c decisions	: 4808610
c propagations	: 5030344
c inspects	: 558916
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 230
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 369.313
c starts	: 231
c conflicts	: 0
c decisions	: 4829517
c propagations	: 5052215
c inspects	: 561174
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 231
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 370.856
c starts	: 232
c conflicts	: 0
c decisions	: 4850424
c propagations	: 5074086
c inspects	: 563432
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 232
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 372.02
c starts	: 233
c conflicts	: 0
c decisions	: 4871331
c propagations	: 5095957
c inspects	: 565690
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 233
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 373.189
c starts	: 234
c conflicts	: 0
c decisions	: 4892238
c propagations	: 5117828
c inspects	: 567948
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 234
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 374.344
c starts	: 235
c conflicts	: 0
c decisions	: 4913145
c propagations	: 5139699
c inspects	: 570211
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 235
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 375.917
c starts	: 236
c conflicts	: 0
c decisions	: 4934052
c propagations	: 5161570
c inspects	: 572469
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 236
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 377.077
c starts	: 237
c conflicts	: 0
c decisions	: 4954959
c propagations	: 5183441
c inspects	: 574723
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 237
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 378.255
c starts	: 238
c conflicts	: 0
c decisions	: 4975866
c propagations	: 5205312
c inspects	: 576981
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 238
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 379.424
c starts	: 239
c conflicts	: 0
c decisions	: 4996773
c propagations	: 5227183
c inspects	: 579243
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 239
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 380.961
c starts	: 240
c conflicts	: 0
c decisions	: 5017680
c propagations	: 5249054
c inspects	: 581501
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 240
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 382.149
c starts	: 241
c conflicts	: 0
c decisions	: 5038587
c propagations	: 5270925
c inspects	: 583759
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 241
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 383.344
c starts	: 242
c conflicts	: 0
c decisions	: 5059494
c propagations	: 5292796
c inspects	: 586017
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 242
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 384.527
c starts	: 243
c conflicts	: 0
c decisions	: 5080401
c propagations	: 5314667
c inspects	: 588281
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 243
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 386.095
c starts	: 244
c conflicts	: 0
c decisions	: 5101308
c propagations	: 5336538
c inspects	: 590539
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 244
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 387.281
c starts	: 245
c conflicts	: 0
c decisions	: 5122215
c propagations	: 5358409
c inspects	: 592798
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 245
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 388.483
c starts	: 246
c conflicts	: 0
c decisions	: 5143122
c propagations	: 5380280
c inspects	: 595056
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 246
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 389.678
c starts	: 247
c conflicts	: 0
c decisions	: 5164029
c propagations	: 5402151
c inspects	: 597313
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 247
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 391.267
c starts	: 248
c conflicts	: 0
c decisions	: 5184936
c propagations	: 5424022
c inspects	: 599571
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 248
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 392.479
c starts	: 249
c conflicts	: 0
c decisions	: 5205843
c propagations	: 5445893
c inspects	: 601829
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 249
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 393.697
c starts	: 250
c conflicts	: 0
c decisions	: 5226750
c propagations	: 5467764
c inspects	: 604087
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 250
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 395.289
c starts	: 251
c conflicts	: 0
c decisions	: 5247657
c propagations	: 5489635
c inspects	: 606345
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 251
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 396.498
c starts	: 252
c conflicts	: 0
c decisions	: 5268564
c propagations	: 5511506
c inspects	: 608610
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 252
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 397.724
c starts	: 253
c conflicts	: 0
c decisions	: 5289471
c propagations	: 5533377
c inspects	: 610868
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 253
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 398.952
c starts	: 254
c conflicts	: 0
c decisions	: 5310378
c propagations	: 5555248
c inspects	: 613126
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 254
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 400.56
c starts	: 255
c conflicts	: 0
c decisions	: 5331285
c propagations	: 5577119
c inspects	: 615384
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 255
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 401.797
c starts	: 256
c conflicts	: 0
c decisions	: 5352192
c propagations	: 5598990
c inspects	: 617642
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 256
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 403.649
c starts	: 257
c conflicts	: 0
c decisions	: 5373099
c propagations	: 5620861
c inspects	: 619907
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 257
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 405.577
c starts	: 258
c conflicts	: 0
c decisions	: 5394006
c propagations	: 5642732
c inspects	: 622165
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 258
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 406.814
c starts	: 259
c conflicts	: 0
c decisions	: 5414913
c propagations	: 5664603
c inspects	: 624423
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 259
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 408.048
c starts	: 260
c conflicts	: 0
c decisions	: 5435820
c propagations	: 5686474
c inspects	: 626681
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 260
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 409.596
c starts	: 261
c conflicts	: 0
c decisions	: 5456727
c propagations	: 5708345
c inspects	: 628945
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 261
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 410.836
c starts	: 262
c conflicts	: 0
c decisions	: 5477634
c propagations	: 5730216
c inspects	: 631209
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 262
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 412.093
c starts	: 263
c conflicts	: 0
c decisions	: 5498541
c propagations	: 5752087
c inspects	: 633467
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 263
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 413.353
c starts	: 264
c conflicts	: 0
c decisions	: 5519448
c propagations	: 5773958
c inspects	: 635725
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 264
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 415.001
c starts	: 265
c conflicts	: 0
c decisions	: 5540355
c propagations	: 5795829
c inspects	: 637992
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 265
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 416.267
c starts	: 266
c conflicts	: 0
c decisions	: 5561262
c propagations	: 5817700
c inspects	: 640250
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 266
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 417.543
c starts	: 267
c conflicts	: 0
c decisions	: 5582169
c propagations	: 5839571
c inspects	: 642508
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 267
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 418.806
c starts	: 268
c conflicts	: 0
c decisions	: 5603076
c propagations	: 5861442
c inspects	: 644770
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 268
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 420.439
c starts	: 269
c conflicts	: 0
c decisions	: 5623983
c propagations	: 5883313
c inspects	: 647033
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 269
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 421.704
c starts	: 270
c conflicts	: 0
c decisions	: 5644890
c propagations	: 5905184
c inspects	: 649295
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 270
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 422.985
c starts	: 271
c conflicts	: 0
c decisions	: 5665797
c propagations	: 5927055
c inspects	: 651553
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 271
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 424.27
c starts	: 272
c conflicts	: 0
c decisions	: 5686704
c propagations	: 5948926
c inspects	: 653811
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 272
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 425.93
c starts	: 273
c conflicts	: 0
c decisions	: 5707611
c propagations	: 5970797
c inspects	: 656069
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 273
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 427.22
c starts	: 274
c conflicts	: 0
c decisions	: 5728518
c propagations	: 5992668
c inspects	: 658327
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 274
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 428.518
c starts	: 275
c conflicts	: 0
c decisions	: 5749425
c propagations	: 6014539
c inspects	: 660585
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 275
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 430.172
c starts	: 276
c conflicts	: 0
c decisions	: 5770332
c propagations	: 6036410
c inspects	: 662861
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 276
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 431.461
c starts	: 277
c conflicts	: 0
c decisions	: 5791239
c propagations	: 6058281
c inspects	: 665125
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 277
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 432.751
c starts	: 278
c conflicts	: 0
c decisions	: 5812146
c propagations	: 6080152
c inspects	: 667379
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 278
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 434.056
c starts	: 279
c conflicts	: 0
c decisions	: 5833053
c propagations	: 6102023
c inspects	: 669637
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 279
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 435.768
c starts	: 280
c conflicts	: 0
c decisions	: 5853960
c propagations	: 6123894
c inspects	: 671895
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 280
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 437.089
c starts	: 281
c conflicts	: 0
c decisions	: 5874867
c propagations	: 6145765
c inspects	: 674153
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 281
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 438.393
c starts	: 282
c conflicts	: 0
c decisions	: 5895774
c propagations	: 6167636
c inspects	: 676412
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 282
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 439.712
c starts	: 283
c conflicts	: 0
c decisions	: 5916681
c propagations	: 6189507
c inspects	: 678670
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 283
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 441.389
c starts	: 284
c conflicts	: 0
c decisions	: 5937588
c propagations	: 6211378
c inspects	: 680934
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 284
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 442.701
c starts	: 285
c conflicts	: 0
c decisions	: 5958495
c propagations	: 6233249
c inspects	: 683200
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 285
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 444.029
c starts	: 286
c conflicts	: 0
c decisions	: 5979402
c propagations	: 6255120
c inspects	: 685458
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 286
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 445.346
c starts	: 287
c conflicts	: 0
c decisions	: 6000309
c propagations	: 6276991
c inspects	: 687723
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 287
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 447.05
c starts	: 288
c conflicts	: 0
c decisions	: 6021216
c propagations	: 6298862
c inspects	: 689981
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 288
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 448.389
c starts	: 289
c conflicts	: 0
c decisions	: 6042123
c propagations	: 6320733
c inspects	: 692239
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 289
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 449.718
c starts	: 290
c conflicts	: 0
c decisions	: 6063030
c propagations	: 6342604
c inspects	: 694505
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 290
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 451.063
c starts	: 291
c conflicts	: 0
c decisions	: 6083937
c propagations	: 6364475
c inspects	: 696763
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 291
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 452.779
c starts	: 292
c conflicts	: 0
c decisions	: 6104844
c propagations	: 6386346
c inspects	: 699021
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 292
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 454.112
c starts	: 293
c conflicts	: 0
c decisions	: 6125751
c propagations	: 6408217
c inspects	: 701279
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 293
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 455.465
c starts	: 294
c conflicts	: 0
c decisions	: 6146658
c propagations	: 6430088
c inspects	: 703537
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 294
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 456.811
c starts	: 295
c conflicts	: 0
c decisions	: 6167565
c propagations	: 6451959
c inspects	: 705811
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 295
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 473.639
c starts	: 296
c conflicts	: 0
c decisions	: 6188472
c propagations	: 6473830
c inspects	: 708069
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 296
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 475.004
c starts	: 297
c conflicts	: 0
c decisions	: 6209379
c propagations	: 6495701
c inspects	: 710327
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 297
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 476.363
c starts	: 298
c conflicts	: 0
c decisions	: 6230286
c propagations	: 6517572
c inspects	: 712608
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 298
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 477.914
c starts	: 299
c conflicts	: 0
c decisions	: 6251193
c propagations	: 6539443
c inspects	: 714870
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 299
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 479.274
c starts	: 300
c conflicts	: 0
c decisions	: 6272100
c propagations	: 6561314
c inspects	: 717135
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 300
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 480.665
c starts	: 301
c conflicts	: 0
c decisions	: 6293007
c propagations	: 6583185
c inspects	: 719393
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 301
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 482.032
c starts	: 302
c conflicts	: 0
c decisions	: 6313914
c propagations	: 6605056
c inspects	: 721652
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 302
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 483.754
c starts	: 303
c conflicts	: 0
c decisions	: 6334821
c propagations	: 6626927
c inspects	: 723910
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 303
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 485.107
c starts	: 304
c conflicts	: 0
c decisions	: 6355728
c propagations	: 6648798
c inspects	: 726173
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 304
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 486.482
c starts	: 305
c conflicts	: 0
c decisions	: 6376635
c propagations	: 6670669
c inspects	: 728431
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 305
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 487.856
c starts	: 306
c conflicts	: 0
c decisions	: 6397542
c propagations	: 6692540
c inspects	: 730689
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 306
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 502.033
c starts	: 307
c conflicts	: 0
c decisions	: 6418449
c propagations	: 6714411
c inspects	: 732947
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 307
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 503.416
c starts	: 308
c conflicts	: 0
c decisions	: 6439356
c propagations	: 6736282
c inspects	: 735210
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 308
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 504.823
c starts	: 309
c conflicts	: 0
c decisions	: 6460263
c propagations	: 6758153
c inspects	: 737468
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 309
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 506.214
c starts	: 310
c conflicts	: 0
c decisions	: 6481170
c propagations	: 6780024
c inspects	: 739729
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 310
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 520.443
c starts	: 311
c conflicts	: 0
c decisions	: 6502077
c propagations	: 6801895
c inspects	: 741990
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 311
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 521.853
c starts	: 312
c conflicts	: 0
c decisions	: 6522984
c propagations	: 6823766
c inspects	: 744248
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 312
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 523.265
c starts	: 313
c conflicts	: 0
c decisions	: 6543891
c propagations	: 6845637
c inspects	: 746506
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 313
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 543.643
c starts	: 314
c conflicts	: 0
c decisions	: 6564798
c propagations	: 6867508
c inspects	: 748764
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 314
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 545.064
c starts	: 315
c conflicts	: 0
c decisions	: 6585705
c propagations	: 6889379
c inspects	: 751022
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 315
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 546.488
c starts	: 316
c conflicts	: 0
c decisions	: 6606612
c propagations	: 6911250
c inspects	: 753280
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 316
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 547.916
c starts	: 317
c conflicts	: 0
c decisions	: 6627519
c propagations	: 6933121
c inspects	: 755538
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 317
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 549.549
c starts	: 318
c conflicts	: 0
c decisions	: 6648426
c propagations	: 6954992
c inspects	: 757800
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 318
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 550.981
c starts	: 319
c conflicts	: 0
c decisions	: 6669333
c propagations	: 6976863
c inspects	: 760058
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 319
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 552.428
c starts	: 320
c conflicts	: 0
c decisions	: 6690240
c propagations	: 6998734
c inspects	: 762316
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 320
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 553.881
c starts	: 321
c conflicts	: 0
c decisions	: 6711147
c propagations	: 7020605
c inspects	: 764574
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 321
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 555.69
c starts	: 322
c conflicts	: 0
c decisions	: 6732054
c propagations	: 7042476
c inspects	: 766832
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 322
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 557.143
c starts	: 323
c conflicts	: 0
c decisions	: 6752961
c propagations	: 7064347
c inspects	: 769090
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 323
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 558.591
c starts	: 324
c conflicts	: 0
c decisions	: 6773868
c propagations	: 7086218
c inspects	: 771348
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 324
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 560.042
c starts	: 325
c conflicts	: 0
c decisions	: 6794775
c propagations	: 7108089
c inspects	: 773606
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 325
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 574.958
c starts	: 326
c conflicts	: 0
c decisions	: 6815682
c propagations	: 7129960
c inspects	: 775859
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 326
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 576.41
c starts	: 327
c conflicts	: 0
c decisions	: 6836589
c propagations	: 7151831
c inspects	: 778117
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 327
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 577.839
c starts	: 328
c conflicts	: 0
c decisions	: 6857496
c propagations	: 7173702
c inspects	: 780379
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 328
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 592.837
c starts	: 329
c conflicts	: 0
c decisions	: 6878403
c propagations	: 7195573
c inspects	: 782644
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 329
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 594.296
c starts	: 330
c conflicts	: 0
c decisions	: 6899310
c propagations	: 7217444
c inspects	: 784902
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 330
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 595.745
c starts	: 331
c conflicts	: 0
c decisions	: 6920217
c propagations	: 7239315
c inspects	: 787160
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 331
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 597.206
c starts	: 332
c conflicts	: 0
c decisions	: 6941124
c propagations	: 7261186
c inspects	: 789418
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 332
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 612.386
c starts	: 333
c conflicts	: 0
c decisions	: 6962031
c propagations	: 7283057
c inspects	: 791676
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 333
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 613.872
c starts	: 334
c conflicts	: 0
c decisions	: 6982938
c propagations	: 7304928
c inspects	: 793934
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 334
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 615.353
c starts	: 335
c conflicts	: 0
c decisions	: 7003845
c propagations	: 7326799
c inspects	: 796192
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 335
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 616.836
c starts	: 336
c conflicts	: 0
c decisions	: 7024752
c propagations	: 7348670
c inspects	: 798450
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 336
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 634.993
c starts	: 337
c conflicts	: 0
c decisions	: 7045659
c propagations	: 7370541
c inspects	: 800715
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 337
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 636.475
c starts	: 338
c conflicts	: 0
c decisions	: 7066566
c propagations	: 7392412
c inspects	: 802980
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 338
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 637.968
c starts	: 339
c conflicts	: 0
c decisions	: 7087473
c propagations	: 7414283
c inspects	: 805238
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 339
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 639.468
c starts	: 340
c conflicts	: 0
c decisions	: 7108380
c propagations	: 7436154
c inspects	: 807496
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 340
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 655.016
c starts	: 341
c conflicts	: 0
c decisions	: 7129287
c propagations	: 7458025
c inspects	: 809754
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 341
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 656.519
c starts	: 342
c conflicts	: 0
c decisions	: 7150194
c propagations	: 7479896
c inspects	: 812012
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 342
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 658.014
c starts	: 343
c conflicts	: 0
c decisions	: 7171101
c propagations	: 7501767
c inspects	: 814274
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 343
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 673.671
c starts	: 344
c conflicts	: 0
c decisions	: 7192008
c propagations	: 7523638
c inspects	: 816538
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 344
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 675.185
c starts	: 345
c conflicts	: 0
c decisions	: 7212915
c propagations	: 7545509
c inspects	: 818796
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 345
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 676.687
c starts	: 346
c conflicts	: 0
c decisions	: 7233822
c propagations	: 7567380
c inspects	: 821059
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 346
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 678.206
c starts	: 347
c conflicts	: 0
c decisions	: 7254729
c propagations	: 7589251
c inspects	: 823317
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 347
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 694.039
c starts	: 348
c conflicts	: 0
c decisions	: 7275636
c propagations	: 7611122
c inspects	: 825575
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 348
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 695.551
c starts	: 349
c conflicts	: 0
c decisions	: 7296543
c propagations	: 7632993
c inspects	: 827837
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 349
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 697.078
c starts	: 350
c conflicts	: 0
c decisions	: 7317450
c propagations	: 7654864
c inspects	: 830095
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 350
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 698.599
c starts	: 351
c conflicts	: 0
c decisions	: 7338357
c propagations	: 7676735
c inspects	: 832353
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 351
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 717.445
c starts	: 352
c conflicts	: 0
c decisions	: 7359264
c propagations	: 7698606
c inspects	: 834611
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 352
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 718.965
c starts	: 353
c conflicts	: 0
c decisions	: 7380171
c propagations	: 7720477
c inspects	: 836869
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 353
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 720.473
c starts	: 354
c conflicts	: 0
c decisions	: 7401078
c propagations	: 7742348
c inspects	: 839117
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 354
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 721.996
c starts	: 355
c conflicts	: 0
c decisions	: 7421985
c propagations	: 7764219
c inspects	: 841375
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 355
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 738.138
c starts	: 356
c conflicts	: 0
c decisions	: 7442892
c propagations	: 7786090
c inspects	: 843633
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 356
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 739.672
c starts	: 357
c conflicts	: 0
c decisions	: 7463799
c propagations	: 7807961
c inspects	: 845887
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 357
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 741.225
c starts	: 358
c conflicts	: 0
c decisions	: 7484706
c propagations	: 7829832
c inspects	: 848145
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 358
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 757.51
c starts	: 359
c conflicts	: 0
c decisions	: 7505613
c propagations	: 7851703
c inspects	: 850393
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 359
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 759.07
c starts	: 360
c conflicts	: 0
c decisions	: 7526520
c propagations	: 7873574
c inspects	: 852651
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 360
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 760.617
c starts	: 361
c conflicts	: 0
c decisions	: 7547427
c propagations	: 7895445
c inspects	: 854908
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 361
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 762.186
c starts	: 362
c conflicts	: 0
c decisions	: 7568334
c propagations	: 7917316
c inspects	: 857166
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 362
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 764.235
c starts	: 363
c conflicts	: 0
c decisions	: 7589241
c propagations	: 7939187
c inspects	: 859424
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 363
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 781.015
c starts	: 364
c conflicts	: 0
c decisions	: 7610148
c propagations	: 7961058
c inspects	: 861682
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 364
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 782.589
c starts	: 365
c conflicts	: 0
c decisions	: 7631055
c propagations	: 7982929
c inspects	: 863940
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 365
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 784.15
c starts	: 366
c conflicts	: 0
c decisions	: 7651962
c propagations	: 8004800
c inspects	: 866198
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 366
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 807.113
c starts	: 367
c conflicts	: 0
c decisions	: 7672869
c propagations	: 8026671
c inspects	: 868456
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 367
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 808.698
c starts	: 368
c conflicts	: 0
c decisions	: 7693776
c propagations	: 8048542
c inspects	: 870714
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 368
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 810.278
c starts	: 369
c conflicts	: 0
c decisions	: 7714683
c propagations	: 8070413
c inspects	: 872972
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 369
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 812.167
c starts	: 370
c conflicts	: 0
c decisions	: 7735590
c propagations	: 8092284
c inspects	: 875230
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 370
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 829.398
c starts	: 371
c conflicts	: 0
c decisions	: 7756497
c propagations	: 8114155
c inspects	: 877488
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 371
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 830.99
c starts	: 372
c conflicts	: 0
c decisions	: 7777404
c propagations	: 8136026
c inspects	: 879746
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 372
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 832.648
c starts	: 373
c conflicts	: 0
c decisions	: 7798311
c propagations	: 8157897
c inspects	: 882004
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 373
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 850.407
c starts	: 374
c conflicts	: 0
c decisions	: 7819218
c propagations	: 8179768
c inspects	: 884262
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 374
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 852.005
c starts	: 375
c conflicts	: 0
c decisions	: 7840125
c propagations	: 8201639
c inspects	: 886519
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 375
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 853.794
c starts	: 376
c conflicts	: 0
c decisions	: 7861032
c propagations	: 8223510
c inspects	: 888777
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 376
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 871.473
c starts	: 377
c conflicts	: 0
c decisions	: 7881939
c propagations	: 8245381
c inspects	: 891035
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 377
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 873.089
c starts	: 378
c conflicts	: 0
c decisions	: 7902846
c propagations	: 8267252
c inspects	: 893293
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 378
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 890.727
c starts	: 379
c conflicts	: 0
c decisions	: 7923753
c propagations	: 8289123
c inspects	: 895551
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 379
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 892.35
c starts	: 380
c conflicts	: 0
c decisions	: 7944660
c propagations	: 8310994
c inspects	: 897809
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 380
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 894.289
c starts	: 381
c conflicts	: 0
c decisions	: 7965567
c propagations	: 8332865
c inspects	: 900067
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 381
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 911.837
c starts	: 382
c conflicts	: 0
c decisions	: 7986474
c propagations	: 8354736
c inspects	: 902331
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 382
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 913.557
c starts	: 383
c conflicts	: 0
c decisions	: 8007381
c propagations	: 8376607
c inspects	: 904589
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 383
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 931.589
c starts	: 384
c conflicts	: 0
c decisions	: 8028288
c propagations	: 8398478
c inspects	: 906847
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 384
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 933.501
c starts	: 385
c conflicts	: 0
c decisions	: 8049195
c propagations	: 8420349
c inspects	: 909105
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 385
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 951.1
c starts	: 386
c conflicts	: 0
c decisions	: 8070102
c propagations	: 8442220
c inspects	: 911370
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 386
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 972.435
c starts	: 387
c conflicts	: 0
c decisions	: 8091009
c propagations	: 8464091
c inspects	: 913628
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 387
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 974.69
c starts	: 388
c conflicts	: 0
c decisions	: 8111916
c propagations	: 8485962
c inspects	: 915886
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 388
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 992.272
c starts	: 389
c conflicts	: 0
c decisions	: 8132823
c propagations	: 8507833
c inspects	: 918144
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 389
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 1010.167
c starts	: 390
c conflicts	: 0
c decisions	: 8153730
c propagations	: 8529704
c inspects	: 920402
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 390
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 1028.465
c starts	: 391
c conflicts	: 0
c decisions	: 8174637
c propagations	: 8551575
c inspects	: 922662
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 391
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 1046.727
c starts	: 392
c conflicts	: 0
c decisions	: 8195544
c propagations	: 8573446
c inspects	: 924920
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 392
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 1065.046
c starts	: 393
c conflicts	: 0
c decisions	: 8216451
c propagations	: 8595317
c inspects	: 927178
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 393
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 1083.647
c starts	: 394
c conflicts	: 0
c decisions	: 8237358
c propagations	: 8617188
c inspects	: 929440
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 394
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 1102.374
c starts	: 395
c conflicts	: 0
c decisions	: 8258265
c propagations	: 8639059
c inspects	: 931698
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 395
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 1136.877
c starts	: 396
c conflicts	: 0
c decisions	: 8279172
c propagations	: 8660930
c inspects	: 933961
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 396
c 
c CURRENT OPTIMUM=2024734720
c Current CPU time (ms) : 1171.816
c starts	: 397
c conflicts	: 0
c decisions	: 8300079
c propagations	: 8682801
c inspects	: 936219
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 397
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.70 0.90 0.92 2/54 24574
Raw data (stat): 24574 (runsolver) R 24573 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540545333 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99986 s]
Raw data (loadavg): 0.82 0.92 0.92 2/63 24583
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 17982 0 1 0 892 37 0 0 25 0 10 0 540545333 853127168 19108 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 19108 13073 16 0 208267 0
vsize: 833132
[startup+20.0001 s]
Raw data (loadavg): 0.84 0.92 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17982 0 1 0 1783 37 0 0 25 0 10 0 540545333 853127168 19691 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 19691 13073 16 0 208267 0
vsize: 833132
[startup+30.0007 s]
Raw data (loadavg): 0.87 0.92 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17982 0 1 0 2680 38 0 0 25 0 10 0 540545333 853127168 20131 4294967295 134512640 134569956 3221224400 3221214824 1131226241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 20131 13073 16 0 208267 0
vsize: 833132
[startup+40.0009 s]
Raw data (loadavg): 0.89 0.92 0.92 3/63 24583
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 17982 0 1 0 3609 38 0 0 25 0 10 0 540545333 853127168 20363 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 20363 13073 16 0 208267 0
vsize: 833132
[startup+50.0009 s]
Raw data (loadavg): 0.90 0.92 0.92 2/63 24583
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 17982 0 1 0 4538 38 0 0 25 0 10 0 540545333 853127168 20485 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 20485 13073 16 0 208267 0
vsize: 833132
[startup+60.0009 s]
Raw data (loadavg): 0.92 0.93 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17982 0 1 0 5467 39 0 0 23 0 10 0 540545333 853901312 20755 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208472 20755 13073 16 0 208456 0
vsize: 833888
[startup+70.0015 s]
Raw data (loadavg): 0.93 0.93 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17982 0 1 0 6407 39 0 0 24 0 10 0 540545333 853127168 20809 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 20809 13073 16 0 208267 0
vsize: 833132
[startup+80.0017 s]
Raw data (loadavg): 0.94 0.93 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17982 0 1 0 7355 40 0 0 25 0 10 0 540545333 853127168 20886 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 20886 13073 16 0 208267 0
vsize: 833132
[startup+90.0013 s]
Raw data (loadavg): 0.95 0.93 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17982 0 1 0 8300 40 0 0 25 0 10 0 540545333 853127168 20961 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 20961 13073 16 0 208267 0
vsize: 833132
[startup+100.001 s]
Raw data (loadavg): 0.96 0.93 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17982 0 1 0 9245 41 0 0 25 0 10 0 540545333 853127168 21030 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 21030 13073 16 0 208267 0
vsize: 833132
[startup+110.002 s]
Raw data (loadavg): 0.96 0.94 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17982 0 1 0 10192 41 0 0 24 0 10 0 540545333 853127168 21095 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 21095 13073 16 0 208267 0
vsize: 833132
[startup+120.003 s]
Raw data (loadavg): 0.97 0.94 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17982 0 1 0 11141 41 0 0 25 0 10 0 540545333 853127168 21153 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 21153 13073 16 0 208267 0
vsize: 833132
[startup+130.003 s]
Raw data (loadavg): 0.97 0.94 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17982 0 1 0 12087 42 0 0 25 0 10 0 540545333 853127168 21212 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208283 21212 13073 16 0 208267 0
vsize: 833132
[startup+140.002 s]
Raw data (loadavg): 0.98 0.94 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17986 0 1 0 13002 42 0 0 25 0 10 0 540545333 856272896 21897 4294967295 134512640 134569956 3221224400 3221214472 1131274039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209051 21897 13073 16 0 209035 0
vsize: 836204
[startup+150.003 s]
Raw data (loadavg): 0.98 0.94 0.92 2/63 24583
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 17986 0 1 0 13985 44 0 0 25 0 10 0 540545333 856223744 22289 4294967295 134512640 134569956 3221224400 3221214792 1131157265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209039 22289 13073 16 0 209023 0
vsize: 836156
[startup+160.003 s]
Raw data (loadavg): 0.98 0.94 0.92 2/64 24584
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18018 0 1 0 14927 47 0 0 25 0 11 0 540545333 856752128 25214 4294967295 134512640 134569956 3221224400 3221214648 1131395946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209168 25214 13073 16 0 209152 0
vsize: 836672
[startup+170.003 s]
Raw data (loadavg): 0.98 0.94 0.92 2/64 24596
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18019 3 1 0 15779 48 0 0 25 0 11 0 540545333 856752128 30001 4294967295 134512640 134569956 3221224400 3221214996 1131367305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 30001 13073 16 0 209152 0
vsize: 836672
[startup+180.003 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 24613
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18019 3 1 0 16629 49 1 0 25 0 11 0 540545333 856752128 36297 4294967295 134512640 134569956 3221224400 3221214800 1131395113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 36297 13073 16 0 209152 0
vsize: 836672
[startup+190.002 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 24628
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18019 3 1 0 17482 50 2 0 25 0 10 0 540545333 856752128 43328 4294967295 134512640 134569956 3221224400 3221214544 1131267885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 43328 13073 16 0 209152 0
vsize: 836672
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.92 3/64 24643
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18019 3 1 0 18332 51 2 0 25 0 11 0 540545333 856752128 49091 4294967295 134512640 134569956 3221224400 3221214848 1131268008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 49091 13073 16 0 209152 0
vsize: 836672
[startup+210.002 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 24656
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18019 3 1 0 19180 52 2 0 25 0 11 0 540545333 856752128 57384 4294967295 134512640 134569956 3221224400 3221214960 1131404755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 57384 13073 16 0 209152 0
vsize: 836672
[startup+220.003 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 24669
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18019 3 1 0 20072 53 2 0 25 0 11 0 540545333 856752128 61449 4294967295 134512640 134569956 3221224400 3221214888 1131436617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 61449 13073 16 0 209152 0
vsize: 836672
[startup+230.003 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 24681
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18019 3 1 0 20960 53 3 1 25 0 10 0 540545333 856752128 65599 4294967295 134512640 134569956 3221224400 3221214908 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 65599 13073 16 0 209152 0
vsize: 836672
[startup+240.002 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 24693
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18019 3 1 0 21845 54 3 1 19 0 11 0 540545333 856752128 70162 4294967295 134512640 134569956 3221224400 3221214960 1131404928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 70162 13073 16 0 209152 0
vsize: 836672
[startup+250.003 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 24704
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18019 3 1 0 22734 54 3 1 25 0 11 0 540545333 856752128 74440 4294967295 134512640 134569956 3221224400 3221214776 1131268057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 74440 13073 16 0 209152 0
vsize: 836672
[startup+260.004 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 24714
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18019 3 1 0 23582 55 4 1 25 0 11 0 540545333 856752128 85284 4294967295 134512640 134569956 3221224400 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 85284 13073 16 0 209152 0
vsize: 836672
[startup+270.004 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 24725
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18019 3 1 0 24506 56 4 2 25 0 11 0 540545333 856752128 87687 4294967295 134512640 134569956 3221224400 3221214960 1131404833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 87687 13073 16 0 209152 0
vsize: 836672
[startup+280.004 s]
Raw data (loadavg): 0.99 0.95 0.92 2/64 24735
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 25395 57 4 2 25 0 11 0 540545333 856752128 91752 4294967295 134512640 134569956 3221224400 3221214848 1131268025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 91752 13073 16 0 209152 0
vsize: 836672
[startup+290.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 24745
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 26284 57 5 2 25 0 11 0 540545333 856752128 95902 4294967295 134512640 134569956 3221224400 3221214960 1131404713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 95902 13073 16 0 209152 0
vsize: 836672
[startup+300.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 24754
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 27209 57 5 2 25 0 11 0 540545333 856752128 98774 4294967295 134512640 134569956 3221224400 3221214776 1131267919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 98774 13073 16 0 209152 0
vsize: 836672
[startup+310.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 24763
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 28097 58 5 2 25 0 10 0 540545333 856752128 102869 4294967295 134512640 134569956 3221224400 3221214984 1131251991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 102869 13073 16 0 209152 0
vsize: 836672
[startup+320.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 24772
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 29020 58 5 2 25 0 10 0 540545333 856752128 105795 4294967295 134512640 134569956 3221224400 3221214544 1131267892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 105795 13073 16 0 209152 0
vsize: 836672
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 24781
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 29940 59 6 2 25 0 10 0 540545333 856752128 108931 4294967295 134512640 134569956 3221224400 3221214908 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 108931 13073 16 0 209152 0
vsize: 836672
[startup+340.01 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 24790
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 30827 60 6 2 25 0 11 0 540545333 856752128 113560 4294967295 134512640 134569956 3221224400 3221214960 1131404736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 113560 13073 16 0 209152 0
vsize: 836672
[startup+350.01 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 24798
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 31755 60 6 2 25 0 11 0 540545333 856752128 116245 4294967295 134512640 134569956 3221224400 3221214984 1131420811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 116245 13073 16 0 209152 0
vsize: 836672
[startup+360.01 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 24806
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 32678 61 6 2 25 0 10 0 540545333 856752128 119120 4294967295 134512640 134569956 3221224400 3221214824 1131302800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209168 119120 13073 16 0 209152 0
vsize: 836672
[startup+370.01 s]
Raw data (loadavg): 0.99 0.96 0.92 2/64 24815
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 33606 61 7 2 25 0 11 0 540545333 856752128 121786 4294967295 134512640 134569956 3221224400 3221214960 1131404855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 121786 13073 16 0 209152 0
vsize: 836672
[startup+380.011 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 24822
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 34527 61 7 3 25 0 10 0 540545333 856752128 124690 4294967295 134512640 134569956 3221224400 3221214656 1131309666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 124690 13073 16 0 209152 0
vsize: 836672
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24830
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 35454 62 7 3 25 0 11 0 540545333 856752128 127344 4294967295 134512640 134569956 3221224400 3221214800 1131394974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 127344 13073 16 0 209152 0
vsize: 836672
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24838
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 36379 63 7 3 25 0 11 0 540545333 856752128 130285 4294967295 134512640 134569956 3221224400 3221214960 1131404721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 130285 13073 16 0 209152 0
vsize: 836672
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 24844
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 37221 63 7 3 25 0 10 0 540545333 856752128 143952 4294967295 134512640 134569956 3221224400 3221213680 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 143952 13073 16 0 209152 0
vsize: 836672
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24852
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 38170 63 8 3 25 0 11 0 540545333 856752128 146190 4294967295 134512640 134569956 3221224400 3221214960 1131404796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 146190 13073 16 0 209152 0
vsize: 836672
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24859
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 39095 64 8 3 25 0 11 0 540545333 856752128 149018 4294967295 134512640 134569956 3221224400 3221214960 1131404833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209168 149018 13073 16 0 209152 0
vsize: 836672
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24866
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 40016 64 8 3 25 0 11 0 540545333 856752128 151864 4294967295 134512640 134569956 3221224400 3221214888 1131433919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 151864 13073 16 0 209152 0
vsize: 836672
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24873
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 40941 65 8 3 25 0 11 0 540545333 856752128 154570 4294967295 134512640 134569956 3221224400 3221214888 1131433821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 154570 13073 16 0 209152 0
vsize: 836672
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24879
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 41713 65 8 3 25 0 11 0 540545333 856752128 156038 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 156038 13073 16 0 209152 0
vsize: 836672
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24879
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 41713 65 8 3 25 0 11 0 540545333 856752128 156039 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 156039 13073 16 0 209152 0
vsize: 836672
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24884
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 42335 65 9 3 25 0 11 0 540545333 856752128 156039 4294967295 134512640 134569956 3221224400 3221214960 1131404876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 156039 13073 16 0 209152 0
vsize: 836672
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24890
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 43257 66 9 3 25 0 11 0 540545333 856752128 156039 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 156039 13073 16 0 209152 0
vsize: 836672
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24890
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 43257 66 9 3 25 0 11 0 540545333 856752128 156043 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 156043 13073 16 0 209152 0
vsize: 836672
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.92 3/64 24894
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 43810 66 9 3 25 0 11 0 540545333 856752128 157721 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 157721 13073 16 0 209152 0
vsize: 836672
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/64 24894
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 43810 66 9 3 25 0 11 0 540545333 856752128 157724 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 157724 13073 16 0 209152 0
vsize: 836672
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 24897
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 44256 66 9 3 25 0 10 0 540545333 856752128 159274 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 159274 13073 16 0 209152 0
vsize: 836672
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 24897
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 44256 66 9 3 25 0 10 0 540545333 856752128 159274 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 159274 13073 16 0 209152 0
vsize: 836672
[startup+550.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 24901
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 44819 66 9 3 25 0 10 0 540545333 856752128 159274 4294967295 134512640 134569956 3221224400 3221214816 1131263158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 159274 13073 16 0 209152 0
vsize: 836672
[startup+560.037 s]
Raw data (loadavg): 1.07 0.99 0.93 2/64 24961
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 45780 68 9 3 25 0 11 0 540545333 856752128 159274 4294967295 134512640 134569956 3221224400 3221214848 1131267892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 159274 13073 16 0 209152 0
vsize: 836672
[startup+570.057 s]
Raw data (loadavg): 1.06 0.99 0.93 2/64 24962
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 45951 68 9 3 25 0 11 0 540545333 856752128 159274 4294967295 134512640 134569956 3221224400 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 159274 13073 16 0 209152 0
vsize: 836672
[startup+580.06 s]
Raw data (loadavg): 1.05 0.99 0.93 2/63 24965
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 46409 68 10 4 25 0 10 0 540545333 856752128 159274 4294967295 134512640 134569956 3221224400 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 159274 13073 16 0 209152 0
vsize: 836672
[startup+590.059 s]
Raw data (loadavg): 1.04 0.99 0.93 2/63 24965
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 46409 68 10 4 25 0 10 0 540545333 856752128 159275 4294967295 134512640 134569956 3221224400 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 159275 13073 16 0 209152 0
vsize: 836672
[startup+600.059 s]
Raw data (loadavg): 1.03 0.99 0.93 2/63 24969
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 46982 68 10 4 25 0 10 0 540545333 856752128 160232 4294967295 134512640 134569956 3221224400 3221213584 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 160232 13073 16 0 209152 0
vsize: 836672
[startup+610.06 s]
Raw data (loadavg): 1.03 0.99 0.93 2/63 24969
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 46982 68 10 4 25 0 10 0 540545333 856752128 160235 4294967295 134512640 134569956 3221224400 3221213584 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 160235 13073 16 0 209152 0
vsize: 836672
[startup+620.06 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 24973
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 47564 68 10 4 25 0 11 0 540545333 856752128 161773 4294967295 134512640 134569956 3221224400 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 161773 13073 16 0 209152 0
vsize: 836672
[startup+630.06 s]
Raw data (loadavg): 1.02 0.99 0.93 2/64 24973
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 47564 68 10 4 25 0 11 0 540545333 856752128 161775 4294967295 134512640 134569956 3221224400 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 161775 13073 16 0 209152 0
vsize: 836672
[startup+640.065 s]
Raw data (loadavg): 1.02 0.99 0.93 2/63 24978
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 48035 69 10 4 25 0 10 0 540545333 856752128 162493 4294967295 134512640 134569956 3221224400 3221214656 1131268612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 162493 13073 16 0 209152 0
vsize: 836672
[startup+650.065 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 24979
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 48153 69 10 4 25 0 11 0 540545333 856752128 162493 4294967295 134512640 134569956 3221224400 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 162493 13073 16 0 209152 0
vsize: 836672
[startup+660.065 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 24982
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 48628 69 10 4 25 0 10 0 540545333 856752128 164045 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 164045 13073 16 0 209152 0
vsize: 836672
[startup+670.065 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 24982
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 48628 69 10 4 25 0 10 0 540545333 856752128 164048 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 164048 13073 16 0 209152 0
vsize: 836672
[startup+680.066 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 24986
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 49214 69 10 4 25 0 11 0 540545333 856752128 165618 4294967295 134512640 134569956 3221224400 3221214888 1131433226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209168 165618 13073 16 0 209152 0
vsize: 836672
[startup+690.065 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 24986
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 49225 69 10 4 25 0 10 0 540545333 856752128 165620 4294967295 134512640 134569956 3221224400 3221213568 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 165620 13073 16 0 209152 0
vsize: 836672
[startup+700.065 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 24990
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 49781 70 10 4 25 0 11 0 540545333 856752128 167300 4294967295 134512640 134569956 3221224400 3221214956 1131268664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209168 167300 13073 16 0 209152 0
vsize: 836672
[startup+710.064 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 24990
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 49823 70 10 4 25 0 11 0 540545333 856752128 167300 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 167300 13073 16 0 209152 0
vsize: 836672
[startup+720.066 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 24992
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 50048 70 10 4 25 0 11 0 540545333 856752128 168036 4294967295 134512640 134569956 3221224400 3221214960 1131404796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209168 168036 13073 16 0 209152 0
vsize: 836672
[startup+730.075 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 24994
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 50422 70 10 4 25 0 11 0 540545333 856752128 168036 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 168036 13073 16 0 209152 0
vsize: 836672
[startup+740.074 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 24995
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 50588 70 10 4 25 0 11 0 540545333 856752128 169587 4294967295 134512640 134569956 3221224400 3221214888 1131436463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 169587 13073 16 0 209152 0
vsize: 836672
[startup+750.075 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 24997
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 50912 70 10 4 25 0 10 0 540545333 856752128 169587 4294967295 134512640 134569956 3221224400 3221213656 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 169587 13073 16 0 209152 0
vsize: 836672
[startup+760.075 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 24999
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 51113 70 10 4 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221214960 1131404853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+770.075 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25002
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 51739 70 11 4 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+780.078 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25002
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 51739 70 11 4 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+790.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25005
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 52301 71 11 4 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213552 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+800.078 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25005
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 52301 71 11 4 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213552 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+810.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25007
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 52543 71 11 4 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221214848 1131268025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+820.078 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25009
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 52987 71 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+830.078 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25010
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 53024 71 11 5 21 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221214960 1131404778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+840.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25012
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 53570 71 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+850.078 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25012
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 53570 71 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+860.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25015
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 54139 72 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+870.078 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25015
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 54139 72 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+880.078 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25017
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 54542 72 11 5 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+890.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25017
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 54542 72 11 5 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+900.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25022
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 55084 72 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+910.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25022
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 55084 72 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+920.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25024
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 55512 72 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+930.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25024
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 55512 72 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+940.076 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25026
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 55898 73 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+950.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25026
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 55898 73 11 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+960.076 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25027
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 56169 73 11 5 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213648 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+970.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25027
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 56169 73 11 5 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213648 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+980.077 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25029
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 56442 73 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213512 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+990.076 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25029
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 56442 73 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213512 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1000.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25030
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 56801 73 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25030
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 56801 73 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25031
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 57074 73 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221214212 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1030.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25032
Raw data (stat): 24574 (java) R 24573 28099 28098 0 -1 0 18020 3 1 0 57192 73 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221214960 1131404796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25032
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 57331 73 12 5 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213728 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25033
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 57588 73 12 5 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213824 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25033
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 57588 73 12 5 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213824 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25034
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 57849 73 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25034
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 57849 73 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25035
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58102 73 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25035
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58102 73 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25036
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58326 74 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25036
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58326 74 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213528 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25036
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58427 74 12 5 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213656 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25037
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58659 74 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25037
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58659 74 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25037
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58752 74 12 5 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213656 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 25037
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58752 74 12 5 25 0 10 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213656 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58972 74 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58972 74 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58972 74 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1210.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58972 74 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 836672
[startup+1212.2 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 25038
Raw data (stat): 24574 (java) S 24573 28099 28098 0 -1 0 18020 3 1 0 58972 74 12 5 25 0 11 0 540545333 856752128 170997 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 170997 13073 16 0 209152 0
vsize: 0

Child status: 1
Real time (s): 1212.2
CPU time (s): 1214.83
CPU user time (s): 1210.71
CPU system time (s): 4.11437
CPU usage (%): 100.217
Max. virtual memory (Kb): 836672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####