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-bell4.opb
MD5SUM	3cce8c056d32fd25c784b4e9cbdd2db6
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	1527
Biggest coefficient in the objective function	4949278720000000
Number of bits for the biggest coefficient in the objective function	53
Sum of the numbers in the objective function	114314457147588882
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	4949278720000000
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	114314457147588882
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1226.37
Number of variables	1996
Total number of constraints	169
Number of constraints which are clauses	18
Number of constraints which are cardinality constraints (but not clauses)	34
Number of constraints which are nor clauses,nor cardinality constraints	117
Minimum length of a constraint	1
Maximum length of a constraint	135
Trace number 22324

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        699776 kB
Buffers:         19280 kB
Cached:         290380 kB
SwapCached:        352 kB
Active:          42464 kB
Inactive:       269900 kB
HighTotal:      131008 kB
HighFree:         4424 kB
LowTotal:       903652 kB
LowFree:        695352 kB
SwapTotal:     2097892 kB
SwapFree:      2097328 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5980 kB
Slab:            16960 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 03:14:05 (client local time) WITH STATUS 143 IN 1263.27 SECONDS
stats: 11722 7 1263.27 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-bell4.opb
c reading problem 
c [nbvar=1996]
c [nbconstr=169]
c time 3.734
c #vars     1996
c #clauses  135
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=1938639872
c Current CPU time (ms) : 12.004
c starts	: 1
c conflicts	: 29
c decisions	: 1881
c propagations	: 3460
c inspects	: 4154
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 29
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-537119552
c Current CPU time (ms) : 30.587
c starts	: 2
c conflicts	: 61
c decisions	: 7950
c propagations	: 15094
c inspects	: 32688
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 61
c root simplifications	: 13
c 
c CURRENT OPTIMUM=448562416
c Current CPU time (ms) : 38.109
c starts	: 3
c conflicts	: 68
c decisions	: 9775
c propagations	: 18420
c inspects	: 42624
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 68
c root simplifications	: 16
c 
c CURRENT OPTIMUM=465805192
c Current CPU time (ms) : 45.967
c starts	: 4
c conflicts	: 106
c decisions	: 11184
c propagations	: 20817
c inspects	: 50031
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 106
c root simplifications	: 17
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 57.605
c starts	: 5
c conflicts	: 113
c decisions	: 13046
c propagations	: 24995
c inspects	: 64408
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 23
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 62.047
c starts	: 6
c conflicts	: 113
c decisions	: 13830
c propagations	: 26839
c inspects	: 68837
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 24
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 66.446
c starts	: 7
c conflicts	: 113
c decisions	: 14614
c propagations	: 28683
c inspects	: 73248
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 25
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 70.863
c starts	: 8
c conflicts	: 113
c decisions	: 15398
c propagations	: 30527
c inspects	: 77661
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 26
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 75.272
c starts	: 9
c conflicts	: 113
c decisions	: 16182
c propagations	: 32371
c inspects	: 82073
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 27
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 79.652
c starts	: 10
c conflicts	: 113
c decisions	: 16966
c propagations	: 34215
c inspects	: 86484
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 28
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 84.014
c starts	: 11
c conflicts	: 113
c decisions	: 17750
c propagations	: 36059
c inspects	: 90896
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 29
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 88.395
c starts	: 12
c conflicts	: 113
c decisions	: 18534
c propagations	: 37903
c inspects	: 95309
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 30
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 92.785
c starts	: 13
c conflicts	: 113
c decisions	: 19318
c propagations	: 39747
c inspects	: 99720
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 31
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 97.138
c starts	: 14
c conflicts	: 113
c decisions	: 20102
c propagations	: 41591
c inspects	: 104132
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 32
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 101.506
c starts	: 15
c conflicts	: 113
c decisions	: 20886
c propagations	: 43435
c inspects	: 108544
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 33
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 105.909
c starts	: 16
c conflicts	: 113
c decisions	: 21670
c propagations	: 45279
c inspects	: 112957
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 34
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 110.257
c starts	: 17
c conflicts	: 113
c decisions	: 22454
c propagations	: 47123
c inspects	: 117371
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 35
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 114.607
c starts	: 18
c conflicts	: 113
c decisions	: 23238
c propagations	: 48967
c inspects	: 121784
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 36
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 118.993
c starts	: 19
c conflicts	: 113
c decisions	: 24022
c propagations	: 50811
c inspects	: 126197
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 37
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 123.334
c starts	: 20
c conflicts	: 113
c decisions	: 24806
c propagations	: 52655
c inspects	: 130609
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 38
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 127.682
c starts	: 21
c conflicts	: 113
c decisions	: 25590
c propagations	: 54499
c inspects	: 135021
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 39
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 132.039
c starts	: 22
c conflicts	: 113
c decisions	: 26374
c propagations	: 56343
c inspects	: 139433
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 40
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 136.426
c starts	: 23
c conflicts	: 113
c decisions	: 27158
c propagations	: 58187
c inspects	: 143844
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 41
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 140.803
c starts	: 24
c conflicts	: 113
c decisions	: 27942
c propagations	: 60031
c inspects	: 148257
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 42
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 145.171
c starts	: 25
c conflicts	: 113
c decisions	: 28726
c propagations	: 61875
c inspects	: 152669
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 43
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 149.559
c starts	: 26
c conflicts	: 113
c decisions	: 29510
c propagations	: 63719
c inspects	: 157082
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 44
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 153.926
c starts	: 27
c conflicts	: 113
c decisions	: 30294
c propagations	: 65563
c inspects	: 161494
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 45
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 158.273
c starts	: 28
c conflicts	: 113
c decisions	: 31078
c propagations	: 67407
c inspects	: 165907
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 46
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 162.667
c starts	: 29
c conflicts	: 113
c decisions	: 31862
c propagations	: 69251
c inspects	: 170319
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 47
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 167.023
c starts	: 30
c conflicts	: 113
c decisions	: 32646
c propagations	: 71095
c inspects	: 174730
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 48
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 171.385
c starts	: 31
c conflicts	: 113
c decisions	: 33430
c propagations	: 72939
c inspects	: 179143
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 49
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 175.742
c starts	: 32
c conflicts	: 113
c decisions	: 34214
c propagations	: 74783
c inspects	: 183555
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 50
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 180.127
c starts	: 33
c conflicts	: 113
c decisions	: 34998
c propagations	: 76627
c inspects	: 187968
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 51
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 184.478
c starts	: 34
c conflicts	: 113
c decisions	: 35782
c propagations	: 78471
c inspects	: 192379
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 52
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 188.833
c starts	: 35
c conflicts	: 113
c decisions	: 36566
c propagations	: 80315
c inspects	: 196791
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 53
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 193.218
c starts	: 36
c conflicts	: 113
c decisions	: 37350
c propagations	: 82159
c inspects	: 201204
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 54
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 197.552
c starts	: 37
c conflicts	: 113
c decisions	: 38134
c propagations	: 84003
c inspects	: 205614
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 55
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 201.9
c starts	: 38
c conflicts	: 113
c decisions	: 38918
c propagations	: 85847
c inspects	: 210026
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 56
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 206.277
c starts	: 39
c conflicts	: 113
c decisions	: 39702
c propagations	: 87691
c inspects	: 214438
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 57
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 210.626
c starts	: 40
c conflicts	: 113
c decisions	: 40486
c propagations	: 89535
c inspects	: 218850
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 58
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 214.986
c starts	: 41
c conflicts	: 113
c decisions	: 41270
c propagations	: 91379
c inspects	: 223261
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 59
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 219.362
c starts	: 42
c conflicts	: 113
c decisions	: 42054
c propagations	: 93223
c inspects	: 227673
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 60
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 223.765
c starts	: 43
c conflicts	: 113
c decisions	: 42838
c propagations	: 95067
c inspects	: 232084
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 61
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 228.137
c starts	: 44
c conflicts	: 113
c decisions	: 43622
c propagations	: 96911
c inspects	: 236496
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 62
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 232.511
c starts	: 45
c conflicts	: 113
c decisions	: 44406
c propagations	: 98755
c inspects	: 240908
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 63
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 236.906
c starts	: 46
c conflicts	: 113
c decisions	: 45190
c propagations	: 100599
c inspects	: 245320
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 64
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 241.27
c starts	: 47
c conflicts	: 113
c decisions	: 45974
c propagations	: 102443
c inspects	: 249731
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 65
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 245.638
c starts	: 48
c conflicts	: 113
c decisions	: 46758
c propagations	: 104287
c inspects	: 254143
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 66
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 250.032
c starts	: 49
c conflicts	: 113
c decisions	: 47542
c propagations	: 106131
c inspects	: 258555
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 67
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 254.402
c starts	: 50
c conflicts	: 113
c decisions	: 48326
c propagations	: 107975
c inspects	: 262968
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 68
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 258.771
c starts	: 51
c conflicts	: 113
c decisions	: 49110
c propagations	: 109819
c inspects	: 267378
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 69
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 263.143
c starts	: 52
c conflicts	: 113
c decisions	: 49894
c propagations	: 111663
c inspects	: 271790
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 70
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 267.537
c starts	: 53
c conflicts	: 113
c decisions	: 50678
c propagations	: 113507
c inspects	: 276202
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 71
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 271.902
c starts	: 54
c conflicts	: 113
c decisions	: 51462
c propagations	: 115351
c inspects	: 280614
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 72
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 276.262
c starts	: 55
c conflicts	: 113
c decisions	: 52246
c propagations	: 117195
c inspects	: 285026
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 73
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 280.64
c starts	: 56
c conflicts	: 113
c decisions	: 53030
c propagations	: 119039
c inspects	: 289439
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 74
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 284.997
c starts	: 57
c conflicts	: 113
c decisions	: 53814
c propagations	: 120883
c inspects	: 293850
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 75
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 289.365
c starts	: 58
c conflicts	: 113
c decisions	: 54598
c propagations	: 122727
c inspects	: 298262
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 76
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 293.748
c starts	: 59
c conflicts	: 113
c decisions	: 55382
c propagations	: 124571
c inspects	: 302676
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 77
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 298.105
c starts	: 60
c conflicts	: 113
c decisions	: 56166
c propagations	: 126415
c inspects	: 307089
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 78
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 302.462
c starts	: 61
c conflicts	: 113
c decisions	: 56950
c propagations	: 128259
c inspects	: 311501
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 79
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 306.794
c starts	: 62
c conflicts	: 113
c decisions	: 57734
c propagations	: 130103
c inspects	: 315913
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 80
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 311.176
c starts	: 63
c conflicts	: 113
c decisions	: 58518
c propagations	: 131947
c inspects	: 320323
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 81
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 315.547
c starts	: 64
c conflicts	: 113
c decisions	: 59302
c propagations	: 133791
c inspects	: 324735
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 82
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 319.913
c starts	: 65
c conflicts	: 113
c decisions	: 60086
c propagations	: 135635
c inspects	: 329148
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 83
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 324.301
c starts	: 66
c conflicts	: 113
c decisions	: 60870
c propagations	: 137479
c inspects	: 333561
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 84
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 328.67
c starts	: 67
c conflicts	: 113
c decisions	: 61654
c propagations	: 139323
c inspects	: 337972
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 85
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 333.051
c starts	: 68
c conflicts	: 113
c decisions	: 62438
c propagations	: 141167
c inspects	: 342384
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 86
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 337.443
c starts	: 69
c conflicts	: 113
c decisions	: 63222
c propagations	: 143011
c inspects	: 346797
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 87
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 341.813
c starts	: 70
c conflicts	: 113
c decisions	: 64006
c propagations	: 144855
c inspects	: 351210
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 88
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 346.177
c starts	: 71
c conflicts	: 113
c decisions	: 64790
c propagations	: 146699
c inspects	: 355623
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 89
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 350.58
c starts	: 72
c conflicts	: 113
c decisions	: 65574
c propagations	: 148543
c inspects	: 360036
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 90
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 354.954
c starts	: 73
c conflicts	: 113
c decisions	: 66358
c propagations	: 150387
c inspects	: 364448
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 91
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 359.357
c starts	: 74
c conflicts	: 113
c decisions	: 67142
c propagations	: 152231
c inspects	: 368860
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 92
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 363.748
c starts	: 75
c conflicts	: 113
c decisions	: 67926
c propagations	: 154075
c inspects	: 373270
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 93
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 368.167
c starts	: 76
c conflicts	: 113
c decisions	: 68710
c propagations	: 155919
c inspects	: 377682
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 94
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 372.569
c starts	: 77
c conflicts	: 113
c decisions	: 69494
c propagations	: 157763
c inspects	: 382096
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 95
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 376.966
c starts	: 78
c conflicts	: 113
c decisions	: 70278
c propagations	: 159607
c inspects	: 386510
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 96
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 381.398
c starts	: 79
c conflicts	: 113
c decisions	: 71062
c propagations	: 161451
c inspects	: 390921
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 97
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 385.785
c starts	: 80
c conflicts	: 113
c decisions	: 71846
c propagations	: 163295
c inspects	: 395333
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 98
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 390.163
c starts	: 81
c conflicts	: 113
c decisions	: 72630
c propagations	: 165139
c inspects	: 399747
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 99
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 394.574
c starts	: 82
c conflicts	: 113
c decisions	: 73414
c propagations	: 166983
c inspects	: 404160
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 100
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 398.93
c starts	: 83
c conflicts	: 113
c decisions	: 74198
c propagations	: 168827
c inspects	: 408572
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 101
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 403.303
c starts	: 84
c conflicts	: 113
c decisions	: 74982
c propagations	: 170671
c inspects	: 412985
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 102
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 407.653
c starts	: 85
c conflicts	: 113
c decisions	: 75766
c propagations	: 172515
c inspects	: 417397
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 103
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 412.075
c starts	: 86
c conflicts	: 113
c decisions	: 76550
c propagations	: 174359
c inspects	: 421810
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 104
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 416.406
c starts	: 87
c conflicts	: 113
c decisions	: 77334
c propagations	: 176203
c inspects	: 426222
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 105
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 420.792
c starts	: 88
c conflicts	: 113
c decisions	: 78118
c propagations	: 178047
c inspects	: 430634
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 106
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 425.195
c starts	: 89
c conflicts	: 113
c decisions	: 78902
c propagations	: 179891
c inspects	: 435048
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 107
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 429.567
c starts	: 90
c conflicts	: 113
c decisions	: 79686
c propagations	: 181735
c inspects	: 439459
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 108
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 433.942
c starts	: 91
c conflicts	: 113
c decisions	: 80470
c propagations	: 183579
c inspects	: 443872
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 109
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 438.35
c starts	: 92
c conflicts	: 113
c decisions	: 81254
c propagations	: 185423
c inspects	: 448284
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 110
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 442.719
c starts	: 93
c conflicts	: 113
c decisions	: 82038
c propagations	: 187267
c inspects	: 452695
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 111
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 447.089
c starts	: 94
c conflicts	: 113
c decisions	: 82822
c propagations	: 189111
c inspects	: 457107
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 112
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 451.473
c starts	: 95
c conflicts	: 113
c decisions	: 83606
c propagations	: 190955
c inspects	: 461519
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 113
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 455.888
c starts	: 96
c conflicts	: 113
c decisions	: 84390
c propagations	: 192799
c inspects	: 465932
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 114
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 460.284
c starts	: 97
c conflicts	: 113
c decisions	: 85174
c propagations	: 194643
c inspects	: 470344
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 115
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 464.67
c starts	: 98
c conflicts	: 113
c decisions	: 85958
c propagations	: 196487
c inspects	: 474755
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 116
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 469.097
c starts	: 99
c conflicts	: 113
c decisions	: 86742
c propagations	: 198331
c inspects	: 479167
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 117
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 473.494
c starts	: 100
c conflicts	: 113
c decisions	: 87526
c propagations	: 200175
c inspects	: 483578
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 118
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 477.878
c starts	: 101
c conflicts	: 113
c decisions	: 88310
c propagations	: 202019
c inspects	: 487990
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 119
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 482.293
c starts	: 102
c conflicts	: 113
c decisions	: 89094
c propagations	: 203863
c inspects	: 492402
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 120
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 486.673
c starts	: 103
c conflicts	: 113
c decisions	: 89878
c propagations	: 205707
c inspects	: 496814
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 121
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 491.065
c starts	: 104
c conflicts	: 113
c decisions	: 90662
c propagations	: 207551
c inspects	: 501227
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 122
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 495.462
c starts	: 105
c conflicts	: 113
c decisions	: 91446
c propagations	: 209395
c inspects	: 505639
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 123
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 499.198
c starts	: 106
c conflicts	: 113
c decisions	: 92230
c propagations	: 211239
c inspects	: 510052
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 124
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 502.925
c starts	: 107
c conflicts	: 113
c decisions	: 93014
c propagations	: 213083
c inspects	: 514464
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 125
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 506.653
c starts	: 108
c conflicts	: 113
c decisions	: 93798
c propagations	: 214927
c inspects	: 518878
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 126
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 510.405
c starts	: 109
c conflicts	: 113
c decisions	: 94582
c propagations	: 216771
c inspects	: 523290
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 127
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 514.138
c starts	: 110
c conflicts	: 113
c decisions	: 95366
c propagations	: 218615
c inspects	: 527701
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 128
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 517.861
c starts	: 111
c conflicts	: 113
c decisions	: 96150
c propagations	: 220459
c inspects	: 532113
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 129
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 521.609
c starts	: 112
c conflicts	: 113
c decisions	: 96934
c propagations	: 222303
c inspects	: 536527
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 130
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 525.34
c starts	: 113
c conflicts	: 113
c decisions	: 97718
c propagations	: 224147
c inspects	: 540939
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 131
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 529.071
c starts	: 114
c conflicts	: 113
c decisions	: 98502
c propagations	: 225991
c inspects	: 545352
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 132
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 532.829
c starts	: 115
c conflicts	: 113
c decisions	: 99286
c propagations	: 227835
c inspects	: 549764
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 133
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 536.541
c starts	: 116
c conflicts	: 113
c decisions	: 100070
c propagations	: 229679
c inspects	: 554176
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 134
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 540.273
c starts	: 117
c conflicts	: 113
c decisions	: 100854
c propagations	: 231523
c inspects	: 558588
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 135
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 544.032
c starts	: 118
c conflicts	: 113
c decisions	: 101638
c propagations	: 233367
c inspects	: 563001
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 136
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 547.752
c starts	: 119
c conflicts	: 113
c decisions	: 102422
c propagations	: 235211
c inspects	: 567414
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 137
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 551.48
c starts	: 120
c conflicts	: 113
c decisions	: 103206
c propagations	: 237055
c inspects	: 571826
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 138
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 555.189
c starts	: 121
c conflicts	: 113
c decisions	: 103990
c propagations	: 238899
c inspects	: 576236
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 139
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 558.929
c starts	: 122
c conflicts	: 113
c decisions	: 104774
c propagations	: 240743
c inspects	: 580650
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 140
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 562.654
c starts	: 123
c conflicts	: 113
c decisions	: 105558
c propagations	: 242587
c inspects	: 585063
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 141
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 566.382
c starts	: 124
c conflicts	: 113
c decisions	: 106342
c propagations	: 244431
c inspects	: 589475
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 142
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 570.128
c starts	: 125
c conflicts	: 113
c decisions	: 107126
c propagations	: 246275
c inspects	: 593886
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 143
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 573.853
c starts	: 126
c conflicts	: 113
c decisions	: 107910
c propagations	: 248119
c inspects	: 598299
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 144
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 577.57
c starts	: 127
c conflicts	: 113
c decisions	: 108694
c propagations	: 249963
c inspects	: 602712
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 145
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 581.321
c starts	: 128
c conflicts	: 113
c decisions	: 109478
c propagations	: 251807
c inspects	: 607125
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 146
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 585.047
c starts	: 129
c conflicts	: 113
c decisions	: 110262
c propagations	: 253651
c inspects	: 611536
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 147
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 588.789
c starts	: 130
c conflicts	: 113
c decisions	: 111046
c propagations	: 255495
c inspects	: 615951
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 148
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 592.526
c starts	: 131
c conflicts	: 113
c decisions	: 111830
c propagations	: 257339
c inspects	: 620364
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 149
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 596.297
c starts	: 132
c conflicts	: 113
c decisions	: 112614
c propagations	: 259183
c inspects	: 624778
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 150
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 600.035
c starts	: 133
c conflicts	: 113
c decisions	: 113398
c propagations	: 261027
c inspects	: 629191
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 151
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 603.776
c starts	: 134
c conflicts	: 113
c decisions	: 114182
c propagations	: 262871
c inspects	: 633604
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 152
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 607.559
c starts	: 135
c conflicts	: 113
c decisions	: 114966
c propagations	: 264715
c inspects	: 638017
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 153
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 611.296
c starts	: 136
c conflicts	: 113
c decisions	: 115750
c propagations	: 266559
c inspects	: 642429
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 154
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 615.033
c starts	: 137
c conflicts	: 113
c decisions	: 116534
c propagations	: 268403
c inspects	: 646840
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 155
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 618.805
c starts	: 138
c conflicts	: 113
c decisions	: 117318
c propagations	: 270247
c inspects	: 651253
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 156
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 622.536
c starts	: 139
c conflicts	: 113
c decisions	: 118102
c propagations	: 272091
c inspects	: 655666
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 157
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 626.261
c starts	: 140
c conflicts	: 113
c decisions	: 118886
c propagations	: 273935
c inspects	: 660078
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 158
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 630.027
c starts	: 141
c conflicts	: 113
c decisions	: 119670
c propagations	: 275779
c inspects	: 664491
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 159
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 633.749
c starts	: 142
c conflicts	: 113
c decisions	: 120454
c propagations	: 277623
c inspects	: 668903
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 160
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 637.545
c starts	: 143
c conflicts	: 113
c decisions	: 121238
c propagations	: 279467
c inspects	: 673315
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 161
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 641.389
c starts	: 144
c conflicts	: 113
c decisions	: 122022
c propagations	: 281311
c inspects	: 677728
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 162
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 645.176
c starts	: 145
c conflicts	: 113
c decisions	: 122806
c propagations	: 283155
c inspects	: 682139
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 163
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 648.959
c starts	: 146
c conflicts	: 113
c decisions	: 123590
c propagations	: 284999
c inspects	: 686552
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 164
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 652.756
c starts	: 147
c conflicts	: 113
c decisions	: 124374
c propagations	: 286843
c inspects	: 690964
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 165
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 656.591
c starts	: 148
c conflicts	: 113
c decisions	: 125158
c propagations	: 288687
c inspects	: 695376
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 166
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 660.384
c starts	: 149
c conflicts	: 113
c decisions	: 125942
c propagations	: 290531
c inspects	: 699788
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 167
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 664.161
c starts	: 150
c conflicts	: 113
c decisions	: 126726
c propagations	: 292375
c inspects	: 704201
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 168
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 667.919
c starts	: 151
c conflicts	: 113
c decisions	: 127510
c propagations	: 294219
c inspects	: 708614
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 169
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 671.657
c starts	: 152
c conflicts	: 113
c decisions	: 128294
c propagations	: 296063
c inspects	: 713026
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 170
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 675.404
c starts	: 153
c conflicts	: 113
c decisions	: 129078
c propagations	: 297907
c inspects	: 717438
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 171
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 679.161
c starts	: 154
c conflicts	: 113
c decisions	: 129862
c propagations	: 299751
c inspects	: 721850
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 172
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 682.893
c starts	: 155
c conflicts	: 113
c decisions	: 130646
c propagations	: 301595
c inspects	: 726263
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 173
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 686.634
c starts	: 156
c conflicts	: 113
c decisions	: 131430
c propagations	: 303439
c inspects	: 730677
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 174
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 690.372
c starts	: 157
c conflicts	: 113
c decisions	: 132214
c propagations	: 305283
c inspects	: 735088
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 175
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 694.136
c starts	: 158
c conflicts	: 113
c decisions	: 132998
c propagations	: 307127
c inspects	: 739501
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 176
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 697.894
c starts	: 159
c conflicts	: 113
c decisions	: 133782
c propagations	: 308971
c inspects	: 743914
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 177
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 701.635
c starts	: 160
c conflicts	: 113
c decisions	: 134566
c propagations	: 310815
c inspects	: 748325
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 178
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 705.406
c starts	: 161
c conflicts	: 113
c decisions	: 135350
c propagations	: 312659
c inspects	: 752738
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 179
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 709.141
c starts	: 162
c conflicts	: 113
c decisions	: 136134
c propagations	: 314503
c inspects	: 757151
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 180
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 712.884
c starts	: 163
c conflicts	: 113
c decisions	: 136918
c propagations	: 316347
c inspects	: 761563
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 181
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 716.652
c starts	: 164
c conflicts	: 113
c decisions	: 137702
c propagations	: 318191
c inspects	: 765975
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 182
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 720.384
c starts	: 165
c conflicts	: 113
c decisions	: 138486
c propagations	: 320035
c inspects	: 770388
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 183
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 724.133
c starts	: 166
c conflicts	: 113
c decisions	: 139270
c propagations	: 321879
c inspects	: 774802
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 184
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 727.908
c starts	: 167
c conflicts	: 113
c decisions	: 140054
c propagations	: 323723
c inspects	: 779214
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 185
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 731.656
c starts	: 168
c conflicts	: 113
c decisions	: 140838
c propagations	: 325567
c inspects	: 783625
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 186
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 735.394
c starts	: 169
c conflicts	: 113
c decisions	: 141622
c propagations	: 327411
c inspects	: 788036
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 187
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 739.176
c starts	: 170
c conflicts	: 113
c decisions	: 142406
c propagations	: 329255
c inspects	: 792449
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 188
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 742.914
c starts	: 171
c conflicts	: 113
c decisions	: 143190
c propagations	: 331099
c inspects	: 796860
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 189
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 746.659
c starts	: 172
c conflicts	: 113
c decisions	: 143974
c propagations	: 332943
c inspects	: 801273
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 190
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 750.406
c starts	: 173
c conflicts	: 113
c decisions	: 144758
c propagations	: 334787
c inspects	: 805685
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 191
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 754.175
c starts	: 174
c conflicts	: 113
c decisions	: 145542
c propagations	: 336631
c inspects	: 810096
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 192
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 757.928
c starts	: 175
c conflicts	: 113
c decisions	: 146326
c propagations	: 338475
c inspects	: 814508
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 193
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 761.679
c starts	: 176
c conflicts	: 113
c decisions	: 147110
c propagations	: 340319
c inspects	: 818919
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 194
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 765.471
c starts	: 177
c conflicts	: 113
c decisions	: 147894
c propagations	: 342163
c inspects	: 823331
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 195
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 769.212
c starts	: 178
c conflicts	: 113
c decisions	: 148678
c propagations	: 344007
c inspects	: 827743
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 196
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 772.965
c starts	: 179
c conflicts	: 113
c decisions	: 149462
c propagations	: 345851
c inspects	: 832156
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 197
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 776.751
c starts	: 180
c conflicts	: 113
c decisions	: 150246
c propagations	: 347695
c inspects	: 836568
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 198
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 780.503
c starts	: 181
c conflicts	: 113
c decisions	: 151030
c propagations	: 349539
c inspects	: 840979
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 199
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 784.264
c starts	: 182
c conflicts	: 113
c decisions	: 151814
c propagations	: 351383
c inspects	: 845392
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 200
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 788.048
c starts	: 183
c conflicts	: 113
c decisions	: 152598
c propagations	: 353227
c inspects	: 849804
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 201
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 791.804
c starts	: 184
c conflicts	: 113
c decisions	: 153382
c propagations	: 355071
c inspects	: 854218
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 202
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 795.55
c starts	: 185
c conflicts	: 113
c decisions	: 154166
c propagations	: 356915
c inspects	: 858629
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 203
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 799.302
c starts	: 186
c conflicts	: 113
c decisions	: 154950
c propagations	: 358759
c inspects	: 863043
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 204
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 803.094
c starts	: 187
c conflicts	: 113
c decisions	: 155734
c propagations	: 360603
c inspects	: 867455
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 205
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 806.851
c starts	: 188
c conflicts	: 113
c decisions	: 156518
c propagations	: 362447
c inspects	: 871866
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 206
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 810.606
c starts	: 189
c conflicts	: 113
c decisions	: 157302
c propagations	: 364291
c inspects	: 876278
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 207
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 814.4
c starts	: 190
c conflicts	: 113
c decisions	: 158086
c propagations	: 366135
c inspects	: 880689
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 208
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 818.181
c starts	: 191
c conflicts	: 113
c decisions	: 158870
c propagations	: 367979
c inspects	: 885102
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 209
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 821.961
c starts	: 192
c conflicts	: 113
c decisions	: 159654
c propagations	: 369823
c inspects	: 889513
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 210
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 825.797
c starts	: 193
c conflicts	: 113
c decisions	: 160438
c propagations	: 371667
c inspects	: 893924
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 211
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 829.59
c starts	: 194
c conflicts	: 113
c decisions	: 161222
c propagations	: 373511
c inspects	: 898335
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 212
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 833.39
c starts	: 195
c conflicts	: 113
c decisions	: 162006
c propagations	: 375355
c inspects	: 902746
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 213
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 837.229
c starts	: 196
c conflicts	: 113
c decisions	: 162790
c propagations	: 377199
c inspects	: 907158
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 214
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 841.027
c starts	: 197
c conflicts	: 113
c decisions	: 163574
c propagations	: 379043
c inspects	: 911569
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 215
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 844.823
c starts	: 198
c conflicts	: 113
c decisions	: 164358
c propagations	: 380887
c inspects	: 915982
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 216
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 848.597
c starts	: 199
c conflicts	: 113
c decisions	: 165142
c propagations	: 382731
c inspects	: 920394
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 217
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 852.382
c starts	: 200
c conflicts	: 113
c decisions	: 165926
c propagations	: 384575
c inspects	: 924806
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 218
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 856.147
c starts	: 201
c conflicts	: 113
c decisions	: 166710
c propagations	: 386419
c inspects	: 929217
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 219
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 859.89
c starts	: 202
c conflicts	: 113
c decisions	: 167494
c propagations	: 388263
c inspects	: 933629
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 220
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 863.606
c starts	: 203
c conflicts	: 113
c decisions	: 168278
c propagations	: 390107
c inspects	: 938040
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 221
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 867.332
c starts	: 204
c conflicts	: 113
c decisions	: 169062
c propagations	: 391951
c inspects	: 942454
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 222
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 871.051
c starts	: 205
c conflicts	: 113
c decisions	: 169846
c propagations	: 393795
c inspects	: 946867
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 223
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 874.797
c starts	: 206
c conflicts	: 113
c decisions	: 170630
c propagations	: 395639
c inspects	: 951280
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 224
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 878.52
c starts	: 207
c conflicts	: 113
c decisions	: 171414
c propagations	: 397483
c inspects	: 955691
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 225
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 882.241
c starts	: 208
c conflicts	: 113
c decisions	: 172198
c propagations	: 399327
c inspects	: 960104
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 226
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 885.993
c starts	: 209
c conflicts	: 113
c decisions	: 172982
c propagations	: 401171
c inspects	: 964516
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 227
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 889.708
c starts	: 210
c conflicts	: 113
c decisions	: 173766
c propagations	: 403015
c inspects	: 968929
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 228
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 893.419
c starts	: 211
c conflicts	: 113
c decisions	: 174550
c propagations	: 404859
c inspects	: 973341
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 229
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 897.173
c starts	: 212
c conflicts	: 113
c decisions	: 175334
c propagations	: 406703
c inspects	: 977752
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 230
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 900.9
c starts	: 213
c conflicts	: 113
c decisions	: 176118
c propagations	: 408547
c inspects	: 982163
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 231
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 904.626
c starts	: 214
c conflicts	: 113
c decisions	: 176902
c propagations	: 410391
c inspects	: 986575
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 232
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 908.351
c starts	: 215
c conflicts	: 113
c decisions	: 177686
c propagations	: 412235
c inspects	: 990987
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 233
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 912.106
c starts	: 216
c conflicts	: 113
c decisions	: 178470
c propagations	: 414079
c inspects	: 995399
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 234
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 915.858
c starts	: 217
c conflicts	: 113
c decisions	: 179254
c propagations	: 415923
c inspects	: 999811
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 235
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 919.623
c starts	: 218
c conflicts	: 113
c decisions	: 180038
c propagations	: 417767
c inspects	: 1004224
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 236
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 923.42
c starts	: 219
c conflicts	: 113
c decisions	: 180822
c propagations	: 419611
c inspects	: 1008637
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 237
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 927.203
c starts	: 220
c conflicts	: 113
c decisions	: 181606
c propagations	: 421455
c inspects	: 1013050
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 238
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 930.985
c starts	: 221
c conflicts	: 113
c decisions	: 182390
c propagations	: 423299
c inspects	: 1017462
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 239
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 934.778
c starts	: 222
c conflicts	: 113
c decisions	: 183174
c propagations	: 425143
c inspects	: 1021876
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 240
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 938.54
c starts	: 223
c conflicts	: 113
c decisions	: 183958
c propagations	: 426987
c inspects	: 1026287
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 241
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 942.286
c starts	: 224
c conflicts	: 113
c decisions	: 184742
c propagations	: 428831
c inspects	: 1030699
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 242
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 946.077
c starts	: 225
c conflicts	: 113
c decisions	: 185526
c propagations	: 430675
c inspects	: 1035111
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 243
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 949.826
c starts	: 226
c conflicts	: 113
c decisions	: 186310
c propagations	: 432519
c inspects	: 1039522
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 244
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 953.574
c starts	: 227
c conflicts	: 113
c decisions	: 187094
c propagations	: 434363
c inspects	: 1043936
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 245
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 957.353
c starts	: 228
c conflicts	: 113
c decisions	: 187878
c propagations	: 436207
c inspects	: 1048347
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 246
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 961.113
c starts	: 229
c conflicts	: 113
c decisions	: 188662
c propagations	: 438051
c inspects	: 1052758
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 247
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 964.878
c starts	: 230
c conflicts	: 113
c decisions	: 189446
c propagations	: 439895
c inspects	: 1057170
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 248
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 968.654
c starts	: 231
c conflicts	: 113
c decisions	: 190230
c propagations	: 441739
c inspects	: 1061582
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 249
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 972.443
c starts	: 232
c conflicts	: 113
c decisions	: 191014
c propagations	: 443583
c inspects	: 1065995
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 250
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 976.201
c starts	: 233
c conflicts	: 113
c decisions	: 191798
c propagations	: 445427
c inspects	: 1070407
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 251
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 979.962
c starts	: 234
c conflicts	: 113
c decisions	: 192582
c propagations	: 447271
c inspects	: 1074820
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 252
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 983.741
c starts	: 235
c conflicts	: 113
c decisions	: 193366
c propagations	: 449115
c inspects	: 1079233
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 253
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 987.483
c starts	: 236
c conflicts	: 113
c decisions	: 194150
c propagations	: 450959
c inspects	: 1083646
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 254
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 991.26
c starts	: 237
c conflicts	: 113
c decisions	: 194934
c propagations	: 452803
c inspects	: 1088058
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 255
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 995.044
c starts	: 238
c conflicts	: 113
c decisions	: 195718
c propagations	: 454647
c inspects	: 1092469
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 256
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 998.806
c starts	: 239
c conflicts	: 113
c decisions	: 196502
c propagations	: 456491
c inspects	: 1096880
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 257
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1002.579
c starts	: 240
c conflicts	: 113
c decisions	: 197286
c propagations	: 458335
c inspects	: 1101294
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 258
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1006.359
c starts	: 241
c conflicts	: 113
c decisions	: 198070
c propagations	: 460179
c inspects	: 1105707
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 259
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1010.123
c starts	: 242
c conflicts	: 113
c decisions	: 198854
c propagations	: 462023
c inspects	: 1110120
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 260
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1013.876
c starts	: 243
c conflicts	: 113
c decisions	: 199638
c propagations	: 463867
c inspects	: 1114532
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 261
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1017.67
c starts	: 244
c conflicts	: 113
c decisions	: 200422
c propagations	: 465711
c inspects	: 1118944
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 262
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1021.428
c starts	: 245
c conflicts	: 113
c decisions	: 201206
c propagations	: 467555
c inspects	: 1123355
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 263
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1025.197
c starts	: 246
c conflicts	: 113
c decisions	: 201990
c propagations	: 469399
c inspects	: 1127769
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 264
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1028.966
c starts	: 247
c conflicts	: 113
c decisions	: 202774
c propagations	: 471243
c inspects	: 1132182
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 265
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1032.746
c starts	: 248
c conflicts	: 113
c decisions	: 203558
c propagations	: 473087
c inspects	: 1136595
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 266
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1036.512
c starts	: 249
c conflicts	: 113
c decisions	: 204342
c propagations	: 474931
c inspects	: 1141007
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 267
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1040.275
c starts	: 250
c conflicts	: 113
c decisions	: 205126
c propagations	: 476775
c inspects	: 1145420
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 268
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1044.057
c starts	: 251
c conflicts	: 113
c decisions	: 205910
c propagations	: 478619
c inspects	: 1149832
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 269
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1047.825
c starts	: 252
c conflicts	: 113
c decisions	: 206694
c propagations	: 480463
c inspects	: 1154245
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 270
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1051.595
c starts	: 253
c conflicts	: 113
c decisions	: 207478
c propagations	: 482307
c inspects	: 1158657
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 271
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1055.378
c starts	: 254
c conflicts	: 113
c decisions	: 208262
c propagations	: 484151
c inspects	: 1163069
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 272
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1059.139
c starts	: 255
c conflicts	: 113
c decisions	: 209046
c propagations	: 485995
c inspects	: 1167479
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 273
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1062.907
c starts	: 256
c conflicts	: 113
c decisions	: 209830
c propagations	: 487839
c inspects	: 1171890
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 274
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1066.699
c starts	: 257
c conflicts	: 113
c decisions	: 210614
c propagations	: 489683
c inspects	: 1176302
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 275
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1070.468
c starts	: 258
c conflicts	: 113
c decisions	: 211398
c propagations	: 491527
c inspects	: 1180713
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 276
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1074.239
c starts	: 259
c conflicts	: 113
c decisions	: 212182
c propagations	: 493371
c inspects	: 1185126
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 277
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1078.029
c starts	: 260
c conflicts	: 113
c decisions	: 212966
c propagations	: 495215
c inspects	: 1189538
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 278
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1081.796
c starts	: 261
c conflicts	: 113
c decisions	: 213750
c propagations	: 497059
c inspects	: 1193950
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 279
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1085.578
c starts	: 262
c conflicts	: 113
c decisions	: 214534
c propagations	: 498903
c inspects	: 1198361
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 280
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1089.367
c starts	: 263
c conflicts	: 113
c decisions	: 215318
c propagations	: 500747
c inspects	: 1202771
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 281
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1093.191
c starts	: 264
c conflicts	: 113
c decisions	: 216102
c propagations	: 502591
c inspects	: 1207185
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 282
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1096.978
c starts	: 265
c conflicts	: 113
c decisions	: 216886
c propagations	: 504435
c inspects	: 1211598
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 283
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1100.77
c starts	: 266
c conflicts	: 113
c decisions	: 217670
c propagations	: 506279
c inspects	: 1216010
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 284
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1104.6
c starts	: 267
c conflicts	: 113
c decisions	: 218454
c propagations	: 508123
c inspects	: 1220421
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 285
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1108.387
c starts	: 268
c conflicts	: 113
c decisions	: 219238
c propagations	: 509967
c inspects	: 1224833
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 286
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1112.173
c starts	: 269
c conflicts	: 113
c decisions	: 220022
c propagations	: 511811
c inspects	: 1229245
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 287
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1115.96
c starts	: 270
c conflicts	: 113
c decisions	: 220806
c propagations	: 513655
c inspects	: 1233658
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 288
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1119.729
c starts	: 271
c conflicts	: 113
c decisions	: 221590
c propagations	: 515499
c inspects	: 1238068
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 289
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1123.504
c starts	: 272
c conflicts	: 113
c decisions	: 222374
c propagations	: 517343
c inspects	: 1242480
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 290
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1127.302
c starts	: 273
c conflicts	: 113
c decisions	: 223158
c propagations	: 519187
c inspects	: 1246892
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 291
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1131.067
c starts	: 274
c conflicts	: 113
c decisions	: 223942
c propagations	: 521031
c inspects	: 1251305
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 292
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1134.842
c starts	: 275
c conflicts	: 113
c decisions	: 224726
c propagations	: 522875
c inspects	: 1255716
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 293
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1138.648
c starts	: 276
c conflicts	: 113
c decisions	: 225510
c propagations	: 524719
c inspects	: 1260131
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 294
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1142.422
c starts	: 277
c conflicts	: 113
c decisions	: 226294
c propagations	: 526563
c inspects	: 1264544
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 295
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1146.187
c starts	: 278
c conflicts	: 113
c decisions	: 227078
c propagations	: 528407
c inspects	: 1268957
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 296
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1149.987
c starts	: 279
c conflicts	: 113
c decisions	: 227862
c propagations	: 530251
c inspects	: 1273369
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 297
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1153.746
c starts	: 280
c conflicts	: 113
c decisions	: 228646
c propagations	: 532095
c inspects	: 1277780
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 298
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1157.552
c starts	: 281
c conflicts	: 113
c decisions	: 229430
c propagations	: 533939
c inspects	: 1282191
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 299
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1161.355
c starts	: 282
c conflicts	: 113
c decisions	: 230214
c propagations	: 535783
c inspects	: 1286603
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 300
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1165.057
c starts	: 283
c conflicts	: 113
c decisions	: 230998
c propagations	: 537627
c inspects	: 1291017
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 301
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1168.767
c starts	: 284
c conflicts	: 113
c decisions	: 231782
c propagations	: 539471
c inspects	: 1295428
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 302
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1172.479
c starts	: 285
c conflicts	: 113
c decisions	: 232566
c propagations	: 541315
c inspects	: 1299839
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 303
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1176.234
c starts	: 286
c conflicts	: 113
c decisions	: 233350
c propagations	: 543159
c inspects	: 1304251
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 304
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1179.977
c starts	: 287
c conflicts	: 113
c decisions	: 234134
c propagations	: 545003
c inspects	: 1308662
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 305
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1183.726
c starts	: 288
c conflicts	: 113
c decisions	: 234918
c propagations	: 546847
c inspects	: 1313074
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 306
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1187.52
c starts	: 289
c conflicts	: 113
c decisions	: 235702
c propagations	: 548691
c inspects	: 1317486
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 307
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1191.294
c starts	: 290
c conflicts	: 113
c decisions	: 236486
c propagations	: 550535
c inspects	: 1321900
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 308
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1195.066
c starts	: 291
c conflicts	: 113
c decisions	: 237270
c propagations	: 552379
c inspects	: 1326311
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 309
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1198.871
c starts	: 292
c conflicts	: 113
c decisions	: 238054
c propagations	: 554223
c inspects	: 1330724
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 310
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1202.664
c starts	: 293
c conflicts	: 113
c decisions	: 238838
c propagations	: 556067
c inspects	: 1335135
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 311
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1206.447
c starts	: 294
c conflicts	: 113
c decisions	: 239622
c propagations	: 557911
c inspects	: 1339548
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 312
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1210.261
c starts	: 295
c conflicts	: 113
c decisions	: 240406
c propagations	: 559755
c inspects	: 1343961
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 313
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1214.04
c starts	: 296
c conflicts	: 113
c decisions	: 241190
c propagations	: 561599
c inspects	: 1348375
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 314
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1217.82
c starts	: 297
c conflicts	: 113
c decisions	: 241974
c propagations	: 563443
c inspects	: 1352786
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 315
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1221.627
c starts	: 298
c conflicts	: 113
c decisions	: 242758
c propagations	: 565287
c inspects	: 1357198
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 316
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1225.413
c starts	: 299
c conflicts	: 113
c decisions	: 243542
c propagations	: 567131
c inspects	: 1361608
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 317
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1229.197
c starts	: 300
c conflicts	: 113
c decisions	: 244326
c propagations	: 568975
c inspects	: 1366020
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 318
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1233.017
c starts	: 301
c conflicts	: 113
c decisions	: 245110
c propagations	: 570819
c inspects	: 1370431
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 319
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1236.802
c starts	: 302
c conflicts	: 113
c decisions	: 245894
c propagations	: 572663
c inspects	: 1374844
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 320
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1240.584
c starts	: 303
c conflicts	: 113
c decisions	: 246678
c propagations	: 574507
c inspects	: 1379257
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 321
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1244.375
c starts	: 304
c conflicts	: 113
c decisions	: 247462
c propagations	: 576351
c inspects	: 1383670
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 322
c 
c CURRENT OPTIMUM=-1780110534
c Current CPU time (ms) : 1248.192
c starts	: 305
c conflicts	: 113
c decisions	: 248246
c propagations	: 578195
c inspects	: 1388082
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 113
c root simplifications	: 323
#### 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.72 0.91 0.89 2/54 3167
Raw data (stat): 3167 (runsolver) R 3166 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550267435 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.0011 s]
Raw data (loadavg): 0.99 0.96 0.91 3/64 3177
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18078 0 1 0 638 40 0 0 25 0 11 0 550267435 861708288 20642 4294967295 134512640 134569956 3221224400 3221214464 1131223604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210378 20642 13073 16 0 210362 0
vsize: 841512
[startup+20.0024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 3178
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18080 3 1 0 1559 40 0 0 25 0 11 0 550267435 860172288 20993 4294967295 134512640 134569956 3221224400 3221214680 1131217153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210003 20993 13073 16 0 209987 0
vsize: 840012
[startup+30.0027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 3178
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18080 3 1 0 2491 40 0 0 25 0 11 0 550267435 860172288 21021 4294967295 134512640 134569956 3221224400 3221214680 1131217685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210003 21021 13073 16 0 209987 0
vsize: 840012
[startup+40.0026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 3180
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 3424 41 0 0 25 0 11 0 550267435 860172288 21270 4294967295 134512640 134569956 3221224400 3221214664 1131217949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210003 21270 13073 16 0 209987 0
vsize: 840012
[startup+50.0038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 3181
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 4382 41 0 0 25 0 11 0 550267435 862269440 22263 4294967295 134512640 134569956 3221224400 3221214760 1131292273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210515 22263 13073 16 0 210499 0
vsize: 842060
[startup+60.0042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 3182
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 5350 41 0 0 25 0 11 0 550267435 860172288 21691 4294967295 134512640 134569956 3221224400 3221214760 1131292273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 21691 13073 16 0 209987 0
vsize: 840012
[startup+70.0049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 3184
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 6314 41 0 0 25 0 11 0 550267435 860172288 21757 4294967295 134512640 134569956 3221224400 3221214664 1131218529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 21757 13073 16 0 209987 0
vsize: 840012
[startup+80.0052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 3186
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 7280 41 0 0 25 0 11 0 550267435 860172288 21945 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 21945 13073 16 0 209987 0
vsize: 840012
[startup+90.0056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 3189
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 8255 42 0 0 25 0 11 0 550267435 860172288 21994 4294967295 134512640 134569956 3221224400 3221214760 1131291146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 21994 13073 16 0 209987 0
vsize: 840012
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 3191
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 9226 42 0 0 25 0 11 0 550267435 860172288 22095 4294967295 134512640 134569956 3221224400 3221214664 1131217166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 22095 13073 16 0 209987 0
vsize: 840012
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 3193
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 10198 42 0 0 25 0 11 0 550267435 860172288 22161 4294967295 134512640 134569956 3221224400 3221214664 1131217734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 22161 13073 16 0 209987 0
vsize: 840012
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 3196
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 11170 43 1 0 25 0 11 0 550267435 860172288 22236 4294967295 134512640 134569956 3221224400 3221214516 1131638608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 22236 13073 16 0 209987 0
vsize: 840012
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 3198
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 12142 43 1 0 25 0 11 0 550267435 860172288 22377 4294967295 134512640 134569956 3221224400 3221214664 1131217149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 22377 13073 16 0 209987 0
vsize: 840012
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 3200
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 13112 44 1 0 25 0 11 0 550267435 860172288 22466 4294967295 134512640 134569956 3221224400 3221214664 1131217863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 22466 13073 16 0 209987 0
vsize: 840012
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 3202
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 14083 44 1 0 24 0 11 0 550267435 860172288 22549 4294967295 134512640 134569956 3221224400 3221214664 1131218013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 22549 13073 16 0 209987 0
vsize: 840012
[startup+160.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 3205
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 15056 45 1 0 25 0 11 0 550267435 860172288 22626 4294967295 134512640 134569956 3221224400 3221214760 1131293714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 22626 13073 16 0 209987 0
vsize: 840012
[startup+170.008 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 3207
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 16028 45 1 0 25 0 11 0 550267435 860172288 22784 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 22784 13073 16 0 209987 0
vsize: 840012
[startup+180.008 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 3209
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 17001 45 1 0 25 0 11 0 550267435 860172288 22864 4294967295 134512640 134569956 3221224400 3221214760 1131292246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 22864 13073 16 0 209987 0
vsize: 840012
[startup+190.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 3212
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 17974 46 2 0 25 0 11 0 550267435 860172288 22944 4294967295 134512640 134569956 3221224400 3221214664 1131218544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 22944 13073 16 0 209987 0
vsize: 840012
[startup+200.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 3214
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 18948 46 2 0 25 0 11 0 550267435 860172288 23073 4294967295 134512640 134569956 3221224400 3221214760 1131293801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 23073 13073 16 0 209987 0
vsize: 840012
[startup+210.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 3216
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 19920 47 2 0 25 0 11 0 550267435 860172288 23157 4294967295 134512640 134569956 3221224400 3221214760 1131293950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 23157 13073 16 0 209987 0
vsize: 840012
[startup+220.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 3218
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 20893 47 2 0 25 0 11 0 550267435 860172288 23221 4294967295 134512640 134569956 3221224400 3221214568 1131639936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 23221 13073 16 0 209987 0
vsize: 840012
[startup+230.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 3221
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 21862 47 2 0 25 0 11 0 550267435 860172288 23298 4294967295 134512640 134569956 3221224400 3221214664 1131218534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 23298 13073 16 0 209987 0
vsize: 840012
[startup+240.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 3223
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 22832 48 2 0 25 0 11 0 550267435 860172288 23543 4294967295 134512640 134569956 3221224400 3221214664 1131218583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 23543 13073 16 0 209987 0
vsize: 840012
[startup+250.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 3225
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 23804 48 2 0 25 0 11 0 550267435 860172288 23619 4294967295 134512640 134569956 3221224400 3221214488 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 23619 13073 16 0 209987 0
vsize: 840012
[startup+260.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 3228
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 24775 49 2 0 25 0 11 0 550267435 860172288 23694 4294967295 134512640 134569956 3221224400 3221214664 1131217164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 23694 13073 16 0 209987 0
vsize: 840012
[startup+270.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 3230
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 25746 49 2 0 25 0 11 0 550267435 860172288 23800 4294967295 134512640 134569956 3221224400 3221214664 1131217672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 23800 13073 16 0 209987 0
vsize: 840012
[startup+280.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 3232
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 26718 50 2 0 24 0 11 0 550267435 860172288 23908 4294967295 134512640 134569956 3221224400 3221214664 1131217358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 23908 13073 16 0 209987 0
vsize: 840012
[startup+290.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 3234
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 27694 50 3 0 25 0 11 0 550267435 860172288 23980 4294967295 134512640 134569956 3221224400 3221214832 1131464366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 23980 13073 16 0 209987 0
vsize: 840012
[startup+300.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3237
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 28669 51 3 0 25 0 11 0 550267435 860172288 24071 4294967295 134512640 134569956 3221224400 3221214664 1131218651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 24071 13073 16 0 209987 0
vsize: 840012
[startup+310.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3240
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 29643 52 3 0 25 0 11 0 550267435 860172288 24155 4294967295 134512640 134569956 3221224400 3221214760 1131291211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 24155 13073 16 0 209987 0
vsize: 840012
[startup+320.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3242
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 30617 52 3 0 25 0 11 0 550267435 860172288 24221 4294967295 134512640 134569956 3221224400 3221214664 1131218529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 24221 13073 16 0 209987 0
vsize: 840012
[startup+330.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3245
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 31589 53 3 0 24 0 11 0 550267435 860172288 24275 4294967295 134512640 134569956 3221224400 3221214664 1131217157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 24275 13073 16 0 209987 0
vsize: 840012
[startup+340.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3247
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 32561 53 3 0 25 0 11 0 550267435 860172288 24419 4294967295 134512640 134569956 3221224400 3221214760 1131292246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 24419 13073 16 0 209987 0
vsize: 840012
[startup+350.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3249
Raw data (stat): 3167 (java) S 3166 11931 11930 0 -1 0 18081 3 1 0 33535 54 3 0 25 0 11 0 550267435 860172288 24505 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 24505 13073 16 0 209987 0
vsize: 840012
[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3251
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 34509 54 3 0 25 0 11 0 550267435 860172288 24586 4294967295 134512640 134569956 3221224400 3221214668 1131639052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 24586 13073 16 0 209987 0
vsize: 840012
[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3254
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 35477 54 4 1 25 0 11 0 550267435 860172288 24665 4294967295 134512640 134569956 3221224400 3221214664 1131217855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 24665 13073 16 0 209987 0
vsize: 840012
[startup+380.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3256
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 36443 54 4 1 25 0 11 0 550267435 860172288 24747 4294967295 134512640 134569956 3221224400 3221214664 1131217728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 24747 13073 16 0 209987 0
vsize: 840012
[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3258
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 37411 55 4 1 24 0 11 0 550267435 860172288 25072 4294967295 134512640 134569956 3221224400 3221214664 1131217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25072 13073 16 0 209987 0
vsize: 840012
[startup+400.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3261
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 38386 55 4 1 25 0 11 0 550267435 860172288 25156 4294967295 134512640 134569956 3221224400 3221214760 1131292199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25156 13073 16 0 209987 0
vsize: 840012
[startup+410.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 3263
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 39360 56 4 1 25 0 11 0 550267435 860172288 25266 4294967295 134512640 134569956 3221224400 3221214760 1131292172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25266 13073 16 0 209987 0
vsize: 840012
[startup+420.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 3318
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 40328 59 4 1 25 0 11 0 550267435 860172288 25329 4294967295 134512640 134569956 3221224400 3221214664 1131218509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25329 13073 16 0 209987 0
vsize: 840012
[startup+430.021 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 3320
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 41300 59 4 1 25 0 11 0 550267435 860172288 25411 4294967295 134512640 134569956 3221224400 3221214760 1131293804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25411 13073 16 0 209987 0
vsize: 840012
[startup+440.022 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 3323
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 42272 59 4 1 24 0 11 0 550267435 860172288 25527 4294967295 134512640 134569956 3221224400 3221214664 1131217157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25527 13073 16 0 209987 0
vsize: 840012
[startup+450.022 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 3325
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 43244 59 4 1 24 0 11 0 550267435 860172288 25600 4294967295 134512640 134569956 3221224400 3221214664 1131217927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25600 13073 16 0 209987 0
vsize: 840012
[startup+460.023 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 3327
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 44216 59 4 1 25 0 11 0 550267435 860172288 25695 4294967295 134512640 134569956 3221224400 3221214640 1085679261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25695 13073 16 0 209987 0
vsize: 840012
[startup+470.024 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 3330
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 45184 60 4 1 25 0 11 0 550267435 860172288 25791 4294967295 134512640 134569956 3221224400 3221214568 1131639954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25791 13073 16 0 209987 0
vsize: 840012
[startup+480.024 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 3332
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 46153 60 4 1 25 0 11 0 550267435 860172288 25897 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25897 13073 16 0 209987 0
vsize: 840012
[startup+490.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 3336
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 47124 60 4 1 25 0 11 0 550267435 860172288 25997 4294967295 134512640 134569956 3221224400 3221214664 1131218529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 25997 13073 16 0 209987 0
vsize: 840012
[startup+500.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 3339
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 48095 60 4 1 25 0 11 0 550267435 860172288 26105 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 26105 13073 16 0 209987 0
vsize: 840012
[startup+510.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 3341
Raw data (stat): 3167 (java) S 3166 11931 11930 0 -1 0 18081 3 1 0 49062 61 4 1 25 0 11 0 550267435 860172288 26196 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 26196 13073 16 0 209987 0
vsize: 840012
[startup+520.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 3344
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 50030 61 4 1 25 0 11 0 550267435 860172288 26375 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 26375 13073 16 0 209987 0
vsize: 840012
[startup+530.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 3347
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 50999 61 5 1 24 0 11 0 550267435 860172288 26454 4294967295 134512640 134569956 3221224400 3221214664 1131218478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 26454 13073 16 0 209987 0
vsize: 840012
[startup+540.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 3349
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 51971 61 5 1 25 0 11 0 550267435 860172288 26541 4294967295 134512640 134569956 3221224400 3221214664 1131218244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 26541 13073 16 0 209987 0
vsize: 840012
[startup+550.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 3352
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 52939 62 5 1 25 0 11 0 550267435 860172288 26644 4294967295 134512640 134569956 3221224400 3221214760 1131293040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 26644 13073 16 0 209987 0
vsize: 840012
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3355
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 53912 62 5 1 25 0 11 0 550267435 860172288 26708 4294967295 134512640 134569956 3221224400 3221214664 1131217640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 26708 13073 16 0 209987 0
vsize: 840012
[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3357
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 54881 62 5 2 25 0 11 0 550267435 860172288 26794 4294967295 134512640 134569956 3221224400 3221214760 1131292246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 26794 13073 16 0 209987 0
vsize: 840012
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3360
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 55852 63 5 2 25 0 11 0 550267435 860172288 26875 4294967295 134512640 134569956 3221224400 3221214664 1131217922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 26875 13073 16 0 209987 0
vsize: 840012
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3363
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 56819 63 5 2 25 0 11 0 550267435 860172288 26951 4294967295 134512640 134569956 3221224400 3221214760 1131292246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 26951 13073 16 0 209987 0
vsize: 840012
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3365
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 57788 63 5 2 25 0 11 0 550267435 860172288 27053 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 27053 13073 16 0 209987 0
vsize: 840012
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3368
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 58753 63 5 2 25 0 11 0 550267435 860172288 27159 4294967295 134512640 134569956 3221224400 3221214664 1131217157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 27159 13073 16 0 209987 0
vsize: 840012
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3371
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 59724 63 5 2 25 0 11 0 550267435 860172288 27310 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 27310 13073 16 0 209987 0
vsize: 840012
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3373
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 60693 64 5 2 25 0 11 0 550267435 860172288 27423 4294967295 134512640 134569956 3221224400 3221214664 1131218564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 27423 13073 16 0 209987 0
vsize: 840012
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3376
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 61658 64 6 2 25 0 11 0 550267435 860172288 27815 4294967295 134512640 134569956 3221224400 3221214664 1131217577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 27815 13073 16 0 209987 0
vsize: 840012
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3379
Raw data (stat): 3167 (java) S 3166 11931 11930 0 -1 0 18081 3 1 0 62611 64 6 2 25 0 11 0 550267435 860172288 27981 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 27981 13073 16 0 209987 0
vsize: 840012
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3381
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 63563 64 6 2 25 0 11 0 550267435 860172288 28107 4294967295 134512640 134569956 3221224400 3221214760 1131292150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 28107 13073 16 0 209987 0
vsize: 840012
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3384
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 64528 64 6 2 25 0 11 0 550267435 860172288 28716 4294967295 134512640 134569956 3221224400 3221214760 1131292232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 28716 13073 16 0 209987 0
vsize: 840012
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3388
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 65497 64 6 2 25 0 11 0 550267435 860172288 28798 4294967295 134512640 134569956 3221224400 3221214664 1131218571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 28798 13073 16 0 209987 0
vsize: 840012
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3390
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 66468 64 6 2 25 0 11 0 550267435 860172288 28887 4294967295 134512640 134569956 3221224400 3221214664 1131217800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 28887 13073 16 0 209987 0
vsize: 840012
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3393
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 67435 64 6 2 25 0 11 0 550267435 860172288 28993 4294967295 134512640 134569956 3221224400 3221214664 1131217533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 28993 13073 16 0 209987 0
vsize: 840012
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3396
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 68405 65 6 2 25 0 11 0 550267435 860172288 29073 4294967295 134512640 134569956 3221224400 3221214760 1131293844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 29073 13073 16 0 209987 0
vsize: 840012
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3398
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 69372 65 6 2 25 0 11 0 550267435 860172288 29173 4294967295 134512640 134569956 3221224400 3221214760 1131293734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 29173 13073 16 0 209987 0
vsize: 840012
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3401
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 70343 65 7 2 25 0 11 0 550267435 860172288 29288 4294967295 134512640 134569956 3221224400 3221214664 1131217332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 29288 13073 16 0 209987 0
vsize: 840012
[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3404
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 71310 65 7 3 25 0 11 0 550267435 860172288 29381 4294967295 134512640 134569956 3221224400 3221214760 1131292205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 29381 13073 16 0 209987 0
vsize: 840012
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3408
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 72279 65 7 3 25 0 11 0 550267435 860172288 29457 4294967295 134512640 134569956 3221224400 3221214760 1131292192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 29457 13073 16 0 209987 0
vsize: 840012
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3411
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 73244 66 7 3 24 0 11 0 550267435 860172288 29558 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 29558 13073 16 0 209987 0
vsize: 840012
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3415
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 74213 66 7 3 25 0 11 0 550267435 860172288 29695 4294967295 134512640 134569956 3221224400 3221214664 1131217358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 29695 13073 16 0 209987 0
vsize: 840012
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3417
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 75179 66 7 3 25 0 11 0 550267435 860172288 29779 4294967295 134512640 134569956 3221224400 3221214664 1131217623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 29779 13073 16 0 209987 0
vsize: 840012
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3420
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 76147 66 7 3 25 0 11 0 550267435 860172288 29908 4294967295 134512640 134569956 3221224400 3221214760 1131293772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 29908 13073 16 0 209987 0
vsize: 840012
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3423
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 77115 67 7 3 25 0 11 0 550267435 860172288 30021 4294967295 134512640 134569956 3221224400 3221214800 1131590623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 30021 13073 16 0 209987 0
vsize: 840012
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3425
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 78079 67 7 3 25 0 11 0 550267435 860172288 30131 4294967295 134512640 134569956 3221224400 3221214664 1131218509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 30131 13073 16 0 209987 0
vsize: 840012
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3428
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 79045 67 8 3 25 0 11 0 550267435 860172288 30225 4294967295 134512640 134569956 3221224400 3221214760 1131291211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210003 30225 13073 16 0 209987 0
vsize: 840012
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3430
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 80000 67 8 3 21 0 11 0 550267435 860172288 30325 4294967295 134512640 134569956 3221224400 3221214664 1131217153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 30325 13073 16 0 209987 0
vsize: 840012
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3433
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 80957 67 8 3 25 0 11 0 550267435 860172288 30430 4294967295 134512640 134569956 3221224400 3221214664 1131217157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 30430 13073 16 0 209987 0
vsize: 840012
[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3436
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 81919 68 8 3 25 0 11 0 550267435 860172288 30605 4294967295 134512640 134569956 3221224400 3221214760 1131291291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 30605 13073 16 0 209987 0
vsize: 840012
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3439
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 82885 68 8 3 25 0 11 0 550267435 860172288 30799 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210003 30799 13073 16 0 209987 0
vsize: 840012
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3442
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 83854 68 8 4 25 0 11 0 550267435 860172288 30894 4294967295 134512640 134569956 3221224400 3221214760 1131292302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210003 30894 13073 16 0 209987 0
vsize: 840012
[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3445
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 84818 69 8 4 25 0 11 0 550267435 860172288 30969 4294967295 134512640 134569956 3221224400 3221214760 1131291211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210003 30969 13073 16 0 209987 0
vsize: 840012
[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3447
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 85786 69 8 4 25 0 11 0 550267435 860172288 31057 4294967295 134512640 134569956 3221224400 3221214760 1131292202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210003 31057 13073 16 0 209987 0
vsize: 840012
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3450
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 86752 70 9 4 25 0 11 0 550267435 860172288 31196 4294967295 134512640 134569956 3221224400 3221214760 1131292292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210003 31196 13073 16 0 209987 0
vsize: 840012
[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3453
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 87716 70 9 4 24 0 11 0 550267435 860172288 31321 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210003 31321 13073 16 0 209987 0
vsize: 840012
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3455
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 88683 70 9 4 25 0 11 0 550267435 860172288 31372 4294967295 134512640 134569956 3221224400 3221214664 1131218219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 31372 13073 16 0 209987 0
vsize: 840012
[startup+930.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3458
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 89649 71 9 4 25 0 11 0 550267435 860172288 31557 4294967295 134512640 134569956 3221224400 3221214664 1131217149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 31557 13073 16 0 209987 0
vsize: 840012
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3461
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 90614 71 9 4 25 0 11 0 550267435 860172288 31661 4294967295 134512640 134569956 3221224400 3221214664 1131217189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 31661 13073 16 0 209987 0
vsize: 840012
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3463
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 91585 71 9 4 25 0 11 0 550267435 860172288 31767 4294967295 134512640 134569956 3221224400 3221214664 1131217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 31767 13073 16 0 209987 0
vsize: 840012
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3466
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 92554 71 9 4 25 0 11 0 550267435 860172288 31895 4294967295 134512640 134569956 3221224400 3221214760 1131291146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 31895 13073 16 0 209987 0
vsize: 840012
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3469
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 93525 72 9 4 25 0 11 0 550267435 860172288 31949 4294967295 134512640 134569956 3221224400 3221214760 1131292232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 31949 13073 16 0 209987 0
vsize: 840012
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3471
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 94494 72 9 4 25 0 11 0 550267435 860172288 32028 4294967295 134512640 134569956 3221224400 3221214664 1131218488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32028 13073 16 0 209987 0
vsize: 840012
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3474
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 95465 72 9 4 25 0 11 0 550267435 860172288 32128 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32128 13073 16 0 209987 0
vsize: 840012
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3477
Raw data (stat): 3167 (java) S 3166 11931 11930 0 -1 0 18081 3 1 0 96435 72 10 4 25 0 11 0 550267435 860172288 32178 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32178 13073 16 0 209987 0
vsize: 840012
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3479
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 97405 72 10 4 25 0 11 0 550267435 860172288 32278 4294967295 134512640 134569956 3221224400 3221214760 1131290943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32278 13073 16 0 209987 0
vsize: 840012
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3482
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 98376 72 10 4 25 0 11 0 550267435 860172288 32370 4294967295 134512640 134569956 3221224400 3221214664 1131217905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32370 13073 16 0 209987 0
vsize: 840012
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3485
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 99344 73 10 4 25 0 11 0 550267435 860172288 32425 4294967295 134512640 134569956 3221224400 3221214720 1131512185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32425 13073 16 0 209987 0
vsize: 840012
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3487
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 100314 73 10 5 25 0 11 0 550267435 860172288 32525 4294967295 134512640 134569956 3221224400 3221214664 1131218643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32525 13073 16 0 209987 0
vsize: 840012
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3490
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 101282 73 10 5 25 0 11 0 550267435 860172288 32626 4294967295 134512640 134569956 3221224400 3221214760 1131292199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32626 13073 16 0 209987 0
vsize: 840012
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3493
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 102252 73 10 5 25 0 11 0 550267435 860172288 32716 4294967295 134512640 134569956 3221224400 3221214760 1131291222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32716 13073 16 0 209987 0
vsize: 840012
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3495
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 103219 73 11 5 24 0 11 0 550267435 860172288 32795 4294967295 134512640 134569956 3221224400 3221214664 1131217465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32795 13073 16 0 209987 0
vsize: 840012
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3498
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 104189 74 11 5 25 0 11 0 550267435 860172288 32929 4294967295 134512640 134569956 3221224400 3221214664 1131217809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32929 13073 16 0 209987 0
vsize: 840012
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3500
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 105157 74 11 5 25 0 11 0 550267435 860172288 32981 4294967295 134512640 134569956 3221224400 3221214764 1073943903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 32981 13073 16 0 209987 0
vsize: 840012
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3503
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 106120 74 11 5 25 0 11 0 550267435 860172288 33067 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 33067 13073 16 0 209987 0
vsize: 840012
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3506
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 107086 74 11 5 25 0 11 0 550267435 860172288 33310 4294967295 134512640 134569956 3221224400 3221214664 1131217157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 33310 13073 16 0 209987 0
vsize: 840012
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3508
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 108055 74 11 5 24 0 11 0 550267435 860172288 33410 4294967295 134512640 134569956 3221224400 3221214760 1131293825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 33410 13073 16 0 209987 0
vsize: 840012
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3511
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 109026 75 11 5 25 0 11 0 550267435 860172288 33487 4294967295 134512640 134569956 3221224400 3221214664 1131218509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 33487 13073 16 0 209987 0
vsize: 840012
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3514
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 109997 75 12 5 25 0 11 0 550267435 860172288 33562 4294967295 134512640 134569956 3221224400 3221214664 1131217465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 33562 13073 16 0 209987 0
vsize: 840012
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3516
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 110966 75 12 5 25 0 11 0 550267435 860172288 33650 4294967295 134512640 134569956 3221224400 3221214664 1131218590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 33650 13073 16 0 209987 0
vsize: 840012
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3519
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 111930 75 12 5 25 0 11 0 550267435 860172288 35378 4294967295 134512640 134569956 3221224400 3221214760 1131291146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 35378 13073 16 0 209987 0
vsize: 840012
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3522
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 112919 76 12 5 25 0 11 0 550267435 860172288 35378 4294967295 134512640 134569956 3221224400 3221214664 1131217579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 35378 13073 16 0 209987 0
vsize: 840012
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3524
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 113901 76 12 5 25 0 11 0 550267435 860172288 35378 4294967295 134512640 134569956 3221224400 3221214664 1131217949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 35378 13073 16 0 209987 0
vsize: 840012
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3527
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 114872 76 12 5 25 0 11 0 550267435 860172288 35404 4294967295 134512640 134569956 3221224400 3221214760 1131291146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 35404 13073 16 0 209987 0
vsize: 840012
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3530
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 115841 77 12 5 25 0 11 0 550267435 860172288 35454 4294967295 134512640 134569956 3221224400 3221214664 1131218534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 35454 13073 16 0 209987 0
vsize: 840012
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3532
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 116806 77 12 6 24 0 11 0 550267435 860172288 35530 4294967295 134512640 134569956 3221224400 3221214664 1131217685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 35530 13073 16 0 209987 0
vsize: 840012
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3535
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 117775 77 12 6 25 0 11 0 550267435 860172288 35678 4294967295 134512640 134569956 3221224400 3221214760 1131291146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 35678 13073 16 0 209987 0
vsize: 840012
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3538
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 118745 78 12 6 25 0 11 0 550267435 860172288 35771 4294967295 134512640 134569956 3221224400 3221214664 1131217859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 35771 13073 16 0 209987 0
vsize: 840012
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3540
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 119711 78 12 6 25 0 11 0 550267435 860172288 35871 4294967295 134512640 134569956 3221224400 3221214760 1131293825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 35871 13073 16 0 209987 0
vsize: 840012
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 3543
Raw data (stat): 3167 (java) R 3166 11931 11930 0 -1 0 18081 3 1 0 120680 78 13 6 25 0 11 0 550267435 860172288 35971 4294967295 134512640 134569956 3221224400 3221214760 1131291211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210003 35971 13073 16 0 209987 0
vsize: 840012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.24 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 3545
Raw data (stat): 3167 (java) Z 3166 11931 11930 0 -1 1036 18081 25369 1 3 120685 85 5474 80 24 0 1 0 550267435 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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.24
CPU time (s): 1263.27
CPU user time (s): 1261.61
CPU system time (s): 1.66475
CPU usage (%): 101.042
Max. virtual memory (Kb): 842060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####