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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
MD5SUM	c9d9583d3d7a74a0edfae6842f5e5cad
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	13545
Biggest coefficient in the objective function	53687091200000000000
Number of bits for the biggest coefficient in the objective function	66
Sum of the numbers in the objective function	226583943993884901376
Number of bits of the sum of numbers in the objective function	68
Biggest number in a constraint	10240000000000000000000
Number of bits of the biggest number in a constraint	74
Biggest sum of numbers in a constraint	10466583943993884672000
Number of bits of the biggest sum of numbers	74
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	11.0743
Number of variables	13545
Total number of constraints	15804
Number of constraints which are clauses	2586
Number of constraints which are cardinality constraints (but not clauses)	13217
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	13545
Trace number 20417

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-21 20:49:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15037 boxname=wulflinc18 idbench=1157 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c9d9583d3d7a74a0edfae6842f5e5cad  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-core2586-950.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-core2586-950.opb
IDLAUNCH: 15037
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        670500 kB
Buffers:         23136 kB
Cached:         317596 kB
SwapCached:        764 kB
Active:         136624 kB
Inactive:       206172 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        670248 kB
SwapTotal:     2097892 kB
SwapFree:      2096152 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            15760 kB
Committed_AS:    63816 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 21:12:07 (client local time) WITH STATUS 143 IN 1338.75 SECONDS
stats: 15037 7 1338.75 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-core2586-950.opb
c reading problem 
c [nbvar=13545]
c [nbconstr=15804]
c time 62.597
c #vars     13545
c #clauses  2589
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=-2052063232
c Current CPU time (ms) : 73.86
c starts	: 1
c conflicts	: 0
c decisions	: 12774
c propagations	: 13545
c inspects	: 20521
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 79.043
c starts	: 2
c conflicts	: 0
c decisions	: 25548
c propagations	: 27058
c inspects	: 23016
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 84.403
c starts	: 3
c conflicts	: 0
c decisions	: 38322
c propagations	: 40571
c inspects	: 25175
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 89.339
c starts	: 4
c conflicts	: 0
c decisions	: 51096
c propagations	: 54084
c inspects	: 27275
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 94.286
c starts	: 5
c conflicts	: 0
c decisions	: 63870
c propagations	: 67597
c inspects	: 29387
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 99.109
c starts	: 6
c conflicts	: 0
c decisions	: 76644
c propagations	: 81110
c inspects	: 31481
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 6
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 103.994
c starts	: 7
c conflicts	: 0
c decisions	: 89418
c propagations	: 94623
c inspects	: 33587
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 108.586
c starts	: 8
c conflicts	: 0
c decisions	: 102192
c propagations	: 108136
c inspects	: 35662
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 8
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 113.635
c starts	: 9
c conflicts	: 0
c decisions	: 114966
c propagations	: 121649
c inspects	: 37785
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 9
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 118.481
c starts	: 10
c conflicts	: 0
c decisions	: 127740
c propagations	: 135162
c inspects	: 39904
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 10
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 123.838
c starts	: 11
c conflicts	: 0
c decisions	: 140514
c propagations	: 148675
c inspects	: 42087
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 11
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 128.678
c starts	: 12
c conflicts	: 0
c decisions	: 153288
c propagations	: 162188
c inspects	: 44192
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 12
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 133.419
c starts	: 13
c conflicts	: 0
c decisions	: 166062
c propagations	: 175701
c inspects	: 46274
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 13
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 137.92
c starts	: 14
c conflicts	: 0
c decisions	: 178836
c propagations	: 189214
c inspects	: 48329
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 14
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 143.308
c starts	: 15
c conflicts	: 0
c decisions	: 191610
c propagations	: 202727
c inspects	: 50502
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 15
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 147.997
c starts	: 16
c conflicts	: 0
c decisions	: 204384
c propagations	: 216240
c inspects	: 52598
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 16
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 153.038
c starts	: 17
c conflicts	: 0
c decisions	: 217158
c propagations	: 229753
c inspects	: 54728
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 17
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 157.687
c starts	: 18
c conflicts	: 0
c decisions	: 229932
c propagations	: 243266
c inspects	: 56835
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 18
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 162.442
c starts	: 19
c conflicts	: 0
c decisions	: 242706
c propagations	: 256779
c inspects	: 58940
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 19
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 167.727
c starts	: 20
c conflicts	: 0
c decisions	: 255480
c propagations	: 270292
c inspects	: 61101
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 20
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 172.616
c starts	: 21
c conflicts	: 0
c decisions	: 268254
c propagations	: 283805
c inspects	: 63213
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 21
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 177.601
c starts	: 22
c conflicts	: 0
c decisions	: 281028
c propagations	: 297318
c inspects	: 65332
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 22
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 182.53
c starts	: 23
c conflicts	: 0
c decisions	: 293802
c propagations	: 310831
c inspects	: 67444
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 23
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 186.878
c starts	: 24
c conflicts	: 0
c decisions	: 306576
c propagations	: 324344
c inspects	: 69485
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 24
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 191.968
c starts	: 25
c conflicts	: 0
c decisions	: 319350
c propagations	: 337857
c inspects	: 71607
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 25
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 197.014
c starts	: 26
c conflicts	: 0
c decisions	: 332124
c propagations	: 351370
c inspects	: 73729
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 26
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 202.437
c starts	: 27
c conflicts	: 0
c decisions	: 344898
c propagations	: 364883
c inspects	: 75903
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 27
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 207.17
c starts	: 28
c conflicts	: 0
c decisions	: 357672
c propagations	: 378396
c inspects	: 77997
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 28
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 212.788
c starts	: 29
c conflicts	: 0
c decisions	: 370446
c propagations	: 391909
c inspects	: 80169
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 29
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 217.868
c starts	: 30
c conflicts	: 0
c decisions	: 383220
c propagations	: 405422
c inspects	: 82290
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 30
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 222.868
c starts	: 31
c conflicts	: 0
c decisions	: 395994
c propagations	: 418935
c inspects	: 84409
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 31
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 227.656
c starts	: 32
c conflicts	: 0
c decisions	: 408768
c propagations	: 432448
c inspects	: 86503
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 32
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 232.795
c starts	: 33
c conflicts	: 0
c decisions	: 421542
c propagations	: 445961
c inspects	: 88673
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 33
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 237.056
c starts	: 34
c conflicts	: 0
c decisions	: 434316
c propagations	: 459474
c inspects	: 90733
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 34
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 241.745
c starts	: 35
c conflicts	: 0
c decisions	: 447090
c propagations	: 472987
c inspects	: 92845
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 35
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 246.272
c starts	: 36
c conflicts	: 0
c decisions	: 459864
c propagations	: 486500
c inspects	: 94920
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 36
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 251.314
c starts	: 37
c conflicts	: 0
c decisions	: 472638
c propagations	: 500013
c inspects	: 97045
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 37
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 255.958
c starts	: 38
c conflicts	: 0
c decisions	: 485412
c propagations	: 513526
c inspects	: 99120
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 38
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 260.5
c starts	: 39
c conflicts	: 0
c decisions	: 498186
c propagations	: 527039
c inspects	: 101180
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 39
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 265.451
c starts	: 40
c conflicts	: 0
c decisions	: 510960
c propagations	: 540552
c inspects	: 103285
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 40
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 270.508
c starts	: 41
c conflicts	: 0
c decisions	: 523734
c propagations	: 554065
c inspects	: 105410
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 41
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 275.95
c starts	: 42
c conflicts	: 0
c decisions	: 536508
c propagations	: 567578
c inspects	: 107566
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 42
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 280.857
c starts	: 43
c conflicts	: 0
c decisions	: 549282
c propagations	: 581091
c inspects	: 109672
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 43
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 285.843
c starts	: 44
c conflicts	: 0
c decisions	: 562056
c propagations	: 594604
c inspects	: 111779
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 44
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 290.936
c starts	: 45
c conflicts	: 0
c decisions	: 574830
c propagations	: 608117
c inspects	: 113910
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 45
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 295.809
c starts	: 46
c conflicts	: 0
c decisions	: 587604
c propagations	: 621630
c inspects	: 116016
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 46
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 301.119
c starts	: 47
c conflicts	: 0
c decisions	: 600378
c propagations	: 635143
c inspects	: 118169
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 47
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 306.36
c starts	: 48
c conflicts	: 0
c decisions	: 613152
c propagations	: 648656
c inspects	: 120314
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 48
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 311.147
c starts	: 49
c conflicts	: 0
c decisions	: 625926
c propagations	: 662169
c inspects	: 122389
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 49
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 316.11
c starts	: 50
c conflicts	: 0
c decisions	: 638700
c propagations	: 675682
c inspects	: 124501
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 50
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 320.683
c starts	: 51
c conflicts	: 0
c decisions	: 651474
c propagations	: 689195
c inspects	: 126558
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 51
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 325.647
c starts	: 52
c conflicts	: 0
c decisions	: 664248
c propagations	: 702708
c inspects	: 128673
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 52
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 330.767
c starts	: 53
c conflicts	: 0
c decisions	: 677022
c propagations	: 716221
c inspects	: 130795
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 53
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 336.396
c starts	: 54
c conflicts	: 0
c decisions	: 689796
c propagations	: 729734
c inspects	: 132983
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 54
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 341.35
c starts	: 55
c conflicts	: 0
c decisions	: 702570
c propagations	: 743247
c inspects	: 135089
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 55
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 346.262
c starts	: 56
c conflicts	: 0
c decisions	: 715344
c propagations	: 756760
c inspects	: 137190
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 56
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 351.169
c starts	: 57
c conflicts	: 0
c decisions	: 728118
c propagations	: 770273
c inspects	: 139287
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 57
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 356.786
c starts	: 58
c conflicts	: 0
c decisions	: 740892
c propagations	: 783786
c inspects	: 141479
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 58
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 361.845
c starts	: 59
c conflicts	: 0
c decisions	: 753666
c propagations	: 797299
c inspects	: 143584
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 59
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 366.717
c starts	: 60
c conflicts	: 0
c decisions	: 766440
c propagations	: 810812
c inspects	: 145678
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 60
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 372.203
c starts	: 61
c conflicts	: 0
c decisions	: 779214
c propagations	: 824325
c inspects	: 147843
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 61
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 377.814
c starts	: 62
c conflicts	: 0
c decisions	: 791988
c propagations	: 837838
c inspects	: 150013
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 62
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 383.007
c starts	: 63
c conflicts	: 0
c decisions	: 804762
c propagations	: 851351
c inspects	: 152134
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 63
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 387.907
c starts	: 64
c conflicts	: 0
c decisions	: 817536
c propagations	: 864864
c inspects	: 154223
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 64
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 392.889
c starts	: 65
c conflicts	: 0
c decisions	: 830310
c propagations	: 878377
c inspects	: 156328
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 65
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 397.766
c starts	: 66
c conflicts	: 0
c decisions	: 843084
c propagations	: 891890
c inspects	: 158459
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 66
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 402.479
c starts	: 67
c conflicts	: 0
c decisions	: 855858
c propagations	: 905403
c inspects	: 160559
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 67
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 407.815
c starts	: 68
c conflicts	: 0
c decisions	: 868632
c propagations	: 918916
c inspects	: 162733
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 68
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 412.338
c starts	: 69
c conflicts	: 0
c decisions	: 881406
c propagations	: 932429
c inspects	: 164773
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 69
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 417.387
c starts	: 70
c conflicts	: 0
c decisions	: 894180
c propagations	: 945942
c inspects	: 166878
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 70
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 422.629
c starts	: 71
c conflicts	: 0
c decisions	: 906954
c propagations	: 959455
c inspects	: 169018
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 71
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 427.572
c starts	: 72
c conflicts	: 0
c decisions	: 919728
c propagations	: 972968
c inspects	: 171112
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 72
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 432.709
c starts	: 73
c conflicts	: 0
c decisions	: 932502
c propagations	: 986481
c inspects	: 173208
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 73
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 438.333
c starts	: 74
c conflicts	: 0
c decisions	: 945276
c propagations	: 999994
c inspects	: 175377
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 74
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 443.644
c starts	: 75
c conflicts	: 0
c decisions	: 958050
c propagations	: 1013507
c inspects	: 177515
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 75
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 448.196
c starts	: 76
c conflicts	: 0
c decisions	: 970824
c propagations	: 1027020
c inspects	: 179553
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 76
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 453.504
c starts	: 77
c conflicts	: 0
c decisions	: 983598
c propagations	: 1040533
c inspects	: 181706
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 77
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 458.652
c starts	: 78
c conflicts	: 0
c decisions	: 996372
c propagations	: 1054046
c inspects	: 183841
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 78
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 464.76
c starts	: 79
c conflicts	: 0
c decisions	: 1009146
c propagations	: 1067559
c inspects	: 186060
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 79
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 469.595
c starts	: 80
c conflicts	: 0
c decisions	: 1021920
c propagations	: 1081072
c inspects	: 188135
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 80
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 474.744
c starts	: 81
c conflicts	: 0
c decisions	: 1034694
c propagations	: 1094585
c inspects	: 190255
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 81
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 480.128
c starts	: 82
c conflicts	: 0
c decisions	: 1047468
c propagations	: 1108098
c inspects	: 192420
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 82
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 485.147
c starts	: 83
c conflicts	: 0
c decisions	: 1060242
c propagations	: 1121611
c inspects	: 194516
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 83
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 490.902
c starts	: 84
c conflicts	: 0
c decisions	: 1073016
c propagations	: 1135124
c inspects	: 196693
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 84
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 496.42
c starts	: 85
c conflicts	: 0
c decisions	: 1085790
c propagations	: 1148637
c inspects	: 198867
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 85
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 501.43
c starts	: 86
c conflicts	: 0
c decisions	: 1098564
c propagations	: 1162150
c inspects	: 200979
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 86
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 506.44
c starts	: 87
c conflicts	: 0
c decisions	: 1111338
c propagations	: 1175663
c inspects	: 203073
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 87
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 512.126
c starts	: 88
c conflicts	: 0
c decisions	: 1124112
c propagations	: 1189176
c inspects	: 205254
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 88
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 517.325
c starts	: 89
c conflicts	: 0
c decisions	: 1136886
c propagations	: 1202689
c inspects	: 207379
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 89
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 521.766
c starts	: 90
c conflicts	: 0
c decisions	: 1149660
c propagations	: 1216202
c inspects	: 209388
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 90
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 527.21
c starts	: 91
c conflicts	: 0
c decisions	: 1162434
c propagations	: 1229715
c inspects	: 211562
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 91
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 532.595
c starts	: 92
c conflicts	: 0
c decisions	: 1175208
c propagations	: 1243228
c inspects	: 213700
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 92
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 538.026
c starts	: 93
c conflicts	: 0
c decisions	: 1187982
c propagations	: 1256741
c inspects	: 215873
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 93
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 543.514
c starts	: 94
c conflicts	: 0
c decisions	: 1200756
c propagations	: 1270254
c inspects	: 218038
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 94
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 548.672
c starts	: 95
c conflicts	: 0
c decisions	: 1213530
c propagations	: 1283767
c inspects	: 220143
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 95
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 554.299
c starts	: 96
c conflicts	: 0
c decisions	: 1226304
c propagations	: 1297280
c inspects	: 222301
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 96
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 559.108
c starts	: 97
c conflicts	: 0
c decisions	: 1239078
c propagations	: 1310793
c inspects	: 224346
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 97
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 563.982
c starts	: 98
c conflicts	: 0
c decisions	: 1251852
c propagations	: 1324306
c inspects	: 226435
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 98
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 569.609
c starts	: 99
c conflicts	: 0
c decisions	: 1264626
c propagations	: 1337819
c inspects	: 228604
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 99
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 574.81
c starts	: 100
c conflicts	: 0
c decisions	: 1277400
c propagations	: 1351332
c inspects	: 230724
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 100
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 580.49
c starts	: 101
c conflicts	: 0
c decisions	: 1290174
c propagations	: 1364845
c inspects	: 232889
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 101
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 585.87
c starts	: 102
c conflicts	: 0
c decisions	: 1302948
c propagations	: 1378358
c inspects	: 235027
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 102
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 590.458
c starts	: 103
c conflicts	: 0
c decisions	: 1315722
c propagations	: 1391871
c inspects	: 237065
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 103
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 595.689
c starts	: 104
c conflicts	: 0
c decisions	: 1328496
c propagations	: 1405384
c inspects	: 239170
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 104
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 601.601
c starts	: 105
c conflicts	: 0
c decisions	: 1341270
c propagations	: 1418897
c inspects	: 241345
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 105
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 606.596
c starts	: 106
c conflicts	: 0
c decisions	: 1354044
c propagations	: 1432410
c inspects	: 243424
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 106
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 611.903
c starts	: 107
c conflicts	: 0
c decisions	: 1366818
c propagations	: 1445923
c inspects	: 245551
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 107
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 617.481
c starts	: 108
c conflicts	: 0
c decisions	: 1379592
c propagations	: 1459436
c inspects	: 247717
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 108
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 623.495
c starts	: 109
c conflicts	: 0
c decisions	: 1392366
c propagations	: 1472949
c inspects	: 249913
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 109
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 628.672
c starts	: 110
c conflicts	: 0
c decisions	: 1405140
c propagations	: 1486462
c inspects	: 252009
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 110
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 633.944
c starts	: 111
c conflicts	: 0
c decisions	: 1417914
c propagations	: 1499975
c inspects	: 254140
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 111
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 639.444
c starts	: 112
c conflicts	: 0
c decisions	: 1430688
c propagations	: 1513488
c inspects	: 256278
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 112
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 644.486
c starts	: 113
c conflicts	: 0
c decisions	: 1443462
c propagations	: 1527001
c inspects	: 258369
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 113
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 649.245
c starts	: 114
c conflicts	: 0
c decisions	: 1456236
c propagations	: 1540514
c inspects	: 260421
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 114
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 654.044
c starts	: 115
c conflicts	: 0
c decisions	: 1469010
c propagations	: 1554027
c inspects	: 262460
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 115
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 659.442
c starts	: 116
c conflicts	: 0
c decisions	: 1481784
c propagations	: 1567540
c inspects	: 264595
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 116
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 664.599
c starts	: 117
c conflicts	: 0
c decisions	: 1494558
c propagations	: 1581053
c inspects	: 266714
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 117
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 669.44
c starts	: 118
c conflicts	: 0
c decisions	: 1507332
c propagations	: 1594566
c inspects	: 268779
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 118
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 674.505
c starts	: 119
c conflicts	: 0
c decisions	: 1520106
c propagations	: 1608079
c inspects	: 270878
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 119
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 679.341
c starts	: 120
c conflicts	: 0
c decisions	: 1532880
c propagations	: 1621592
c inspects	: 272953
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 120
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 684.331
c starts	: 121
c conflicts	: 0
c decisions	: 1545654
c propagations	: 1635105
c inspects	: 275031
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 121
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 689.41
c starts	: 122
c conflicts	: 0
c decisions	: 1558428
c propagations	: 1648618
c inspects	: 277143
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 122
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 694.435
c starts	: 123
c conflicts	: 0
c decisions	: 1571202
c propagations	: 1662131
c inspects	: 279236
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 123
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 699.829
c starts	: 124
c conflicts	: 0
c decisions	: 1583976
c propagations	: 1675644
c inspects	: 281387
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 124
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 705.592
c starts	: 125
c conflicts	: 0
c decisions	: 1596750
c propagations	: 1689157
c inspects	: 283557
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 125
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 711.029
c starts	: 126
c conflicts	: 0
c decisions	: 1609524
c propagations	: 1702670
c inspects	: 285715
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 126
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 716.373
c starts	: 127
c conflicts	: 0
c decisions	: 1622298
c propagations	: 1716183
c inspects	: 287835
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 127
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 721.706
c starts	: 128
c conflicts	: 0
c decisions	: 1635072
c propagations	: 1729696
c inspects	: 289940
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 128
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 727.215
c starts	: 129
c conflicts	: 0
c decisions	: 1647846
c propagations	: 1743209
c inspects	: 292057
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 129
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 731.791
c starts	: 130
c conflicts	: 0
c decisions	: 1660620
c propagations	: 1756722
c inspects	: 294088
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 130
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 737.259
c starts	: 131
c conflicts	: 0
c decisions	: 1673394
c propagations	: 1770235
c inspects	: 296240
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 131
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 742.965
c starts	: 132
c conflicts	: 0
c decisions	: 1686168
c propagations	: 1783748
c inspects	: 298402
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 132
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 748.301
c starts	: 133
c conflicts	: 0
c decisions	: 1698942
c propagations	: 1797261
c inspects	: 300533
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 133
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 753.515
c starts	: 134
c conflicts	: 0
c decisions	: 1711716
c propagations	: 1810774
c inspects	: 302657
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 134
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 758.392
c starts	: 135
c conflicts	: 0
c decisions	: 1724490
c propagations	: 1824287
c inspects	: 304732
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 135
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 764.099
c starts	: 136
c conflicts	: 0
c decisions	: 1737264
c propagations	: 1837800
c inspects	: 306892
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 136
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 769.742
c starts	: 137
c conflicts	: 0
c decisions	: 1750038
c propagations	: 1851313
c inspects	: 309057
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 137
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 774.925
c starts	: 138
c conflicts	: 0
c decisions	: 1762812
c propagations	: 1864826
c inspects	: 311178
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 138
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 780.353
c starts	: 139
c conflicts	: 0
c decisions	: 1775586
c propagations	: 1878339
c inspects	: 313300
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 139
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 785.127
c starts	: 140
c conflicts	: 0
c decisions	: 1788360
c propagations	: 1891852
c inspects	: 315366
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 140
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 790.063
c starts	: 141
c conflicts	: 0
c decisions	: 1801134
c propagations	: 1905365
c inspects	: 317438
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 141
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 794.85
c starts	: 142
c conflicts	: 0
c decisions	: 1813908
c propagations	: 1918878
c inspects	: 319498
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 142
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 800.628
c starts	: 143
c conflicts	: 0
c decisions	: 1826682
c propagations	: 1932391
c inspects	: 321668
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 143
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 805.736
c starts	: 144
c conflicts	: 0
c decisions	: 1839456
c propagations	: 1945904
c inspects	: 323768
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 144
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 810.543
c starts	: 145
c conflicts	: 0
c decisions	: 1852230
c propagations	: 1959417
c inspects	: 325835
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 145
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 816.28
c starts	: 146
c conflicts	: 0
c decisions	: 1865004
c propagations	: 1972930
c inspects	: 328001
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 146
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 821.38
c starts	: 147
c conflicts	: 0
c decisions	: 1877778
c propagations	: 1986443
c inspects	: 330090
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 147
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 826.635
c starts	: 148
c conflicts	: 0
c decisions	: 1890552
c propagations	: 1999956
c inspects	: 332195
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 148
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 832.13
c starts	: 149
c conflicts	: 0
c decisions	: 1903326
c propagations	: 2013469
c inspects	: 334360
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 149
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 837.811
c starts	: 150
c conflicts	: 0
c decisions	: 1916100
c propagations	: 2026982
c inspects	: 336526
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 150
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 843.135
c starts	: 151
c conflicts	: 0
c decisions	: 1928874
c propagations	: 2040495
c inspects	: 338658
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 151
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 848.237
c starts	: 152
c conflicts	: 0
c decisions	: 1941648
c propagations	: 2054008
c inspects	: 340770
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 152
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 853.734
c starts	: 153
c conflicts	: 0
c decisions	: 1954422
c propagations	: 2067521
c inspects	: 342900
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 153
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 859.032
c starts	: 154
c conflicts	: 0
c decisions	: 1967196
c propagations	: 2081034
c inspects	: 345034
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 154
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 864.599
c starts	: 155
c conflicts	: 0
c decisions	: 1979970
c propagations	: 2094547
c inspects	: 347202
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 155
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 869.497
c starts	: 156
c conflicts	: 0
c decisions	: 1992744
c propagations	: 2108060
c inspects	: 349267
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 156
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 874.722
c starts	: 157
c conflicts	: 0
c decisions	: 2005518
c propagations	: 2121573
c inspects	: 351363
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 157
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 880.209
c starts	: 158
c conflicts	: 0
c decisions	: 2018292
c propagations	: 2135086
c inspects	: 353528
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 158
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 885.559
c starts	: 159
c conflicts	: 0
c decisions	: 2031066
c propagations	: 2148599
c inspects	: 355643
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 159
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 890.203
c starts	: 160
c conflicts	: 0
c decisions	: 2043840
c propagations	: 2162112
c inspects	: 357669
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 160
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 895.596
c starts	: 161
c conflicts	: 0
c decisions	: 2056614
c propagations	: 2175625
c inspects	: 359806
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 161
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 900.731
c starts	: 162
c conflicts	: 0
c decisions	: 2069388
c propagations	: 2189138
c inspects	: 361912
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 162
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 906.501
c starts	: 163
c conflicts	: 0
c decisions	: 2082162
c propagations	: 2202651
c inspects	: 364077
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 163
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 911.401
c starts	: 164
c conflicts	: 0
c decisions	: 2094936
c propagations	: 2216164
c inspects	: 366152
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 164
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 916.758
c starts	: 165
c conflicts	: 0
c decisions	: 2107710
c propagations	: 2229677
c inspects	: 368286
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 165
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 921.926
c starts	: 166
c conflicts	: 0
c decisions	: 2120484
c propagations	: 2243190
c inspects	: 370376
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 166
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 927.563
c starts	: 167
c conflicts	: 0
c decisions	: 2133258
c propagations	: 2256703
c inspects	: 372528
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 167
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 932.82
c starts	: 168
c conflicts	: 0
c decisions	: 2146032
c propagations	: 2270216
c inspects	: 374622
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 168
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 937.805
c starts	: 169
c conflicts	: 0
c decisions	: 2158806
c propagations	: 2283729
c inspects	: 376716
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 169
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 943.036
c starts	: 170
c conflicts	: 0
c decisions	: 2171580
c propagations	: 2297242
c inspects	: 378816
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 170
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 948.248
c starts	: 171
c conflicts	: 0
c decisions	: 2184354
c propagations	: 2310755
c inspects	: 380912
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 171
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 954.137
c starts	: 172
c conflicts	: 0
c decisions	: 2197128
c propagations	: 2324268
c inspects	: 383093
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 172
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 959.077
c starts	: 173
c conflicts	: 0
c decisions	: 2209902
c propagations	: 2337781
c inspects	: 385171
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 173
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 964.161
c starts	: 174
c conflicts	: 0
c decisions	: 2222676
c propagations	: 2351294
c inspects	: 387265
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 174
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 969.952
c starts	: 175
c conflicts	: 0
c decisions	: 2235450
c propagations	: 2364807
c inspects	: 389423
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 175
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 974.835
c starts	: 176
c conflicts	: 0
c decisions	: 2248224
c propagations	: 2378320
c inspects	: 391498
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 176
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 980.6
c starts	: 177
c conflicts	: 0
c decisions	: 2260998
c propagations	: 2391833
c inspects	: 393655
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 177
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 985.786
c starts	: 178
c conflicts	: 0
c decisions	: 2273772
c propagations	: 2405346
c inspects	: 395755
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 178
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 991.003
c starts	: 179
c conflicts	: 0
c decisions	: 2286546
c propagations	: 2418859
c inspects	: 397861
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 179
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 996.442
c starts	: 180
c conflicts	: 0
c decisions	: 2299320
c propagations	: 2432372
c inspects	: 400012
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 180
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1002.184
c starts	: 181
c conflicts	: 0
c decisions	: 2312094
c propagations	: 2445885
c inspects	: 402180
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 181
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1008.088
c starts	: 182
c conflicts	: 0
c decisions	: 2324868
c propagations	: 2459398
c inspects	: 404367
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 182
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1013.572
c starts	: 183
c conflicts	: 0
c decisions	: 2337642
c propagations	: 2472911
c inspects	: 406491
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 183
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1019.12
c starts	: 184
c conflicts	: 0
c decisions	: 2350416
c propagations	: 2486424
c inspects	: 408656
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 184
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1024.604
c starts	: 185
c conflicts	: 0
c decisions	: 2363190
c propagations	: 2499937
c inspects	: 410802
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 185
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1029.832
c starts	: 186
c conflicts	: 0
c decisions	: 2375964
c propagations	: 2513450
c inspects	: 412898
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 186
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1035.209
c starts	: 187
c conflicts	: 0
c decisions	: 2388738
c propagations	: 2526963
c inspects	: 415023
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 187
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1040.93
c starts	: 188
c conflicts	: 0
c decisions	: 2401512
c propagations	: 2540476
c inspects	: 417180
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 188
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1045.848
c starts	: 189
c conflicts	: 0
c decisions	: 2414286
c propagations	: 2553989
c inspects	: 419245
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 189
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1051.731
c starts	: 190
c conflicts	: 0
c decisions	: 2427060
c propagations	: 2567502
c inspects	: 421426
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 190
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1056.437
c starts	: 191
c conflicts	: 0
c decisions	: 2439834
c propagations	: 2581015
c inspects	: 423450
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 191
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1061.755
c starts	: 192
c conflicts	: 0
c decisions	: 2452608
c propagations	: 2594528
c inspects	: 425546
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 192
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1067.034
c starts	: 193
c conflicts	: 0
c decisions	: 2465382
c propagations	: 2608041
c inspects	: 427651
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 193
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1072.476
c starts	: 194
c conflicts	: 0
c decisions	: 2478156
c propagations	: 2621554
c inspects	: 429816
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 194
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1077.384
c starts	: 195
c conflicts	: 0
c decisions	: 2490930
c propagations	: 2635067
c inspects	: 431905
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 195
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1083.039
c starts	: 196
c conflicts	: 0
c decisions	: 2503704
c propagations	: 2648580
c inspects	: 434053
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 196
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1088.579
c starts	: 197
c conflicts	: 0
c decisions	: 2516478
c propagations	: 2662093
c inspects	: 436190
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 197
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1093.963
c starts	: 198
c conflicts	: 0
c decisions	: 2529252
c propagations	: 2675606
c inspects	: 438311
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 198
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1099.314
c starts	: 199
c conflicts	: 0
c decisions	: 2542026
c propagations	: 2689119
c inspects	: 440430
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 199
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1105.057
c starts	: 200
c conflicts	: 0
c decisions	: 2554800
c propagations	: 2702632
c inspects	: 442596
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 200
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1110.411
c starts	: 201
c conflicts	: 0
c decisions	: 2567574
c propagations	: 2716145
c inspects	: 444696
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 201
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1116.429
c starts	: 202
c conflicts	: 0
c decisions	: 2580348
c propagations	: 2729658
c inspects	: 446884
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 202
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1121.09
c starts	: 203
c conflicts	: 0
c decisions	: 2593122
c propagations	: 2743171
c inspects	: 448899
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 203
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1126.535
c starts	: 204
c conflicts	: 0
c decisions	: 2605896
c propagations	: 2756684
c inspects	: 451019
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 204
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1131.974
c starts	: 205
c conflicts	: 0
c decisions	: 2618670
c propagations	: 2770197
c inspects	: 453150
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 205
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1137.356
c starts	: 206
c conflicts	: 0
c decisions	: 2631444
c propagations	: 2783710
c inspects	: 455272
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 206
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1142.352
c starts	: 207
c conflicts	: 0
c decisions	: 2644218
c propagations	: 2797223
c inspects	: 457337
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 207
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1147.629
c starts	: 208
c conflicts	: 0
c decisions	: 2656992
c propagations	: 2810736
c inspects	: 459443
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 208
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1152.941
c starts	: 209
c conflicts	: 0
c decisions	: 2669766
c propagations	: 2824249
c inspects	: 461539
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 209
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1158.274
c starts	: 210
c conflicts	: 0
c decisions	: 2682540
c propagations	: 2837762
c inspects	: 463635
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 210
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1163.64
c starts	: 211
c conflicts	: 0
c decisions	: 2695314
c propagations	: 2851275
c inspects	: 465753
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 211
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1169.18
c starts	: 212
c conflicts	: 0
c decisions	: 2708088
c propagations	: 2864788
c inspects	: 467902
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 212
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1174.156
c starts	: 213
c conflicts	: 0
c decisions	: 2720862
c propagations	: 2878301
c inspects	: 469967
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 213
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1179.505
c starts	: 214
c conflicts	: 0
c decisions	: 2733636
c propagations	: 2891814
c inspects	: 472072
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 214
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1185.189
c starts	: 215
c conflicts	: 0
c decisions	: 2746410
c propagations	: 2905327
c inspects	: 474220
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 215
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1190.075
c starts	: 216
c conflicts	: 0
c decisions	: 2759184
c propagations	: 2918840
c inspects	: 476273
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 216
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1196.019
c starts	: 217
c conflicts	: 0
c decisions	: 2771958
c propagations	: 2932353
c inspects	: 478456
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 217
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1201.017
c starts	: 218
c conflicts	: 0
c decisions	: 2784732
c propagations	: 2945866
c inspects	: 480524
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 218
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1206.544
c starts	: 219
c conflicts	: 0
c decisions	: 2797506
c propagations	: 2959379
c inspects	: 482647
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 219
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1211.413
c starts	: 220
c conflicts	: 0
c decisions	: 2810280
c propagations	: 2972892
c inspects	: 484712
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 220
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1217.457
c starts	: 221
c conflicts	: 0
c decisions	: 2823054
c propagations	: 2986405
c inspects	: 486902
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 221
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1223.366
c starts	: 222
c conflicts	: 0
c decisions	: 2835828
c propagations	: 2999918
c inspects	: 489083
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 222
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1228.667
c starts	: 223
c conflicts	: 0
c decisions	: 2848602
c propagations	: 3013431
c inspects	: 491195
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 223
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1234.206
c starts	: 224
c conflicts	: 0
c decisions	: 2861376
c propagations	: 3026944
c inspects	: 493340
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 224
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1239.398
c starts	: 225
c conflicts	: 0
c decisions	: 2874150
c propagations	: 3040457
c inspects	: 495429
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 225
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1245.051
c starts	: 226
c conflicts	: 0
c decisions	: 2886924
c propagations	: 3053970
c inspects	: 497599
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 226
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1250.269
c starts	: 227
c conflicts	: 0
c decisions	: 2899698
c propagations	: 3067483
c inspects	: 499691
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 227
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1255.698
c starts	: 228
c conflicts	: 0
c decisions	: 2912472
c propagations	: 3080996
c inspects	: 501810
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 228
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1261.117
c starts	: 229
c conflicts	: 0
c decisions	: 2925246
c propagations	: 3094509
c inspects	: 503935
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 229
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1265.979
c starts	: 230
c conflicts	: 0
c decisions	: 2938020
c propagations	: 3108022
c inspects	: 505961
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 230
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1271.191
c starts	: 231
c conflicts	: 0
c decisions	: 2950794
c propagations	: 3121535
c inspects	: 508060
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 231
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1276.506
c starts	: 232
c conflicts	: 0
c decisions	: 2963568
c propagations	: 3135048
c inspects	: 510154
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 232
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1282.347
c starts	: 233
c conflicts	: 0
c decisions	: 2976342
c propagations	: 3148561
c inspects	: 512324
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 233
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1287.897
c starts	: 234
c conflicts	: 0
c decisions	: 2989116
c propagations	: 3162074
c inspects	: 514449
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 234
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1293.242
c starts	: 235
c conflicts	: 0
c decisions	: 3001890
c propagations	: 3175587
c inspects	: 516540
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 235
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1298.839
c starts	: 236
c conflicts	: 0
c decisions	: 3014664
c propagations	: 3189100
c inspects	: 518677
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 236
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1304.408
c starts	: 237
c conflicts	: 0
c decisions	: 3027438
c propagations	: 3202613
c inspects	: 520809
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 237
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1310.219
c starts	: 238
c conflicts	: 0
c decisions	: 3040212
c propagations	: 3216126
c inspects	: 522964
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 238
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1315.292
c starts	: 239
c conflicts	: 0
c decisions	: 3052986
c propagations	: 3229639
c inspects	: 525021
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 239
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1321.039
c starts	: 240
c conflicts	: 0
c decisions	: 3065760
c propagations	: 3243152
c inspects	: 527171
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 240
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1326.465
c starts	: 241
c conflicts	: 0
c decisions	: 3078534
c propagations	: 3256665
c inspects	: 529276
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 241
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1332.012
c starts	: 242
c conflicts	: 0
c decisions	: 3091308
c propagations	: 3270178
c inspects	: 531405
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 242
c 
c CURRENT OPTIMUM=-2052063232
c Current CPU time (ms) : 1337.867
c starts	: 243
c conflicts	: 0
c decisions	: 3104082
c propagations	: 3283691
c inspects	: 533564
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 243
#### 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.75 0.92 0.90 1/55 8058
Raw data (stat): 8058 (runsolver) D 8057 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 548080526 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.86 0.94 0.90 2/64 8067
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 17984 0 1 0 856 40 0 0 25 0 10 0 548080526 853393408 19101 4294967295 134512640 134569956 3221224400 3221214744 1131183041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208348 19101 13073 16 0 208332 0
vsize: 833392
[startup+20.0017 s]
Raw data (loadavg): 0.88 0.94 0.90 2/64 8067
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 17984 0 1 0 1745 40 0 0 18 0 10 0 548080526 853614592 19647 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208402 19647 13073 16 0 208386 0
vsize: 833608
[startup+30.0023 s]
Raw data (loadavg): 0.90 0.94 0.90 2/64 8067
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 17984 0 1 0 2642 41 0 0 24 0 10 0 548080526 853614592 20087 4294967295 134512640 134569956 3221224400 3221214824 1131220604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208402 20087 13073 16 0 208386 0
vsize: 833608
[startup+40.0032 s]
Raw data (loadavg): 0.91 0.95 0.90 2/64 8067
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 17984 0 1 0 3571 41 0 0 25 0 10 0 548080526 853614592 20317 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208402 20317 13073 16 0 208386 0
vsize: 833608
[startup+50.0047 s]
Raw data (loadavg): 0.93 0.95 0.91 2/64 8067
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 17984 0 1 0 4498 41 0 0 25 0 10 0 548080526 853614592 20440 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208402 20440 13073 16 0 208386 0
vsize: 833608
[startup+60.0049 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 8069
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18004 0 1 0 5439 42 0 0 25 0 10 0 548080526 858574848 21722 4294967295 134512640 134569956 3221224400 3221214496 1131255696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209613 21722 13073 16 0 209597 0
vsize: 838452
[startup+70.006 s]
Raw data (loadavg): 1.02 0.96 0.91 2/65 8070
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18035 0 1 0 6341 44 0 0 24 0 11 0 548080526 857759744 23601 4294967295 134512640 134569956 3221224400 3221214856 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 23601 13073 16 0 209398 0
vsize: 837656
[startup+80.0062 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 8072
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 7245 44 0 0 25 0 11 0 548080526 857759744 23615 4294967295 134512640 134569956 3221224400 3221214884 1131244595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 23615 13073 16 0 209398 0
vsize: 837656
[startup+90.0072 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 8073
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 8151 44 0 0 25 0 11 0 548080526 857759744 24041 4294967295 134512640 134569956 3221224400 3221214896 1131434872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 24041 13073 16 0 209398 0
vsize: 837656
[startup+100.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 8075
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 9037 45 0 0 25 0 10 0 548080526 857759744 24548 4294967295 134512640 134569956 3221224400 3221214608 1131346929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 24548 13073 16 0 209398 0
vsize: 837656
[startup+110.009 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 8078
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 9923 45 0 0 25 0 11 0 548080526 857759744 25232 4294967295 134512640 134569956 3221224400 3221214800 1131300432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 25232 13073 16 0 209398 0
vsize: 837656
[startup+120.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8080
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 10838 45 0 0 25 0 11 0 548080526 857759744 25982 4294967295 134512640 134569956 3221224400 3221214896 1131434872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 25982 13073 16 0 209398 0
vsize: 837656
[startup+130.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8082
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 11765 45 0 0 25 0 11 0 548080526 857759744 26434 4294967295 134512640 134569956 3221224400 3221214800 1131299708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 26434 13073 16 0 209398 0
vsize: 837656
[startup+140.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8084
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 12652 46 0 0 25 0 11 0 548080526 857759744 26895 4294967295 134512640 134569956 3221224400 3221214800 1131300504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 26895 13073 16 0 209398 0
vsize: 837656
[startup+150.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8086
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 13544 46 0 0 25 0 11 0 548080526 857759744 27608 4294967295 134512640 134569956 3221224400 3221214800 1131299578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 27608 13073 16 0 209398 0
vsize: 837656
[startup+160.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8088
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 14468 46 0 0 25 0 11 0 548080526 857759744 28987 4294967295 134512640 134569956 3221224400 3221214848 1131253020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 28987 13073 16 0 209398 0
vsize: 837656
[startup+170.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8090
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 15387 47 0 0 25 0 11 0 548080526 857759744 28987 4294967295 134512640 134569956 3221224400 3221214800 1131299217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 28987 13073 16 0 209398 0
vsize: 837656
[startup+180.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8092
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 16284 47 0 0 25 0 11 0 548080526 857759744 29446 4294967295 134512640 134569956 3221224400 3221214800 1131299827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 29446 13073 16 0 209398 0
vsize: 837656
[startup+190.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8094
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 17182 47 0 0 25 0 11 0 548080526 857759744 30140 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 30140 13073 16 0 209398 0
vsize: 837656
[startup+200.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8096
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 18071 48 0 0 25 0 11 0 548080526 857759744 30970 4294967295 134512640 134569956 3221224400 3221214800 1131300398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 30970 13073 16 0 209398 0
vsize: 837656
[startup+210.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8098
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 18981 48 0 0 25 0 11 0 548080526 857759744 31231 4294967295 134512640 134569956 3221224400 3221214800 1131300504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 31231 13073 16 0 209398 0
vsize: 837656
[startup+220.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8100
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 19885 49 0 0 25 0 11 0 548080526 857759744 31506 4294967295 134512640 134569956 3221224400 3221214896 1131435056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 31506 13073 16 0 209398 0
vsize: 837656
[startup+230.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8102
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 20787 49 1 0 25 0 11 0 548080526 857759744 32440 4294967295 134512640 134569956 3221224400 3221214848 1131253168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 32440 13073 16 0 209398 0
vsize: 837656
[startup+240.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8104
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 21736 50 1 0 25 0 11 0 548080526 857759744 34244 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 34244 13073 16 0 209398 0
vsize: 837656
[startup+250.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8106
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 22651 51 1 0 25 0 11 0 548080526 857759744 34473 4294967295 134512640 134569956 3221224400 3221214800 1131299886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 34473 13073 16 0 209398 0
vsize: 837656
[startup+260.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8108
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 23554 51 1 0 25 0 11 0 548080526 857759744 34930 4294967295 134512640 134569956 3221224400 3221214848 1131253107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 34930 13073 16 0 209398 0
vsize: 837656
[startup+270.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8110
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 24457 52 1 0 25 0 11 0 548080526 857759744 35387 4294967295 134512640 134569956 3221224400 3221214872 1131413434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 35387 13073 16 0 209398 0
vsize: 837656
[startup+280.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8112
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 25359 52 1 0 25 0 11 0 548080526 857759744 35842 4294967295 134512640 134569956 3221224400 3221214848 1131253009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 35842 13073 16 0 209398 0
vsize: 837656
[startup+290.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 8114
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 26262 52 1 0 25 0 11 0 548080526 857759744 36300 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 36300 13073 16 0 209398 0
vsize: 837656
[startup+300.049 s]
Raw data (loadavg): 1.08 0.99 0.92 2/65 8116
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 27165 52 1 0 25 0 11 0 548080526 857759744 36764 4294967295 134512640 134569956 3221224400 3221214800 1131300383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 36764 13073 16 0 209398 0
vsize: 837656
[startup+310.049 s]
Raw data (loadavg): 1.07 0.99 0.92 2/65 8118
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 28059 53 1 0 25 0 11 0 548080526 857759744 37466 4294967295 134512640 134569956 3221224400 3221214800 1131300096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 37466 13073 16 0 209398 0
vsize: 837656
[startup+320.05 s]
Raw data (loadavg): 1.06 0.99 0.92 2/65 8120
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 28951 53 1 0 25 0 11 0 548080526 857759744 38178 4294967295 134512640 134569956 3221224400 3221214848 1131253084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 38178 13073 16 0 209398 0
vsize: 837656
[startup+330.05 s]
Raw data (loadavg): 1.05 0.99 0.92 2/65 8122
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 29849 53 1 0 25 0 11 0 548080526 857759744 38505 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 38505 13073 16 0 209398 0
vsize: 837656
[startup+340.051 s]
Raw data (loadavg): 1.04 0.99 0.92 2/65 8124
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 30746 53 1 1 25 0 11 0 548080526 857759744 39018 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 39018 13073 16 0 209398 0
vsize: 837656
[startup+350.051 s]
Raw data (loadavg): 1.03 0.99 0.92 2/65 8126
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 31654 54 2 1 25 0 11 0 548080526 857759744 39478 4294967295 134512640 134569956 3221224400 3221214800 1131299204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 39478 13073 16 0 209398 0
vsize: 837656
[startup+360.053 s]
Raw data (loadavg): 1.03 0.99 0.92 2/65 8130
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 32554 55 2 1 25 0 11 0 548080526 857759744 39937 4294967295 134512640 134569956 3221224400 3221214896 1131434989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 39937 13073 16 0 209398 0
vsize: 837656
[startup+370.053 s]
Raw data (loadavg): 1.02 0.99 0.92 2/65 8132
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 33454 55 2 1 25 0 11 0 548080526 857759744 40395 4294967295 134512640 134569956 3221224400 3221214848 1131253009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 40395 13073 16 0 209398 0
vsize: 837656
[startup+380.053 s]
Raw data (loadavg): 1.02 0.99 0.92 2/65 8134
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 34356 56 2 1 25 0 11 0 548080526 857759744 40625 4294967295 134512640 134569956 3221224400 3221214848 1131253009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 40625 13073 16 0 209398 0
vsize: 837656
[startup+390.055 s]
Raw data (loadavg): 1.02 0.99 0.92 2/65 8136
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 35248 56 2 1 25 0 11 0 548080526 857759744 41928 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 41928 13073 16 0 209398 0
vsize: 837656
[startup+400.055 s]
Raw data (loadavg): 1.01 0.99 0.92 2/65 8138
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 36208 56 2 1 25 0 11 0 548080526 857759744 43771 4294967295 134512640 134569956 3221224400 3221214872 1131413425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 43771 13073 16 0 209398 0
vsize: 837656
[startup+410.057 s]
Raw data (loadavg): 1.01 0.99 0.92 2/65 8140
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 37126 57 2 1 25 0 11 0 548080526 857759744 43771 4294967295 134512640 134569956 3221224400 3221214800 1131300085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 43771 13073 16 0 209398 0
vsize: 837656
[startup+420.058 s]
Raw data (loadavg): 1.01 0.99 0.92 2/65 8142
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 38023 57 2 1 25 0 11 0 548080526 857759744 44228 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 44228 13073 16 0 209398 0
vsize: 837656
[startup+430.058 s]
Raw data (loadavg): 1.01 0.99 0.92 2/65 8144
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 38922 57 2 1 25 0 11 0 548080526 857759744 44684 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 44684 13073 16 0 209398 0
vsize: 837656
[startup+440.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8146
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 39821 58 2 1 25 0 11 0 548080526 857759744 45140 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 45140 13073 16 0 209398 0
vsize: 837656
[startup+450.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8148
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 40730 58 2 1 25 0 11 0 548080526 857759744 45597 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 45597 13073 16 0 209398 0
vsize: 837656
[startup+460.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8150
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 41632 59 3 1 25 0 11 0 548080526 857759744 46053 4294967295 134512640 134569956 3221224400 3221214848 1131253020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 46053 13073 16 0 209398 0
vsize: 837656
[startup+470.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8151
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 42528 59 3 1 25 0 11 0 548080526 857759744 46510 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 46510 13073 16 0 209398 0
vsize: 837656
[startup+480.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8153
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 43429 59 3 1 25 0 11 0 548080526 857759744 46966 4294967295 134512640 134569956 3221224400 3221214800 1131299505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 46966 13073 16 0 209398 0
vsize: 837656
[startup+490.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8155
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 44326 60 3 1 25 0 11 0 548080526 857759744 47423 4294967295 134512640 134569956 3221224400 3221214800 1131299766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 47423 13073 16 0 209398 0
vsize: 837656
[startup+500.062 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8157
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 45229 60 3 1 25 0 11 0 548080526 857759744 47880 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 47880 13073 16 0 209398 0
vsize: 837656
[startup+510.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8159
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 46132 60 3 1 25 0 11 0 548080526 857759744 48336 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 48336 13073 16 0 209398 0
vsize: 837656
[startup+520.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8161
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 47030 61 3 1 25 0 11 0 548080526 857759744 48793 4294967295 134512640 134569956 3221224400 3221214800 1131299576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 48793 13073 16 0 209398 0
vsize: 837656
[startup+530.064 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8163
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 47927 61 3 1 24 0 11 0 548080526 857759744 49249 4294967295 134512640 134569956 3221224400 3221214872 1131413425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 49249 13073 16 0 209398 0
vsize: 837656
[startup+540.064 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8165
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 48834 61 3 1 25 0 11 0 548080526 857759744 49479 4294967295 134512640 134569956 3221224400 3221214800 1131299798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 49479 13073 16 0 209398 0
vsize: 837656
[startup+550.064 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8167
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 49731 62 4 1 25 0 11 0 548080526 857759744 49948 4294967295 134512640 134569956 3221224400 3221214800 1131299559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 49948 13073 16 0 209398 0
vsize: 837656
[startup+560.065 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8169
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 50615 62 4 2 25 0 11 0 548080526 857759744 50958 4294967295 134512640 134569956 3221224400 3221214800 1131420835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 50958 13073 16 0 209398 0
vsize: 837656
[startup+570.066 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8170
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 51527 63 4 2 25 0 11 0 548080526 857759744 51687 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 51687 13073 16 0 209398 0
vsize: 837656
[startup+580.066 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8172
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 52435 63 4 2 25 0 11 0 548080526 857759744 52110 4294967295 134512640 134569956 3221224400 3221214800 1131300339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 52110 13073 16 0 209398 0
vsize: 837656
[startup+590.067 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8174
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 53327 64 4 2 25 0 11 0 548080526 857759744 52663 4294967295 134512640 134569956 3221224400 3221214892 1131252972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 52663 13073 16 0 209398 0
vsize: 837656
[startup+600.068 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8176
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 54232 64 4 2 25 0 11 0 548080526 857759744 52946 4294967295 134512640 134569956 3221224400 3221214800 1131299292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 52946 13073 16 0 209398 0
vsize: 837656
[startup+610.068 s]
Raw data (loadavg): 1.00 0.99 0.92 2/65 8178
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 55121 64 4 2 17 0 11 0 548080526 857759744 53578 4294967295 134512640 134569956 3221224400 3221214800 1131300357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 53578 13073 16 0 209398 0
vsize: 837656
[startup+620.068 s]
Raw data (loadavg): 1.00 0.99 0.92 2/68 8189
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 56025 65 4 2 25 0 11 0 548080526 857759744 53806 4294967295 134512640 134569956 3221224400 3221214800 1131299009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 53806 13073 16 0 209398 0
vsize: 837656
[startup+630.069 s]
Raw data (loadavg): 1.07 1.00 0.92 2/65 8235
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 56910 72 4 2 25 0 11 0 548080526 857759744 54263 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 54263 13073 16 0 209398 0
vsize: 837656
[startup+640.07 s]
Raw data (loadavg): 1.06 1.00 0.92 2/65 8236
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 57804 73 4 2 25 0 11 0 548080526 857759744 54721 4294967295 134512640 134569956 3221224400 3221214800 1131299009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 54721 13073 16 0 209398 0
vsize: 837656
[startup+650.071 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 8238
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 58708 73 4 2 25 0 10 0 548080526 857759744 55177 4294967295 134512640 134569956 3221224400 3221215096 1131407467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 55177 13073 16 0 209398 0
vsize: 837656
[startup+660.071 s]
Raw data (loadavg): 1.04 1.00 0.92 2/65 8242
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 59599 73 4 2 25 0 11 0 548080526 857759744 55635 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 55635 13073 16 0 209398 0
vsize: 837656
[startup+670.073 s]
Raw data (loadavg): 1.04 1.00 0.92 2/65 8244
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 60501 74 4 2 25 0 11 0 548080526 857759744 56094 4294967295 134512640 134569956 3221224400 3221214800 1131300081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 56094 13073 16 0 209398 0
vsize: 837656
[startup+680.073 s]
Raw data (loadavg): 1.03 1.00 0.92 2/65 8246
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 61393 74 4 2 25 0 11 0 548080526 857759744 56557 4294967295 134512640 134569956 3221224400 3221214800 1131300500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 56557 13073 16 0 209398 0
vsize: 837656
[startup+690.074 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 8248
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 62294 74 4 2 25 0 11 0 548080526 857759744 57016 4294967295 134512640 134569956 3221224400 3221214800 1131299009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 57016 13073 16 0 209398 0
vsize: 837656
[startup+700.075 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 8250
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 63183 75 4 2 25 0 11 0 548080526 857759744 57475 4294967295 134512640 134569956 3221224400 3221214872 1131413421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 57475 13073 16 0 209398 0
vsize: 837656
[startup+710.076 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 8254
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 64086 75 5 2 25 0 11 0 548080526 857759744 57934 4294967295 134512640 134569956 3221224400 3221214800 1131299578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 57934 13073 16 0 209398 0
vsize: 837656
[startup+720.077 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 8256
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 64978 76 5 2 25 0 11 0 548080526 857759744 58391 4294967295 134512640 134569956 3221224400 3221214800 1131298981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 58391 13073 16 0 209398 0
vsize: 837656
[startup+730.085 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 8258
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 65872 76 5 2 25 0 11 0 548080526 857759744 62012 4294967295 134512640 134569956 3221224400 3221214800 1131299673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 62012 13073 16 0 209398 0
vsize: 837656
[startup+740.099 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 8260
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 66761 77 5 2 17 0 11 0 548080526 857759744 62697 4294967295 134512640 134569956 3221224400 3221214800 1131299195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 62697 13073 16 0 209398 0
vsize: 837656
[startup+750.1 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 8262
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 67668 77 5 2 25 0 11 0 548080526 857759744 62925 4294967295 134512640 134569956 3221224400 3221214800 1131300378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 62925 13073 16 0 209398 0
vsize: 837656
[startup+760.102 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 8264
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 68555 77 5 3 25 0 11 0 548080526 857759744 63382 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 63382 13073 16 0 209398 0
vsize: 837656
[startup+770.103 s]
Raw data (loadavg): 1.08 1.02 0.93 2/65 8265
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 69451 77 5 3 25 0 11 0 548080526 857759744 63839 4294967295 134512640 134569956 3221224400 3221214872 1131413425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 63839 13073 16 0 209398 0
vsize: 837656
[startup+780.109 s]
Raw data (loadavg): 1.07 1.02 0.93 2/65 8267
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 70351 78 5 3 25 0 11 0 548080526 857759744 64295 4294967295 134512640 134569956 3221224400 3221214800 1131299638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 64295 13073 16 0 209398 0
vsize: 837656
[startup+790.116 s]
Raw data (loadavg): 1.06 1.01 0.93 2/65 8269
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 71244 78 5 3 25 0 11 0 548080526 857759744 64752 4294967295 134512640 134569956 3221224400 3221214800 1131299794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 64752 13073 16 0 209398 0
vsize: 837656
[startup+800.116 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 8271
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 72143 78 5 3 25 0 11 0 548080526 857759744 65136 4294967295 134512640 134569956 3221224400 3221214800 1131299722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 65136 13073 16 0 209398 0
vsize: 837656
[startup+810.116 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 8273
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 73032 78 5 3 25 0 11 0 548080526 857759744 65664 4294967295 134512640 134569956 3221224400 3221214848 1131253042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 65664 13073 16 0 209398 0
vsize: 837656
[startup+820.117 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 8275
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 73933 79 6 3 25 0 11 0 548080526 857759744 66121 4294967295 134512640 134569956 3221224400 3221214872 1131413425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 66121 13073 16 0 209398 0
vsize: 837656
[startup+830.119 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 8277
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 74825 79 6 3 25 0 11 0 548080526 857759744 66577 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 66577 13073 16 0 209398 0
vsize: 837656
[startup+840.12 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 8279
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 75731 80 6 3 25 0 11 0 548080526 857759744 66806 4294967295 134512640 134569956 3221224400 3221214800 1131299264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 66806 13073 16 0 209398 0
vsize: 837656
[startup+850.12 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 8281
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 76622 80 6 3 25 0 11 0 548080526 857759744 67262 4294967295 134512640 134569956 3221224400 3221214896 1131434677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 67262 13073 16 0 209398 0
vsize: 837656
[startup+860.12 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 8283
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 77513 81 6 3 25 0 11 0 548080526 857759744 67718 4294967295 134512640 134569956 3221224400 3221214800 1131420962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 67718 13073 16 0 209398 0
vsize: 837656
[startup+870.121 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 8284
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 78418 81 6 3 25 0 11 0 548080526 857759744 68175 4294967295 134512640 134569956 3221224400 3221214800 1131299578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 68175 13073 16 0 209398 0
vsize: 837656
[startup+880.121 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 8286
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 79306 82 6 3 25 0 11 0 548080526 857759744 68577 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 68577 13073 16 0 209398 0
vsize: 837656
[startup+890.123 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 8288
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 80205 82 6 3 25 0 11 0 548080526 857759744 69088 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 69088 13073 16 0 209398 0
vsize: 837656
[startup+900.124 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 8290
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 81096 83 6 3 25 0 11 0 548080526 857759744 69545 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 69545 13073 16 0 209398 0
vsize: 837656
[startup+910.124 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8292
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 81994 83 7 3 25 0 11 0 548080526 857759744 70002 4294967295 134512640 134569956 3221224400 3221214848 1131253074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 70002 13073 16 0 209398 0
vsize: 837656
[startup+920.125 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8294
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 82894 84 7 3 22 0 11 0 548080526 857759744 70458 4294967295 134512640 134569956 3221224400 3221214848 1131252989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 70458 13073 16 0 209398 0
vsize: 837656
[startup+930.128 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8296
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 83788 84 7 3 17 0 11 0 548080526 857759744 70686 4294967295 134512640 134569956 3221224400 3221214968 1131244249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 70686 13073 16 0 209398 0
vsize: 837656
[startup+940.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8298
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 84688 85 7 3 22 0 11 0 548080526 857759744 71143 4294967295 134512640 134569956 3221224400 3221214896 1131434838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 71143 13073 16 0 209398 0
vsize: 837656
[startup+950.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8300
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 85579 85 7 3 17 0 11 0 548080526 857759744 71600 4294967295 134512640 134569956 3221224400 3221214848 1131253138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 71600 13073 16 0 209398 0
vsize: 837656
[startup+960.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8304
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 86482 86 7 3 24 0 11 0 548080526 857759744 72056 4294967295 134512640 134569956 3221224400 3221214800 1131420966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 72056 13073 16 0 209398 0
vsize: 837656
[startup+970.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8307
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 87372 87 7 3 18 0 11 0 548080526 857759744 72513 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 72513 13073 16 0 209398 0
vsize: 837656
[startup+980.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8309
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 88274 87 7 3 21 0 11 0 548080526 857759744 72970 4294967295 134512640 134569956 3221224400 3221214848 1131253020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 72970 13073 16 0 209398 0
vsize: 837656
[startup+990.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8311
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 89163 88 7 3 16 0 11 0 548080526 857759744 73427 4294967295 134512640 134569956 3221224400 3221214800 1131298969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 73427 13073 16 0 209398 0
vsize: 837656
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8313
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 90065 88 7 4 18 0 11 0 548080526 857759744 73883 4294967295 134512640 134569956 3221224400 3221214800 1131299817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 73883 13073 16 0 209398 0
vsize: 837656
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8315
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 90968 89 7 4 25 0 11 0 548080526 857759744 74111 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 74111 13073 16 0 209398 0
vsize: 837656
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8317
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 91857 89 7 4 22 0 11 0 548080526 857759744 74568 4294967295 134512640 134569956 3221224400 3221214800 1131420889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 74568 13073 16 0 209398 0
vsize: 837656
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8318
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 92748 89 7 4 16 0 11 0 548080526 857759744 75025 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 75025 13073 16 0 209398 0
vsize: 837656
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8320
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 93644 89 7 4 18 0 11 0 548080526 857759744 75482 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 75482 13073 16 0 209398 0
vsize: 837656
[startup+1050.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8322
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 94539 90 8 4 20 0 11 0 548080526 857759744 75947 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 75947 13073 16 0 209398 0
vsize: 837656
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8324
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 95430 91 8 4 24 0 11 0 548080526 857759744 76441 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 76441 13073 16 0 209398 0
vsize: 837656
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8326
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 96338 91 8 4 22 0 11 0 548080526 857759744 78420 4294967295 134512640 134569956 3221224400 3221214896 1131435120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 78420 13073 16 0 209398 0
vsize: 837656
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8328
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 97256 91 8 4 17 0 11 0 548080526 857759744 78828 4294967295 134512640 134569956 3221224400 3221214892 1131298956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 78828 13073 16 0 209398 0
vsize: 837656
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8330
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 98163 92 8 4 24 0 11 0 548080526 857759744 79043 4294967295 134512640 134569956 3221224400 3221214848 1131253009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 79043 13073 16 0 209398 0
vsize: 837656
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 8331
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 99051 92 8 4 18 0 10 0 548080526 857759744 79681 4294967295 134512640 134569956 3221224400 3221214624 1131415024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 79681 13073 16 0 209398 0
vsize: 837656
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8333
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 99949 93 8 4 18 0 11 0 548080526 857759744 80142 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 80142 13073 16 0 209398 0
vsize: 837656
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8335
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 100846 93 8 4 20 0 11 0 548080526 857759744 80600 4294967295 134512640 134569956 3221224400 3221214800 1131300339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 80600 13073 16 0 209398 0
vsize: 837656
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8337
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 101744 94 8 4 23 0 11 0 548080526 857759744 81062 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 81062 13073 16 0 209398 0
vsize: 837656
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8339
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 102631 94 8 4 17 0 11 0 548080526 857759744 81519 4294967295 134512640 134569956 3221224400 3221214800 1131299580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 81519 13073 16 0 209398 0
vsize: 837656
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8341
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 103534 95 8 4 18 0 11 0 548080526 857759744 81748 4294967295 134512640 134569956 3221224400 3221214800 1131299992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 81748 13073 16 0 209398 0
vsize: 837656
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8343
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 104435 95 8 4 25 0 11 0 548080526 857759744 82205 4294967295 134512640 134569956 3221224400 3221214800 1131299574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 82205 13073 16 0 209398 0
vsize: 837656
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8345
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 105324 95 8 4 20 0 11 0 548080526 857759744 82662 4294967295 134512640 134569956 3221224400 3221214800 1131421714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 82662 13073 16 0 209398 0
vsize: 837656
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8346
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 106220 96 8 4 19 0 11 0 548080526 857759744 83119 4294967295 134512640 134569956 3221224400 3221214800 1131299025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 83119 13073 16 0 209398 0
vsize: 837656
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8348
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 107118 96 8 4 21 0 11 0 548080526 857759744 83576 4294967295 134512640 134569956 3221224400 3221214800 1131299262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 83576 13073 16 0 209398 0
vsize: 837656
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8350
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 108007 96 9 4 15 0 11 0 548080526 857759744 84033 4294967295 134512640 134569956 3221224400 3221214800 1131300371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 84033 13073 16 0 209398 0
vsize: 837656
[startup+1210.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8352
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 108905 97 9 4 17 0 11 0 548080526 857759744 84489 4294967295 134512640 134569956 3221224400 3221214800 1131299613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 84489 13073 16 0 209398 0
vsize: 837656
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8354
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 109807 98 9 4 19 0 11 0 548080526 857759744 84718 4294967295 134512640 134569956 3221224400 3221214848 1131253020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 84718 13073 16 0 209398 0
vsize: 837656
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8356
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 110708 98 9 4 25 0 11 0 548080526 857759744 85174 4294967295 134512640 134569956 3221224400 3221214800 1131299467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 85174 13073 16 0 209398 0
vsize: 837656
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8357
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 111595 99 9 4 19 0 11 0 548080526 857759744 85630 4294967295 134512640 134569956 3221224400 3221214872 1131413425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 85630 13073 16 0 209398 0
vsize: 837656
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8359
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 112493 99 9 4 20 0 11 0 548080526 857759744 86087 4294967295 134512640 134569956 3221224400 3221214800 1131299009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 86087 13073 16 0 209398 0
vsize: 837656
[startup+1260.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8363
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 113389 100 9 4 20 0 11 0 548080526 857759744 86544 4294967295 134512640 134569956 3221224400 3221214848 1131252992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 86544 13073 16 0 209398 0
vsize: 837656
[startup+1270.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8365
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 114286 100 9 4 22 0 11 0 548080526 857759744 87002 4294967295 134512640 134569956 3221224400 3221214848 1131253009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 87002 13073 16 0 209398 0
vsize: 837656
[startup+1280.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8367
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 115173 101 9 4 23 0 11 0 548080526 857759744 87459 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 87459 13073 16 0 209398 0
vsize: 837656
[startup+1290.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8369
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 116075 101 9 4 25 0 11 0 548080526 857759744 87687 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209414 87687 13073 16 0 209398 0
vsize: 837656
[startup+1300.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8371
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 116973 101 9 4 21 0 11 0 548080526 857759744 88146 4294967295 134512640 134569956 3221224400 3221214800 1131420943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 88146 13073 16 0 209398 0
vsize: 837656
[startup+1310.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8372
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 117869 101 9 4 21 0 11 0 548080526 857759744 88608 4294967295 134512640 134569956 3221224400 3221214800 1131299282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 88608 13073 16 0 209398 0
vsize: 837656
[startup+1320.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8374
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 118759 102 10 4 21 0 11 0 548080526 857759744 89067 4294967295 134512640 134569956 3221224400 3221214800 1131299732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 89067 13073 16 0 209398 0
vsize: 837656
[startup+1330.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8376
Raw data (stat): 8058 (java) S 8057 20024 20023 0 -1 0 18037 3 1 0 119652 102 10 4 22 0 11 0 548080526 857759744 89527 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 89527 13073 16 0 209398 0
vsize: 837656
[startup+1340.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 8378
Raw data (stat): 8058 (java) R 8057 20024 20023 0 -1 0 18037 3 1 0 120545 102 10 4 16 0 11 0 548080526 857759744 89760 4294967295 134512640 134569956 3221224400 3221214800 1131300044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209414 89760 13073 16 0 209398 0
vsize: 837656
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.38 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 8379
Raw data (stat): 8058 (java) Z 8057 20024 20023 0 -1 1036 18037 70489 1 0 120547 102 13051 173 16 0 1 0 548080526 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1340.37
CPU time (s): 1338.75
CPU user time (s): 1335.99
CPU system time (s): 2.76258
CPU usage (%): 99.8787
Max. virtual memory (Kb): 838452
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####