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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb
MD5SUM	efb36546b6b37df68ff339bb766886b9
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	1780
Biggest coefficient in the objective function	50331648000000000
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	1076758128151185266
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	50331648000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	1076758128151185266
Number of bits of the biggest sum of numbers	60
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1225.11
Number of variables	2283
Total number of constraints	194
Number of constraints which are clauses	22
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	133
Minimum length of a constraint	1
Maximum length of a constraint	195
Trace number 17119

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        647196 kB
Buffers:         20600 kB
Cached:         344784 kB
SwapCached:        456 kB
Active:          17748 kB
Inactive:       349640 kB
HighTotal:      131008 kB
HighFree:        73640 kB
LowTotal:       903652 kB
LowFree:        573556 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            14296 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 10:03:46 (client local time) WITH STATUS 143 IN 1244.86 SECONDS
stats: 11709 7 1244.86 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-bell3b.opb
c reading problem 
c [nbvar=2283]
c [nbconstr=194]
c time 4.456
c #vars     2283
c #clauses  152
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=-341663876
c Current CPU time (ms) : 17.889
c starts	: 1
c conflicts	: 62
c decisions	: 3285
c propagations	: 6574
c inspects	: 8311
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 62
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-1995175010
c Current CPU time (ms) : 35.346
c starts	: 2
c conflicts	: 96
c decisions	: 10287
c propagations	: 18917
c inspects	: 41168
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 96
c root simplifications	: 12
c 
c CURRENT OPTIMUM=-1423887768
c Current CPU time (ms) : 76.085
c starts	: 4
c conflicts	: 200
c decisions	: 14873
c propagations	: 30423
c inspects	: 93517
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 200
c root simplifications	: 21
c 
c CURRENT OPTIMUM=322236614
c Current CPU time (ms) : 80.561
c starts	: 5
c conflicts	: 202
c decisions	: 15788
c propagations	: 32573
c inspects	: 99742
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 202
c root simplifications	: 22
c 
c CURRENT OPTIMUM=1174854598
c Current CPU time (ms) : 85.283
c starts	: 6
c conflicts	: 203
c decisions	: 16745
c propagations	: 34725
c inspects	: 106114
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 203
c root simplifications	: 23
c 
c CURRENT OPTIMUM=-361349274
c Current CPU time (ms) : 89.772
c starts	: 7
c conflicts	: 206
c decisions	: 17685
c propagations	: 36950
c inspects	: 112396
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 206
c root simplifications	: 24
c 
c CURRENT OPTIMUM=-637084730
c Current CPU time (ms) : 94.149
c starts	: 8
c conflicts	: 207
c decisions	: 18638
c propagations	: 39076
c inspects	: 118418
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 25
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 98.158
c starts	: 9
c conflicts	: 207
c decisions	: 19584
c propagations	: 41195
c inspects	: 123773
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 26
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 102.082
c starts	: 10
c conflicts	: 207
c decisions	: 20530
c propagations	: 43314
c inspects	: 128808
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 27
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 106.041
c starts	: 11
c conflicts	: 207
c decisions	: 21476
c propagations	: 45433
c inspects	: 133844
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 28
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 110.004
c starts	: 12
c conflicts	: 207
c decisions	: 22422
c propagations	: 47552
c inspects	: 138879
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 29
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 113.964
c starts	: 13
c conflicts	: 207
c decisions	: 23368
c propagations	: 49671
c inspects	: 143915
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 30
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 117.86
c starts	: 14
c conflicts	: 207
c decisions	: 24314
c propagations	: 51790
c inspects	: 148951
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 31
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 121.81
c starts	: 15
c conflicts	: 207
c decisions	: 25260
c propagations	: 53909
c inspects	: 153987
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 32
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 125.757
c starts	: 16
c conflicts	: 207
c decisions	: 26206
c propagations	: 56028
c inspects	: 159022
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 33
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 129.722
c starts	: 17
c conflicts	: 207
c decisions	: 27152
c propagations	: 58147
c inspects	: 164057
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 34
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 133.615
c starts	: 18
c conflicts	: 207
c decisions	: 28098
c propagations	: 60266
c inspects	: 169092
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 35
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 137.569
c starts	: 19
c conflicts	: 207
c decisions	: 29044
c propagations	: 62385
c inspects	: 174127
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 36
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 141.518
c starts	: 20
c conflicts	: 207
c decisions	: 29990
c propagations	: 64504
c inspects	: 179163
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 37
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 145.419
c starts	: 21
c conflicts	: 207
c decisions	: 30936
c propagations	: 66623
c inspects	: 184198
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 38
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 149.385
c starts	: 22
c conflicts	: 207
c decisions	: 31882
c propagations	: 68742
c inspects	: 189233
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 39
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 153.329
c starts	: 23
c conflicts	: 207
c decisions	: 32828
c propagations	: 70861
c inspects	: 194268
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 40
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 157.283
c starts	: 24
c conflicts	: 207
c decisions	: 33774
c propagations	: 72980
c inspects	: 199304
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 41
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 161.181
c starts	: 25
c conflicts	: 207
c decisions	: 34720
c propagations	: 75099
c inspects	: 204340
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 42
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 165.154
c starts	: 26
c conflicts	: 207
c decisions	: 35666
c propagations	: 77218
c inspects	: 209375
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 43
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 169.138
c starts	: 27
c conflicts	: 207
c decisions	: 36612
c propagations	: 79337
c inspects	: 214410
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 44
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 173.127
c starts	: 28
c conflicts	: 207
c decisions	: 37558
c propagations	: 81456
c inspects	: 219445
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 45
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 177.076
c starts	: 29
c conflicts	: 207
c decisions	: 38504
c propagations	: 83575
c inspects	: 224481
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 46
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 181.066
c starts	: 30
c conflicts	: 207
c decisions	: 39450
c propagations	: 85694
c inspects	: 229517
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 47
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 185.054
c starts	: 31
c conflicts	: 207
c decisions	: 40396
c propagations	: 87813
c inspects	: 234552
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 48
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 189.049
c starts	: 32
c conflicts	: 207
c decisions	: 41342
c propagations	: 89932
c inspects	: 239587
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 49
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 192.994
c starts	: 33
c conflicts	: 207
c decisions	: 42288
c propagations	: 92051
c inspects	: 244622
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 50
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 196.986
c starts	: 34
c conflicts	: 207
c decisions	: 43234
c propagations	: 94170
c inspects	: 249658
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 51
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 200.973
c starts	: 35
c conflicts	: 207
c decisions	: 44180
c propagations	: 96289
c inspects	: 254693
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 52
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 204.965
c starts	: 36
c conflicts	: 207
c decisions	: 45126
c propagations	: 98408
c inspects	: 259728
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 53
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 208.911
c starts	: 37
c conflicts	: 207
c decisions	: 46072
c propagations	: 100527
c inspects	: 264763
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 54
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 212.893
c starts	: 38
c conflicts	: 207
c decisions	: 47018
c propagations	: 102646
c inspects	: 269798
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 55
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 216.87
c starts	: 39
c conflicts	: 207
c decisions	: 47964
c propagations	: 104765
c inspects	: 274833
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 56
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 220.849
c starts	: 40
c conflicts	: 207
c decisions	: 48910
c propagations	: 106884
c inspects	: 279869
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 57
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 224.798
c starts	: 41
c conflicts	: 207
c decisions	: 49856
c propagations	: 109003
c inspects	: 284905
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 58
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 228.78
c starts	: 42
c conflicts	: 207
c decisions	: 50802
c propagations	: 111122
c inspects	: 289940
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 59
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 232.788
c starts	: 43
c conflicts	: 207
c decisions	: 51748
c propagations	: 113241
c inspects	: 294976
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 60
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 236.788
c starts	: 44
c conflicts	: 207
c decisions	: 52694
c propagations	: 115360
c inspects	: 300011
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 61
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 240.742
c starts	: 45
c conflicts	: 207
c decisions	: 53640
c propagations	: 117479
c inspects	: 305046
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 62
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 244.738
c starts	: 46
c conflicts	: 207
c decisions	: 54586
c propagations	: 119598
c inspects	: 310082
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 63
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 248.744
c starts	: 47
c conflicts	: 207
c decisions	: 55532
c propagations	: 121717
c inspects	: 315118
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 64
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 252.746
c starts	: 48
c conflicts	: 207
c decisions	: 56478
c propagations	: 123836
c inspects	: 320153
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 65
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 256.714
c starts	: 49
c conflicts	: 207
c decisions	: 57424
c propagations	: 125955
c inspects	: 325189
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 66
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 260.722
c starts	: 50
c conflicts	: 207
c decisions	: 58370
c propagations	: 128074
c inspects	: 330224
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 67
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 264.728
c starts	: 51
c conflicts	: 207
c decisions	: 59316
c propagations	: 130193
c inspects	: 335259
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 68
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 268.735
c starts	: 52
c conflicts	: 207
c decisions	: 60262
c propagations	: 132312
c inspects	: 340294
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 69
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 272.7
c starts	: 53
c conflicts	: 207
c decisions	: 61208
c propagations	: 134431
c inspects	: 345330
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 70
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 276.697
c starts	: 54
c conflicts	: 207
c decisions	: 62154
c propagations	: 136550
c inspects	: 350365
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 71
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 280.69
c starts	: 55
c conflicts	: 207
c decisions	: 63100
c propagations	: 138669
c inspects	: 355400
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 72
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 284.689
c starts	: 56
c conflicts	: 207
c decisions	: 64046
c propagations	: 140788
c inspects	: 360435
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 73
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 288.639
c starts	: 57
c conflicts	: 207
c decisions	: 64992
c propagations	: 142907
c inspects	: 365471
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 74
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 292.635
c starts	: 58
c conflicts	: 207
c decisions	: 65938
c propagations	: 145026
c inspects	: 370506
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 75
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 296.628
c starts	: 59
c conflicts	: 207
c decisions	: 66884
c propagations	: 147145
c inspects	: 375542
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 76
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 300.608
c starts	: 60
c conflicts	: 207
c decisions	: 67830
c propagations	: 149264
c inspects	: 380578
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 77
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 304.553
c starts	: 61
c conflicts	: 207
c decisions	: 68776
c propagations	: 151383
c inspects	: 385613
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 78
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 308.547
c starts	: 62
c conflicts	: 207
c decisions	: 69722
c propagations	: 153502
c inspects	: 390649
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 79
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 312.536
c starts	: 63
c conflicts	: 207
c decisions	: 70668
c propagations	: 155621
c inspects	: 395685
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 80
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 316.53
c starts	: 64
c conflicts	: 207
c decisions	: 71614
c propagations	: 157740
c inspects	: 400720
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 81
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 320.469
c starts	: 65
c conflicts	: 207
c decisions	: 72560
c propagations	: 159859
c inspects	: 405756
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 82
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 324.457
c starts	: 66
c conflicts	: 207
c decisions	: 73506
c propagations	: 161978
c inspects	: 410792
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 83
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 328.443
c starts	: 67
c conflicts	: 207
c decisions	: 74452
c propagations	: 164097
c inspects	: 415827
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 84
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 332.378
c starts	: 68
c conflicts	: 207
c decisions	: 75398
c propagations	: 166216
c inspects	: 420862
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 85
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 336.373
c starts	: 69
c conflicts	: 207
c decisions	: 76344
c propagations	: 168335
c inspects	: 425898
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 86
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 340.356
c starts	: 70
c conflicts	: 207
c decisions	: 77290
c propagations	: 170454
c inspects	: 430934
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 87
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 344.353
c starts	: 71
c conflicts	: 207
c decisions	: 78236
c propagations	: 172573
c inspects	: 435970
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 88
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 348.312
c starts	: 72
c conflicts	: 207
c decisions	: 79182
c propagations	: 174692
c inspects	: 441006
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 89
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 352.296
c starts	: 73
c conflicts	: 207
c decisions	: 80128
c propagations	: 176811
c inspects	: 446041
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 90
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 356.296
c starts	: 74
c conflicts	: 207
c decisions	: 81074
c propagations	: 178930
c inspects	: 451077
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 91
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 360.297
c starts	: 75
c conflicts	: 207
c decisions	: 82020
c propagations	: 181049
c inspects	: 456113
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 92
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 364.25
c starts	: 76
c conflicts	: 207
c decisions	: 82966
c propagations	: 183168
c inspects	: 461149
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 93
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 368.275
c starts	: 77
c conflicts	: 207
c decisions	: 83912
c propagations	: 185287
c inspects	: 466185
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 94
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 372.287
c starts	: 78
c conflicts	: 207
c decisions	: 84858
c propagations	: 187406
c inspects	: 471220
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 95
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 376.309
c starts	: 79
c conflicts	: 207
c decisions	: 85804
c propagations	: 189525
c inspects	: 476255
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 96
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 380.261
c starts	: 80
c conflicts	: 207
c decisions	: 86750
c propagations	: 191644
c inspects	: 481291
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 97
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 384.247
c starts	: 81
c conflicts	: 207
c decisions	: 87696
c propagations	: 193763
c inspects	: 486326
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 98
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 388.237
c starts	: 82
c conflicts	: 207
c decisions	: 88642
c propagations	: 195882
c inspects	: 491361
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 99
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 392.23
c starts	: 83
c conflicts	: 207
c decisions	: 89588
c propagations	: 198001
c inspects	: 496396
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 100
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 396.179
c starts	: 84
c conflicts	: 207
c decisions	: 90534
c propagations	: 200120
c inspects	: 501431
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 101
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 400.17
c starts	: 85
c conflicts	: 207
c decisions	: 91480
c propagations	: 202239
c inspects	: 506466
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 102
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 404.164
c starts	: 86
c conflicts	: 207
c decisions	: 92426
c propagations	: 204358
c inspects	: 511501
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 103
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 408.16
c starts	: 87
c conflicts	: 207
c decisions	: 93372
c propagations	: 206477
c inspects	: 516536
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 104
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 412.079
c starts	: 88
c conflicts	: 207
c decisions	: 94318
c propagations	: 208596
c inspects	: 521571
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 105
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 416.065
c starts	: 89
c conflicts	: 207
c decisions	: 95264
c propagations	: 210715
c inspects	: 526607
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 106
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 420.033
c starts	: 90
c conflicts	: 207
c decisions	: 96210
c propagations	: 212834
c inspects	: 531643
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 107
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 424.014
c starts	: 91
c conflicts	: 207
c decisions	: 97156
c propagations	: 214953
c inspects	: 536678
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 108
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 427.942
c starts	: 92
c conflicts	: 207
c decisions	: 98102
c propagations	: 217072
c inspects	: 541713
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 109
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 431.914
c starts	: 93
c conflicts	: 207
c decisions	: 99048
c propagations	: 219191
c inspects	: 546748
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 110
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 435.893
c starts	: 94
c conflicts	: 207
c decisions	: 99994
c propagations	: 221310
c inspects	: 551783
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 111
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 439.881
c starts	: 95
c conflicts	: 207
c decisions	: 100940
c propagations	: 223429
c inspects	: 556818
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 112
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 443.806
c starts	: 96
c conflicts	: 207
c decisions	: 101886
c propagations	: 225548
c inspects	: 561853
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 113
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 447.784
c starts	: 97
c conflicts	: 207
c decisions	: 102832
c propagations	: 227667
c inspects	: 566888
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 114
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 451.77
c starts	: 98
c conflicts	: 207
c decisions	: 103778
c propagations	: 229786
c inspects	: 571923
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 115
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 455.758
c starts	: 99
c conflicts	: 207
c decisions	: 104724
c propagations	: 231905
c inspects	: 576958
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 116
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 459.684
c starts	: 100
c conflicts	: 207
c decisions	: 105670
c propagations	: 234024
c inspects	: 581993
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 117
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 463.663
c starts	: 101
c conflicts	: 207
c decisions	: 106616
c propagations	: 236143
c inspects	: 587028
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 118
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 467.633
c starts	: 102
c conflicts	: 207
c decisions	: 107562
c propagations	: 238262
c inspects	: 592063
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 119
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 471.632
c starts	: 103
c conflicts	: 207
c decisions	: 108508
c propagations	: 240381
c inspects	: 597099
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 120
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 475.547
c starts	: 104
c conflicts	: 207
c decisions	: 109454
c propagations	: 242500
c inspects	: 602134
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 121
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 479.528
c starts	: 105
c conflicts	: 207
c decisions	: 110400
c propagations	: 244619
c inspects	: 607169
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 122
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 483.5
c starts	: 106
c conflicts	: 207
c decisions	: 111346
c propagations	: 246738
c inspects	: 612204
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 123
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 487.465
c starts	: 107
c conflicts	: 207
c decisions	: 112292
c propagations	: 248857
c inspects	: 617239
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 124
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 491.39
c starts	: 108
c conflicts	: 207
c decisions	: 113238
c propagations	: 250976
c inspects	: 622275
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 125
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 495.353
c starts	: 109
c conflicts	: 207
c decisions	: 114184
c propagations	: 253095
c inspects	: 627310
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 126
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 499.332
c starts	: 110
c conflicts	: 207
c decisions	: 115130
c propagations	: 255214
c inspects	: 632345
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 127
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 503.288
c starts	: 111
c conflicts	: 207
c decisions	: 116076
c propagations	: 257333
c inspects	: 637380
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 128
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 507.205
c starts	: 112
c conflicts	: 207
c decisions	: 117022
c propagations	: 259452
c inspects	: 642416
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 129
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 511.169
c starts	: 113
c conflicts	: 207
c decisions	: 117968
c propagations	: 261571
c inspects	: 647451
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 130
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 515.125
c starts	: 114
c conflicts	: 207
c decisions	: 118914
c propagations	: 263690
c inspects	: 652486
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 131
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 519.091
c starts	: 115
c conflicts	: 207
c decisions	: 119860
c propagations	: 265809
c inspects	: 657522
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 132
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 523.015
c starts	: 116
c conflicts	: 207
c decisions	: 120806
c propagations	: 267928
c inspects	: 662557
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 133
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 526.975
c starts	: 117
c conflicts	: 207
c decisions	: 121752
c propagations	: 270047
c inspects	: 667593
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 134
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 530.95
c starts	: 118
c conflicts	: 207
c decisions	: 122698
c propagations	: 272166
c inspects	: 672628
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 135
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 534.915
c starts	: 119
c conflicts	: 207
c decisions	: 123644
c propagations	: 274285
c inspects	: 677663
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 136
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 538.837
c starts	: 120
c conflicts	: 207
c decisions	: 124590
c propagations	: 276404
c inspects	: 682698
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 137
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 542.805
c starts	: 121
c conflicts	: 207
c decisions	: 125536
c propagations	: 278523
c inspects	: 687733
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 138
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 546.777
c starts	: 122
c conflicts	: 207
c decisions	: 126482
c propagations	: 280642
c inspects	: 692768
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 139
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 550.745
c starts	: 123
c conflicts	: 207
c decisions	: 127428
c propagations	: 282761
c inspects	: 697804
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 140
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 554.65
c starts	: 124
c conflicts	: 207
c decisions	: 128374
c propagations	: 284880
c inspects	: 702839
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 141
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 558.618
c starts	: 125
c conflicts	: 207
c decisions	: 129320
c propagations	: 286999
c inspects	: 707875
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 142
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 562.601
c starts	: 126
c conflicts	: 207
c decisions	: 130266
c propagations	: 289118
c inspects	: 712910
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 143
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 566.572
c starts	: 127
c conflicts	: 207
c decisions	: 131212
c propagations	: 291237
c inspects	: 717946
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 144
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 570.491
c starts	: 128
c conflicts	: 207
c decisions	: 132158
c propagations	: 293356
c inspects	: 722981
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 145
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 574.456
c starts	: 129
c conflicts	: 207
c decisions	: 133104
c propagations	: 295475
c inspects	: 728017
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 146
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 578.434
c starts	: 130
c conflicts	: 207
c decisions	: 134050
c propagations	: 297594
c inspects	: 733053
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 147
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 582.392
c starts	: 131
c conflicts	: 207
c decisions	: 134996
c propagations	: 299713
c inspects	: 738088
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 148
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 586.3
c starts	: 132
c conflicts	: 207
c decisions	: 135942
c propagations	: 301832
c inspects	: 743123
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 149
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 590.269
c starts	: 133
c conflicts	: 207
c decisions	: 136888
c propagations	: 303951
c inspects	: 748159
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 150
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 594.235
c starts	: 134
c conflicts	: 207
c decisions	: 137834
c propagations	: 306070
c inspects	: 753194
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 151
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 598.199
c starts	: 135
c conflicts	: 207
c decisions	: 138780
c propagations	: 308189
c inspects	: 758229
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 152
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 602.108
c starts	: 136
c conflicts	: 207
c decisions	: 139726
c propagations	: 310308
c inspects	: 763264
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 153
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 606.071
c starts	: 137
c conflicts	: 207
c decisions	: 140672
c propagations	: 312427
c inspects	: 768299
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 154
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 610.024
c starts	: 138
c conflicts	: 207
c decisions	: 141618
c propagations	: 314546
c inspects	: 773334
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 155
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 613.929
c starts	: 139
c conflicts	: 207
c decisions	: 142564
c propagations	: 316665
c inspects	: 778369
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 156
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 617.887
c starts	: 140
c conflicts	: 207
c decisions	: 143510
c propagations	: 318784
c inspects	: 783404
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 157
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 621.843
c starts	: 141
c conflicts	: 207
c decisions	: 144456
c propagations	: 320903
c inspects	: 788439
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 158
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 625.803
c starts	: 142
c conflicts	: 207
c decisions	: 145402
c propagations	: 323022
c inspects	: 793474
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 159
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 629.731
c starts	: 143
c conflicts	: 207
c decisions	: 146348
c propagations	: 325141
c inspects	: 798509
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 160
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 633.677
c starts	: 144
c conflicts	: 207
c decisions	: 147294
c propagations	: 327260
c inspects	: 803545
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 161
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 637.639
c starts	: 145
c conflicts	: 207
c decisions	: 148240
c propagations	: 329379
c inspects	: 808581
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 162
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 641.652
c starts	: 146
c conflicts	: 207
c decisions	: 149186
c propagations	: 331498
c inspects	: 813616
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 163
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 645.648
c starts	: 147
c conflicts	: 207
c decisions	: 150132
c propagations	: 333617
c inspects	: 818651
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 164
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 649.62
c starts	: 148
c conflicts	: 207
c decisions	: 151078
c propagations	: 335736
c inspects	: 823686
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 165
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 653.613
c starts	: 149
c conflicts	: 207
c decisions	: 152024
c propagations	: 337855
c inspects	: 828721
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 166
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 657.606
c starts	: 150
c conflicts	: 207
c decisions	: 152970
c propagations	: 339974
c inspects	: 833756
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 167
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 661.552
c starts	: 151
c conflicts	: 207
c decisions	: 153916
c propagations	: 342093
c inspects	: 838792
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 168
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 665.531
c starts	: 152
c conflicts	: 207
c decisions	: 154862
c propagations	: 344212
c inspects	: 843827
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 169
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 669.522
c starts	: 153
c conflicts	: 207
c decisions	: 155808
c propagations	: 346331
c inspects	: 848862
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 170
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 673.515
c starts	: 154
c conflicts	: 207
c decisions	: 156754
c propagations	: 348450
c inspects	: 853897
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 171
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 677.436
c starts	: 155
c conflicts	: 207
c decisions	: 157700
c propagations	: 350569
c inspects	: 858932
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 172
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 681.397
c starts	: 156
c conflicts	: 207
c decisions	: 158646
c propagations	: 352688
c inspects	: 863967
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 173
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 685.37
c starts	: 157
c conflicts	: 207
c decisions	: 159592
c propagations	: 354807
c inspects	: 869002
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 174
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 689.355
c starts	: 158
c conflicts	: 207
c decisions	: 160538
c propagations	: 356926
c inspects	: 874037
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 175
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 693.291
c starts	: 159
c conflicts	: 207
c decisions	: 161484
c propagations	: 359045
c inspects	: 879072
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 176
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 697.27
c starts	: 160
c conflicts	: 207
c decisions	: 162430
c propagations	: 361164
c inspects	: 884108
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 177
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 701.254
c starts	: 161
c conflicts	: 207
c decisions	: 163376
c propagations	: 363283
c inspects	: 889143
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 178
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 705.238
c starts	: 162
c conflicts	: 207
c decisions	: 164322
c propagations	: 365402
c inspects	: 894178
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 179
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 709.183
c starts	: 163
c conflicts	: 207
c decisions	: 165268
c propagations	: 367521
c inspects	: 899214
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 180
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 713.158
c starts	: 164
c conflicts	: 207
c decisions	: 166214
c propagations	: 369640
c inspects	: 904249
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 181
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 717.152
c starts	: 165
c conflicts	: 207
c decisions	: 167160
c propagations	: 371759
c inspects	: 909284
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 182
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 721.136
c starts	: 166
c conflicts	: 207
c decisions	: 168106
c propagations	: 373878
c inspects	: 914319
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 183
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 725.09
c starts	: 167
c conflicts	: 207
c decisions	: 169052
c propagations	: 375997
c inspects	: 919354
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 184
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 729.081
c starts	: 168
c conflicts	: 207
c decisions	: 169998
c propagations	: 378116
c inspects	: 924389
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 185
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 733.084
c starts	: 169
c conflicts	: 207
c decisions	: 170944
c propagations	: 380235
c inspects	: 929425
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 186
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 737.078
c starts	: 170
c conflicts	: 207
c decisions	: 171890
c propagations	: 382354
c inspects	: 934460
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 187
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 741.02
c starts	: 171
c conflicts	: 207
c decisions	: 172836
c propagations	: 384473
c inspects	: 939495
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 188
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 745.024
c starts	: 172
c conflicts	: 207
c decisions	: 173782
c propagations	: 386592
c inspects	: 944530
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 189
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 749.024
c starts	: 173
c conflicts	: 207
c decisions	: 174728
c propagations	: 388711
c inspects	: 949566
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 190
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 753.031
c starts	: 174
c conflicts	: 207
c decisions	: 175674
c propagations	: 390830
c inspects	: 954602
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 191
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 756.977
c starts	: 175
c conflicts	: 207
c decisions	: 176620
c propagations	: 392949
c inspects	: 959637
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 192
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 760.974
c starts	: 176
c conflicts	: 207
c decisions	: 177566
c propagations	: 395068
c inspects	: 964673
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 193
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 764.962
c starts	: 177
c conflicts	: 207
c decisions	: 178512
c propagations	: 397187
c inspects	: 969708
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 194
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 768.944
c starts	: 178
c conflicts	: 207
c decisions	: 179458
c propagations	: 399306
c inspects	: 974743
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 195
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 772.884
c starts	: 179
c conflicts	: 207
c decisions	: 180404
c propagations	: 401425
c inspects	: 979778
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 196
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 776.869
c starts	: 180
c conflicts	: 207
c decisions	: 181350
c propagations	: 403544
c inspects	: 984814
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 197
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 780.86
c starts	: 181
c conflicts	: 207
c decisions	: 182296
c propagations	: 405663
c inspects	: 989849
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 198
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 784.849
c starts	: 182
c conflicts	: 207
c decisions	: 183242
c propagations	: 407782
c inspects	: 994885
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 199
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 788.795
c starts	: 183
c conflicts	: 207
c decisions	: 184188
c propagations	: 409901
c inspects	: 999920
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 200
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 792.789
c starts	: 184
c conflicts	: 207
c decisions	: 185134
c propagations	: 412020
c inspects	: 1004956
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 201
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 796.792
c starts	: 185
c conflicts	: 207
c decisions	: 186080
c propagations	: 414139
c inspects	: 1009992
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 202
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 800.786
c starts	: 186
c conflicts	: 207
c decisions	: 187026
c propagations	: 416258
c inspects	: 1015027
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 203
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 804.746
c starts	: 187
c conflicts	: 207
c decisions	: 187972
c propagations	: 418377
c inspects	: 1020063
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 204
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 808.774
c starts	: 188
c conflicts	: 207
c decisions	: 188918
c propagations	: 420496
c inspects	: 1025099
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 205
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 812.794
c starts	: 189
c conflicts	: 207
c decisions	: 189864
c propagations	: 422615
c inspects	: 1030135
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 206
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 816.805
c starts	: 190
c conflicts	: 207
c decisions	: 190810
c propagations	: 424734
c inspects	: 1035170
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 207
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 820.773
c starts	: 191
c conflicts	: 207
c decisions	: 191756
c propagations	: 426853
c inspects	: 1040205
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 208
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 824.806
c starts	: 192
c conflicts	: 207
c decisions	: 192702
c propagations	: 428972
c inspects	: 1045240
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 209
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 828.841
c starts	: 193
c conflicts	: 207
c decisions	: 193648
c propagations	: 431091
c inspects	: 1050276
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 210
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 832.881
c starts	: 194
c conflicts	: 207
c decisions	: 194594
c propagations	: 433210
c inspects	: 1055311
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 211
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 836.852
c starts	: 195
c conflicts	: 207
c decisions	: 195540
c propagations	: 435329
c inspects	: 1060346
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 212
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 840.887
c starts	: 196
c conflicts	: 207
c decisions	: 196486
c propagations	: 437448
c inspects	: 1065381
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 213
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 844.919
c starts	: 197
c conflicts	: 207
c decisions	: 197432
c propagations	: 439567
c inspects	: 1070416
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 214
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 848.967
c starts	: 198
c conflicts	: 207
c decisions	: 198378
c propagations	: 441686
c inspects	: 1075451
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 215
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 852.943
c starts	: 199
c conflicts	: 207
c decisions	: 199324
c propagations	: 443805
c inspects	: 1080486
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 216
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 856.974
c starts	: 200
c conflicts	: 207
c decisions	: 200270
c propagations	: 445924
c inspects	: 1085522
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 217
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 861.001
c starts	: 201
c conflicts	: 207
c decisions	: 201216
c propagations	: 448043
c inspects	: 1090557
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 218
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 865.014
c starts	: 202
c conflicts	: 207
c decisions	: 202162
c propagations	: 450162
c inspects	: 1095592
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 219
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 868.968
c starts	: 203
c conflicts	: 207
c decisions	: 203108
c propagations	: 452281
c inspects	: 1100627
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 220
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 872.963
c starts	: 204
c conflicts	: 207
c decisions	: 204054
c propagations	: 454400
c inspects	: 1105662
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 221
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 876.971
c starts	: 205
c conflicts	: 207
c decisions	: 205000
c propagations	: 456519
c inspects	: 1110697
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 222
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 880.971
c starts	: 206
c conflicts	: 207
c decisions	: 205946
c propagations	: 458638
c inspects	: 1115732
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 223
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 884.922
c starts	: 207
c conflicts	: 207
c decisions	: 206892
c propagations	: 460757
c inspects	: 1120768
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 224
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 888.918
c starts	: 208
c conflicts	: 207
c decisions	: 207838
c propagations	: 462876
c inspects	: 1125803
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 225
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 892.914
c starts	: 209
c conflicts	: 207
c decisions	: 208784
c propagations	: 464995
c inspects	: 1130838
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 226
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 896.908
c starts	: 210
c conflicts	: 207
c decisions	: 209730
c propagations	: 467114
c inspects	: 1135873
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 227
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 900.86
c starts	: 211
c conflicts	: 207
c decisions	: 210676
c propagations	: 469233
c inspects	: 1140908
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 228
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 904.842
c starts	: 212
c conflicts	: 207
c decisions	: 211622
c propagations	: 471352
c inspects	: 1145943
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 229
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 908.839
c starts	: 213
c conflicts	: 207
c decisions	: 212568
c propagations	: 473471
c inspects	: 1150979
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 230
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 912.834
c starts	: 214
c conflicts	: 207
c decisions	: 213514
c propagations	: 475590
c inspects	: 1156014
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 231
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 916.779
c starts	: 215
c conflicts	: 207
c decisions	: 214460
c propagations	: 477709
c inspects	: 1161049
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 232
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 920.767
c starts	: 216
c conflicts	: 207
c decisions	: 215406
c propagations	: 479828
c inspects	: 1166084
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 233
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 924.756
c starts	: 217
c conflicts	: 207
c decisions	: 216352
c propagations	: 481947
c inspects	: 1171120
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 234
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 928.753
c starts	: 218
c conflicts	: 207
c decisions	: 217298
c propagations	: 484066
c inspects	: 1176156
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 235
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 932.696
c starts	: 219
c conflicts	: 207
c decisions	: 218244
c propagations	: 486185
c inspects	: 1181191
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 236
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 936.69
c starts	: 220
c conflicts	: 207
c decisions	: 219190
c propagations	: 488304
c inspects	: 1186227
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 237
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 940.698
c starts	: 221
c conflicts	: 207
c decisions	: 220136
c propagations	: 490423
c inspects	: 1191263
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 238
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 944.681
c starts	: 222
c conflicts	: 207
c decisions	: 221082
c propagations	: 492542
c inspects	: 1196298
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 239
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 948.624
c starts	: 223
c conflicts	: 207
c decisions	: 222028
c propagations	: 494661
c inspects	: 1201334
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 240
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 952.613
c starts	: 224
c conflicts	: 207
c decisions	: 222974
c propagations	: 496780
c inspects	: 1206369
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 241
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 956.615
c starts	: 225
c conflicts	: 207
c decisions	: 223920
c propagations	: 498899
c inspects	: 1211404
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 242
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 960.614
c starts	: 226
c conflicts	: 207
c decisions	: 224866
c propagations	: 501018
c inspects	: 1216439
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 243
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 964.571
c starts	: 227
c conflicts	: 207
c decisions	: 225812
c propagations	: 503137
c inspects	: 1221474
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 244
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 968.583
c starts	: 228
c conflicts	: 207
c decisions	: 226758
c propagations	: 505256
c inspects	: 1226509
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 245
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 972.581
c starts	: 229
c conflicts	: 207
c decisions	: 227704
c propagations	: 507375
c inspects	: 1231544
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 246
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 976.589
c starts	: 230
c conflicts	: 207
c decisions	: 228650
c propagations	: 509494
c inspects	: 1236580
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 247
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 980.544
c starts	: 231
c conflicts	: 207
c decisions	: 229596
c propagations	: 511613
c inspects	: 1241615
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 248
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 984.547
c starts	: 232
c conflicts	: 207
c decisions	: 230542
c propagations	: 513732
c inspects	: 1246650
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 249
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 988.556
c starts	: 233
c conflicts	: 207
c decisions	: 231488
c propagations	: 515851
c inspects	: 1251686
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 250
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 992.562
c starts	: 234
c conflicts	: 207
c decisions	: 232434
c propagations	: 517970
c inspects	: 1256721
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 251
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 996.518
c starts	: 235
c conflicts	: 207
c decisions	: 233380
c propagations	: 520089
c inspects	: 1261756
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 252
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1000.53
c starts	: 236
c conflicts	: 207
c decisions	: 234326
c propagations	: 522208
c inspects	: 1266791
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 253
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1004.536
c starts	: 237
c conflicts	: 207
c decisions	: 235272
c propagations	: 524327
c inspects	: 1271826
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 254
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1008.537
c starts	: 238
c conflicts	: 207
c decisions	: 236218
c propagations	: 526446
c inspects	: 1276861
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 255
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1012.49
c starts	: 239
c conflicts	: 207
c decisions	: 237164
c propagations	: 528565
c inspects	: 1281897
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 256
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1016.492
c starts	: 240
c conflicts	: 207
c decisions	: 238110
c propagations	: 530684
c inspects	: 1286932
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 257
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1020.511
c starts	: 241
c conflicts	: 207
c decisions	: 239056
c propagations	: 532803
c inspects	: 1291967
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 258
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1024.524
c starts	: 242
c conflicts	: 207
c decisions	: 240002
c propagations	: 534922
c inspects	: 1297003
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 259
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1028.522
c starts	: 243
c conflicts	: 207
c decisions	: 240948
c propagations	: 537041
c inspects	: 1302039
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 260
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1032.599
c starts	: 244
c conflicts	: 207
c decisions	: 241894
c propagations	: 539160
c inspects	: 1307074
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 261
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1036.601
c starts	: 245
c conflicts	: 207
c decisions	: 242840
c propagations	: 541279
c inspects	: 1312109
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 262
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1040.604
c starts	: 246
c conflicts	: 207
c decisions	: 243786
c propagations	: 543398
c inspects	: 1317144
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 263
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1044.555
c starts	: 247
c conflicts	: 207
c decisions	: 244732
c propagations	: 545517
c inspects	: 1322179
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 264
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1048.56
c starts	: 248
c conflicts	: 207
c decisions	: 245678
c propagations	: 547636
c inspects	: 1327214
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 265
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1052.571
c starts	: 249
c conflicts	: 207
c decisions	: 246624
c propagations	: 549755
c inspects	: 1332249
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 266
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1056.584
c starts	: 250
c conflicts	: 207
c decisions	: 247570
c propagations	: 551874
c inspects	: 1337284
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 267
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1060.547
c starts	: 251
c conflicts	: 207
c decisions	: 248516
c propagations	: 553993
c inspects	: 1342320
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 268
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1064.55
c starts	: 252
c conflicts	: 207
c decisions	: 249462
c propagations	: 556112
c inspects	: 1347355
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 269
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1068.551
c starts	: 253
c conflicts	: 207
c decisions	: 250408
c propagations	: 558231
c inspects	: 1352391
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 270
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1072.559
c starts	: 254
c conflicts	: 207
c decisions	: 251354
c propagations	: 560350
c inspects	: 1357427
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 271
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1076.519
c starts	: 255
c conflicts	: 207
c decisions	: 252300
c propagations	: 562469
c inspects	: 1362462
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 272
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1080.519
c starts	: 256
c conflicts	: 207
c decisions	: 253246
c propagations	: 564588
c inspects	: 1367497
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 273
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1084.524
c starts	: 257
c conflicts	: 207
c decisions	: 254192
c propagations	: 566707
c inspects	: 1372532
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 274
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1088.53
c starts	: 258
c conflicts	: 207
c decisions	: 255138
c propagations	: 568826
c inspects	: 1377568
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 275
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1092.502
c starts	: 259
c conflicts	: 207
c decisions	: 256084
c propagations	: 570945
c inspects	: 1382603
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 276
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1096.527
c starts	: 260
c conflicts	: 207
c decisions	: 257030
c propagations	: 573064
c inspects	: 1387639
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 277
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1100.528
c starts	: 261
c conflicts	: 207
c decisions	: 257976
c propagations	: 575183
c inspects	: 1392674
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 278
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1104.539
c starts	: 262
c conflicts	: 207
c decisions	: 258922
c propagations	: 577302
c inspects	: 1397710
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 279
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1108.5
c starts	: 263
c conflicts	: 207
c decisions	: 259868
c propagations	: 579421
c inspects	: 1402745
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 280
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1112.524
c starts	: 264
c conflicts	: 207
c decisions	: 260814
c propagations	: 581540
c inspects	: 1407780
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 281
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1116.546
c starts	: 265
c conflicts	: 207
c decisions	: 261760
c propagations	: 583659
c inspects	: 1412815
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 282
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1120.581
c starts	: 266
c conflicts	: 207
c decisions	: 262706
c propagations	: 585778
c inspects	: 1417850
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 283
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1124.54
c starts	: 267
c conflicts	: 207
c decisions	: 263652
c propagations	: 587897
c inspects	: 1422885
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 284
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1128.536
c starts	: 268
c conflicts	: 207
c decisions	: 264598
c propagations	: 590016
c inspects	: 1427921
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 285
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1132.551
c starts	: 269
c conflicts	: 207
c decisions	: 265544
c propagations	: 592135
c inspects	: 1432956
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 286
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1136.561
c starts	: 270
c conflicts	: 207
c decisions	: 266490
c propagations	: 594254
c inspects	: 1437991
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 287
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1140.534
c starts	: 271
c conflicts	: 207
c decisions	: 267436
c propagations	: 596373
c inspects	: 1443026
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 288
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1144.548
c starts	: 272
c conflicts	: 207
c decisions	: 268382
c propagations	: 598492
c inspects	: 1448061
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 289
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1148.56
c starts	: 273
c conflicts	: 207
c decisions	: 269328
c propagations	: 600611
c inspects	: 1453096
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 290
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1152.576
c starts	: 274
c conflicts	: 207
c decisions	: 270274
c propagations	: 602730
c inspects	: 1458132
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 291
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1156.539
c starts	: 275
c conflicts	: 207
c decisions	: 271220
c propagations	: 604849
c inspects	: 1463167
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 292
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1160.539
c starts	: 276
c conflicts	: 207
c decisions	: 272166
c propagations	: 606968
c inspects	: 1468202
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 293
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1164.547
c starts	: 277
c conflicts	: 207
c decisions	: 273112
c propagations	: 609087
c inspects	: 1473237
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 294
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1168.563
c starts	: 278
c conflicts	: 207
c decisions	: 274058
c propagations	: 611206
c inspects	: 1478273
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 295
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1171.09
c starts	: 279
c conflicts	: 207
c decisions	: 275004
c propagations	: 613325
c inspects	: 1483308
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 296
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1173.673
c starts	: 280
c conflicts	: 207
c decisions	: 275950
c propagations	: 615444
c inspects	: 1488343
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 297
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1176.255
c starts	: 281
c conflicts	: 207
c decisions	: 276896
c propagations	: 617563
c inspects	: 1493378
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 298
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1178.838
c starts	: 282
c conflicts	: 207
c decisions	: 277842
c propagations	: 619682
c inspects	: 1498413
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 299
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1181.427
c starts	: 283
c conflicts	: 207
c decisions	: 278788
c propagations	: 621801
c inspects	: 1503449
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 300
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1184.04
c starts	: 284
c conflicts	: 207
c decisions	: 279734
c propagations	: 623920
c inspects	: 1508484
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 301
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1186.602
c starts	: 285
c conflicts	: 207
c decisions	: 280680
c propagations	: 626039
c inspects	: 1513519
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 302
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1189.108
c starts	: 286
c conflicts	: 207
c decisions	: 281626
c propagations	: 628158
c inspects	: 1518555
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 303
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1191.613
c starts	: 287
c conflicts	: 207
c decisions	: 282572
c propagations	: 630277
c inspects	: 1523590
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 304
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1194.104
c starts	: 288
c conflicts	: 207
c decisions	: 283518
c propagations	: 632396
c inspects	: 1528625
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 305
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1196.618
c starts	: 289
c conflicts	: 207
c decisions	: 284464
c propagations	: 634515
c inspects	: 1533660
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 306
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1199.151
c starts	: 290
c conflicts	: 207
c decisions	: 285410
c propagations	: 636634
c inspects	: 1538696
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 307
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1201.69
c starts	: 291
c conflicts	: 207
c decisions	: 286356
c propagations	: 638753
c inspects	: 1543732
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 308
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1204.207
c starts	: 292
c conflicts	: 207
c decisions	: 287302
c propagations	: 640872
c inspects	: 1548768
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 309
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1206.763
c starts	: 293
c conflicts	: 207
c decisions	: 288248
c propagations	: 642991
c inspects	: 1553804
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 310
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1209.336
c starts	: 294
c conflicts	: 207
c decisions	: 289194
c propagations	: 645110
c inspects	: 1558839
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 311
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1211.935
c starts	: 295
c conflicts	: 207
c decisions	: 290140
c propagations	: 647229
c inspects	: 1563874
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 312
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1214.493
c starts	: 296
c conflicts	: 207
c decisions	: 291086
c propagations	: 649348
c inspects	: 1568909
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 313
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1217.095
c starts	: 297
c conflicts	: 207
c decisions	: 292032
c propagations	: 651467
c inspects	: 1573945
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 314
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1219.678
c starts	: 298
c conflicts	: 207
c decisions	: 292978
c propagations	: 653586
c inspects	: 1578981
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 315
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1222.267
c starts	: 299
c conflicts	: 207
c decisions	: 293924
c propagations	: 655705
c inspects	: 1584017
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 316
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1224.812
c starts	: 300
c conflicts	: 207
c decisions	: 294870
c propagations	: 657824
c inspects	: 1589053
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 317
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1227.386
c starts	: 301
c conflicts	: 207
c decisions	: 295816
c propagations	: 659943
c inspects	: 1594088
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 318
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1229.98
c starts	: 302
c conflicts	: 207
c decisions	: 296762
c propagations	: 662062
c inspects	: 1599123
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 319
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1232.588
c starts	: 303
c conflicts	: 207
c decisions	: 297708
c propagations	: 664181
c inspects	: 1604158
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 320
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1235.135
c starts	: 304
c conflicts	: 207
c decisions	: 298654
c propagations	: 666300
c inspects	: 1609193
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 321
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1237.739
c starts	: 305
c conflicts	: 207
c decisions	: 299600
c propagations	: 668419
c inspects	: 1614228
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 322
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1240.333
c starts	: 306
c conflicts	: 207
c decisions	: 300546
c propagations	: 670538
c inspects	: 1619263
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 323
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1242.92
c starts	: 307
c conflicts	: 207
c decisions	: 301492
c propagations	: 672657
c inspects	: 1624299
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 324
c 
c CURRENT OPTIMUM=-1123623994
c Current CPU time (ms) : 1245.487
c starts	: 308
c conflicts	: 207
c decisions	: 302438
c propagations	: 674776
c inspects	: 1629335
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 207
c root simplifications	: 325
#### 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.50 0.81 0.89 2/54 12231
Raw data (stat): 12231 (runsolver) R 12230 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485865689 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.73 0.85 0.90 3/64 12241
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18009 0 65 0 527 48 0 0 25 0 11 0 485865689 865030144 20790 4294967295 134512640 134569956 3221224400 3221214744 1131371595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211189 20790 13073 16 0 211173 0
vsize: 844756
[startup+20.0407 s]
Raw data (loadavg): 0.77 0.86 0.90 2/64 12241
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18011 0 65 0 1375 49 0 0 20 0 11 0 485865689 867127296 21953 4294967295 134512640 134569956 3221224400 3221214536 1131402591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 21953 13073 16 0 211685 0
vsize: 846804
[startup+30.0417 s]
Raw data (loadavg): 0.81 0.86 0.90 2/64 12242
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 2289 49 0 0 21 0 11 0 485865689 868175872 22585 4294967295 134512640 134569956 3221224400 3221214680 1131277202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211957 22585 13073 16 0 211941 0
vsize: 847828
[startup+40.0418 s]
Raw data (loadavg): 0.84 0.86 0.90 2/64 12243
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 3233 49 0 0 17 0 11 0 485865689 868175872 22942 4294967295 134512640 134569956 3221224400 3221214760 1131291725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211957 22942 13073 16 0 211941 0
vsize: 847828
[startup+50.042 s]
Raw data (loadavg): 0.86 0.87 0.91 2/64 12243
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 4174 49 0 0 22 0 11 0 485865689 868175872 23113 4294967295 134512640 134569956 3221224400 3221214664 1131373943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211957 23113 13073 16 0 211941 0
vsize: 847828
[startup+60.0421 s]
Raw data (loadavg): 0.88 0.87 0.91 2/64 12243
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 5122 49 0 0 23 0 11 0 485865689 868175872 23606 4294967295 134512640 134569956 3221224400 3221214648 1131605520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211957 23606 13073 16 0 211941 0
vsize: 847828
[startup+70.0419 s]
Raw data (loadavg): 0.90 0.88 0.91 2/64 12243
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 6084 49 0 0 21 0 11 0 485865689 868175872 23691 4294967295 134512640 134569956 3221224400 3221214648 1131605651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211957 23691 13073 16 0 211941 0
vsize: 847828
[startup+80.0426 s]
Raw data (loadavg): 0.99 0.90 0.91 3/64 12244
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 7042 50 0 0 25 0 11 0 485865689 869322752 24134 4294967295 134512640 134569956 3221224400 3221214664 1131277208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212237 24134 13073 16 0 212221 0
vsize: 848948
[startup+90.0426 s]
Raw data (loadavg): 0.99 0.90 0.91 2/64 12246
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 7999 50 0 0 25 0 11 0 485865689 868667392 23903 4294967295 134512640 134569956 3221224400 3221214664 1131277218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212077 23903 13073 16 0 212061 0
vsize: 848308
[startup+100.042 s]
Raw data (loadavg): 0.99 0.90 0.91 2/64 12248
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 8962 50 0 0 25 0 11 0 485865689 868667392 24041 4294967295 134512640 134569956 3221224400 3221214488 1131632437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212077 24041 13073 16 0 212061 0
vsize: 848308
[startup+110.043 s]
Raw data (loadavg): 0.99 0.91 0.91 2/64 12251
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 9923 51 0 0 25 0 11 0 485865689 867127296 23723 4294967295 134512640 134569956 3221224400 3221214664 1131277421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 23723 13073 16 0 211685 0
vsize: 846804
[startup+120.044 s]
Raw data (loadavg): 0.99 0.91 0.91 2/64 12253
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 10886 51 0 0 25 0 11 0 485865689 867127296 23904 4294967295 134512640 134569956 3221224400 3221214760 1131294408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 23904 13073 16 0 211685 0
vsize: 846804
[startup+130.044 s]
Raw data (loadavg): 0.99 0.91 0.91 2/64 12256
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 11852 52 0 0 25 0 11 0 485865689 867127296 24012 4294967295 134512640 134569956 3221224400 3221214616 1131259998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 24012 13073 16 0 211685 0
vsize: 846804
[startup+140.045 s]
Raw data (loadavg): 0.99 0.91 0.91 2/64 12258
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 12818 52 0 0 25 0 11 0 485865689 867127296 24101 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 24101 13073 16 0 211685 0
vsize: 846804
[startup+150.046 s]
Raw data (loadavg): 0.99 0.92 0.91 2/64 12261
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 13784 52 0 0 25 0 11 0 485865689 867127296 24242 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 24242 13073 16 0 211685 0
vsize: 846804
[startup+160.045 s]
Raw data (loadavg): 0.99 0.92 0.91 2/64 12263
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 14750 53 0 0 20 0 11 0 485865689 867127296 24320 4294967295 134512640 134569956 3221224400 3221214664 1131277170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 24320 13073 16 0 211685 0
vsize: 846804
[startup+170.046 s]
Raw data (loadavg): 0.99 0.92 0.91 2/64 12266
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 15715 53 1 0 19 0 11 0 485865689 867127296 24434 4294967295 134512640 134569956 3221224400 3221214664 1131276773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 24434 13073 16 0 211685 0
vsize: 846804
[startup+180.046 s]
Raw data (loadavg): 0.99 0.92 0.91 2/64 12268
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 16687 53 1 0 25 0 11 0 485865689 867127296 24516 4294967295 134512640 134569956 3221224400 3221214672 1131635053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 24516 13073 16 0 211685 0
vsize: 846804
[startup+190.046 s]
Raw data (loadavg): 0.99 0.92 0.91 2/64 12271
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 17649 53 1 0 17 0 11 0 485865689 867127296 24649 4294967295 134512640 134569956 3221224400 3221214760 1131292866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 24649 13073 16 0 211685 0
vsize: 846804
[startup+200.046 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 12274
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 18620 54 1 0 16 0 11 0 485865689 867127296 24748 4294967295 134512640 134569956 3221224400 3221214664 1131277447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 24748 13073 16 0 211685 0
vsize: 846804
[startup+210.046 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 12276
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 19587 54 1 0 25 0 11 0 485865689 867127296 24937 4294967295 134512640 134569956 3221224400 3221214488 1131632657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 24937 13073 16 0 211685 0
vsize: 846804
[startup+220.046 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 12279
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 20555 54 1 0 17 0 11 0 485865689 867127296 25021 4294967295 134512640 134569956 3221224400 3221214760 1131291828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 25021 13073 16 0 211685 0
vsize: 846804
[startup+230.047 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 12281
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 21522 54 1 0 24 0 11 0 485865689 867127296 25143 4294967295 134512640 134569956 3221224400 3221214488 1131632524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 25143 13073 16 0 211685 0
vsize: 846804
[startup+240.047 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 12284
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 22487 54 1 0 17 0 11 0 485865689 867127296 25268 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 25268 13073 16 0 211685 0
vsize: 846804
[startup+250.047 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 12286
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 23452 54 1 0 22 0 11 0 485865689 867127296 25391 4294967295 134512640 134569956 3221224400 3221214760 1131292866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 25391 13073 16 0 211685 0
vsize: 846804
[startup+260.048 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 12289
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 24415 55 1 0 16 0 11 0 485865689 867127296 25490 4294967295 134512640 134569956 3221224400 3221214664 1131277449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 25490 13073 16 0 211685 0
vsize: 846804
[startup+270.048 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 12291
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 25379 55 2 0 19 0 11 0 485865689 867127296 25635 4294967295 134512640 134569956 3221224400 3221214532 1085616771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 25635 13073 16 0 211685 0
vsize: 846804
[startup+280.048 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 12294
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 26349 55 2 0 18 0 11 0 485865689 867127296 25856 4294967295 134512640 134569956 3221224400 3221214664 1131277435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 25856 13073 16 0 211685 0
vsize: 846804
[startup+290.049 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 12296
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 27316 55 2 0 25 0 11 0 485865689 867127296 25992 4294967295 134512640 134569956 3221224400 3221214664 1131276955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 25992 13073 16 0 211685 0
vsize: 846804
[startup+300.049 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 12299
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 28285 55 2 0 20 0 11 0 485865689 867127296 26109 4294967295 134512640 134569956 3221224400 3221214664 1131277158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 26109 13073 16 0 211685 0
vsize: 846804
[startup+310.049 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 12301
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 29254 55 2 0 25 0 11 0 485865689 867127296 26215 4294967295 134512640 134569956 3221224400 3221214488 1131632540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 26215 13073 16 0 211685 0
vsize: 846804
[startup+320.049 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12304
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 30222 55 2 0 20 0 11 0 485865689 867127296 26281 4294967295 134512640 134569956 3221224400 3221214664 1131277728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 26281 13073 16 0 211685 0
vsize: 846804
[startup+330.05 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12306
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 31191 56 2 0 24 0 11 0 485865689 867127296 26384 4294967295 134512640 134569956 3221224400 3221214664 1131277373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 26384 13073 16 0 211685 0
vsize: 846804
[startup+340.05 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12309
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 32160 56 2 0 19 0 11 0 485865689 867127296 26510 4294967295 134512640 134569956 3221224400 3221214536 1131695781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 26510 13073 16 0 211685 0
vsize: 846804
[startup+350.05 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12311
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 33129 56 3 0 21 0 11 0 485865689 867127296 26628 4294967295 134512640 134569956 3221224400 3221214824 1131636660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 26628 13073 16 0 211685 0
vsize: 846804
[startup+360.052 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12314
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 34098 56 3 0 17 0 11 0 485865689 867127296 26694 4294967295 134512640 134569956 3221224400 3221214664 1131276773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 26694 13073 16 0 211685 0
vsize: 846804
[startup+370.052 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12316
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 35065 57 3 0 17 0 11 0 485865689 867127296 26803 4294967295 134512640 134569956 3221224400 3221214616 1131259000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 26803 13073 16 0 211685 0
vsize: 846804
[startup+380.052 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12319
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 36032 57 3 0 23 0 11 0 485865689 867127296 26895 4294967295 134512640 134569956 3221224400 3221214664 1131277334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 26895 13073 16 0 211685 0
vsize: 846804
[startup+390.052 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12321
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 36992 57 3 0 25 0 11 0 485865689 867127296 27018 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27018 13073 16 0 211685 0
vsize: 846804
[startup+400.053 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12324
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 37952 58 3 1 22 0 11 0 485865689 867127296 27125 4294967295 134512640 134569956 3221224400 3221214664 1131276769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27125 13073 16 0 211685 0
vsize: 846804
[startup+410.053 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12326
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 38913 58 3 1 25 0 11 0 485865689 867127296 27240 4294967295 134512640 134569956 3221224400 3221214664 1131277130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27240 13073 16 0 211685 0
vsize: 846804
[startup+420.054 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 12329
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 39875 58 3 1 25 0 11 0 485865689 867127296 27699 4294967295 134512640 134569956 3221224400 3221214664 1131277373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27699 13073 16 0 211685 0
vsize: 846804
[startup+430.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 12331
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 40840 59 3 1 25 0 11 0 485865689 867127296 27808 4294967295 134512640 134569956 3221224400 3221214488 1131632568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27808 13073 16 0 211685 0
vsize: 846804
[startup+440.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 12334
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 41804 59 3 1 25 0 11 0 485865689 867127296 27906 4294967295 134512640 134569956 3221224400 3221214616 1131259372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27906 13073 16 0 211685 0
vsize: 846804
[startup+450.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 12336
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 42765 60 4 1 25 0 11 0 485865689 867127296 28038 4294967295 134512640 134569956 3221224400 3221214664 1131276980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28038 13073 16 0 211685 0
vsize: 846804
[startup+460.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 12339
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 43726 60 4 1 25 0 11 0 485865689 867127296 28156 4294967295 134512640 134569956 3221224400 3221214712 1131636529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28156 13073 16 0 211685 0
vsize: 846804
[startup+470.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 12341
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 44689 61 4 1 25 0 11 0 485865689 867127296 28293 4294967295 134512640 134569956 3221224400 3221214736 1131632655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28293 13073 16 0 211685 0
vsize: 846804
[startup+480.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 12344
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 45653 61 4 1 25 0 11 0 485865689 867127296 28414 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28414 13073 16 0 211685 0
vsize: 846804
[startup+490.056 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 12346
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 46624 62 4 1 25 0 11 0 485865689 867127296 28528 4294967295 134512640 134569956 3221224400 3221214664 1131277266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28528 13073 16 0 211685 0
vsize: 846804
[startup+500.057 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 12349
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 47587 62 4 1 24 0 11 0 485865689 867127296 28693 4294967295 134512640 134569956 3221224400 3221214664 1131276968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28693 13073 16 0 211685 0
vsize: 846804
[startup+510.057 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 12351
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 48560 63 4 1 25 0 11 0 485865689 867127296 28762 4294967295 134512640 134569956 3221224400 3221214760 1131293725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 28762 13073 16 0 211685 0
vsize: 846804
[startup+520.057 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 12354
Raw data (stat): 12231 (java) S 12230 29653 29652 0 -1 0 18013 3 65 0 49526 64 5 1 25 0 11 0 485865689 867127296 28850 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28850 13073 16 0 211685 0
vsize: 846804
[startup+530.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12357
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 50494 65 5 1 25 0 11 0 485865689 867127296 28972 4294967295 134512640 134569956 3221224400 3221214616 1131635239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28972 13073 16 0 211685 0
vsize: 846804
[startup+540.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12359
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 51461 65 5 1 25 0 11 0 485865689 867127296 29068 4294967295 134512640 134569956 3221224400 3221214484 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29068 13073 16 0 211685 0
vsize: 846804
[startup+550.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12362
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 52428 66 5 1 25 0 11 0 485865689 867127296 29145 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29145 13073 16 0 211685 0
vsize: 846804
[startup+560.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12364
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 53395 66 5 1 25 0 11 0 485865689 867127296 29273 4294967295 134512640 134569956 3221224400 3221214664 1131277256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29273 13073 16 0 211685 0
vsize: 846804
[startup+570.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12367
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 54363 67 5 1 25 0 11 0 485865689 867127296 29358 4294967295 134512640 134569956 3221224400 3221214756 1131530147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29358 13073 16 0 211685 0
vsize: 846804
[startup+580.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12369
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 55331 67 5 1 25 0 11 0 485865689 867127296 29496 4294967295 134512640 134569956 3221224400 3221214664 1131277421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29496 13073 16 0 211685 0
vsize: 846804
[startup+590.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12372
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 56299 68 5 2 25 0 11 0 485865689 867127296 29579 4294967295 134512640 134569956 3221224400 3221214664 1131277801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29579 13073 16 0 211685 0
vsize: 846804
[startup+600.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12374
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 57266 69 6 2 25 0 11 0 485865689 867127296 29696 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29696 13073 16 0 211685 0
vsize: 846804
[startup+610.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12377
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 58233 69 6 2 25 0 11 0 485865689 867127296 29771 4294967295 134512640 134569956 3221224400 3221214760 1131293733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29771 13073 16 0 211685 0
vsize: 846804
[startup+620.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12379
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 59200 70 6 2 25 0 11 0 485865689 867127296 29874 4294967295 134512640 134569956 3221224400 3221214536 1131695703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29874 13073 16 0 211685 0
vsize: 846804
[startup+630.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12382
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 60168 70 6 2 25 0 11 0 485865689 867127296 29989 4294967295 134512640 134569956 3221224400 3221214664 1131277090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29989 13073 16 0 211685 0
vsize: 846804
[startup+640.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12384
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 61136 70 6 2 25 0 11 0 485865689 867127296 30102 4294967295 134512640 134569956 3221224400 3221214536 1131696259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30102 13073 16 0 211685 0
vsize: 846804
[startup+650.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12387
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 62097 71 6 2 18 0 11 0 485865689 867127296 30428 4294967295 134512640 134569956 3221224400 3221214664 1131277780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30428 13073 16 0 211685 0
vsize: 846804
[startup+660.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12389
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 63062 71 6 2 25 0 11 0 485865689 867127296 30547 4294967295 134512640 134569956 3221224400 3221214488 1131632572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30547 13073 16 0 211685 0
vsize: 846804
[startup+670.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12392
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 64025 72 6 2 24 0 11 0 485865689 867127296 30672 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30672 13073 16 0 211685 0
vsize: 846804
[startup+680.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12394
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 64997 73 7 2 25 0 11 0 485865689 867127296 31278 4294967295 134512640 134569956 3221224400 3221214488 1131632556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31278 13073 16 0 211685 0
vsize: 846804
[startup+690.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12397
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 65966 73 7 2 25 0 11 0 485865689 867127296 31278 4294967295 134512640 134569956 3221224400 3221214664 1131277443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31278 13073 16 0 211685 0
vsize: 846804
[startup+700.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12399
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 66932 73 7 2 25 0 11 0 485865689 867127296 31413 4294967295 134512640 134569956 3221224400 3221214676 1131632587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31413 13073 16 0 211685 0
vsize: 846804
[startup+710.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12402
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 67898 74 7 2 25 0 11 0 485865689 867127296 31515 4294967295 134512640 134569956 3221224400 3221214536 1131696037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31515 13073 16 0 211685 0
vsize: 846804
[startup+720.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12404
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 68864 75 7 2 25 0 11 0 485865689 867127296 31645 4294967295 134512640 134569956 3221224400 3221214784 1131635305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31645 13073 16 0 211685 0
vsize: 846804
[startup+730.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12407
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 69827 75 7 2 25 0 11 0 485865689 867127296 31741 4294967295 134512640 134569956 3221224400 3221214664 1131276773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31741 13073 16 0 211685 0
vsize: 846804
[startup+740.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12409
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 70790 76 7 2 25 0 11 0 485865689 867127296 31841 4294967295 134512640 134569956 3221224400 3221214608 1131635272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31841 13073 16 0 211685 0
vsize: 846804
[startup+750.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12412
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 71754 76 7 2 25 0 11 0 485865689 867127296 31977 4294967295 134512640 134569956 3221224400 3221214488 1131632593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31977 13073 16 0 211685 0
vsize: 846804
[startup+760.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12415
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 72723 77 7 2 25 0 11 0 485865689 867127296 32085 4294967295 134512640 134569956 3221224400 3221214800 1131623727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 32085 13073 16 0 211685 0
vsize: 846804
[startup+770.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12417
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 73683 77 7 2 25 0 11 0 485865689 867127296 32384 4294967295 134512640 134569956 3221224400 3221214820 1131635020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 32384 13073 16 0 211685 0
vsize: 846804
[startup+780.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12420
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 74656 78 8 2 25 0 11 0 485865689 867127296 32454 4294967295 134512640 134569956 3221224400 3221214760 1131294263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 32454 13073 16 0 211685 0
vsize: 846804
[startup+790.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12422
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 75619 79 8 2 25 0 11 0 485865689 867127296 32566 4294967295 134512640 134569956 3221224400 3221214904 1131702364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 32566 13073 16 0 211685 0
vsize: 846804
[startup+800.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12425
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 76587 80 8 3 25 0 11 0 485865689 867127296 32650 4294967295 134512640 134569956 3221224400 3221214760 1131291828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 32650 13073 16 0 211685 0
vsize: 846804
[startup+810.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12427
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 77551 80 8 3 25 0 11 0 485865689 867127296 32761 4294967295 134512640 134569956 3221224400 3221214664 1131277373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32761 13073 16 0 211685 0
vsize: 846804
[startup+820.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12430
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 78514 80 8 3 25 0 11 0 485865689 867127296 32890 4294967295 134512640 134569956 3221224400 3221214664 1131276972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 32890 13073 16 0 211685 0
vsize: 846804
[startup+830.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12432
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 79470 81 8 3 25 0 11 0 485865689 867127296 32996 4294967295 134512640 134569956 3221224400 3221214400 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 32996 13073 16 0 211685 0
vsize: 846804
[startup+840.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12435
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 80427 81 8 3 24 0 11 0 485865689 867127296 33098 4294967295 134512640 134569956 3221224400 3221214672 1131635247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 33098 13073 16 0 211685 0
vsize: 846804
[startup+850.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12437
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 81385 81 9 3 25 0 11 0 485865689 867127296 33241 4294967295 134512640 134569956 3221224400 3221214760 1131291763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 33241 13073 16 0 211685 0
vsize: 846804
[startup+860.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12440
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 82349 82 9 3 25 0 11 0 485865689 867127296 33372 4294967295 134512640 134569956 3221224400 3221214664 1131276857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 33372 13073 16 0 211685 0
vsize: 846804
[startup+870.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12442
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 83311 83 9 3 25 0 11 0 485865689 867127296 33578 4294967295 134512640 134569956 3221224400 3221214664 1131276780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 33578 13073 16 0 211685 0
vsize: 846804
[startup+880.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12445
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 84276 83 9 3 17 0 11 0 485865689 867127296 33669 4294967295 134512640 134569956 3221224400 3221214664 1131276861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 33669 13073 16 0 211685 0
vsize: 846804
[startup+890.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12447
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 85242 84 9 3 25 0 11 0 485865689 867127296 33803 4294967295 134512640 134569956 3221224400 3221214664 1131277589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 33803 13073 16 0 211685 0
vsize: 846804
[startup+900.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12450
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 86209 84 9 3 25 0 11 0 485865689 867127296 33924 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 33924 13073 16 0 211685 0
vsize: 846804
[startup+910.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12452
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 87177 85 9 3 25 0 11 0 485865689 867127296 34077 4294967295 134512640 134569956 3221224400 3221214532 1131696017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 34077 13073 16 0 211685 0
vsize: 846804
[startup+920.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12455
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 88145 85 10 3 25 0 11 0 485865689 867127296 34171 4294967295 134512640 134569956 3221224400 3221214664 1131277804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 34171 13073 16 0 211685 0
vsize: 846804
[startup+930.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12457
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 89114 86 10 3 25 0 11 0 485865689 867127296 34270 4294967295 134512640 134569956 3221224400 3221214664 1131277162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 34270 13073 16 0 211685 0
vsize: 846804
[startup+940.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12460
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 90087 86 10 3 19 0 11 0 485865689 867127296 34330 4294967295 134512640 134569956 3221224400 3221214712 1131177893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34330 13073 16 0 211685 0
vsize: 846804
[startup+950.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12462
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 91052 87 10 3 25 0 11 0 485865689 867127296 34435 4294967295 134512640 134569956 3221224400 3221214664 1131277447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 34435 13073 16 0 211685 0
vsize: 846804
[startup+960.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12465
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 92025 87 10 3 25 0 11 0 485865689 867127296 34501 4294967295 134512640 134569956 3221224400 3221214760 1131292667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 34501 13073 16 0 211685 0
vsize: 846804
[startup+970.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12467
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 92991 87 10 3 25 0 11 0 485865689 867127296 34609 4294967295 134512640 134569956 3221224400 3221214532 1131632416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 34609 13073 16 0 211685 0
vsize: 846804
[startup+980.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12470
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 93959 88 11 3 25 0 11 0 485865689 867127296 34674 4294967295 134512640 134569956 3221224400 3221214664 1131277099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 34674 13073 16 0 211685 0
vsize: 846804
[startup+990.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12472
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 94925 88 11 3 25 0 11 0 485865689 867127296 34769 4294967295 134512640 134569956 3221224400 3221214760 1131291767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 34769 13073 16 0 211685 0
vsize: 846804
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12475
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 95891 89 11 3 25 0 11 0 485865689 867127296 34849 4294967295 134512640 134569956 3221224400 3221214760 1131291567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 34849 13073 16 0 211685 0
vsize: 846804
[startup+1010.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12477
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 96857 90 11 3 25 0 11 0 485865689 867127296 35008 4294967295 134512640 134569956 3221224400 3221214484 1131632592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 35008 13073 16 0 211685 0
vsize: 846804
[startup+1020.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 12480
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 97823 91 11 4 25 0 11 0 485865689 867127296 35071 4294967295 134512640 134569956 3221224400 3221214536 1131695984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 35071 13073 16 0 211685 0
vsize: 846804
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/68 12486
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 98789 91 11 4 25 0 11 0 485865689 867127296 35222 4294967295 134512640 134569956 3221224400 3221214664 1131277158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 35222 13073 16 0 211685 0
vsize: 846804
[startup+1040.13 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 12538
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 99757 93 12 4 25 0 11 0 485865689 867127296 35309 4294967295 134512640 134569956 3221224400 3221214664 1131277316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 35309 13073 16 0 211685 0
vsize: 846804
[startup+1050.13 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 12540
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 100724 93 12 4 25 0 11 0 485865689 867127296 35433 4294967295 134512640 134569956 3221224400 3221214592 1085679308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 35433 13073 16 0 211685 0
vsize: 846804
[startup+1060.13 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 12543
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 101691 94 12 4 25 0 11 0 485865689 867127296 35575 4294967295 134512640 134569956 3221224400 3221214664 1131277676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 35575 13073 16 0 211685 0
vsize: 846804
[startup+1070.13 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 12545
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 102659 94 12 4 25 0 11 0 485865689 867127296 35687 4294967295 134512640 134569956 3221224400 3221214664 1131276857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 35687 13073 16 0 211685 0
vsize: 846804
[startup+1080.13 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 12548
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 103627 94 12 4 19 0 11 0 485865689 867127296 35758 4294967295 134512640 134569956 3221224400 3221214664 1131277401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 35758 13073 16 0 211685 0
vsize: 846804
[startup+1090.13 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 12550
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 104594 94 12 4 25 0 11 0 485865689 867127296 35868 4294967295 134512640 134569956 3221224400 3221214664 1131277393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 35868 13073 16 0 211685 0
vsize: 846804
[startup+1100.13 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 12555
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 105561 95 13 4 25 0 11 0 485865689 867127296 35950 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 35950 13073 16 0 211685 0
vsize: 846804
[startup+1110.13 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 12557
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 106528 95 13 4 25 0 11 0 485865689 867127296 36074 4294967295 134512640 134569956 3221224400 3221214780 1131634240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 36074 13073 16 0 211685 0
vsize: 846804
[startup+1120.13 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 12560
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 107499 95 13 4 25 0 11 0 485865689 867127296 36132 4294967295 134512640 134569956 3221224400 3221214664 1131276769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 36132 13073 16 0 211685 0
vsize: 846804
[startup+1130.13 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 12562
Raw data (stat): 12231 (java) S 12230 29653 29652 0 -1 0 18013 3 65 0 108465 95 13 4 25 0 11 0 485865689 867127296 36260 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 36260 13073 16 0 211685 0
vsize: 846804
[startup+1140.14 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 12565
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 109433 96 13 4 25 0 11 0 485865689 867127296 36351 4294967295 134512640 134569956 3221224400 3221214664 1131276802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 36351 13073 16 0 211685 0
vsize: 846804
[startup+1150.14 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 12567
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 110400 96 13 4 25 0 11 0 485865689 867127296 36485 4294967295 134512640 134569956 3221224400 3221214664 1131277810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 36485 13073 16 0 211685 0
vsize: 846804
[startup+1160.14 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 12570
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 111368 97 13 4 25 0 11 0 485865689 867127296 36573 4294967295 134512640 134569956 3221224400 3221214760 1131292852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 36573 13073 16 0 211685 0
vsize: 846804
[startup+1170.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 12572
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 112336 97 14 4 25 0 11 0 485865689 867127296 36671 4294967295 134512640 134569956 3221224400 3221214664 1131277524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 36671 13073 16 0 211685 0
vsize: 846804
[startup+1180.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 12576
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 113290 97 14 4 25 0 11 0 485865689 867127296 36813 4294967295 134512640 134569956 3221224400 3221214664 1131277589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 36813 13073 16 0 211685 0
vsize: 846804
[startup+1190.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 12580
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 114241 98 14 5 24 0 11 0 485865689 867127296 39130 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 39130 13073 16 0 211685 0
vsize: 846804
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 12584
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 115219 98 14 5 24 0 11 0 485865689 867127296 39130 4294967295 134512640 134569956 3221224400 3221214664 1131277221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 39130 13073 16 0 211685 0
vsize: 846804
[startup+1210.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 12588
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 116188 99 14 5 25 0 11 0 485865689 867127296 39130 4294967295 134512640 134569956 3221224400 3221214664 1131277431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 39130 13073 16 0 211685 0
vsize: 846804
[startup+1220.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 12592
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 117141 99 15 5 25 0 11 0 485865689 867127296 39188 4294967295 134512640 134569956 3221224400 3221214800 1131622865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 39188 13073 16 0 211685 0
vsize: 846804
[startup+1230.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 12595
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 118093 99 15 5 25 0 11 0 485865689 867127296 39327 4294967295 134512640 134569956 3221224400 3221214760 1131291535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 39327 13073 16 0 211685 0
vsize: 846804
[startup+1240.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 12599
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 119046 100 15 5 25 0 11 0 485865689 867127296 39447 4294967295 134512640 134569956 3221224400 3221214664 1131277130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 39447 13073 16 0 211685 0
vsize: 846804
[startup+1250.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 12603
Raw data (stat): 12231 (java) R 12230 29653 29652 0 -1 0 18013 3 65 0 119994 101 15 5 25 0 11 0 485865689 867127296 39613 4294967295 134512640 134569956 3221224400 3221214760 1131291828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 39613 13073 16 0 211685 0
vsize: 846804
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.26 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 12605
Raw data (stat): 12231 (java) Z 12230 29653 29652 0 -1 1036 18013 18721 65 0 119999 101 4333 51 25 0 1 0 485865689 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.26
CPU time (s): 1244.86
CPU user time (s): 1243.33
CPU system time (s): 1.53377
CPU usage (%): 99.5682
Max. virtual memory (Kb): 848948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####