PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dg012142.opb
MD5SUM	d2a2dc4ff7a501b7efb12f8e274e186d
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	16640
Biggest coefficient in the objective function	5242880000
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1683190350400
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5242880000
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1683190350400
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1269.98
Number of variables	29440
Total number of constraints	6310
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	6270
Minimum length of a constraint	1
Maximum length of a constraint	251
Trace number 14364

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-20 23:40:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20107 boxname=wulflinc22 idbench=1547 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d2a2dc4ff7a501b7efb12f8e274e186d  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-dg012142.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-dg012142.opb
IDLAUNCH: 20107
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        478352 kB
Buffers:         34664 kB
Cached:         481652 kB
SwapCached:          8 kB
Active:          55764 kB
Inactive:       463360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        478100 kB
SwapTotal:     2097892 kB
SwapFree:      2097784 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6756 kB
Slab:            31444 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 00:02:53 (client local time) WITH STATUS 143 IN 1318.08 SECONDS
stats: 20107 7 1318.08 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-dg012142.opb
c reading problem 
c [nbvar=29440]
c [nbconstr=6310]
c time 265.691
c #vars     29440
c #clauses  2778
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=1326383104
c Current CPU time (ms) : 279.026
c starts	: 1
c conflicts	: 0
c decisions	: 13572
c propagations	: 29440
c inspects	: 48907
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=-347144192
c Current CPU time (ms) : 289.926
c starts	: 2
c conflicts	: 0
c decisions	: 27180
c propagations	: 56971
c inspects	: 89208
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=-2020671488
c Current CPU time (ms) : 300.748
c starts	: 3
c conflicts	: 0
c decisions	: 40787
c propagations	: 84502
c inspects	: 129467
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=600768512
c Current CPU time (ms) : 311.603
c starts	: 4
c conflicts	: 0
c decisions	: 54393
c propagations	: 112033
c inspects	: 169725
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=600768512
c Current CPU time (ms) : 322.384
c starts	: 5
c conflicts	: 0
c decisions	: 67999
c propagations	: 139564
c inspects	: 209984
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=600768512
c Current CPU time (ms) : 332.91
c starts	: 6
c conflicts	: 0
c decisions	: 81605
c propagations	: 167095
c inspects	: 250243
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=600768512
c Current CPU time (ms) : 343.6
c starts	: 7
c conflicts	: 0
c decisions	: 95211
c propagations	: 194626
c inspects	: 290502
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=600768512
c Current CPU time (ms) : 354.498
c starts	: 8
c conflicts	: 0
c decisions	: 108817
c propagations	: 222157
c inspects	: 330761
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=600768512
c Current CPU time (ms) : 365.26
c starts	: 9
c conflicts	: 0
c decisions	: 122423
c propagations	: 249688
c inspects	: 371020
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=600768512
c Current CPU time (ms) : 375.701
c starts	: 10
c conflicts	: 0
c decisions	: 136029
c propagations	: 277219
c inspects	: 411279
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=600768512
c Current CPU time (ms) : 386.385
c starts	: 11
c conflicts	: 0
c decisions	: 149635
c propagations	: 304750
c inspects	: 451538
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=600768512
c Current CPU time (ms) : 396.986
c starts	: 12
c conflicts	: 0
c decisions	: 163241
c propagations	: 332281
c inspects	: 491797
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=600768512
c Current CPU time (ms) : 407.818
c starts	: 13
c conflicts	: 0
c decisions	: 176847
c propagations	: 359812
c inspects	: 532056
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=600768512
c Current CPU time (ms) : 418.636
c starts	: 14
c conflicts	: 0
c decisions	: 190453
c propagations	: 387343
c inspects	: 572315
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=600768512
c Current CPU time (ms) : 429.452
c starts	: 15
c conflicts	: 0
c decisions	: 204059
c propagations	: 414874
c inspects	: 612574
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=600768512
c Current CPU time (ms) : 440.31
c starts	: 16
c conflicts	: 0
c decisions	: 217665
c propagations	: 442405
c inspects	: 652833
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=600768512
c Current CPU time (ms) : 451.033
c starts	: 17
c conflicts	: 0
c decisions	: 231271
c propagations	: 469936
c inspects	: 693092
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=600768512
c Current CPU time (ms) : 461.314
c starts	: 18
c conflicts	: 0
c decisions	: 244877
c propagations	: 497467
c inspects	: 733351
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=600768512
c Current CPU time (ms) : 471.633
c starts	: 19
c conflicts	: 0
c decisions	: 258483
c propagations	: 524998
c inspects	: 773610
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=600768512
c Current CPU time (ms) : 482.336
c starts	: 20
c conflicts	: 0
c decisions	: 272089
c propagations	: 552529
c inspects	: 813869
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=600768512
c Current CPU time (ms) : 493.062
c starts	: 21
c conflicts	: 0
c decisions	: 285695
c propagations	: 580060
c inspects	: 854128
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=600768512
c Current CPU time (ms) : 503.618
c starts	: 22
c conflicts	: 0
c decisions	: 299301
c propagations	: 607591
c inspects	: 894387
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=600768512
c Current CPU time (ms) : 514.292
c starts	: 23
c conflicts	: 0
c decisions	: 312907
c propagations	: 635122
c inspects	: 934646
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=600768512
c Current CPU time (ms) : 524.666
c starts	: 24
c conflicts	: 0
c decisions	: 326513
c propagations	: 662653
c inspects	: 974905
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=600768512
c Current CPU time (ms) : 535.449
c starts	: 25
c conflicts	: 0
c decisions	: 340119
c propagations	: 690184
c inspects	: 1015164
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=600768512
c Current CPU time (ms) : 546.449
c starts	: 26
c conflicts	: 0
c decisions	: 353725
c propagations	: 717715
c inspects	: 1055423
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=600768512
c Current CPU time (ms) : 557.326
c starts	: 27
c conflicts	: 0
c decisions	: 367331
c propagations	: 745246
c inspects	: 1095682
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=600768512
c Current CPU time (ms) : 568.196
c starts	: 28
c conflicts	: 0
c decisions	: 380937
c propagations	: 772777
c inspects	: 1135941
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=600768512
c Current CPU time (ms) : 579.016
c starts	: 29
c conflicts	: 0
c decisions	: 394543
c propagations	: 800308
c inspects	: 1176200
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=600768512
c Current CPU time (ms) : 589.755
c starts	: 30
c conflicts	: 0
c decisions	: 408149
c propagations	: 827839
c inspects	: 1216459
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=600768512
c Current CPU time (ms) : 600.639
c starts	: 31
c conflicts	: 0
c decisions	: 421755
c propagations	: 855370
c inspects	: 1256718
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=600768512
c Current CPU time (ms) : 611.325
c starts	: 32
c conflicts	: 0
c decisions	: 435361
c propagations	: 882901
c inspects	: 1296977
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=600768512
c Current CPU time (ms) : 622.105
c starts	: 33
c conflicts	: 0
c decisions	: 448967
c propagations	: 910432
c inspects	: 1337236
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=600768512
c Current CPU time (ms) : 633.005
c starts	: 34
c conflicts	: 0
c decisions	: 462573
c propagations	: 937963
c inspects	: 1377495
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=600768512
c Current CPU time (ms) : 643.964
c starts	: 35
c conflicts	: 0
c decisions	: 476179
c propagations	: 965494
c inspects	: 1417754
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=600768512
c Current CPU time (ms) : 654.889
c starts	: 36
c conflicts	: 0
c decisions	: 489785
c propagations	: 993025
c inspects	: 1458013
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=600768512
c Current CPU time (ms) : 665.655
c starts	: 37
c conflicts	: 0
c decisions	: 503391
c propagations	: 1020556
c inspects	: 1498272
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=600768512
c Current CPU time (ms) : 676.429
c starts	: 38
c conflicts	: 0
c decisions	: 516997
c propagations	: 1048087
c inspects	: 1538531
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=600768512
c Current CPU time (ms) : 687.201
c starts	: 39
c conflicts	: 0
c decisions	: 530603
c propagations	: 1075618
c inspects	: 1578790
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=600768512
c Current CPU time (ms) : 697.734
c starts	: 40
c conflicts	: 0
c decisions	: 544209
c propagations	: 1103149
c inspects	: 1619049
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=600768512
c Current CPU time (ms) : 708.535
c starts	: 41
c conflicts	: 0
c decisions	: 557815
c propagations	: 1130680
c inspects	: 1659308
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=600768512
c Current CPU time (ms) : 719.355
c starts	: 42
c conflicts	: 0
c decisions	: 571421
c propagations	: 1158211
c inspects	: 1699567
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=600768512
c Current CPU time (ms) : 730.008
c starts	: 43
c conflicts	: 0
c decisions	: 585027
c propagations	: 1185742
c inspects	: 1739826
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=600768512
c Current CPU time (ms) : 740.718
c starts	: 44
c conflicts	: 0
c decisions	: 598633
c propagations	: 1213273
c inspects	: 1780085
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=600768512
c Current CPU time (ms) : 751.287
c starts	: 45
c conflicts	: 0
c decisions	: 612239
c propagations	: 1240804
c inspects	: 1820344
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=600768512
c Current CPU time (ms) : 762.073
c starts	: 46
c conflicts	: 0
c decisions	: 625845
c propagations	: 1268335
c inspects	: 1860603
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=600768512
c Current CPU time (ms) : 773.008
c starts	: 47
c conflicts	: 0
c decisions	: 639451
c propagations	: 1295866
c inspects	: 1900862
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=600768512
c Current CPU time (ms) : 783.837
c starts	: 48
c conflicts	: 0
c decisions	: 653057
c propagations	: 1323397
c inspects	: 1941121
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=600768512
c Current CPU time (ms) : 794.837
c starts	: 49
c conflicts	: 0
c decisions	: 666663
c propagations	: 1350928
c inspects	: 1981380
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=600768512
c Current CPU time (ms) : 805.556
c starts	: 50
c conflicts	: 0
c decisions	: 680269
c propagations	: 1378459
c inspects	: 2021639
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=600768512
c Current CPU time (ms) : 816.52
c starts	: 51
c conflicts	: 0
c decisions	: 693875
c propagations	: 1405990
c inspects	: 2061898
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=600768512
c Current CPU time (ms) : 827.639
c starts	: 52
c conflicts	: 0
c decisions	: 707481
c propagations	: 1433521
c inspects	: 2102157
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=600768512
c Current CPU time (ms) : 838.512
c starts	: 53
c conflicts	: 0
c decisions	: 721087
c propagations	: 1461052
c inspects	: 2142416
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=600768512
c Current CPU time (ms) : 849.533
c starts	: 54
c conflicts	: 0
c decisions	: 734693
c propagations	: 1488583
c inspects	: 2182675
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=600768512
c Current CPU time (ms) : 860.334
c starts	: 55
c conflicts	: 0
c decisions	: 748299
c propagations	: 1516114
c inspects	: 2222934
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=600768512
c Current CPU time (ms) : 871.188
c starts	: 56
c conflicts	: 0
c decisions	: 761905
c propagations	: 1543645
c inspects	: 2263193
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=600768512
c Current CPU time (ms) : 882.181
c starts	: 57
c conflicts	: 0
c decisions	: 775511
c propagations	: 1571176
c inspects	: 2303452
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=600768512
c Current CPU time (ms) : 893.035
c starts	: 58
c conflicts	: 0
c decisions	: 789117
c propagations	: 1598707
c inspects	: 2343711
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=600768512
c Current CPU time (ms) : 904.053
c starts	: 59
c conflicts	: 0
c decisions	: 802723
c propagations	: 1626238
c inspects	: 2383970
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=600768512
c Current CPU time (ms) : 915.14
c starts	: 60
c conflicts	: 0
c decisions	: 816329
c propagations	: 1653769
c inspects	: 2424229
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=600768512
c Current CPU time (ms) : 926.004
c starts	: 61
c conflicts	: 0
c decisions	: 829935
c propagations	: 1681300
c inspects	: 2464488
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=600768512
c Current CPU time (ms) : 937.039
c starts	: 62
c conflicts	: 0
c decisions	: 843541
c propagations	: 1708831
c inspects	: 2504747
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=600768512
c Current CPU time (ms) : 947.879
c starts	: 63
c conflicts	: 0
c decisions	: 857147
c propagations	: 1736362
c inspects	: 2545006
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=600768512
c Current CPU time (ms) : 958.762
c starts	: 64
c conflicts	: 0
c decisions	: 870753
c propagations	: 1763893
c inspects	: 2585265
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=600768512
c Current CPU time (ms) : 969.8
c starts	: 65
c conflicts	: 0
c decisions	: 884359
c propagations	: 1791424
c inspects	: 2625524
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=600768512
c Current CPU time (ms) : 980.697
c starts	: 66
c conflicts	: 0
c decisions	: 897965
c propagations	: 1818955
c inspects	: 2665783
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=600768512
c Current CPU time (ms) : 991.617
c starts	: 67
c conflicts	: 0
c decisions	: 911571
c propagations	: 1846486
c inspects	: 2706042
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=600768512
c Current CPU time (ms) : 1002.586
c starts	: 68
c conflicts	: 0
c decisions	: 925177
c propagations	: 1874017
c inspects	: 2746301
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=600768512
c Current CPU time (ms) : 1013.727
c starts	: 69
c conflicts	: 0
c decisions	: 938783
c propagations	: 1901548
c inspects	: 2786560
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=600768512
c Current CPU time (ms) : 1024.776
c starts	: 70
c conflicts	: 0
c decisions	: 952389
c propagations	: 1929079
c inspects	: 2826819
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=600768512
c Current CPU time (ms) : 1035.691
c starts	: 71
c conflicts	: 0
c decisions	: 965995
c propagations	: 1956610
c inspects	: 2867078
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=600768512
c Current CPU time (ms) : 1046.725
c starts	: 72
c conflicts	: 0
c decisions	: 979601
c propagations	: 1984141
c inspects	: 2907337
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=600768512
c Current CPU time (ms) : 1057.61
c starts	: 73
c conflicts	: 0
c decisions	: 993207
c propagations	: 2011672
c inspects	: 2947596
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=600768512
c Current CPU time (ms) : 1068.513
c starts	: 74
c conflicts	: 0
c decisions	: 1006813
c propagations	: 2039203
c inspects	: 2987855
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=600768512
c Current CPU time (ms) : 1079.508
c starts	: 75
c conflicts	: 0
c decisions	: 1020419
c propagations	: 2066734
c inspects	: 3028114
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=600768512
c Current CPU time (ms) : 1090.431
c starts	: 76
c conflicts	: 0
c decisions	: 1034025
c propagations	: 2094265
c inspects	: 3068373
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=600768512
c Current CPU time (ms) : 1101.395
c starts	: 77
c conflicts	: 0
c decisions	: 1047631
c propagations	: 2121796
c inspects	: 3108632
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=600768512
c Current CPU time (ms) : 1112.009
c starts	: 78
c conflicts	: 0
c decisions	: 1061237
c propagations	: 2149327
c inspects	: 3148891
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=600768512
c Current CPU time (ms) : 1122.942
c starts	: 79
c conflicts	: 0
c decisions	: 1074843
c propagations	: 2176858
c inspects	: 3189150
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=600768512
c Current CPU time (ms) : 1133.977
c starts	: 80
c conflicts	: 0
c decisions	: 1088449
c propagations	: 2204389
c inspects	: 3229409
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=600768512
c Current CPU time (ms) : 1144.943
c starts	: 81
c conflicts	: 0
c decisions	: 1102055
c propagations	: 2231920
c inspects	: 3269668
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=600768512
c Current CPU time (ms) : 1155.955
c starts	: 82
c conflicts	: 0
c decisions	: 1115661
c propagations	: 2259451
c inspects	: 3309927
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=600768512
c Current CPU time (ms) : 1167.158
c starts	: 83
c conflicts	: 0
c decisions	: 1129267
c propagations	: 2286982
c inspects	: 3350186
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=600768512
c Current CPU time (ms) : 1178.059
c starts	: 84
c conflicts	: 0
c decisions	: 1142873
c propagations	: 2314513
c inspects	: 3390445
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=600768512
c Current CPU time (ms) : 1188.858
c starts	: 85
c conflicts	: 0
c decisions	: 1156479
c propagations	: 2342044
c inspects	: 3430704
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=600768512
c Current CPU time (ms) : 1199.792
c starts	: 86
c conflicts	: 0
c decisions	: 1170085
c propagations	: 2369575
c inspects	: 3470963
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=600768512
c Current CPU time (ms) : 1210.586
c starts	: 87
c conflicts	: 0
c decisions	: 1183691
c propagations	: 2397106
c inspects	: 3511222
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=600768512
c Current CPU time (ms) : 1221.792
c starts	: 88
c conflicts	: 0
c decisions	: 1197297
c propagations	: 2424637
c inspects	: 3551481
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=600768512
c Current CPU time (ms) : 1232.553
c starts	: 89
c conflicts	: 0
c decisions	: 1210903
c propagations	: 2452168
c inspects	: 3591740
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=600768512
c Current CPU time (ms) : 1243.659
c starts	: 90
c conflicts	: 0
c decisions	: 1224509
c propagations	: 2479699
c inspects	: 3631999
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=600768512
c Current CPU time (ms) : 1254.751
c starts	: 91
c conflicts	: 0
c decisions	: 1238115
c propagations	: 2507230
c inspects	: 3672258
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=600768512
c Current CPU time (ms) : 1265.598
c starts	: 92
c conflicts	: 0
c decisions	: 1251721
c propagations	: 2534761
c inspects	: 3712517
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=600768512
c Current CPU time (ms) : 1276.745
c starts	: 93
c conflicts	: 0
c decisions	: 1265327
c propagations	: 2562292
c inspects	: 3752776
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=600768512
c Current CPU time (ms) : 1287.849
c starts	: 94
c conflicts	: 0
c decisions	: 1278933
c propagations	: 2589823
c inspects	: 3793035
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=600768512
c Current CPU time (ms) : 1298.786
c starts	: 95
c conflicts	: 0
c decisions	: 1292539
c propagations	: 2617354
c inspects	: 3833294
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=600768512
c Current CPU time (ms) : 1309.817
c starts	: 96
c conflicts	: 0
c decisions	: 1306145
c propagations	: 2644885
c inspects	: 3873553
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 96
#### 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.93 0.98 0.92 2/54 23048
Raw data (stat): 23048 (runsolver) R 23047 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540473202 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.09 1.02 0.93 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17972 0 1 0 860 40 0 0 25 0 10 0 540473202 853536768 19212 4294967295 134512640 134569956 3221224400 3221214520 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 19212 13073 16 0 208367 0
vsize: 833532
[startup+20.0008 s]
Raw data (loadavg): 1.08 1.02 0.93 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17973 0 1 0 1752 41 0 0 25 0 10 0 540473202 854585344 20078 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208639 20078 13073 16 0 208623 0
vsize: 834556
[startup+30.002 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17973 0 1 0 2644 41 0 0 22 0 10 0 540473202 854585344 20579 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208639 20579 13073 16 0 208623 0
vsize: 834556
[startup+40.0024 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17973 0 1 0 3570 41 0 0 25 0 10 0 540473202 854585344 20835 4294967295 134512640 134569956 3221224400 3221214824 1131210179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208639 20835 13073 16 0 208623 0
vsize: 834556
[startup+50.0159 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17973 0 1 0 4497 41 0 0 25 0 10 0 540473202 854585344 20975 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208639 20975 13073 16 0 208623 0
vsize: 834556
[startup+60.0164 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17973 0 1 0 5428 42 0 0 25 0 10 0 540473202 854585344 21086 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208639 21086 13073 16 0 208623 0
vsize: 834556
[startup+70.0165 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17973 0 1 0 6367 42 0 0 24 0 10 0 540473202 854585344 21248 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208639 21248 13073 16 0 208623 0
vsize: 834556
[startup+80.0174 s]
Raw data (loadavg): 1.03 1.01 0.93 3/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17978 0 1 0 7287 42 0 0 25 0 10 0 540473202 855842816 21715 4294967295 134512640 134569956 3221224400 3221214404 1130898096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208946 21715 13073 16 0 208930 0
vsize: 835784
[startup+90.0182 s]
Raw data (loadavg): 1.17 1.04 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 8165 45 0 0 25 0 10 0 540473202 868892672 26848 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212132 26848 13073 16 0 212116 0
vsize: 848528
[startup+100.018 s]
Raw data (loadavg): 1.15 1.04 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 9100 45 0 0 25 0 10 0 540473202 868892672 26850 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212132 26850 13073 16 0 212116 0
vsize: 848528
[startup+110.018 s]
Raw data (loadavg): 1.12 1.04 0.94 2/63 23057
Raw data (stat): 23048 (java) S 23047 26298 26297 0 -1 0 17992 0 1 0 10024 46 0 0 25 0 10 0 540473202 864317440 25889 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 25889 13073 16 0 210999 0
vsize: 844060
[startup+120.019 s]
Raw data (loadavg): 1.10 1.04 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 10939 46 0 0 25 0 10 0 540473202 864317440 26024 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 26024 13073 16 0 210999 0
vsize: 844060
[startup+130.019 s]
Raw data (loadavg): 1.09 1.03 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 11845 47 0 0 25 0 10 0 540473202 864317440 26135 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 26135 13073 16 0 210999 0
vsize: 844060
[startup+140.019 s]
Raw data (loadavg): 1.07 1.03 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 12740 47 0 0 25 0 10 0 540473202 864317440 26311 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 26311 13073 16 0 210999 0
vsize: 844060
[startup+150.019 s]
Raw data (loadavg): 1.06 1.03 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 13644 48 0 0 25 0 10 0 540473202 864317440 26516 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 26516 13073 16 0 210999 0
vsize: 844060
[startup+160.019 s]
Raw data (loadavg): 1.05 1.03 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 14554 48 0 0 25 0 10 0 540473202 864317440 26669 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 26669 13073 16 0 210999 0
vsize: 844060
[startup+170.019 s]
Raw data (loadavg): 1.04 1.03 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 15458 49 0 0 25 0 10 0 540473202 864317440 26824 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 26824 13073 16 0 210999 0
vsize: 844060
[startup+180.02 s]
Raw data (loadavg): 1.04 1.03 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 16368 49 0 0 25 0 10 0 540473202 864317440 26967 4294967295 134512640 134569956 3221224400 3221214776 1131219885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 26967 13073 16 0 210999 0
vsize: 844060
[startup+190.02 s]
Raw data (loadavg): 1.03 1.03 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 17258 50 0 0 25 0 10 0 540473202 864317440 27155 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 27155 13073 16 0 210999 0
vsize: 844060
[startup+200.02 s]
Raw data (loadavg): 1.02 1.02 0.94 2/63 23057
Raw data (stat): 23048 (java) S 23047 26298 26297 0 -1 0 17992 0 1 0 18149 50 0 0 22 0 10 0 540473202 864317440 27310 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 27310 13073 16 0 210999 0
vsize: 844060
[startup+210.02 s]
Raw data (loadavg): 1.02 1.02 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 19053 51 0 0 21 0 10 0 540473202 864317440 27616 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 27616 13073 16 0 210999 0
vsize: 844060
[startup+220.02 s]
Raw data (loadavg): 1.02 1.02 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 19961 51 0 0 23 0 10 0 540473202 864317440 27743 4294967295 134512640 134569956 3221224400 3221214908 1131154796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 27743 13073 16 0 210999 0
vsize: 844060
[startup+230.021 s]
Raw data (loadavg): 1.01 1.02 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 20863 51 0 0 19 0 10 0 540473202 864317440 27877 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 27877 13073 16 0 210999 0
vsize: 844060
[startup+240.021 s]
Raw data (loadavg): 1.01 1.02 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17992 0 1 0 21771 52 0 0 22 0 10 0 540473202 864317440 28008 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 28008 13073 16 0 210999 0
vsize: 844060
[startup+250.021 s]
Raw data (loadavg): 1.01 1.02 0.94 2/63 23057
Raw data (stat): 23048 (java) S 23047 26298 26297 0 -1 0 17992 0 1 0 22679 52 0 0 25 0 10 0 540473202 864317440 28130 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 28130 13073 16 0 210999 0
vsize: 844060
[startup+260.021 s]
Raw data (loadavg): 1.01 1.02 0.94 2/63 23057
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 17993 0 1 0 23606 53 0 0 25 0 10 0 540473202 864317440 28276 4294967295 134512640 134569956 3221224400 3221214800 1131154927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211015 28276 13073 16 0 210999 0
vsize: 844060
[startup+270.021 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23058
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18022 0 1 0 24533 56 0 0 25 0 11 0 540473202 864845824 29191 4294967295 134512640 134569956 3221224400 3221214672 1131349908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 29191 13073 16 0 211128 0
vsize: 844576
[startup+280.022 s]
Raw data (loadavg): 1.00 1.02 0.94 3/64 23059
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 25403 56 0 0 25 0 11 0 540473202 864845824 29205 4294967295 134512640 134569956 3221224400 3221214648 1131454191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 29205 13073 16 0 211128 0
vsize: 844576
[startup+290.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 23059
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 26305 57 0 0 25 0 11 0 540473202 864845824 29817 4294967295 134512640 134569956 3221224400 3221214752 1131474666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 29817 13073 16 0 211128 0
vsize: 844576
[startup+300.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23060
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 27227 57 0 0 25 0 11 0 540473202 864845824 30301 4294967295 134512640 134569956 3221224400 3221214752 1131471659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 30301 13073 16 0 211128 0
vsize: 844576
[startup+310.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23061
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 28131 57 0 0 17 0 11 0 540473202 864845824 30741 4294967295 134512640 134569956 3221224400 3221214656 1131349938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 30741 13073 16 0 211128 0
vsize: 844576
[startup+320.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23062
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 29045 57 0 0 25 0 11 0 540473202 864845824 31397 4294967295 134512640 134569956 3221224400 3221214752 1131471618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 31397 13073 16 0 211128 0
vsize: 844576
[startup+330.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23063
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 29964 58 0 0 25 0 11 0 540473202 864845824 31756 4294967295 134512640 134569956 3221224400 3221214752 1131472612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 31756 13073 16 0 211128 0
vsize: 844576
[startup+340.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23064
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 30875 58 0 0 24 0 11 0 540473202 864845824 32208 4294967295 134512640 134569956 3221224400 3221214752 1131472612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 32208 13073 16 0 211128 0
vsize: 844576
[startup+350.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23065
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 31784 58 0 0 25 0 11 0 540473202 864845824 32424 4294967295 134512640 134569956 3221224400 3221214656 1131350818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 32424 13073 16 0 211128 0
vsize: 844576
[startup+360.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23066
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 32677 58 0 0 24 0 11 0 540473202 864845824 32907 4294967295 134512640 134569956 3221224400 3221214656 1131349630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 32907 13073 16 0 211128 0
vsize: 844576
[startup+370.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23067
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 33599 58 0 0 25 0 11 0 540473202 864845824 34067 4294967295 134512640 134569956 3221224400 3221214656 1131349559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 34067 13073 16 0 211128 0
vsize: 844576
[startup+380.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23068
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 34531 58 0 0 25 0 11 0 540473202 864845824 34067 4294967295 134512640 134569956 3221224400 3221214656 1131349733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 34067 13073 16 0 211128 0
vsize: 844576
[startup+390.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23069
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 35446 58 0 0 25 0 11 0 540473202 864845824 34497 4294967295 134512640 134569956 3221224400 3221214656 1131349844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 34497 13073 16 0 211128 0
vsize: 844576
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23070
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 36372 58 0 0 25 0 11 0 540473202 864845824 34974 4294967295 134512640 134569956 3221224400 3221214696 1131220588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 34974 13073 16 0 211128 0
vsize: 844576
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23071
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 37274 58 0 0 25 0 11 0 540473202 864845824 35327 4294967295 134512640 134569956 3221224400 3221214656 1131350022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 35327 13073 16 0 211128 0
vsize: 844576
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23072
Raw data (stat): 23048 (java) S 23047 26298 26297 0 -1 0 18023 4 1 0 38185 59 0 0 25 0 11 0 540473202 864845824 35407 4294967295 134512640 134569956 3221224400 3221213296 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 35407 13073 16 0 211128 0
vsize: 844576
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23072
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 39082 59 0 0 25 0 11 0 540473202 864845824 35849 4294967295 134512640 134569956 3221224400 3221214656 1131350804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 35849 13073 16 0 211128 0
vsize: 844576
[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23073
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 39982 59 0 0 24 0 11 0 540473202 864845824 36187 4294967295 134512640 134569956 3221224400 3221214752 1131470470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 36187 13073 16 0 211128 0
vsize: 844576
[startup+450.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23074
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 40895 59 0 0 25 0 11 0 540473202 864845824 36535 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 36535 13073 16 0 211128 0
vsize: 844576
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23075
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 41841 59 0 0 25 0 11 0 540473202 864845824 38809 4294967295 134512640 134569956 3221224400 3221214752 1131470632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 38809 13073 16 0 211128 0
vsize: 844576
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23076
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 42795 59 0 0 25 0 11 0 540473202 864845824 38809 4294967295 134512640 134569956 3221224400 3221214656 1131350818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 38809 13073 16 0 211128 0
vsize: 844576
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23077
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 43714 59 0 0 25 0 11 0 540473202 864845824 38809 4294967295 134512640 134569956 3221224400 3221214752 1131471725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 38809 13073 16 0 211128 0
vsize: 844576
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23078
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 44619 59 0 0 24 0 11 0 540473202 864845824 39487 4294967295 134512640 134569956 3221224400 3221214656 1131349636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 39487 13073 16 0 211128 0
vsize: 844576
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23079
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 45554 59 0 0 25 0 11 0 540473202 864845824 39918 4294967295 134512640 134569956 3221224400 3221214752 1131470240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 39918 13073 16 0 211128 0
vsize: 844576
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23080
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 46478 59 0 0 25 0 11 0 540473202 864845824 40487 4294967295 134512640 134569956 3221224400 3221214752 1131470624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 40487 13073 16 0 211128 0
vsize: 844576
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23081
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 47405 60 0 0 25 0 11 0 540473202 864845824 41211 4294967295 134512640 134569956 3221224400 3221214752 1131472612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 41211 13073 16 0 211128 0
vsize: 844576
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23082
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 48331 60 0 0 24 0 11 0 540473202 864845824 41211 4294967295 134512640 134569956 3221224400 3221214656 1131349545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 41211 13073 16 0 211128 0
vsize: 844576
[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23083
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 49236 60 0 0 25 0 11 0 540473202 864845824 41587 4294967295 134512640 134569956 3221224400 3221214940 1131259488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 41587 13073 16 0 211128 0
vsize: 844576
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23084
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 50139 60 0 0 25 0 11 0 540473202 864845824 41990 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 41990 13073 16 0 211128 0
vsize: 844576
[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23085
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 51029 60 0 0 25 0 11 0 540473202 864845824 42394 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 42394 13073 16 0 211128 0
vsize: 844576
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23086
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 51936 60 0 0 25 0 11 0 540473202 864845824 42429 4294967295 134512640 134569956 3221224400 3221214752 1131470443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 42429 13073 16 0 211128 0
vsize: 844576
[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23087
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 52849 60 0 0 25 0 11 0 540473202 864845824 42827 4294967295 134512640 134569956 3221224400 3221214656 1131350236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 42827 13073 16 0 211128 0
vsize: 844576
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23087
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 53756 60 0 0 25 0 11 0 540473202 864845824 43133 4294967295 134512640 134569956 3221224400 3221214656 1131349964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 43133 13073 16 0 211128 0
vsize: 844576
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23088
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 54671 60 1 0 25 0 11 0 540473202 864845824 43421 4294967295 134512640 134569956 3221224400 3221214648 1131454087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 43421 13073 16 0 211128 0
vsize: 844576
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23089
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 55577 61 1 0 25 0 11 0 540473202 864845824 43703 4294967295 134512640 134569956 3221224400 3221214752 1131474889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 43703 13073 16 0 211128 0
vsize: 844576
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23090
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 56491 61 1 0 25 0 11 0 540473202 864845824 43999 4294967295 134512640 134569956 3221224400 3221214752 1131470447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 43999 13073 16 0 211128 0
vsize: 844576
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23091
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 57392 61 1 0 25 0 11 0 540473202 864845824 44303 4294967295 134512640 134569956 3221224400 3221214656 1131349573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 44303 13073 16 0 211128 0
vsize: 844576
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23092
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 58294 61 1 0 25 0 11 0 540473202 864845824 46467 4294967295 134512640 134569956 3221224400 3221214656 1131350818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 46467 13073 16 0 211128 0
vsize: 844576
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23093
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 59195 61 1 0 24 0 11 0 540473202 864845824 46846 4294967295 134512640 134569956 3221224400 3221214656 1131350419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 46846 13073 16 0 211128 0
vsize: 844576
[startup+660.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23094
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 60105 61 1 0 25 0 11 0 540473202 864845824 47210 4294967295 134512640 134569956 3221224400 3221214656 1131349669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 47210 13073 16 0 211128 0
vsize: 844576
[startup+670.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23095
Raw data (stat): 23048 (java) S 23047 26298 26297 0 -1 0 18023 4 1 0 61011 61 1 0 25 0 11 0 540473202 864845824 47628 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 47628 13073 16 0 211128 0
vsize: 844576
[startup+680.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23096
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 61922 61 1 0 25 0 11 0 540473202 864845824 47932 4294967295 134512640 134569956 3221224400 3221214656 1131350006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 47932 13073 16 0 211128 0
vsize: 844576
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23097
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 62842 61 1 0 25 0 11 0 540473202 864845824 48547 4294967295 134512640 134569956 3221224400 3221214920 1131259545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 48547 13073 16 0 211128 0
vsize: 844576
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23098
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 63780 62 1 0 25 0 11 0 540473202 864845824 48547 4294967295 134512640 134569956 3221224400 3221214656 1131349994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 48547 13073 16 0 211128 0
vsize: 844576
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23099
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 64683 62 1 0 25 0 11 0 540473202 864845824 48784 4294967295 134512640 134569956 3221224400 3221214656 1131349869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 48784 13073 16 0 211128 0
vsize: 844576
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23099
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 65600 62 1 0 25 0 11 0 540473202 864845824 49460 4294967295 134512640 134569956 3221224400 3221214832 1131513264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 49460 13073 16 0 211128 0
vsize: 844576
[startup+730.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23100
Raw data (stat): 23048 (java) S 23047 26298 26297 0 -1 0 18023 4 1 0 66524 62 1 0 25 0 11 0 540473202 864845824 50239 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 50239 13073 16 0 211128 0
vsize: 844576
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23101
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 67451 62 1 0 25 0 11 0 540473202 864845824 50618 4294967295 134512640 134569956 3221224400 3221214656 1131350146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 50618 13073 16 0 211128 0
vsize: 844576
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23102
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 68375 62 1 0 25 0 11 0 540473202 864845824 51308 4294967295 134512640 134569956 3221224400 3221214920 1131259545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 51308 13073 16 0 211128 0
vsize: 844576
[startup+760.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23103
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 69295 62 1 1 25 0 11 0 540473202 864845824 51621 4294967295 134512640 134569956 3221224400 3221214656 1131349761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 51621 13073 16 0 211128 0
vsize: 844576
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23104
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 70196 62 1 1 25 0 11 0 540473202 864845824 51997 4294967295 134512640 134569956 3221224400 3221214656 1131350429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 51997 13073 16 0 211128 0
vsize: 844576
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23105
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 71106 62 1 1 25 0 11 0 540473202 864845824 52361 4294967295 134512640 134569956 3221224400 3221214656 1131349864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 52361 13073 16 0 211128 0
vsize: 844576
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23106
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 72003 63 1 1 25 0 11 0 540473202 864845824 52957 4294967295 134512640 134569956 3221224400 3221214656 1131350118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 52957 13073 16 0 211128 0
vsize: 844576
[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23107
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 72909 63 1 1 25 0 11 0 540473202 864845824 53547 4294967295 134512640 134569956 3221224400 3221214752 1131472659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 53547 13073 16 0 211128 0
vsize: 844576
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23108
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 73823 63 1 1 24 0 11 0 540473202 864845824 53734 4294967295 134512640 134569956 3221224400 3221214656 1131350026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 53734 13073 16 0 211128 0
vsize: 844576
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23109
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 74719 63 1 1 25 0 11 0 540473202 864845824 54057 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 54057 13073 16 0 211128 0
vsize: 844576
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23110
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 75616 63 1 1 25 0 11 0 540473202 864845824 54124 4294967295 134512640 134569956 3221224400 3221214656 1131350435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 54124 13073 16 0 211128 0
vsize: 844576
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23111
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 76517 63 1 1 24 0 11 0 540473202 864845824 54571 4294967295 134512640 134569956 3221224400 3221214656 1131350758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 54571 13073 16 0 211128 0
vsize: 844576
[startup+850.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23111
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 77431 63 1 1 25 0 11 0 540473202 864845824 54894 4294967295 134512640 134569956 3221224400 3221214768 1131516821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 54894 13073 16 0 211128 0
vsize: 844576
[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23112
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 78330 63 1 1 25 0 11 0 540473202 864845824 55247 4294967295 134512640 134569956 3221224400 3221214752 1131471659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 55247 13073 16 0 211128 0
vsize: 844576
[startup+870.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23113
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 79241 63 2 1 25 0 11 0 540473202 864845824 55536 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 55536 13073 16 0 211128 0
vsize: 844576
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23114
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 80140 64 2 1 25 0 11 0 540473202 864845824 55789 4294967295 134512640 134569956 3221224400 3221214656 1131349537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 55789 13073 16 0 211128 0
vsize: 844576
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23115
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 81050 64 2 1 25 0 11 0 540473202 864845824 56150 4294967295 134512640 134569956 3221224400 3221214752 1131470443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 56150 13073 16 0 211128 0
vsize: 844576
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23116
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 81952 64 2 1 25 0 11 0 540473202 864845824 56164 4294967295 134512640 134569956 3221224400 3221214752 1131471663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 56164 13073 16 0 211128 0
vsize: 844576
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23117
Raw data (stat): 23048 (java) S 23047 26298 26297 0 -1 0 18023 4 1 0 82842 64 2 1 25 0 11 0 540473202 864845824 56720 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 56720 13073 16 0 211128 0
vsize: 844576
[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23118
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 83752 64 2 1 25 0 11 0 540473202 864845824 56993 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 56993 13073 16 0 211128 0
vsize: 844576
[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23119
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 84662 65 2 1 25 0 11 0 540473202 864845824 57273 4294967295 134512640 134569956 3221224400 3221214672 1131259545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 57273 13073 16 0 211128 0
vsize: 844576
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23120
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 85560 65 2 1 25 0 11 0 540473202 864845824 57589 4294967295 134512640 134569956 3221224400 3221214656 1131349541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 57589 13073 16 0 211128 0
vsize: 844576
[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23121
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 86472 65 2 1 25 0 11 0 540473202 864845824 57601 4294967295 134512640 134569956 3221224400 3221214752 1131471659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 57601 13073 16 0 211128 0
vsize: 844576
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23122
Raw data (stat): 23048 (java) S 23047 26298 26297 0 -1 0 18023 4 1 0 87382 65 2 1 25 0 11 0 540473202 864845824 57904 4294967295 134512640 134569956 3221224400 3221213296 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 57904 13073 16 0 211128 0
vsize: 844576
[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23122
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 88279 65 2 1 21 0 11 0 540473202 864845824 58202 4294967295 134512640 134569956 3221224400 3221214656 1131350006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 58202 13073 16 0 211128 0
vsize: 844576
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23123
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 89177 65 2 1 16 0 11 0 540473202 864845824 58548 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 58548 13073 16 0 211128 0
vsize: 844576
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23124
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 90082 65 2 1 19 0 11 0 540473202 864845824 58859 4294967295 134512640 134569956 3221224400 3221214752 1131470253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 58859 13073 16 0 211128 0
vsize: 844576
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23125
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 90987 65 2 1 23 0 11 0 540473202 864845824 59306 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 59306 13073 16 0 211128 0
vsize: 844576
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23126
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 91874 65 2 1 24 0 11 0 540473202 864845824 63285 4294967295 134512640 134569956 3221224400 3221214748 1131349523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 63285 13073 16 0 211128 0
vsize: 844576
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23127
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 92778 65 2 1 25 0 11 0 540473202 864845824 63727 4294967295 134512640 134569956 3221224400 3221214656 1131349621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 63727 13073 16 0 211128 0
vsize: 844576
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23128
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 93686 65 2 1 25 0 11 0 540473202 864845824 64024 4294967295 134512640 134569956 3221224400 3221214656 1131350057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 64024 13073 16 0 211128 0
vsize: 844576
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23129
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 94581 65 2 1 25 0 11 0 540473202 864845824 64370 4294967295 134512640 134569956 3221224400 3221214656 1131349533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 64370 13073 16 0 211128 0
vsize: 844576
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23130
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 95486 66 2 1 25 0 11 0 540473202 864845824 64855 4294967295 134512640 134569956 3221224400 3221214656 1131349628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 64855 13073 16 0 211128 0
vsize: 844576
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23131
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 96400 66 2 1 25 0 11 0 540473202 864845824 64855 4294967295 134512640 134569956 3221224400 3221214656 1131349700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 64855 13073 16 0 211128 0
vsize: 844576
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23132
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 97301 66 2 1 25 0 11 0 540473202 864845824 65152 4294967295 134512640 134569956 3221224400 3221214752 1131471590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 65152 13073 16 0 211128 0
vsize: 844576
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23132
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 98208 66 2 1 25 0 11 0 540473202 864845824 65450 4294967295 134512640 134569956 3221224400 3221214656 1131349541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 65450 13073 16 0 211128 0
vsize: 844576
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23133
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 99115 66 2 1 25 0 11 0 540473202 864845824 65733 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 65733 13073 16 0 211128 0
vsize: 844576
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23134
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 100030 66 2 1 25 0 11 0 540473202 864845824 66403 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 66403 13073 16 0 211128 0
vsize: 844576
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23135
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 100952 66 2 1 25 0 11 0 540473202 864845824 66990 4294967295 134512640 134569956 3221224400 3221214752 1131472503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 66990 13073 16 0 211128 0
vsize: 844576
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23136
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 101868 67 2 1 25 0 11 0 540473202 864845824 67099 4294967295 134512640 134569956 3221224400 3221214656 1131349529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 67099 13073 16 0 211128 0
vsize: 844576
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23137
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 102764 67 2 1 18 0 11 0 540473202 864845824 67541 4294967295 134512640 134569956 3221224400 3221214656 1131349585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 67541 13073 16 0 211128 0
vsize: 844576
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23138
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 103670 67 3 1 25 0 11 0 540473202 864845824 67927 4294967295 134512640 134569956 3221224400 3221214752 1131471590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 67927 13073 16 0 211128 0
vsize: 844576
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23139
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 104576 67 3 1 25 0 11 0 540473202 864845824 68236 4294967295 134512640 134569956 3221224400 3221214656 1131350733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 68236 13073 16 0 211128 0
vsize: 844576
[startup+1160.1 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 23193
Raw data (stat): 23048 (java) S 23047 26298 26297 0 -1 0 18023 4 1 0 105470 76 3 1 25 0 11 0 540473202 864845824 68598 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 68598 13073 16 0 211128 0
vsize: 844576
[startup+1170.1 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 23194
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 106372 77 3 1 25 0 11 0 540473202 864845824 68926 4294967295 134512640 134569956 3221224400 3221214752 1131474619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 68926 13073 16 0 211128 0
vsize: 844576
[startup+1180.1 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 23195
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 107306 77 3 1 25 0 11 0 540473202 864845824 69855 4294967295 134512640 134569956 3221224400 3221214748 1131351051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 69855 13073 16 0 211128 0
vsize: 844576
[startup+1190.1 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 23196
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 108239 78 3 1 25 0 11 0 540473202 864845824 70103 4294967295 134512640 134569956 3221224400 3221214656 1131349908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 70103 13073 16 0 211128 0
vsize: 844576
[startup+1200.1 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 23196
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 109155 78 3 1 24 0 11 0 540473202 864845824 71266 4294967295 134512640 134569956 3221224400 3221214752 1131470470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 71266 13073 16 0 211128 0
vsize: 844576
[startup+1210.1 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 23197
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 110089 78 3 1 25 0 11 0 540473202 864845824 71774 4294967295 134512640 134569956 3221224400 3221214648 1131454061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 71774 13073 16 0 211128 0
vsize: 844576
[startup+1220.1 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 23198
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 111001 79 3 1 25 0 11 0 540473202 864845824 71997 4294967295 134512640 134569956 3221224400 3221214752 1131470534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 71997 13073 16 0 211128 0
vsize: 844576
[startup+1230.1 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 23201
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 111922 79 3 1 25 0 11 0 540473202 864845824 73263 4294967295 134512640 134569956 3221224400 3221214656 1131349660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 73263 13073 16 0 211128 0
vsize: 844576
[startup+1240.1 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 23202
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 112843 79 3 1 25 0 11 0 540473202 864845824 73565 4294967295 134512640 134569956 3221224400 3221214656 1131349854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 73565 13073 16 0 211128 0
vsize: 844576
[startup+1250.1 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 23203
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 113752 80 3 1 25 0 11 0 540473202 864845824 73850 4294967295 134512640 134569956 3221224400 3221214656 1131349630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 73850 13073 16 0 211128 0
vsize: 844576
[startup+1260.1 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 23204
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 114659 80 3 1 25 0 11 0 540473202 864845824 74438 4294967295 134512640 134569956 3221224400 3221214648 1131454087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 74438 13073 16 0 211128 0
vsize: 844576
[startup+1270.1 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 23205
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 115587 80 3 1 25 0 11 0 540473202 864845824 74596 4294967295 134512640 134569956 3221224400 3221214656 1131350243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 74596 13073 16 0 211128 0
vsize: 844576
[startup+1280.11 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 23206
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 116493 81 3 1 25 0 11 0 540473202 864845824 75031 4294967295 134512640 134569956 3221224400 3221214656 1131350021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 75031 13073 16 0 211128 0
vsize: 844576
[startup+1290.11 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 23207
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 117403 81 3 1 25 0 11 0 540473202 864845824 75329 4294967295 134512640 134569956 3221224400 3221214752 1131470622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 75329 13073 16 0 211128 0
vsize: 844576
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23208
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 118334 82 3 1 25 0 11 0 540473202 864845824 75609 4294967295 134512640 134569956 3221224400 3221214656 1131349949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 75609 13073 16 0 211128 0
vsize: 844576
[startup+1310.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23208
Raw data (stat): 23048 (java) S 23047 26298 26297 0 -1 0 18023 4 1 0 119242 82 3 1 25 0 11 0 540473202 864845824 75975 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 75975 13073 16 0 211128 0
vsize: 844576
[startup+1320.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23209
Raw data (stat): 23048 (java) R 23047 26298 26297 0 -1 0 18023 4 1 0 120156 82 3 1 25 0 11 0 540473202 864845824 76522 4294967295 134512640 134569956 3221224400 3221214656 1131349628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211144 76522 13073 16 0 211128 0
vsize: 844576
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.29 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 23210
Raw data (stat): 23048 (java) Z 23047 26298 26297 0 -1 1036 18023 55474 1 0 120159 82 11429 135 25 0 1 0 540473202 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1320.29
CPU time (s): 1318.08
CPU user time (s): 1315.9
CPU system time (s): 2.18167
CPU usage (%): 99.8327
Max. virtual memory (Kb): 848528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####