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-core2536-691.opb
MD5SUM	127ff6a7c180d4ca2c922cfd5e8d4802
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	15554
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	215744503004511174656
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	10455744503004511862784
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	15.1467
Number of variables	15554
Total number of constraints	17823
Number of constraints which are clauses	2536
Number of constraints which are cardinality constraints (but not clauses)	15286
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	15554
Trace number 20537

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        468800 kB
Buffers:         35420 kB
Cached:         508580 kB
SwapCached:          0 kB
Active:         208000 kB
Inactive:       338772 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        468548 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6820 kB
Slab:            13428 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 21:37:18 (client local time) WITH STATUS 143 IN 1332.34 SECONDS
stats: 15024 7 1332.34 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-core2536-691.opb
c reading problem 
c [nbvar=15554]
c [nbconstr=17823]
c time 82.846
c #vars     15554
c #clauses  2539
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=-1427636224
c Current CPU time (ms) : 103.444
c starts	: 1
c conflicts	: 0
c decisions	: 14904
c propagations	: 15554
c inspects	: 27774
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=-1427636224
c Current CPU time (ms) : 112.739
c starts	: 2
c conflicts	: 0
c decisions	: 29808
c propagations	: 31103
c inspects	: 30335
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=-1427636224
c Current CPU time (ms) : 120.07
c starts	: 3
c conflicts	: 0
c decisions	: 44712
c propagations	: 46652
c inspects	: 32386
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=-1427636224
c Current CPU time (ms) : 128.738
c starts	: 4
c conflicts	: 0
c decisions	: 59616
c propagations	: 62201
c inspects	: 34678
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=-1427636224
c Current CPU time (ms) : 137.35
c starts	: 5
c conflicts	: 0
c decisions	: 74520
c propagations	: 77750
c inspects	: 37011
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=-1427636224
c Current CPU time (ms) : 145.948
c starts	: 6
c conflicts	: 0
c decisions	: 89424
c propagations	: 93299
c inspects	: 39344
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=-1427636224
c Current CPU time (ms) : 154.603
c starts	: 7
c conflicts	: 0
c decisions	: 104328
c propagations	: 108848
c inspects	: 41681
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=-1427636224
c Current CPU time (ms) : 162.15
c starts	: 8
c conflicts	: 0
c decisions	: 119232
c propagations	: 124397
c inspects	: 43753
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=-1427636224
c Current CPU time (ms) : 170.897
c starts	: 9
c conflicts	: 0
c decisions	: 134136
c propagations	: 139946
c inspects	: 46044
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=-1427636224
c Current CPU time (ms) : 179.562
c starts	: 10
c conflicts	: 0
c decisions	: 149040
c propagations	: 155495
c inspects	: 48354
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=-1427636224
c Current CPU time (ms) : 186.93
c starts	: 11
c conflicts	: 0
c decisions	: 163944
c propagations	: 171044
c inspects	: 50433
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=-1427636224
c Current CPU time (ms) : 194.369
c starts	: 12
c conflicts	: 0
c decisions	: 178848
c propagations	: 186593
c inspects	: 52502
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=-1427636224
c Current CPU time (ms) : 203.392
c starts	: 13
c conflicts	: 0
c decisions	: 193752
c propagations	: 202142
c inspects	: 54809
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=-1427636224
c Current CPU time (ms) : 209.347
c starts	: 14
c conflicts	: 0
c decisions	: 208656
c propagations	: 217691
c inspects	: 56818
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=-1427636224
c Current CPU time (ms) : 217.05
c starts	: 15
c conflicts	: 0
c decisions	: 223560
c propagations	: 233240
c inspects	: 58895
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=-1427636224
c Current CPU time (ms) : 225.837
c starts	: 16
c conflicts	: 0
c decisions	: 238464
c propagations	: 248789
c inspects	: 61228
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=-1427636224
c Current CPU time (ms) : 233.173
c starts	: 17
c conflicts	: 0
c decisions	: 253368
c propagations	: 264338
c inspects	: 63291
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=-1427636224
c Current CPU time (ms) : 241.443
c starts	: 18
c conflicts	: 0
c decisions	: 268272
c propagations	: 279887
c inspects	: 65624
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=-1427636224
c Current CPU time (ms) : 246.865
c starts	: 19
c conflicts	: 0
c decisions	: 283176
c propagations	: 295436
c inspects	: 67558
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=-1427636224
c Current CPU time (ms) : 254.36
c starts	: 20
c conflicts	: 0
c decisions	: 298080
c propagations	: 310985
c inspects	: 69634
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=-1427636224
c Current CPU time (ms) : 262.657
c starts	: 21
c conflicts	: 0
c decisions	: 312984
c propagations	: 326534
c inspects	: 71841
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=-1427636224
c Current CPU time (ms) : 270.133
c starts	: 22
c conflicts	: 0
c decisions	: 327888
c propagations	: 342083
c inspects	: 73890
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=-1427636224
c Current CPU time (ms) : 277.7
c starts	: 23
c conflicts	: 0
c decisions	: 342792
c propagations	: 357632
c inspects	: 75959
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=-1427636224
c Current CPU time (ms) : 285.117
c starts	: 24
c conflicts	: 0
c decisions	: 357696
c propagations	: 373181
c inspects	: 78010
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=-1427636224
c Current CPU time (ms) : 294.02
c starts	: 25
c conflicts	: 0
c decisions	: 372600
c propagations	: 388730
c inspects	: 80368
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=-1427636224
c Current CPU time (ms) : 299.799
c starts	: 26
c conflicts	: 0
c decisions	: 387504
c propagations	: 404279
c inspects	: 82324
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=-1427636224
c Current CPU time (ms) : 307.528
c starts	: 27
c conflicts	: 0
c decisions	: 402408
c propagations	: 419828
c inspects	: 84464
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=-1427636224
c Current CPU time (ms) : 316.466
c starts	: 28
c conflicts	: 0
c decisions	: 417312
c propagations	: 435377
c inspects	: 86756
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=-1427636224
c Current CPU time (ms) : 326.058
c starts	: 29
c conflicts	: 0
c decisions	: 432216
c propagations	: 450926
c inspects	: 89167
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=-1427636224
c Current CPU time (ms) : 334.44
c starts	: 30
c conflicts	: 0
c decisions	: 447120
c propagations	: 466475
c inspects	: 91377
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=-1427636224
c Current CPU time (ms) : 342.013
c starts	: 31
c conflicts	: 0
c decisions	: 462024
c propagations	: 482024
c inspects	: 93449
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=-1427636224
c Current CPU time (ms) : 351.048
c starts	: 32
c conflicts	: 0
c decisions	: 476928
c propagations	: 497573
c inspects	: 95852
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=-1427636224
c Current CPU time (ms) : 358.435
c starts	: 33
c conflicts	: 0
c decisions	: 491832
c propagations	: 513122
c inspects	: 97915
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=-1427636224
c Current CPU time (ms) : 365.65
c starts	: 34
c conflicts	: 0
c decisions	: 506736
c propagations	: 528671
c inspects	: 99987
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=-1427636224
c Current CPU time (ms) : 374.31
c starts	: 35
c conflicts	: 0
c decisions	: 521640
c propagations	: 544220
c inspects	: 102279
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=-1427636224
c Current CPU time (ms) : 381.88
c starts	: 36
c conflicts	: 0
c decisions	: 536544
c propagations	: 559769
c inspects	: 104352
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=-1427636224
c Current CPU time (ms) : 389.548
c starts	: 37
c conflicts	: 0
c decisions	: 551448
c propagations	: 575318
c inspects	: 106403
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=-1427636224
c Current CPU time (ms) : 394.82
c starts	: 38
c conflicts	: 0
c decisions	: 566352
c propagations	: 590867
c inspects	: 108355
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=-1427636224
c Current CPU time (ms) : 400.702
c starts	: 39
c conflicts	: 0
c decisions	: 581256
c propagations	: 606416
c inspects	: 110326
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=-1427636224
c Current CPU time (ms) : 408.29
c starts	: 40
c conflicts	: 0
c decisions	: 596160
c propagations	: 621965
c inspects	: 112382
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=-1427636224
c Current CPU time (ms) : 414.053
c starts	: 41
c conflicts	: 0
c decisions	: 611064
c propagations	: 637514
c inspects	: 114338
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=-1427636224
c Current CPU time (ms) : 423.054
c starts	: 42
c conflicts	: 0
c decisions	: 625968
c propagations	: 653063
c inspects	: 116630
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=-1427636224
c Current CPU time (ms) : 431.966
c starts	: 43
c conflicts	: 0
c decisions	: 640872
c propagations	: 668612
c inspects	: 118990
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=-1427636224
c Current CPU time (ms) : 441.578
c starts	: 44
c conflicts	: 0
c decisions	: 655776
c propagations	: 684161
c inspects	: 121366
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=-1427636224
c Current CPU time (ms) : 450.498
c starts	: 45
c conflicts	: 0
c decisions	: 670680
c propagations	: 699710
c inspects	: 123663
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=-1427636224
c Current CPU time (ms) : 458.243
c starts	: 46
c conflicts	: 0
c decisions	: 685584
c propagations	: 715259
c inspects	: 125732
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=-1427636224
c Current CPU time (ms) : 465.809
c starts	: 47
c conflicts	: 0
c decisions	: 700488
c propagations	: 730808
c inspects	: 127788
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=-1427636224
c Current CPU time (ms) : 474.615
c starts	: 48
c conflicts	: 0
c decisions	: 715392
c propagations	: 746357
c inspects	: 130121
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=-1427636224
c Current CPU time (ms) : 483.739
c starts	: 49
c conflicts	: 0
c decisions	: 730296
c propagations	: 761906
c inspects	: 132524
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=-1427636224
c Current CPU time (ms) : 489.39
c starts	: 50
c conflicts	: 0
c decisions	: 745200
c propagations	: 777455
c inspects	: 134458
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=-1427636224
c Current CPU time (ms) : 498.139
c starts	: 51
c conflicts	: 0
c decisions	: 760104
c propagations	: 793004
c inspects	: 136750
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=-1427636224
c Current CPU time (ms) : 505.609
c starts	: 52
c conflicts	: 0
c decisions	: 775008
c propagations	: 808553
c inspects	: 138824
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=-1427636224
c Current CPU time (ms) : 514.45
c starts	: 53
c conflicts	: 0
c decisions	: 789912
c propagations	: 824102
c inspects	: 141157
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=-1427636224
c Current CPU time (ms) : 522.061
c starts	: 54
c conflicts	: 0
c decisions	: 804816
c propagations	: 839651
c inspects	: 143208
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=-1427636224
c Current CPU time (ms) : 531.691
c starts	: 55
c conflicts	: 0
c decisions	: 819720
c propagations	: 855200
c inspects	: 145623
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=-1427636224
c Current CPU time (ms) : 540.608
c starts	: 56
c conflicts	: 0
c decisions	: 834624
c propagations	: 870749
c inspects	: 147983
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=-1427636224
c Current CPU time (ms) : 548.991
c starts	: 57
c conflicts	: 0
c decisions	: 849528
c propagations	: 886298
c inspects	: 150200
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=-1427636224
c Current CPU time (ms) : 556.706
c starts	: 58
c conflicts	: 0
c decisions	: 864432
c propagations	: 901847
c inspects	: 152273
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=-1427636224
c Current CPU time (ms) : 562.388
c starts	: 59
c conflicts	: 0
c decisions	: 879336
c propagations	: 917396
c inspects	: 154225
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=-1427636224
c Current CPU time (ms) : 568.143
c starts	: 60
c conflicts	: 0
c decisions	: 894240
c propagations	: 932945
c inspects	: 156178
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=-1427636224
c Current CPU time (ms) : 575.783
c starts	: 61
c conflicts	: 0
c decisions	: 909144
c propagations	: 948494
c inspects	: 158253
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=-1427636224
c Current CPU time (ms) : 583.367
c starts	: 62
c conflicts	: 0
c decisions	: 924048
c propagations	: 964043
c inspects	: 160316
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=-1427636224
c Current CPU time (ms) : 590.917
c starts	: 63
c conflicts	: 0
c decisions	: 938952
c propagations	: 979592
c inspects	: 162367
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=-1427636224
c Current CPU time (ms) : 599.273
c starts	: 64
c conflicts	: 0
c decisions	: 953856
c propagations	: 995141
c inspects	: 164581
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=-1427636224
c Current CPU time (ms) : 607.02
c starts	: 65
c conflicts	: 0
c decisions	: 968760
c propagations	: 1010690
c inspects	: 166632
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=-1427636224
c Current CPU time (ms) : 615.905
c starts	: 66
c conflicts	: 0
c decisions	: 983664
c propagations	: 1026239
c inspects	: 168927
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=-1427636224
c Current CPU time (ms) : 624.688
c starts	: 67
c conflicts	: 0
c decisions	: 998568
c propagations	: 1041788
c inspects	: 171260
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=-1427636224
c Current CPU time (ms) : 632.547
c starts	: 68
c conflicts	: 0
c decisions	: 1013472
c propagations	: 1057337
c inspects	: 173376
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=-1427636224
c Current CPU time (ms) : 641.378
c starts	: 69
c conflicts	: 0
c decisions	: 1028376
c propagations	: 1072886
c inspects	: 175709
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=-1427636224
c Current CPU time (ms) : 647.027
c starts	: 70
c conflicts	: 0
c decisions	: 1043280
c propagations	: 1088435
c inspects	: 177643
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=-1427636224
c Current CPU time (ms) : 654.745
c starts	: 71
c conflicts	: 0
c decisions	: 1058184
c propagations	: 1103984
c inspects	: 179719
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=-1427636224
c Current CPU time (ms) : 660.442
c starts	: 72
c conflicts	: 0
c decisions	: 1073088
c propagations	: 1119533
c inspects	: 181721
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=-1427636224
c Current CPU time (ms) : 668.934
c starts	: 73
c conflicts	: 0
c decisions	: 1087992
c propagations	: 1135082
c inspects	: 183951
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=-1427636224
c Current CPU time (ms) : 676.512
c starts	: 74
c conflicts	: 0
c decisions	: 1102896
c propagations	: 1150631
c inspects	: 186007
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=-1427636224
c Current CPU time (ms) : 682.305
c starts	: 75
c conflicts	: 0
c decisions	: 1117800
c propagations	: 1166180
c inspects	: 187963
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=-1427636224
c Current CPU time (ms) : 691.457
c starts	: 76
c conflicts	: 0
c decisions	: 1132704
c propagations	: 1181729
c inspects	: 190366
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=-1427636224
c Current CPU time (ms) : 699.075
c starts	: 77
c conflicts	: 0
c decisions	: 1147608
c propagations	: 1197278
c inspects	: 192435
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=-1427636224
c Current CPU time (ms) : 708.675
c starts	: 78
c conflicts	: 0
c decisions	: 1162512
c propagations	: 1212827
c inspects	: 194816
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=-1427636224
c Current CPU time (ms) : 717.582
c starts	: 79
c conflicts	: 0
c decisions	: 1177416
c propagations	: 1228376
c inspects	: 197176
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=-1427636224
c Current CPU time (ms) : 726.577
c starts	: 80
c conflicts	: 0
c decisions	: 1192320
c propagations	: 1243925
c inspects	: 199473
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=-1427636224
c Current CPU time (ms) : 732.601
c starts	: 81
c conflicts	: 0
c decisions	: 1207224
c propagations	: 1259474
c inspects	: 201482
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=-1427636224
c Current CPU time (ms) : 740.423
c starts	: 82
c conflicts	: 0
c decisions	: 1222128
c propagations	: 1275023
c inspects	: 203569
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=-1427636224
c Current CPU time (ms) : 748.016
c starts	: 83
c conflicts	: 0
c decisions	: 1237032
c propagations	: 1290572
c inspects	: 205664
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=-1427636224
c Current CPU time (ms) : 755.598
c starts	: 84
c conflicts	: 0
c decisions	: 1251936
c propagations	: 1306121
c inspects	: 207739
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=-1427636224
c Current CPU time (ms) : 763.28
c starts	: 85
c conflicts	: 0
c decisions	: 1266840
c propagations	: 1321670
c inspects	: 209814
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=-1427636224
c Current CPU time (ms) : 772.091
c starts	: 86
c conflicts	: 0
c decisions	: 1281744
c propagations	: 1337219
c inspects	: 212147
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=-1427636224
c Current CPU time (ms) : 781.566
c starts	: 87
c conflicts	: 0
c decisions	: 1296648
c propagations	: 1352768
c inspects	: 214492
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=-1427636224
c Current CPU time (ms) : 789.36
c starts	: 88
c conflicts	: 0
c decisions	: 1311552
c propagations	: 1368317
c inspects	: 216579
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=-1427636224
c Current CPU time (ms) : 799.247
c starts	: 89
c conflicts	: 0
c decisions	: 1326456
c propagations	: 1383866
c inspects	: 219015
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=-1427636224
c Current CPU time (ms) : 808.195
c starts	: 90
c conflicts	: 0
c decisions	: 1341360
c propagations	: 1399415
c inspects	: 221312
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=-1427636224
c Current CPU time (ms) : 815.763
c starts	: 91
c conflicts	: 0
c decisions	: 1356264
c propagations	: 1414964
c inspects	: 223363
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=-1427636224
c Current CPU time (ms) : 823.484
c starts	: 92
c conflicts	: 0
c decisions	: 1371168
c propagations	: 1430513
c inspects	: 225432
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=-1427636224
c Current CPU time (ms) : 832.367
c starts	: 93
c conflicts	: 0
c decisions	: 1386072
c propagations	: 1446062
c inspects	: 227765
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=-1427636224
c Current CPU time (ms) : 841.335
c starts	: 94
c conflicts	: 0
c decisions	: 1400976
c propagations	: 1461611
c inspects	: 230125
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=-1427636224
c Current CPU time (ms) : 851.194
c starts	: 95
c conflicts	: 0
c decisions	: 1415880
c propagations	: 1477160
c inspects	: 232539
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=-1427636224
c Current CPU time (ms) : 860.064
c starts	: 96
c conflicts	: 0
c decisions	: 1430784
c propagations	: 1492709
c inspects	: 234834
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=-1427636224
c Current CPU time (ms) : 869.731
c starts	: 97
c conflicts	: 0
c decisions	: 1445688
c propagations	: 1508258
c inspects	: 237191
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=-1427636224
c Current CPU time (ms) : 877.168
c starts	: 98
c conflicts	: 0
c decisions	: 1460592
c propagations	: 1523807
c inspects	: 239242
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=-1427636224
c Current CPU time (ms) : 886.732
c starts	: 99
c conflicts	: 0
c decisions	: 1475496
c propagations	: 1539356
c inspects	: 241657
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=-1427636224
c Current CPU time (ms) : 895.817
c starts	: 100
c conflicts	: 0
c decisions	: 1490400
c propagations	: 1554905
c inspects	: 244001
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=-1427636224
c Current CPU time (ms) : 903.429
c starts	: 101
c conflicts	: 0
c decisions	: 1505304
c propagations	: 1570454
c inspects	: 246064
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=-1427636224
c Current CPU time (ms) : 912.427
c starts	: 102
c conflicts	: 0
c decisions	: 1520208
c propagations	: 1586003
c inspects	: 248436
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=-1427636224
c Current CPU time (ms) : 921.669
c starts	: 103
c conflicts	: 0
c decisions	: 1535112
c propagations	: 1601552
c inspects	: 250839
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=-1427636224
c Current CPU time (ms) : 930.647
c starts	: 104
c conflicts	: 0
c decisions	: 1550016
c propagations	: 1617101
c inspects	: 253134
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=-1427636224
c Current CPU time (ms) : 940.563
c starts	: 105
c conflicts	: 0
c decisions	: 1564920
c propagations	: 1632650
c inspects	: 255558
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=-1427636224
c Current CPU time (ms) : 948.205
c starts	: 106
c conflicts	: 0
c decisions	: 1579824
c propagations	: 1648199
c inspects	: 257609
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=-1427636224
c Current CPU time (ms) : 954.02
c starts	: 107
c conflicts	: 0
c decisions	: 1594728
c propagations	: 1663748
c inspects	: 259565
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=-1427636224
c Current CPU time (ms) : 961.739
c starts	: 108
c conflicts	: 0
c decisions	: 1609632
c propagations	: 1679297
c inspects	: 261634
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=-1427636224
c Current CPU time (ms) : 970.758
c starts	: 109
c conflicts	: 0
c decisions	: 1624536
c propagations	: 1694846
c inspects	: 263931
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=-1427636224
c Current CPU time (ms) : 980.613
c starts	: 110
c conflicts	: 0
c decisions	: 1639440
c propagations	: 1710395
c inspects	: 266346
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=-1427636224
c Current CPU time (ms) : 990.401
c starts	: 111
c conflicts	: 0
c decisions	: 1654344
c propagations	: 1725944
c inspects	: 268761
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=-1427636224
c Current CPU time (ms) : 996.355
c starts	: 112
c conflicts	: 0
c decisions	: 1669248
c propagations	: 1741493
c inspects	: 270741
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=-1427636224
c Current CPU time (ms) : 1005.414
c starts	: 113
c conflicts	: 0
c decisions	: 1684152
c propagations	: 1757042
c inspects	: 273035
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=-1427636224
c Current CPU time (ms) : 1014.564
c starts	: 114
c conflicts	: 0
c decisions	: 1699056
c propagations	: 1772591
c inspects	: 275381
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=-1427636224
c Current CPU time (ms) : 1023.658
c starts	: 115
c conflicts	: 0
c decisions	: 1713960
c propagations	: 1788140
c inspects	: 277739
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=-1427636224
c Current CPU time (ms) : 1029.517
c starts	: 116
c conflicts	: 0
c decisions	: 1728864
c propagations	: 1803689
c inspects	: 279698
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=-1427636224
c Current CPU time (ms) : 1038.672
c starts	: 117
c conflicts	: 0
c decisions	: 1743768
c propagations	: 1819238
c inspects	: 282058
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=-1427636224
c Current CPU time (ms) : 1046.488
c starts	: 118
c conflicts	: 0
c decisions	: 1758672
c propagations	: 1834787
c inspects	: 284151
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=-1427636224
c Current CPU time (ms) : 1052.278
c starts	: 119
c conflicts	: 0
c decisions	: 1773576
c propagations	: 1850336
c inspects	: 286107
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=-1427636224
c Current CPU time (ms) : 1061.365
c starts	: 120
c conflicts	: 0
c decisions	: 1788480
c propagations	: 1865885
c inspects	: 288467
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=-1427636224
c Current CPU time (ms) : 1070.205
c starts	: 121
c conflicts	: 0
c decisions	: 1803384
c propagations	: 1881434
c inspects	: 290827
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=-1427636224
c Current CPU time (ms) : 1077.847
c starts	: 122
c conflicts	: 0
c decisions	: 1818288
c propagations	: 1896983
c inspects	: 292899
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=-1427636224
c Current CPU time (ms) : 1085.449
c starts	: 123
c conflicts	: 0
c decisions	: 1833192
c propagations	: 1912532
c inspects	: 294950
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=-1427636224
c Current CPU time (ms) : 1095.44
c starts	: 124
c conflicts	: 0
c decisions	: 1848096
c propagations	: 1928081
c inspects	: 297380
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=-1427636224
c Current CPU time (ms) : 1103.227
c starts	: 125
c conflicts	: 0
c decisions	: 1863000
c propagations	: 1943630
c inspects	: 299479
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=-1427636224
c Current CPU time (ms) : 1108.979
c starts	: 126
c conflicts	: 0
c decisions	: 1877904
c propagations	: 1959179
c inspects	: 301413
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=-1427636224
c Current CPU time (ms) : 1118.003
c starts	: 127
c conflicts	: 0
c decisions	: 1892808
c propagations	: 1974728
c inspects	: 303773
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=-1427636224
c Current CPU time (ms) : 1125.768
c starts	: 128
c conflicts	: 0
c decisions	: 1907712
c propagations	: 1990277
c inspects	: 305824
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=-1427636224
c Current CPU time (ms) : 1133.694
c starts	: 129
c conflicts	: 0
c decisions	: 1922616
c propagations	: 2005826
c inspects	: 307893
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=-1427636224
c Current CPU time (ms) : 1141.377
c starts	: 130
c conflicts	: 0
c decisions	: 1937520
c propagations	: 2021375
c inspects	: 309944
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=-1427636224
c Current CPU time (ms) : 1150.39
c starts	: 131
c conflicts	: 0
c decisions	: 1952424
c propagations	: 2036924
c inspects	: 312239
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=-1427636224
c Current CPU time (ms) : 1159.472
c starts	: 132
c conflicts	: 0
c decisions	: 1967328
c propagations	: 2052473
c inspects	: 314572
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=-1427636224
c Current CPU time (ms) : 1169.378
c starts	: 133
c conflicts	: 0
c decisions	: 1982232
c propagations	: 2068022
c inspects	: 316982
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=-1427636224
c Current CPU time (ms) : 1178.568
c starts	: 134
c conflicts	: 0
c decisions	: 1997136
c propagations	: 2083571
c inspects	: 319300
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=-1427636224
c Current CPU time (ms) : 1187.18
c starts	: 135
c conflicts	: 0
c decisions	: 2012040
c propagations	: 2099120
c inspects	: 321515
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=-1427636224
c Current CPU time (ms) : 1196.383
c starts	: 136
c conflicts	: 0
c decisions	: 2026944
c propagations	: 2114669
c inspects	: 323810
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=-1427636224
c Current CPU time (ms) : 1202.261
c starts	: 137
c conflicts	: 0
c decisions	: 2041848
c propagations	: 2130218
c inspects	: 325744
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=-1427636224
c Current CPU time (ms) : 1209.995
c starts	: 138
c conflicts	: 0
c decisions	: 2056752
c propagations	: 2145767
c inspects	: 327800
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=-1427636224
c Current CPU time (ms) : 1217.797
c starts	: 139
c conflicts	: 0
c decisions	: 2071656
c propagations	: 2161316
c inspects	: 329864
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=-1427636224
c Current CPU time (ms) : 1227.206
c starts	: 140
c conflicts	: 0
c decisions	: 2086560
c propagations	: 2176865
c inspects	: 332267
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=-1427636224
c Current CPU time (ms) : 1236.469
c starts	: 141
c conflicts	: 0
c decisions	: 2101464
c propagations	: 2192414
c inspects	: 334606
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=-1427636224
c Current CPU time (ms) : 1242.41
c starts	: 142
c conflicts	: 0
c decisions	: 2116368
c propagations	: 2207963
c inspects	: 336540
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=-1427636224
c Current CPU time (ms) : 1251.661
c starts	: 143
c conflicts	: 0
c decisions	: 2131272
c propagations	: 2223512
c inspects	: 338877
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=-1427636224
c Current CPU time (ms) : 1260.932
c starts	: 144
c conflicts	: 0
c decisions	: 2146176
c propagations	: 2239061
c inspects	: 341191
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=-1427636224
c Current CPU time (ms) : 1268.717
c starts	: 145
c conflicts	: 0
c decisions	: 2161080
c propagations	: 2254610
c inspects	: 343266
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=-1427636224
c Current CPU time (ms) : 1276.884
c starts	: 146
c conflicts	: 0
c decisions	: 2175984
c propagations	: 2270159
c inspects	: 345412
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=-1427636224
c Current CPU time (ms) : 1284.712
c starts	: 147
c conflicts	: 0
c decisions	: 2190888
c propagations	: 2285708
c inspects	: 347481
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=-1427636224
c Current CPU time (ms) : 1293.946
c starts	: 148
c conflicts	: 0
c decisions	: 2205792
c propagations	: 2301257
c inspects	: 349841
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=-1427636224
c Current CPU time (ms) : 1303.63
c starts	: 149
c conflicts	: 0
c decisions	: 2220696
c propagations	: 2316806
c inspects	: 352223
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=-1427636224
c Current CPU time (ms) : 1309.408
c starts	: 150
c conflicts	: 0
c decisions	: 2235600
c propagations	: 2332355
c inspects	: 354157
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=-1427636224
c Current CPU time (ms) : 1317.091
c starts	: 151
c conflicts	: 0
c decisions	: 2250504
c propagations	: 2347904
c inspects	: 356208
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=-1427636224
c Current CPU time (ms) : 1326.319
c starts	: 152
c conflicts	: 0
c decisions	: 2265408
c propagations	: 2363453
c inspects	: 358515
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 152
#### 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.85 0.96 0.96 2/54 10332
Raw data (stat): 10332 (runsolver) R 10331 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490017469 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.96 0.96 2/63 10341
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 17984 0 1 0 894 40 0 0 25 0 10 0 490017469 853549056 19142 4294967295 134512640 134569956 3221224400 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208386 19142 13073 16 0 208370 0
vsize: 833544
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.96 0.96 2/63 10341
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 17984 0 1 0 1783 40 0 0 25 0 10 0 490017469 853549056 19652 4294967295 134512640 134569956 3221224400 3221214816 1130898103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208386 19652 13073 16 0 208370 0
vsize: 833544
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.96 0.96 2/63 10341
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 17984 0 1 0 2682 40 0 0 25 0 10 0 490017469 853549056 20092 4294967295 134512640 134569956 3221224400 3221214768 1131209949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208386 20092 13073 16 0 208370 0
vsize: 833544
[startup+40.0029 s]
Raw data (loadavg): 0.92 0.96 0.96 2/63 10341
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 17984 0 1 0 3612 40 0 0 25 0 10 0 490017469 853549056 20322 4294967295 134512640 134569956 3221224400 3221214824 1131223108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208386 20322 13073 16 0 208370 0
vsize: 833544
[startup+50.0037 s]
Raw data (loadavg): 0.93 0.96 0.96 2/63 10341
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 17984 0 1 0 4541 40 0 0 25 0 10 0 490017469 853549056 20446 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208386 20446 13073 16 0 208370 0
vsize: 833544
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.96 0.96 2/63 10341
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 17984 0 1 0 5475 40 0 0 25 0 10 0 490017469 853741568 20574 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208433 20574 13073 16 0 208417 0
vsize: 833732
[startup+70.0042 s]
Raw data (loadavg): 0.95 0.96 0.96 4/63 10341
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 17989 0 1 0 6323 40 0 0 25 0 10 0 490017469 857944064 21844 4294967295 134512640 134569956 3221224400 3221214400 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209459 21844 13073 16 0 209443 0
vsize: 837836
[startup+80.0049 s]
Raw data (loadavg): 0.96 0.97 0.96 2/63 10341
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 17990 0 1 0 7267 42 0 0 25 0 10 0 490017469 858959872 22180 4294967295 134512640 134569956 3221224400 3221214512 1131272123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209707 22180 13073 16 0 209691 0
vsize: 838828
[startup+90.0062 s]
Raw data (loadavg): 0.96 0.97 0.96 2/64 10342
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18019 0 1 0 8183 44 0 0 25 0 11 0 490017469 860536832 25198 4294967295 134512640 134569956 3221224400 3221214792 1131428220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 25198 13073 16 0 210076 0
vsize: 840368
[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.96 2/64 10342
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18019 0 1 0 9167 44 0 0 25 0 11 0 490017469 860536832 25198 4294967295 134512640 134569956 3221224400 3221214792 1131428362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25198 13073 16 0 210076 0
vsize: 840368
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.96 2/64 10343
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 10110 45 0 0 25 0 11 0 490017469 860536832 25209 4294967295 134512640 134569956 3221224400 3221214784 1131427389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25209 13073 16 0 210076 0
vsize: 840368
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.96 2/64 10344
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 11044 45 0 0 25 0 11 0 490017469 860536832 25219 4294967295 134512640 134569956 3221224400 3221214784 1131428869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25219 13073 16 0 210076 0
vsize: 840368
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.96 2/64 10346
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 11957 46 0 0 25 0 11 0 490017469 860536832 25541 4294967295 134512640 134569956 3221224400 3221214784 1131427513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 25541 13073 16 0 210076 0
vsize: 840368
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.96 2/64 10347
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 12876 46 0 0 25 0 11 0 490017469 860536832 26086 4294967295 134512640 134569956 3221224400 3221214784 1131427493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 26086 13073 16 0 210076 0
vsize: 840368
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.96 2/64 10348
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 13796 47 0 0 25 0 11 0 490017469 860536832 26688 4294967295 134512640 134569956 3221224400 3221214872 1131458890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 26688 13073 16 0 210076 0
vsize: 840368
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10349
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 14705 47 0 0 25 0 11 0 490017469 860536832 26688 4294967295 134512640 134569956 3221224400 3221214868 1131366240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 26688 13073 16 0 210076 0
vsize: 840368
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10350
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 15618 47 0 0 25 0 11 0 490017469 860536832 27243 4294967295 134512640 134569956 3221224400 3221214784 1131427621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 27243 13073 16 0 210076 0
vsize: 840368
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10351
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 16537 48 0 0 25 0 11 0 490017469 860536832 27618 4294967295 134512640 134569956 3221224400 3221214784 1131427416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 27618 13073 16 0 210076 0
vsize: 840368
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10353
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 17456 48 0 0 24 0 11 0 490017469 860536832 28139 4294967295 134512640 134569956 3221224400 3221214872 1131461612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 28139 13073 16 0 210076 0
vsize: 840368
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10354
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 18364 49 0 0 25 0 11 0 490017469 860536832 28440 4294967295 134512640 134569956 3221224400 3221214872 1131458456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 28440 13073 16 0 210076 0
vsize: 840368
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10356
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 19264 49 0 0 25 0 11 0 490017469 860536832 28703 4294967295 134512640 134569956 3221224400 3221214912 1131445832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 28703 13073 16 0 210076 0
vsize: 840368
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10357
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 20148 50 0 0 25 0 11 0 490017469 860536832 29305 4294967295 134512640 134569956 3221224400 3221214872 1131461496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 29305 13073 16 0 210076 0
vsize: 840368
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10358
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 21054 50 0 0 25 0 11 0 490017469 860536832 30576 4294967295 134512640 134569956 3221224400 3221214872 1131461160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 30576 13073 16 0 210076 0
vsize: 840368
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10359
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 22002 51 0 0 25 0 11 0 490017469 860536832 31326 4294967295 134512640 134569956 3221224400 3221214872 1131461096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 31326 13073 16 0 210076 0
vsize: 840368
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10361
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 22935 51 0 0 25 0 11 0 490017469 860536832 31326 4294967295 134512640 134569956 3221224400 3221214760 1131291905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 31326 13073 16 0 210076 0
vsize: 840368
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10362
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 23838 52 0 0 24 0 11 0 490017469 860536832 31591 4294967295 134512640 134569956 3221224400 3221214784 1131428730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 31591 13073 16 0 210076 0
vsize: 840368
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10363
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 24749 52 0 0 25 0 11 0 490017469 860536832 31856 4294967295 134512640 134569956 3221224400 3221214868 1131427264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 31856 13073 16 0 210076 0
vsize: 840368
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10365
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 25655 52 1 0 25 0 11 0 490017469 860536832 32122 4294967295 134512640 134569956 3221224400 3221214872 1131459168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 32122 13073 16 0 210076 0
vsize: 840368
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10366
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 26548 52 1 0 25 0 11 0 490017469 860536832 32652 4294967295 134512640 134569956 3221224400 3221214760 1131291188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 32652 13073 16 0 210076 0
vsize: 840368
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10367
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 27448 53 1 0 25 0 11 0 490017469 860536832 33179 4294967295 134512640 134569956 3221224400 3221214760 1131291910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 33179 13073 16 0 210076 0
vsize: 840368
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10369
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 28360 53 1 0 25 0 11 0 490017469 860536832 33523 4294967295 134512640 134569956 3221224400 3221214872 1131458456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 33523 13073 16 0 210076 0
vsize: 840368
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10370
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 29264 54 1 0 25 0 11 0 490017469 860536832 33791 4294967295 134512640 134569956 3221224400 3221214784 1131427503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 33791 13073 16 0 210076 0
vsize: 840368
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/64 10371
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 30162 54 1 0 25 0 11 0 490017469 860536832 34111 4294967295 134512640 134569956 3221224400 3221214872 1131460980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 34111 13073 16 0 210076 0
vsize: 840368
[startup+340.017 s]
Raw data (loadavg): 1.07 0.99 0.96 2/64 10372
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 31076 54 1 0 25 0 11 0 490017469 860536832 34373 4294967295 134512640 134569956 3221224400 3221214872 1131461160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 34373 13073 16 0 210076 0
vsize: 840368
[startup+350.017 s]
Raw data (loadavg): 1.14 1.00 0.97 2/64 10373
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 31980 54 1 0 25 0 11 0 490017469 860536832 34636 4294967295 134512640 134569956 3221224400 3221214784 1131427684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 34636 13073 16 0 210076 0
vsize: 840368
[startup+360.019 s]
Raw data (loadavg): 1.11 1.00 0.97 2/64 10375
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 32923 54 1 0 25 0 11 0 490017469 860536832 36889 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 36889 13073 16 0 210076 0
vsize: 840368
[startup+370.02 s]
Raw data (loadavg): 1.10 1.00 0.97 2/64 10376
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 33880 54 1 0 25 0 11 0 490017469 860536832 36889 4294967295 134512640 134569956 3221224400 3221214784 1131427280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 36889 13073 16 0 210076 0
vsize: 840368
[startup+380.02 s]
Raw data (loadavg): 1.08 1.00 0.97 2/64 10377
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 34803 54 1 0 25 0 11 0 490017469 860536832 36889 4294967295 134512640 134569956 3221224400 3221214872 1131461540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 36889 13073 16 0 210076 0
vsize: 840368
[startup+390.023 s]
Raw data (loadavg): 1.07 1.00 0.97 2/63 10378
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 35715 55 1 0 25 0 10 0 490017469 860536832 37151 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 37151 13073 16 0 210076 0
vsize: 840368
[startup+400.023 s]
Raw data (loadavg): 1.06 1.00 0.97 2/64 10380
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 36611 55 1 0 24 0 11 0 490017469 860536832 37675 4294967295 134512640 134569956 3221224400 3221214872 1131458890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 37675 13073 16 0 210076 0
vsize: 840368
[startup+410.023 s]
Raw data (loadavg): 1.05 1.00 0.97 2/64 10382
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 37520 55 1 0 17 0 11 0 490017469 860536832 37938 4294967295 134512640 134569956 3221224400 3221214872 1131461160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 37938 13073 16 0 210076 0
vsize: 840368
[startup+420.024 s]
Raw data (loadavg): 1.04 1.00 0.97 2/64 10383
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 38427 55 1 0 25 0 11 0 490017469 860536832 38463 4294967295 134512640 134569956 3221224400 3221214872 1131461550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 38463 13073 16 0 210076 0
vsize: 840368
[startup+430.025 s]
Raw data (loadavg): 1.03 1.00 0.97 2/64 10384
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 39329 55 1 0 25 0 11 0 490017469 860536832 38726 4294967295 134512640 134569956 3221224400 3221213616 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 38726 13073 16 0 210076 0
vsize: 840368
[startup+440.025 s]
Raw data (loadavg): 1.18 1.03 0.98 2/64 10385
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 40238 55 1 0 25 0 11 0 490017469 860536832 38991 4294967295 134512640 134569956 3221224400 3221214872 1131460807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 38991 13073 16 0 210076 0
vsize: 840368
[startup+450.026 s]
Raw data (loadavg): 1.15 1.03 0.98 2/64 10386
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 41147 55 1 0 25 0 11 0 490017469 860536832 39256 4294967295 134512640 134569956 3221224400 3221214872 1131461160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 39256 13073 16 0 210076 0
vsize: 840368
[startup+460.028 s]
Raw data (loadavg): 1.13 1.03 0.98 2/64 10388
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 42048 56 1 0 25 0 11 0 490017469 860536832 39526 4294967295 134512640 134569956 3221224400 3221213616 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 39526 13073 16 0 210076 0
vsize: 840368
[startup+470.029 s]
Raw data (loadavg): 1.11 1.03 0.98 2/64 10389
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 42952 56 1 0 25 0 11 0 490017469 860536832 40059 4294967295 134512640 134569956 3221224400 3221214872 1131461591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 40059 13073 16 0 210076 0
vsize: 840368
[startup+480.029 s]
Raw data (loadavg): 1.09 1.03 0.98 2/64 10390
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 43858 56 1 0 25 0 11 0 490017469 860536832 40591 4294967295 134512640 134569956 3221224400 3221214784 1131427433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 40591 13073 16 0 210076 0
vsize: 840368
[startup+490.029 s]
Raw data (loadavg): 1.08 1.03 0.98 2/63 10391
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 44764 57 2 0 25 0 10 0 490017469 860536832 40854 4294967295 134512640 134569956 3221224400 3221214608 1131338793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 40854 13073 16 0 210076 0
vsize: 840368
[startup+500.03 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 10393
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 45680 57 2 0 25 0 11 0 490017469 860536832 41269 4294967295 134512640 134569956 3221224400 3221214872 1131458297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 41269 13073 16 0 210076 0
vsize: 840368
[startup+510.03 s]
Raw data (loadavg): 1.05 1.02 0.98 2/64 10394
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 46593 58 2 0 25 0 11 0 490017469 860536832 41599 4294967295 134512640 134569956 3221224400 3221214784 1131428412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 41599 13073 16 0 210076 0
vsize: 840368
[startup+520.031 s]
Raw data (loadavg): 1.05 1.02 0.98 2/64 10395
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 47501 58 2 0 25 0 11 0 490017469 860536832 41913 4294967295 134512640 134569956 3221224400 3221214760 1131291840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 41913 13073 16 0 210076 0
vsize: 840368
[startup+530.032 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 10396
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 48402 58 2 0 25 0 11 0 490017469 860536832 42177 4294967295 134512640 134569956 3221224400 3221214784 1131427292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 42177 13073 16 0 210076 0
vsize: 840368
[startup+540.032 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 10397
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 49311 59 2 0 25 0 11 0 490017469 860536832 42439 4294967295 134512640 134569956 3221224400 3221214868 1131366240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 42439 13073 16 0 210076 0
vsize: 840368
[startup+550.032 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 10399
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 50207 60 2 0 25 0 11 0 490017469 860536832 42702 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 42702 13073 16 0 210076 0
vsize: 840368
[startup+560.032 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 10400
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 51112 60 2 0 25 0 11 0 490017469 860536832 43227 4294967295 134512640 134569956 3221224400 3221214784 1131428364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 43227 13073 16 0 210076 0
vsize: 840368
[startup+570.033 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 10402
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 52015 60 2 1 25 0 11 0 490017469 860536832 43490 4294967295 134512640 134569956 3221224400 3221214872 1131460807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 43490 13073 16 0 210076 0
vsize: 840368
[startup+580.033 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 10403
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 52913 61 2 1 25 0 11 0 490017469 860536832 43959 4294967295 134512640 134569956 3221224400 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 43959 13073 16 0 210076 0
vsize: 840368
[startup+590.034 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 10404
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 53816 61 2 1 25 0 11 0 490017469 860536832 44277 4294967295 134512640 134569956 3221224400 3221214872 1131458327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 44277 13073 16 0 210076 0
vsize: 840368
[startup+600.035 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 10406
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 54725 62 2 1 25 0 11 0 490017469 860536832 44540 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 44540 13073 16 0 210076 0
vsize: 840368
[startup+610.035 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 10407
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 55611 62 2 1 25 0 11 0 490017469 860536832 47011 4294967295 134512640 134569956 3221224400 3221214872 1131458317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 47011 13073 16 0 210076 0
vsize: 840368
[startup+620.036 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 10408
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 56519 62 2 1 25 0 11 0 490017469 860536832 47274 4294967295 134512640 134569956 3221224400 3221214872 1131461547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 47274 13073 16 0 210076 0
vsize: 840368
[startup+630.036 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10409
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 57417 62 2 1 25 0 11 0 490017469 860536832 47536 4294967295 134512640 134569956 3221224400 3221214784 1131428687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 47536 13073 16 0 210076 0
vsize: 840368
[startup+640.037 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10410
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 58324 63 2 1 25 0 11 0 490017469 860536832 47798 4294967295 134512640 134569956 3221224400 3221214760 1131291298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 47798 13073 16 0 210076 0
vsize: 840368
[startup+650.037 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10412
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 59225 63 2 1 25 0 11 0 490017469 860536832 48323 4294967295 134512640 134569956 3221224400 3221214872 1131458631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 48323 13073 16 0 210076 0
vsize: 840368
[startup+660.037 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10413
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 60124 64 3 1 25 0 11 0 490017469 860536832 48585 4294967295 134512640 134569956 3221224400 3221214784 1131428517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 48585 13073 16 0 210076 0
vsize: 840368
[startup+670.038 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10415
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 61032 64 3 1 25 0 11 0 490017469 860536832 48848 4294967295 134512640 134569956 3221224400 3221214872 1131459249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 48848 13073 16 0 210076 0
vsize: 840368
[startup+680.037 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10416
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 61931 64 3 1 25 0 11 0 490017469 860536832 49327 4294967295 134512640 134569956 3221224400 3221214784 1131428596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 49327 13073 16 0 210076 0
vsize: 840368
[startup+690.039 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10417
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 62825 65 3 1 25 0 11 0 490017469 860536832 49635 4294967295 134512640 134569956 3221224400 3221214784 1131427609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 49635 13073 16 0 210076 0
vsize: 840368
[startup+700.039 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 10419
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 63732 65 3 1 25 0 11 0 490017469 860536832 49897 4294967295 134512640 134569956 3221224400 3221214872 1131458456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 49897 13073 16 0 210076 0
vsize: 840368
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10420
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 64633 66 3 1 25 0 11 0 490017469 860536832 50160 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 50160 13073 16 0 210076 0
vsize: 840368
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10421
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 65530 66 3 1 25 0 11 0 490017469 860536832 50684 4294967295 134512640 134569956 3221224400 3221214784 1131428687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 50684 13073 16 0 210076 0
vsize: 840368
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10422
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 66436 66 3 1 25 0 11 0 490017469 860536832 50946 4294967295 134512640 134569956 3221224400 3221214872 1131458679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 50946 13073 16 0 210076 0
vsize: 840368
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10423
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 67334 67 4 1 25 0 11 0 490017469 860536832 51209 4294967295 134512640 134569956 3221224400 3221214784 1131427661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 51209 13073 16 0 210076 0
vsize: 840368
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10425
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 68252 68 4 1 25 0 11 0 490017469 860536832 51734 4294967295 134512640 134569956 3221224400 3221214872 1131461072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 51734 13073 16 0 210076 0
vsize: 840368
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10426
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 69159 68 4 1 25 0 11 0 490017469 860536832 51996 4294967295 134512640 134569956 3221224400 3221214872 1131461160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 51996 13073 16 0 210076 0
vsize: 840368
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10427
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 70059 68 4 1 25 0 11 0 490017469 860536832 52258 4294967295 134512640 134569956 3221224400 3221214784 1131428680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 52258 13073 16 0 210076 0
vsize: 840368
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10428
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 70965 69 4 1 25 0 11 0 490017469 860536832 52520 4294967295 134512640 134569956 3221224400 3221214872 1131458675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 52520 13073 16 0 210076 0
vsize: 840368
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10430
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 71860 69 4 1 25 0 11 0 490017469 860536832 52783 4294967295 134512640 134569956 3221224400 3221214912 1131445751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 52783 13073 16 0 210076 0
vsize: 840368
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10431
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 72766 70 4 1 25 0 11 0 490017469 860536832 53045 4294967295 134512640 134569956 3221224400 3221214872 1131458456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 53045 13073 16 0 210076 0
vsize: 840368
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10432
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 73669 70 4 1 25 0 11 0 490017469 860536832 53309 4294967295 134512640 134569956 3221224400 3221214096 1078831329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 53309 13073 16 0 210076 0
vsize: 840368
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10433
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 74559 71 4 1 25 0 11 0 490017469 860536832 53838 4294967295 134512640 134569956 3221224400 3221214872 1131461044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 53838 13073 16 0 210076 0
vsize: 840368
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10434
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 75464 71 4 1 25 0 11 0 490017469 860536832 54106 4294967295 134512640 134569956 3221224400 3221214784 1131428349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 54106 13073 16 0 210076 0
vsize: 840368
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10435
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 76365 72 4 1 25 0 11 0 490017469 860536832 54377 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 54377 13073 16 0 210076 0
vsize: 840368
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10436
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 77263 72 4 1 25 0 11 0 490017469 860536832 54649 4294967295 134512640 134569956 3221224400 3221214872 1131459072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 54649 13073 16 0 210076 0
vsize: 840368
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10437
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 78168 72 4 1 25 0 11 0 490017469 860536832 54923 4294967295 134512640 134569956 3221224400 3221214784 1131427464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 54923 13073 16 0 210076 0
vsize: 840368
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10438
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 79052 73 4 1 25 0 11 0 490017469 860536832 55458 4294967295 134512640 134569956 3221224400 3221214872 1131458675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 55458 13073 16 0 210076 0
vsize: 840368
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10440
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 79977 73 4 1 25 0 11 0 490017469 860536832 56277 4294967295 134512640 134569956 3221224400 3221214872 1131461144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 56277 13073 16 0 210076 0
vsize: 840368
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10441
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 80887 74 4 1 24 0 11 0 490017469 860536832 56620 4294967295 134512640 134569956 3221224400 3221214784 1131428230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 56620 13073 16 0 210076 0
vsize: 840368
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10442
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 81805 74 4 1 25 0 11 0 490017469 860536832 56699 4294967295 134512640 134569956 3221224400 3221214872 1131461160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 56699 13073 16 0 210076 0
vsize: 840368
[startup+910.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10443
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 82704 74 4 1 25 0 11 0 490017469 860536832 57034 4294967295 134512640 134569956 3221224400 3221213384 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 57034 13073 16 0 210076 0
vsize: 840368
[startup+920.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10444
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 83602 75 4 1 25 0 11 0 490017469 860536832 57296 4294967295 134512640 134569956 3221224400 3221214872 1131461160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 57296 13073 16 0 210076 0
vsize: 840368
[startup+930.081 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10445
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 84506 75 4 1 25 0 11 0 490017469 860536832 57561 4294967295 134512640 134569956 3221224400 3221214784 1131427625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 57561 13073 16 0 210076 0
vsize: 840368
[startup+940.082 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10446
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 85402 75 5 1 25 0 11 0 490017469 860536832 57825 4294967295 134512640 134569956 3221224400 3221214868 1131291168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 57825 13073 16 0 210076 0
vsize: 840368
[startup+950.083 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10448
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 86301 76 5 1 25 0 11 0 490017469 860536832 58089 4294967295 134512640 134569956 3221224400 3221214760 1131291905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 58089 13073 16 0 210076 0
vsize: 840368
[startup+960.082 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10449
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 87201 76 5 1 25 0 11 0 490017469 860536832 58617 4294967295 134512640 134569956 3221224400 3221214864 1131249017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 58617 13073 16 0 210076 0
vsize: 840368
[startup+970.083 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10450
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 88106 76 5 1 25 0 11 0 490017469 860536832 58881 4294967295 134512640 134569956 3221224400 3221214784 1131428362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 58881 13073 16 0 210076 0
vsize: 840368
[startup+980.084 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10451
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 89000 77 5 1 25 0 11 0 490017469 860536832 59143 4294967295 134512640 134569956 3221224400 3221214784 1131428314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 59143 13073 16 0 210076 0
vsize: 840368
[startup+990.085 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10452
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 89903 77 5 1 25 0 11 0 490017469 860536832 59406 4294967295 134512640 134569956 3221224400 3221214784 1131428621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 59406 13073 16 0 210076 0
vsize: 840368
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10454
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 90802 78 5 1 25 0 11 0 490017469 860536832 59930 4294967295 134512640 134569956 3221224400 3221214872 1131459168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 59930 13073 16 0 210076 0
vsize: 840368
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10455
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 91705 78 5 1 25 0 11 0 490017469 860536832 60192 4294967295 134512640 134569956 3221224400 3221214872 1131458438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 60192 13073 16 0 210076 0
vsize: 840368
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10456
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 92598 78 5 1 25 0 11 0 490017469 860536832 60455 4294967295 134512640 134569956 3221224400 3221214872 1131461612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 60455 13073 16 0 210076 0
vsize: 840368
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 10457
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 93502 79 5 1 25 0 10 0 490017469 860536832 60717 4294967295 134512640 134569956 3221224400 3221214768 1131293406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 60717 13073 16 0 210076 0
vsize: 840368
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10459
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 94402 79 5 1 25 0 11 0 490017469 860536832 60980 4294967295 134512640 134569956 3221224400 3221214784 1131428364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 60980 13073 16 0 210076 0
vsize: 840368
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10460
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 95299 80 5 1 25 0 11 0 490017469 860536832 61504 4294967295 134512640 134569956 3221224400 3221214784 1131427471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 61504 13073 16 0 210076 0
vsize: 840368
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10461
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 96193 80 5 1 25 0 11 0 490017469 860536832 61766 4294967295 134512640 134569956 3221224400 3221214784 1131428602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 61766 13073 16 0 210076 0
vsize: 840368
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10462
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 97111 80 5 1 25 0 11 0 490017469 860536832 62292 4294967295 134512640 134569956 3221224400 3221214872 1131461160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 62292 13073 16 0 210076 0
vsize: 840368
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10464
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 98019 81 5 1 25 0 11 0 490017469 860536832 62292 4294967295 134512640 134569956 3221224400 3221214784 1131427433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 62292 13073 16 0 210076 0
vsize: 840368
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10465
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 98911 81 5 1 25 0 11 0 490017469 860536832 62817 4294967295 134512640 134569956 3221224400 3221214864 1131249055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 62817 13073 16 0 210076 0
vsize: 840368
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10466
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 99815 81 6 1 25 0 11 0 490017469 860536832 63080 4294967295 134512640 134569956 3221224400 3221214784 1131427540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 63080 13073 16 0 210076 0
vsize: 840368
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10468
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 100717 82 6 1 25 0 11 0 490017469 860536832 63342 4294967295 134512640 134569956 3221224400 3221214760 1131291181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 63342 13073 16 0 210076 0
vsize: 840368
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10469
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 101611 83 6 2 25 0 11 0 490017469 860536832 63605 4294967295 134512640 134569956 3221224400 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 63605 13073 16 0 210076 0
vsize: 840368
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10470
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 102495 83 6 2 25 0 11 0 490017469 860536832 68025 4294967295 134512640 134569956 3221224400 3221214864 1131249055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 68025 13073 16 0 210076 0
vsize: 840368
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10471
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 103396 84 6 2 25 0 11 0 490017469 860536832 68288 4294967295 134512640 134569956 3221224400 3221214760 1131291193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 68288 13073 16 0 210076 0
vsize: 840368
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10472
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 104293 84 6 2 25 0 11 0 490017469 860536832 68550 4294967295 134512640 134569956 3221224400 3221213616 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 68550 13073 16 0 210076 0
vsize: 840368
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 10473
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 105193 84 6 2 25 0 10 0 490017469 860536832 68807 4294967295 134512640 134569956 3221224400 3221214304 1131336167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 68807 13073 16 0 210076 0
vsize: 840368
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10475
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 106096 84 6 2 25 0 11 0 490017469 860536832 69075 4294967295 134512640 134569956 3221224400 3221214912 1131445734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 69075 13073 16 0 210076 0
vsize: 840368
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10476
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 106999 85 6 2 25 0 11 0 490017469 860536832 69337 4294967295 134512640 134569956 3221224400 3221214784 1131427647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 69337 13073 16 0 210076 0
vsize: 840368
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10477
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 107898 85 6 2 25 0 11 0 490017469 860536832 69862 4294967295 134512640 134569956 3221224400 3221214784 1131427684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 69862 13073 16 0 210076 0
vsize: 840368
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10478
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 108803 85 6 2 25 0 11 0 490017469 860536832 70124 4294967295 134512640 134569956 3221224400 3221214784 1131427609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 70124 13073 16 0 210076 0
vsize: 840368
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10479
Raw data (stat): 10332 (java) S 10331 32461 32460 0 -1 0 18020 4 1 0 109696 85 6 2 25 0 11 0 490017469 860536832 70387 4294967295 134512640 134569956 3221224400 3221213616 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 70387 13073 16 0 210076 0
vsize: 840368
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10481
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 110606 85 6 2 25 0 11 0 490017469 860536832 70648 4294967295 134512640 134569956 3221224400 3221214872 1131461684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 70648 13073 16 0 210076 0
vsize: 840368
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10482
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 111496 85 6 2 24 0 11 0 490017469 860536832 71174 4294967295 134512640 134569956 3221224400 3221214872 1131461160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 71174 13073 16 0 210076 0
vsize: 840368
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10483
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 112400 85 6 2 25 0 11 0 490017469 860536832 71436 4294967295 134512640 134569956 3221224400 3221214784 1131427433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 71436 13073 16 0 210076 0
vsize: 840368
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10484
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 113305 85 6 2 25 0 11 0 490017469 860536832 71699 4294967295 134512640 134569956 3221224400 3221214824 1131366284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 71699 13073 16 0 210076 0
vsize: 840368
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10485
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 114210 85 6 2 25 0 11 0 490017469 860536832 71961 4294967295 134512640 134569956 3221224400 3221214872 1131461428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 71961 13073 16 0 210076 0
vsize: 840368
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10487
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 115115 86 6 2 25 0 11 0 490017469 860536832 72223 4294967295 134512640 134569956 3221224400 3221214872 1131459249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 72223 13073 16 0 210076 0
vsize: 840368
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10488
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 116009 86 6 2 25 0 11 0 490017469 860536832 72748 4294967295 134512640 134569956 3221224400 3221214784 1131427416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 72748 13073 16 0 210076 0
vsize: 840368
[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10489
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 116904 86 6 2 16 0 11 0 490017469 860536832 73010 4294967295 134512640 134569956 3221224400 3221214868 1131366240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210092 73010 13073 16 0 210076 0
vsize: 840368
[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10490
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 117807 86 6 2 25 0 11 0 490017469 860536832 73273 4294967295 134512640 134569956 3221224400 3221214784 1131428366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 73273 13073 16 0 210076 0
vsize: 840368
[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10492
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 118711 87 7 2 25 0 11 0 490017469 860536832 73535 4294967295 134512640 134569956 3221224400 3221214912 1131445836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 73535 13073 16 0 210076 0
vsize: 840368
[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10493
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 119605 87 7 2 25 0 11 0 490017469 860536832 74059 4294967295 134512640 134569956 3221224400 3221214784 1131427433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 74059 13073 16 0 210076 0
vsize: 840368
[startup+1330.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 10494
Raw data (stat): 10332 (java) R 10331 32461 32460 0 -1 0 18020 4 1 0 120507 87 7 2 25 0 11 0 490017469 860536832 74584 4294967295 134512640 134569956 3221224400 3221214872 1131461684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210092 74584 13073 16 0 210076 0
vsize: 840368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.28 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 10495
Raw data (stat): 10332 (java) Z 10331 32461 32460 0 -1 1036 18020 56916 1 0 120510 87 12506 129 25 0 1 0 490017469 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1330.28
CPU time (s): 1332.34
CPU user time (s): 1330.17
CPU system time (s): 2.17167
CPU usage (%): 100.155
Max. virtual memory (Kb): 840368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####