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-nsrand_ipx.opb
MD5SUM	1b24e93bee48f2c98e7d4820cbb13e8e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483485
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	26715880447
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1225.16
Number of variables	6651
Total number of constraints	7355
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6951
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	1
Maximum length of a constraint	6651
Trace number 13349

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-20 20:27:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15167 boxname=wulflinc23 idbench=1167 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1b24e93bee48f2c98e7d4820cbb13e8e  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-nsrand_ipx.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-nsrand_ipx.opb
IDLAUNCH: 15167
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        574848 kB
Buffers:         33164 kB
Cached:         385180 kB
SwapCached:        672 kB
Active:          88688 kB
Inactive:       331956 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        574596 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            33600 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 20:47:41 (client local time) WITH STATUS 143 IN 1231.86 SECONDS
stats: 15167 7 1231.86 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-nsrand_ipx.opb
c reading problem 
c [nbvar=6651]
c [nbconstr=7355]
c time 26.66
c #vars     6651
c #clauses  721
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=2147483647
c Current CPU time (ms) : 90.955
c starts	: 1
c conflicts	: 20
c decisions	: 6742
c propagations	: 7204
c inspects	: 22097
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 20
c root simplifications	: 2
c 
c CURRENT OPTIMUM=2147483646
c Current CPU time (ms) : 155.971
c starts	: 3
c conflicts	: 125
c decisions	: 13757
c propagations	: 19701
c inspects	: 39298
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 5
c 
c CURRENT OPTIMUM=2147483645
c Current CPU time (ms) : 169.691
c starts	: 4
c conflicts	: 125
c decisions	: 18809
c propagations	: 26351
c inspects	: 41608
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 6
c 
c CURRENT OPTIMUM=2147483644
c Current CPU time (ms) : 182.676
c starts	: 5
c conflicts	: 125
c decisions	: 23860
c propagations	: 33001
c inspects	: 42327
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 7
c 
c CURRENT OPTIMUM=2147483643
c Current CPU time (ms) : 195.373
c starts	: 6
c conflicts	: 125
c decisions	: 28912
c propagations	: 39651
c inspects	: 43050
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 8
c 
c CURRENT OPTIMUM=2147483642
c Current CPU time (ms) : 208.237
c starts	: 7
c conflicts	: 125
c decisions	: 33963
c propagations	: 46301
c inspects	: 43772
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 9
c 
c CURRENT OPTIMUM=2147483641
c Current CPU time (ms) : 221.104
c starts	: 8
c conflicts	: 125
c decisions	: 39014
c propagations	: 52951
c inspects	: 44497
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 10
c 
c CURRENT OPTIMUM=2147483640
c Current CPU time (ms) : 234.175
c starts	: 9
c conflicts	: 125
c decisions	: 44064
c propagations	: 59601
c inspects	: 45220
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 11
c 
c CURRENT OPTIMUM=2147483639
c Current CPU time (ms) : 246.871
c starts	: 10
c conflicts	: 125
c decisions	: 49116
c propagations	: 66251
c inspects	: 45958
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 12
c 
c CURRENT OPTIMUM=2147483638
c Current CPU time (ms) : 259.734
c starts	: 11
c conflicts	: 125
c decisions	: 54167
c propagations	: 72901
c inspects	: 46690
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 13
c 
c CURRENT OPTIMUM=2147483637
c Current CPU time (ms) : 272.531
c starts	: 12
c conflicts	: 125
c decisions	: 59218
c propagations	: 79551
c inspects	: 47425
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 14
c 
c CURRENT OPTIMUM=2147483636
c Current CPU time (ms) : 285.434
c starts	: 13
c conflicts	: 125
c decisions	: 64268
c propagations	: 86201
c inspects	: 48155
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 15
c 
c CURRENT OPTIMUM=2147483635
c Current CPU time (ms) : 298.195
c starts	: 14
c conflicts	: 125
c decisions	: 69319
c propagations	: 92851
c inspects	: 48897
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 16
c 
c CURRENT OPTIMUM=2147483634
c Current CPU time (ms) : 311.014
c starts	: 15
c conflicts	: 125
c decisions	: 74369
c propagations	: 99501
c inspects	: 49629
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 17
c 
c CURRENT OPTIMUM=2147483633
c Current CPU time (ms) : 323.846
c starts	: 16
c conflicts	: 125
c decisions	: 79419
c propagations	: 106151
c inspects	: 50364
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 18
c 
c CURRENT OPTIMUM=2147483632
c Current CPU time (ms) : 336.884
c starts	: 17
c conflicts	: 125
c decisions	: 84468
c propagations	: 112801
c inspects	: 51093
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 19
c 
c CURRENT OPTIMUM=2147483631
c Current CPU time (ms) : 349.576
c starts	: 18
c conflicts	: 125
c decisions	: 89520
c propagations	: 119451
c inspects	: 51870
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 20
c 
c CURRENT OPTIMUM=2147483630
c Current CPU time (ms) : 362.422
c starts	: 19
c conflicts	: 125
c decisions	: 94571
c propagations	: 126101
c inspects	: 52628
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 21
c 
c CURRENT OPTIMUM=2147483629
c Current CPU time (ms) : 375.398
c starts	: 20
c conflicts	: 125
c decisions	: 99622
c propagations	: 132751
c inspects	: 53389
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 22
c 
c CURRENT OPTIMUM=2147483628
c Current CPU time (ms) : 388.436
c starts	: 21
c conflicts	: 125
c decisions	: 104672
c propagations	: 139401
c inspects	: 54138
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 23
c 
c CURRENT OPTIMUM=2147483627
c Current CPU time (ms) : 401.266
c starts	: 22
c conflicts	: 125
c decisions	: 109723
c propagations	: 146051
c inspects	: 54908
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 24
c 
c CURRENT OPTIMUM=2147483626
c Current CPU time (ms) : 414.134
c starts	: 23
c conflicts	: 125
c decisions	: 114773
c propagations	: 152701
c inspects	: 55661
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 25
c 
c CURRENT OPTIMUM=2147483625
c Current CPU time (ms) : 427.142
c starts	: 24
c conflicts	: 125
c decisions	: 119823
c propagations	: 159351
c inspects	: 56418
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 26
c 
c CURRENT OPTIMUM=2147483624
c Current CPU time (ms) : 440.281
c starts	: 25
c conflicts	: 125
c decisions	: 124872
c propagations	: 166001
c inspects	: 57162
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 27
c 
c CURRENT OPTIMUM=2147483623
c Current CPU time (ms) : 453.171
c starts	: 26
c conflicts	: 125
c decisions	: 129923
c propagations	: 172651
c inspects	: 57947
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 28
c 
c CURRENT OPTIMUM=2147483622
c Current CPU time (ms) : 466.04
c starts	: 27
c conflicts	: 125
c decisions	: 134973
c propagations	: 179301
c inspects	: 58704
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 29
c 
c CURRENT OPTIMUM=2147483621
c Current CPU time (ms) : 479.054
c starts	: 28
c conflicts	: 125
c decisions	: 140023
c propagations	: 185951
c inspects	: 59465
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 30
c 
c CURRENT OPTIMUM=2147483620
c Current CPU time (ms) : 492.122
c starts	: 29
c conflicts	: 125
c decisions	: 145072
c propagations	: 192601
c inspects	: 60213
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 31
c 
c CURRENT OPTIMUM=2147483619
c Current CPU time (ms) : 505.104
c starts	: 30
c conflicts	: 125
c decisions	: 150122
c propagations	: 199251
c inspects	: 60981
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 32
c 
c CURRENT OPTIMUM=2147483618
c Current CPU time (ms) : 518.154
c starts	: 31
c conflicts	: 125
c decisions	: 155171
c propagations	: 205901
c inspects	: 61731
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 33
c 
c CURRENT OPTIMUM=2147483617
c Current CPU time (ms) : 531.227
c starts	: 32
c conflicts	: 125
c decisions	: 160220
c propagations	: 212551
c inspects	: 62484
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 34
c 
c CURRENT OPTIMUM=2147483616
c Current CPU time (ms) : 544.358
c starts	: 33
c conflicts	: 125
c decisions	: 165268
c propagations	: 219201
c inspects	: 63223
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 35
c 
c CURRENT OPTIMUM=2147483615
c Current CPU time (ms) : 557.19
c starts	: 34
c conflicts	: 125
c decisions	: 170320
c propagations	: 225851
c inspects	: 64095
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 36
c 
c CURRENT OPTIMUM=2147483614
c Current CPU time (ms) : 570.034
c starts	: 35
c conflicts	: 125
c decisions	: 175371
c propagations	: 232501
c inspects	: 64919
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 37
c 
c CURRENT OPTIMUM=2147483613
c Current CPU time (ms) : 582.895
c starts	: 36
c conflicts	: 125
c decisions	: 180422
c propagations	: 239151
c inspects	: 65746
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 38
c 
c CURRENT OPTIMUM=2147483612
c Current CPU time (ms) : 595.841
c starts	: 37
c conflicts	: 125
c decisions	: 185472
c propagations	: 245801
c inspects	: 66546
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 39
c 
c CURRENT OPTIMUM=2147483611
c Current CPU time (ms) : 608.625
c starts	: 38
c conflicts	: 125
c decisions	: 190523
c propagations	: 252451
c inspects	: 67384
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 40
c 
c CURRENT OPTIMUM=2147483610
c Current CPU time (ms) : 621.552
c starts	: 39
c conflicts	: 125
c decisions	: 195573
c propagations	: 259101
c inspects	: 68190
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 41
c 
c CURRENT OPTIMUM=2147483609
c Current CPU time (ms) : 634.353
c starts	: 40
c conflicts	: 125
c decisions	: 200623
c propagations	: 265751
c inspects	: 69001
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 42
c 
c CURRENT OPTIMUM=2147483608
c Current CPU time (ms) : 647.269
c starts	: 41
c conflicts	: 125
c decisions	: 205672
c propagations	: 272401
c inspects	: 69784
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 43
c 
c CURRENT OPTIMUM=2147483607
c Current CPU time (ms) : 660.013
c starts	: 42
c conflicts	: 125
c decisions	: 210723
c propagations	: 279051
c inspects	: 70641
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 44
c 
c CURRENT OPTIMUM=2147483606
c Current CPU time (ms) : 672.849
c starts	: 43
c conflicts	: 125
c decisions	: 215773
c propagations	: 285701
c inspects	: 71455
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 45
c 
c CURRENT OPTIMUM=2147483605
c Current CPU time (ms) : 685.652
c starts	: 44
c conflicts	: 125
c decisions	: 220823
c propagations	: 292351
c inspects	: 72274
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 46
c 
c CURRENT OPTIMUM=2147483604
c Current CPU time (ms) : 698.536
c starts	: 45
c conflicts	: 125
c decisions	: 225872
c propagations	: 299001
c inspects	: 73065
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 47
c 
c CURRENT OPTIMUM=2147483603
c Current CPU time (ms) : 711.347
c starts	: 46
c conflicts	: 125
c decisions	: 230922
c propagations	: 305651
c inspects	: 73893
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 48
c 
c CURRENT OPTIMUM=2147483602
c Current CPU time (ms) : 724.259
c starts	: 47
c conflicts	: 125
c decisions	: 235971
c propagations	: 312301
c inspects	: 74688
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 49
c 
c CURRENT OPTIMUM=2147483601
c Current CPU time (ms) : 737.152
c starts	: 48
c conflicts	: 125
c decisions	: 241020
c propagations	: 318951
c inspects	: 75487
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 50
c 
c CURRENT OPTIMUM=2147483600
c Current CPU time (ms) : 750.128
c starts	: 49
c conflicts	: 125
c decisions	: 246068
c propagations	: 325601
c inspects	: 76257
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 51
c 
c CURRENT OPTIMUM=2147483599
c Current CPU time (ms) : 762.868
c starts	: 50
c conflicts	: 125
c decisions	: 251119
c propagations	: 332251
c inspects	: 77145
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 52
c 
c CURRENT OPTIMUM=2147483598
c Current CPU time (ms) : 775.666
c starts	: 51
c conflicts	: 125
c decisions	: 256169
c propagations	: 338901
c inspects	: 77967
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 53
c 
c CURRENT OPTIMUM=2147483597
c Current CPU time (ms) : 788.5
c starts	: 52
c conflicts	: 125
c decisions	: 261219
c propagations	: 345551
c inspects	: 78794
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 54
c 
c CURRENT OPTIMUM=2147483596
c Current CPU time (ms) : 801.411
c starts	: 53
c conflicts	: 125
c decisions	: 266268
c propagations	: 352201
c inspects	: 79593
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 55
c 
c CURRENT OPTIMUM=2147483595
c Current CPU time (ms) : 814.202
c starts	: 54
c conflicts	: 125
c decisions	: 271318
c propagations	: 358851
c inspects	: 80429
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 56
c 
c CURRENT OPTIMUM=2147483594
c Current CPU time (ms) : 827.09
c starts	: 55
c conflicts	: 125
c decisions	: 276367
c propagations	: 365501
c inspects	: 81232
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 57
c 
c CURRENT OPTIMUM=2147483593
c Current CPU time (ms) : 839.997
c starts	: 56
c conflicts	: 125
c decisions	: 281416
c propagations	: 372151
c inspects	: 82039
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 58
c 
c CURRENT OPTIMUM=2147483592
c Current CPU time (ms) : 853.001
c starts	: 57
c conflicts	: 125
c decisions	: 286464
c propagations	: 378801
c inspects	: 82817
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 59
c 
c CURRENT OPTIMUM=2147483591
c Current CPU time (ms) : 865.821
c starts	: 58
c conflicts	: 125
c decisions	: 291514
c propagations	: 385451
c inspects	: 83668
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 60
c 
c CURRENT OPTIMUM=2147483590
c Current CPU time (ms) : 878.719
c starts	: 59
c conflicts	: 125
c decisions	: 296563
c propagations	: 392101
c inspects	: 84475
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 61
c 
c CURRENT OPTIMUM=2147483589
c Current CPU time (ms) : 891.649
c starts	: 60
c conflicts	: 125
c decisions	: 301612
c propagations	: 398751
c inspects	: 85286
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 62
c 
c CURRENT OPTIMUM=2147483588
c Current CPU time (ms) : 904.652
c starts	: 61
c conflicts	: 125
c decisions	: 306660
c propagations	: 405401
c inspects	: 86068
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 63
c 
c CURRENT OPTIMUM=2147483587
c Current CPU time (ms) : 917.555
c starts	: 62
c conflicts	: 125
c decisions	: 311709
c propagations	: 412051
c inspects	: 86886
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 64
c 
c CURRENT OPTIMUM=2147483586
c Current CPU time (ms) : 930.561
c starts	: 63
c conflicts	: 125
c decisions	: 316757
c propagations	: 418701
c inspects	: 87670
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 65
c 
c CURRENT OPTIMUM=2147483585
c Current CPU time (ms) : 943.53
c starts	: 64
c conflicts	: 125
c decisions	: 321805
c propagations	: 425351
c inspects	: 88457
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 66
c 
c CURRENT OPTIMUM=2147483584
c Current CPU time (ms) : 956.622
c starts	: 65
c conflicts	: 125
c decisions	: 326852
c propagations	: 432001
c inspects	: 89214
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 67
c 
c CURRENT OPTIMUM=2147483583
c Current CPU time (ms) : 969.253
c starts	: 66
c conflicts	: 125
c decisions	: 331904
c propagations	: 438651
c inspects	: 90309
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 68
c 
c CURRENT OPTIMUM=2147483582
c Current CPU time (ms) : 982.019
c starts	: 67
c conflicts	: 125
c decisions	: 336955
c propagations	: 445301
c inspects	: 91295
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 69
c 
c CURRENT OPTIMUM=2147483581
c Current CPU time (ms) : 995.013
c starts	: 68
c conflicts	: 125
c decisions	: 342006
c propagations	: 451951
c inspects	: 92284
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 70
c 
c CURRENT OPTIMUM=2147483580
c Current CPU time (ms) : 1008.042
c starts	: 69
c conflicts	: 125
c decisions	: 347056
c propagations	: 458601
c inspects	: 93215
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 71
c 
c CURRENT OPTIMUM=2147483579
c Current CPU time (ms) : 1020.948
c starts	: 70
c conflicts	: 125
c decisions	: 352107
c propagations	: 465251
c inspects	: 94217
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 72
c 
c CURRENT OPTIMUM=2147483578
c Current CPU time (ms) : 1033.727
c starts	: 71
c conflicts	: 125
c decisions	: 357157
c propagations	: 471901
c inspects	: 95156
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 73
c 
c CURRENT OPTIMUM=2147483577
c Current CPU time (ms) : 1046.57
c starts	: 72
c conflicts	: 125
c decisions	: 362207
c propagations	: 478551
c inspects	: 96101
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 74
c 
c CURRENT OPTIMUM=2147483576
c Current CPU time (ms) : 1059.45
c starts	: 73
c conflicts	: 125
c decisions	: 367256
c propagations	: 485201
c inspects	: 96987
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 75
c 
c CURRENT OPTIMUM=2147483575
c Current CPU time (ms) : 1072.23
c starts	: 74
c conflicts	: 125
c decisions	: 372307
c propagations	: 491851
c inspects	: 98012
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 76
c 
c CURRENT OPTIMUM=2147483574
c Current CPU time (ms) : 1085.033
c starts	: 75
c conflicts	: 125
c decisions	: 377357
c propagations	: 498501
c inspects	: 98963
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 77
c 
c CURRENT OPTIMUM=2147483573
c Current CPU time (ms) : 1097.844
c starts	: 76
c conflicts	: 125
c decisions	: 382407
c propagations	: 505151
c inspects	: 99920
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 78
c 
c CURRENT OPTIMUM=2147483572
c Current CPU time (ms) : 1110.695
c starts	: 77
c conflicts	: 125
c decisions	: 387456
c propagations	: 511801
c inspects	: 100818
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 79
c 
c CURRENT OPTIMUM=2147483571
c Current CPU time (ms) : 1123.473
c starts	: 78
c conflicts	: 125
c decisions	: 392506
c propagations	: 518451
c inspects	: 101786
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 80
c 
c CURRENT OPTIMUM=2147483570
c Current CPU time (ms) : 1136.347
c starts	: 79
c conflicts	: 125
c decisions	: 397555
c propagations	: 525101
c inspects	: 102690
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 81
c 
c CURRENT OPTIMUM=2147483569
c Current CPU time (ms) : 1149.268
c starts	: 80
c conflicts	: 125
c decisions	: 402604
c propagations	: 531751
c inspects	: 103599
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 82
c 
c CURRENT OPTIMUM=2147483568
c Current CPU time (ms) : 1162.2
c starts	: 81
c conflicts	: 125
c decisions	: 407652
c propagations	: 538401
c inspects	: 104448
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 83
c 
c CURRENT OPTIMUM=2147483567
c Current CPU time (ms) : 1174.893
c starts	: 82
c conflicts	: 125
c decisions	: 412703
c propagations	: 545051
c inspects	: 105512
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 84
c 
c CURRENT OPTIMUM=2147483566
c Current CPU time (ms) : 1187.689
c starts	: 83
c conflicts	: 125
c decisions	: 417753
c propagations	: 551701
c inspects	: 106479
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 85
c 
c CURRENT OPTIMUM=2147483565
c Current CPU time (ms) : 1200.518
c starts	: 84
c conflicts	: 125
c decisions	: 422803
c propagations	: 558351
c inspects	: 107452
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 86
c 
c CURRENT OPTIMUM=2147483564
c Current CPU time (ms) : 1213.383
c starts	: 85
c conflicts	: 125
c decisions	: 427852
c propagations	: 565001
c inspects	: 108366
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 87
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.72 0.73 0.39 2/54 21166
Raw data (stat): 21166 (runsolver) R 21165 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539312921 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.83 0.76 0.40 2/63 21175
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18002 0 1 0 887 39 0 0 25 0 10 0 539312921 855195648 19378 4294967295 134512640 134569956 3221224400 3221214532 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208788 19378 13073 16 0 208772 0
vsize: 835152
[startup+20.0019 s]
Raw data (loadavg): 0.86 0.76 0.40 2/63 21175
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18002 0 1 0 1808 40 0 0 25 0 10 0 539312921 854835200 19732 4294967295 134512640 134569956 3221224400 3221214480 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208700 19732 13073 16 0 208684 0
vsize: 834800
[startup+30.0021 s]
Raw data (loadavg): 0.88 0.77 0.41 4/64 21176
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18070 0 1 0 2680 44 0 0 25 0 11 0 539312921 860037120 22117 4294967295 134512640 134569956 3221224400 3221214440 1077635779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209970 22117 13073 16 0 209954 0
vsize: 839880
[startup+40.0017 s]
Raw data (loadavg): 0.90 0.78 0.42 2/64 21176
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18070 0 1 0 3632 45 0 0 25 0 11 0 539312921 858079232 23531 4294967295 134512640 134569956 3221224400 3221214496 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209492 23531 13073 16 0 209476 0
vsize: 837968
[startup+50.0028 s]
Raw data (loadavg): 0.91 0.78 0.42 2/64 21176
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18070 0 1 0 4617 45 0 0 25 0 11 0 539312921 858079232 23531 4294967295 134512640 134569956 3221224400 3221214768 1131410966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209492 23531 13073 16 0 209476 0
vsize: 837968
[startup+60.0035 s]
Raw data (loadavg): 0.93 0.79 0.43 2/64 21176
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18071 0 1 0 5582 45 0 0 25 0 11 0 539312921 858079232 23553 4294967295 134512640 134569956 3221224400 3221214880 1131337436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209492 23553 13073 16 0 209476 0
vsize: 837968
[startup+70.004 s]
Raw data (loadavg): 0.94 0.80 0.43 2/64 21176
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18071 0 1 0 6549 46 0 0 25 0 11 0 539312921 858079232 23600 4294967295 134512640 134569956 3221224400 3221214880 1131337912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209492 23600 13073 16 0 209476 0
vsize: 837968
[startup+80.0046 s]
Raw data (loadavg): 0.95 0.80 0.44 2/64 21176
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18071 0 1 0 7520 46 0 0 25 0 11 0 539312921 858079232 23601 4294967295 134512640 134569956 3221224400 3221214696 1131374513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209492 23601 13073 16 0 209476 0
vsize: 837968
[startup+90.0053 s]
Raw data (loadavg): 0.95 0.81 0.44 2/64 21176
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18071 0 1 0 8490 47 0 0 25 0 11 0 539312921 858079232 23726 4294967295 134512640 134569956 3221224400 3221214840 1131242212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209492 23726 13073 16 0 209476 0
vsize: 837968
[startup+100.005 s]
Raw data (loadavg): 0.96 0.81 0.45 2/64 21177
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18071 3 1 0 9470 47 0 0 25 0 11 0 539312921 858079232 23749 4294967295 134512640 134569956 3221224400 3221214692 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209492 23749 13073 16 0 209476 0
vsize: 837968
[startup+110.006 s]
Raw data (loadavg): 0.97 0.82 0.46 2/64 21177
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18071 3 1 0 10454 47 0 0 25 0 11 0 539312921 858079232 23801 4294967295 134512640 134569956 3221224400 3221214656 1131503225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209492 23801 13073 16 0 209476 0
vsize: 837968
[startup+120.007 s]
Raw data (loadavg): 0.97 0.83 0.46 2/64 21177
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18071 3 1 0 11414 48 0 0 25 0 11 0 539312921 858079232 23827 4294967295 134512640 134569956 3221224400 3221214824 1131242209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209492 23827 13073 16 0 209476 0
vsize: 837968
[startup+130.007 s]
Raw data (loadavg): 0.98 0.83 0.47 2/64 21177
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18071 3 1 0 12346 48 0 0 25 0 11 0 539312921 858079232 23865 4294967295 134512640 134569956 3221224400 3221214844 1131290144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209492 23865 13073 16 0 209476 0
vsize: 837968
[startup+140.007 s]
Raw data (loadavg): 0.98 0.84 0.47 2/64 21177
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18071 3 1 0 13266 48 0 0 25 0 11 0 539312921 858079232 24065 4294967295 134512640 134569956 3221224400 3221214632 1131375322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209492 24065 13073 16 0 209476 0
vsize: 837968
[startup+150.008 s]
Raw data (loadavg): 0.98 0.84 0.48 2/64 21177
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18071 3 1 0 14181 48 0 0 25 0 11 0 539312921 858079232 24102 4294967295 134512640 134569956 3221224400 3221214808 1131521548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209492 24102 13073 16 0 209476 0
vsize: 837968
[startup+160.008 s]
Raw data (loadavg): 0.98 0.85 0.48 2/64 21178
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 15108 48 0 0 25 0 11 0 539312921 864370688 25796 4294967295 134512640 134569956 3221224400 3221214736 1131304259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211028 25796 13073 16 0 211012 0
vsize: 844112
[startup+170.008 s]
Raw data (loadavg): 0.99 0.85 0.49 2/64 21178
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 16059 49 0 0 25 0 11 0 539312921 861224960 25479 4294967295 134512640 134569956 3221224400 3221214864 1131335800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25479 13073 16 0 210244 0
vsize: 841040
[startup+180.008 s]
Raw data (loadavg): 0.99 0.85 0.49 2/64 21179
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 17041 49 0 0 25 0 11 0 539312921 861224960 25695 4294967295 134512640 134569956 3221224400 3221214736 1131304190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25695 13073 16 0 210244 0
vsize: 841040
[startup+190.009 s]
Raw data (loadavg): 0.99 0.86 0.50 2/64 21180
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 18031 49 0 0 25 0 11 0 539312921 861224960 25702 4294967295 134512640 134569956 3221224400 3221214736 1131303551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25702 13073 16 0 210244 0
vsize: 841040
[startup+200.009 s]
Raw data (loadavg): 0.99 0.86 0.50 2/64 21181
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 19025 49 0 0 25 0 11 0 539312921 861224960 25751 4294967295 134512640 134569956 3221224400 3221214824 1131242772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25751 13073 16 0 210244 0
vsize: 841040
[startup+210.01 s]
Raw data (loadavg): 0.99 0.87 0.51 2/64 21182
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 20020 50 0 0 25 0 11 0 539312921 861224960 25753 4294967295 134512640 134569956 3221224400 3221214864 1131335800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210260 25753 13073 16 0 210244 0
vsize: 841040
[startup+220.01 s]
Raw data (loadavg): 0.99 0.87 0.51 2/64 21182
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 21013 50 0 0 25 0 11 0 539312921 861224960 25754 4294967295 134512640 134569956 3221224400 3221214776 1131303336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25754 13073 16 0 210244 0
vsize: 841040
[startup+230.009 s]
Raw data (loadavg): 0.99 0.87 0.52 2/64 21183
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 22007 50 0 0 25 0 11 0 539312921 861224960 25755 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25755 13073 16 0 210244 0
vsize: 841040
[startup+240.009 s]
Raw data (loadavg): 0.99 0.88 0.52 2/64 21184
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 23002 50 0 0 25 0 11 0 539312921 861224960 25757 4294967295 134512640 134569956 3221224400 3221214816 1131282218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25757 13073 16 0 210244 0
vsize: 841040
[startup+250.01 s]
Raw data (loadavg): 0.99 0.88 0.52 2/64 21185
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 23997 51 0 0 25 0 11 0 539312921 861224960 25811 4294967295 134512640 134569956 3221224400 3221214864 1131335800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25811 13073 16 0 210244 0
vsize: 841040
[startup+260.011 s]
Raw data (loadavg): 0.99 0.89 0.53 2/64 21185
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 24993 51 0 0 25 0 11 0 539312921 861224960 25819 4294967295 134512640 134569956 3221224400 3221214856 1131282226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25819 13073 16 0 210244 0
vsize: 841040
[startup+270.011 s]
Raw data (loadavg): 0.99 0.89 0.53 2/64 21186
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 25987 51 0 0 25 0 11 0 539312921 861224960 25820 4294967295 134512640 134569956 3221224400 3221214776 1131303571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25820 13073 16 0 210244 0
vsize: 841040
[startup+280.011 s]
Raw data (loadavg): 0.99 0.89 0.54 2/64 21187
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 26980 52 0 0 25 0 11 0 539312921 861224960 25820 4294967295 134512640 134569956 3221224400 3221214864 1131335797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25820 13073 16 0 210244 0
vsize: 841040
[startup+290.012 s]
Raw data (loadavg): 0.99 0.89 0.54 2/64 21188
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 27974 52 0 0 25 0 11 0 539312921 861224960 25821 4294967295 134512640 134569956 3221224400 3221214736 1131303621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25821 13073 16 0 210244 0
vsize: 841040
[startup+300.012 s]
Raw data (loadavg): 0.99 0.90 0.55 2/64 21189
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 28969 53 0 0 25 0 11 0 539312921 861224960 25926 4294967295 134512640 134569956 3221224400 3221214752 1131290175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25926 13073 16 0 210244 0
vsize: 841040
[startup+310.013 s]
Raw data (loadavg): 0.99 0.90 0.55 2/64 21189
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 29965 53 0 0 25 0 11 0 539312921 861224960 25929 4294967295 134512640 134569956 3221224400 3221214864 1131336464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25929 13073 16 0 210244 0
vsize: 841040
[startup+320.013 s]
Raw data (loadavg): 0.99 0.90 0.56 2/64 21190
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 30961 53 0 0 25 0 11 0 539312921 861224960 25931 4294967295 134512640 134569956 3221224400 3221214864 1131335770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25931 13073 16 0 210244 0
vsize: 841040
[startup+330.013 s]
Raw data (loadavg): 0.99 0.91 0.56 2/64 21191
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 31957 54 0 0 25 0 11 0 539312921 861224960 25932 4294967295 134512640 134569956 3221224400 3221214752 1131290164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25932 13073 16 0 210244 0
vsize: 841040
[startup+340.012 s]
Raw data (loadavg): 0.99 0.91 0.56 2/64 21192
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 32953 55 0 0 25 0 11 0 539312921 861224960 25934 4294967295 134512640 134569956 3221224400 3221214824 1131242254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25934 13073 16 0 210244 0
vsize: 841040
[startup+350.023 s]
Raw data (loadavg): 0.99 0.91 0.57 2/64 21192
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 33951 55 0 0 25 0 11 0 539312921 861224960 25935 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25935 13073 16 0 210244 0
vsize: 841040
[startup+360.036 s]
Raw data (loadavg): 0.99 0.91 0.57 2/64 21193
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 34947 56 0 0 25 0 11 0 539312921 861224960 25936 4294967295 134512640 134569956 3221224400 3221214712 1131290157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25936 13073 16 0 210244 0
vsize: 841040
[startup+370.036 s]
Raw data (loadavg): 0.99 0.92 0.58 2/64 21194
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 35940 57 0 0 25 0 11 0 539312921 861224960 25936 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25936 13073 16 0 210244 0
vsize: 841040
[startup+380.041 s]
Raw data (loadavg): 0.99 0.92 0.58 2/64 21195
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 36931 57 0 0 25 0 11 0 539312921 861224960 25936 4294967295 134512640 134569956 3221224400 3221214864 1131337436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25936 13073 16 0 210244 0
vsize: 841040
[startup+390.047 s]
Raw data (loadavg): 0.99 0.92 0.58 2/64 21196
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 37923 57 0 0 25 0 11 0 539312921 861224960 25943 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 25943 13073 16 0 210244 0
vsize: 841040
[startup+400.047 s]
Raw data (loadavg): 0.99 0.92 0.59 2/64 21196
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 38915 58 0 0 25 0 11 0 539312921 861224960 26158 4294967295 134512640 134569956 3221224400 3221214736 1131290198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26158 13073 16 0 210244 0
vsize: 841040
[startup+410.052 s]
Raw data (loadavg): 0.99 0.92 0.59 2/64 21197
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 39912 58 0 0 25 0 11 0 539312921 861224960 26158 4294967295 134512640 134569956 3221224400 3221214736 1131303347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26158 13073 16 0 210244 0
vsize: 841040
[startup+420.052 s]
Raw data (loadavg): 0.99 0.93 0.60 2/64 21198
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 40908 59 0 0 25 0 11 0 539312921 861224960 26158 4294967295 134512640 134569956 3221224400 3221214712 1131290169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26158 13073 16 0 210244 0
vsize: 841040
[startup+430.053 s]
Raw data (loadavg): 0.99 0.93 0.60 2/64 21199
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 41904 59 0 0 25 0 11 0 539312921 861224960 26159 4294967295 134512640 134569956 3221224400 3221214864 1131335800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26159 13073 16 0 210244 0
vsize: 841040
[startup+440.053 s]
Raw data (loadavg): 0.99 0.93 0.60 2/64 21199
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 42900 60 0 0 25 0 11 0 539312921 861224960 26159 4294967295 134512640 134569956 3221224400 3221214824 1131242607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26159 13073 16 0 210244 0
vsize: 841040
[startup+450.055 s]
Raw data (loadavg): 0.99 0.93 0.61 2/64 21200
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 43895 60 0 0 25 0 11 0 539312921 861224960 26166 4294967295 134512640 134569956 3221224400 3221214736 1131304754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26166 13073 16 0 210244 0
vsize: 841040
[startup+460.071 s]
Raw data (loadavg): 0.99 0.93 0.61 2/64 21201
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 44893 61 0 0 25 0 11 0 539312921 861224960 26170 4294967295 134512640 134569956 3221224400 3221214736 1131304716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26170 13073 16 0 210244 0
vsize: 841040
[startup+470.071 s]
Raw data (loadavg): 0.99 0.94 0.62 2/64 21202
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 45889 61 0 0 25 0 11 0 539312921 861224960 26172 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26172 13073 16 0 210244 0
vsize: 841040
[startup+480.07 s]
Raw data (loadavg): 0.99 0.94 0.62 2/64 21203
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 46884 62 1 0 25 0 11 0 539312921 861224960 26173 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26173 13073 16 0 210244 0
vsize: 841040
[startup+490.071 s]
Raw data (loadavg): 0.99 0.94 0.62 2/64 21203
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 47879 62 1 0 25 0 11 0 539312921 861224960 26176 4294967295 134512640 134569956 3221224400 3221214860 1131290144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26176 13073 16 0 210244 0
vsize: 841040
[startup+500.071 s]
Raw data (loadavg): 0.99 0.94 0.63 2/64 21204
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 48875 63 1 0 25 0 11 0 539312921 861224960 26179 4294967295 134512640 134569956 3221224400 3221214752 1131290164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26179 13073 16 0 210244 0
vsize: 841040
[startup+510.071 s]
Raw data (loadavg): 0.99 0.94 0.63 2/64 21205
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 49871 63 1 0 25 0 11 0 539312921 861224960 26179 4294967295 134512640 134569956 3221224400 3221214776 1131303579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26179 13073 16 0 210244 0
vsize: 841040
[startup+520.076 s]
Raw data (loadavg): 0.99 0.94 0.63 2/64 21206
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 50868 64 1 0 25 0 11 0 539312921 861224960 26181 4294967295 134512640 134569956 3221224400 3221214712 1131290169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26181 13073 16 0 210244 0
vsize: 841040
[startup+530.076 s]
Raw data (loadavg): 0.99 0.94 0.64 2/64 21206
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 51864 64 1 0 25 0 11 0 539312921 861224960 26182 4294967295 134512640 134569956 3221224400 3221214776 1131303349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26182 13073 16 0 210244 0
vsize: 841040
[startup+540.179 s]
Raw data (loadavg): 0.99 0.95 0.64 2/64 21207
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 52871 65 1 0 25 0 11 0 539312921 861224960 26182 4294967295 134512640 134569956 3221224400 3221214824 1131242212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26182 13073 16 0 210244 0
vsize: 841040
[startup+550.282 s]
Raw data (loadavg): 0.99 0.95 0.64 2/64 21208
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 53877 65 1 0 25 0 11 0 539312921 861224960 26182 4294967295 134512640 134569956 3221224400 3221214860 1131290144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26182 13073 16 0 210244 0
vsize: 841040
[startup+560.282 s]
Raw data (loadavg): 0.99 0.95 0.65 2/64 21209
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 54874 66 1 0 25 0 11 0 539312921 861224960 26183 4294967295 134512640 134569956 3221224400 3221214820 1131304639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26183 13073 16 0 210244 0
vsize: 841040
[startup+570.282 s]
Raw data (loadavg): 0.99 0.95 0.65 2/64 21209
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 55871 66 1 0 25 0 11 0 539312921 861224960 26183 4294967295 134512640 134569956 3221224400 3221214712 1131290167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26183 13073 16 0 210244 0
vsize: 841040
[startup+580.29 s]
Raw data (loadavg): 0.99 0.95 0.65 2/64 21210
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 56858 66 1 0 25 0 11 0 539312921 861224960 26183 4294967295 134512640 134569956 3221224400 3221214776 1131304765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26183 13073 16 0 210244 0
vsize: 841040
[startup+590.291 s]
Raw data (loadavg): 0.99 0.95 0.66 2/64 21211
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 57842 67 1 0 25 0 11 0 539312921 861224960 26183 4294967295 134512640 134569956 3221224400 3221214864 1131335782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26183 13073 16 0 210244 0
vsize: 841040
[startup+600.291 s]
Raw data (loadavg): 0.99 0.95 0.66 2/64 21212
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 58828 67 1 0 25 0 11 0 539312921 861224960 26186 4294967295 134512640 134569956 3221224400 3221214864 1131336295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26186 13073 16 0 210244 0
vsize: 841040
[startup+610.304 s]
Raw data (loadavg): 0.99 0.95 0.66 2/64 21213
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 59820 68 1 0 25 0 11 0 539312921 861224960 26603 4294967295 134512640 134569956 3221224400 3221214776 1131303571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26603 13073 16 0 210244 0
vsize: 841040
[startup+620.304 s]
Raw data (loadavg): 0.99 0.95 0.66 2/64 21213
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 60816 69 1 0 25 0 11 0 539312921 861224960 26604 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26604 13073 16 0 210244 0
vsize: 841040
[startup+630.306 s]
Raw data (loadavg): 0.99 0.95 0.67 2/64 21214
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 61803 69 1 0 25 0 11 0 539312921 861224960 26604 4294967295 134512640 134569956 3221224400 3221214736 1131303305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26604 13073 16 0 210244 0
vsize: 841040
[startup+640.314 s]
Raw data (loadavg): 0.99 0.95 0.67 2/64 21215
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 62799 69 1 0 25 0 11 0 539312921 861224960 26605 4294967295 134512640 134569956 3221224400 3221214736 1131303587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26605 13073 16 0 210244 0
vsize: 841040
[startup+650.314 s]
Raw data (loadavg): 0.99 0.96 0.67 2/64 21216
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 63795 70 1 0 25 0 11 0 539312921 861224960 26617 4294967295 134512640 134569956 3221224400 3221214864 1131337357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26617 13073 16 0 210244 0
vsize: 841040
[startup+660.314 s]
Raw data (loadavg): 0.99 0.96 0.68 2/64 21216
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 64792 70 1 0 25 0 11 0 539312921 861224960 26618 4294967295 134512640 134569956 3221224400 3221214736 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26618 13073 16 0 210244 0
vsize: 841040
[startup+670.315 s]
Raw data (loadavg): 0.99 0.96 0.68 2/64 21217
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 65787 70 1 0 25 0 11 0 539312921 861224960 26619 4294967295 134512640 134569956 3221224400 3221214776 1131303380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26619 13073 16 0 210244 0
vsize: 841040
[startup+680.316 s]
Raw data (loadavg): 0.99 0.96 0.68 2/64 21218
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 66783 71 1 0 25 0 11 0 539312921 861224960 26619 4294967295 134512640 134569956 3221224400 3221214864 1131336155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26619 13073 16 0 210244 0
vsize: 841040
[startup+690.316 s]
Raw data (loadavg): 0.99 0.96 0.68 2/64 21219
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 67780 71 1 0 25 0 11 0 539312921 861224960 26631 4294967295 134512640 134569956 3221224400 3221214776 1131303332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26631 13073 16 0 210244 0
vsize: 841040
[startup+700.316 s]
Raw data (loadavg): 0.99 0.96 0.69 2/64 21220
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 68776 71 1 0 25 0 11 0 539312921 861224960 26632 4294967295 134512640 134569956 3221224400 3221214776 1131273767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26632 13073 16 0 210244 0
vsize: 841040
[startup+710.317 s]
Raw data (loadavg): 0.99 0.96 0.69 2/64 21220
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 69773 71 1 0 25 0 11 0 539312921 861224960 26632 4294967295 134512640 134569956 3221224400 3221214864 1131335811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26632 13073 16 0 210244 0
vsize: 841040
[startup+720.318 s]
Raw data (loadavg): 0.99 0.96 0.69 2/64 21221
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 70769 72 1 0 25 0 11 0 539312921 861224960 26633 4294967295 134512640 134569956 3221224400 3221214924 1131516384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26633 13073 16 0 210244 0
vsize: 841040
[startup+730.319 s]
Raw data (loadavg): 0.99 0.96 0.70 2/64 21222
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 71765 72 1 0 25 0 11 0 539312921 861224960 26634 4294967295 134512640 134569956 3221224400 3221214736 1131303571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26634 13073 16 0 210244 0
vsize: 841040
[startup+740.328 s]
Raw data (loadavg): 0.99 0.96 0.70 2/64 21223
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 72763 72 1 0 25 0 11 0 539312921 861224960 26648 4294967295 134512640 134569956 3221224400 3221214864 1131337444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26648 13073 16 0 210244 0
vsize: 841040
[startup+750.328 s]
Raw data (loadavg): 0.99 0.97 0.70 2/64 21223
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 73758 72 1 0 25 0 11 0 539312921 861224960 26649 4294967295 134512640 134569956 3221224400 3221214776 1131273949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26649 13073 16 0 210244 0
vsize: 841040
[startup+760.328 s]
Raw data (loadavg): 0.99 0.97 0.71 2/64 21224
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 74754 73 2 0 25 0 11 0 539312921 861224960 26651 4294967295 134512640 134569956 3221224400 3221214864 1131337436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26651 13073 16 0 210244 0
vsize: 841040
[startup+770.337 s]
Raw data (loadavg): 0.99 0.97 0.71 2/64 21225
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 75751 74 2 0 25 0 11 0 539312921 861224960 26651 4294967295 134512640 134569956 3221224400 3221214736 1131304803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26651 13073 16 0 210244 0
vsize: 841040
[startup+780.338 s]
Raw data (loadavg): 0.99 0.97 0.71 2/64 21226
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 76746 74 2 1 25 0 11 0 539312921 861224960 26653 4294967295 134512640 134569956 3221224400 3221214712 1131290167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26653 13073 16 0 210244 0
vsize: 841040
[startup+790.341 s]
Raw data (loadavg): 0.99 0.97 0.71 2/64 21227
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 77742 75 2 1 25 0 11 0 539312921 861224960 26655 4294967295 134512640 134569956 3221224400 3221214736 1131304705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210260 26655 13073 16 0 210244 0
vsize: 841040
[startup+800.351 s]
Raw data (loadavg): 0.99 0.97 0.72 2/64 21227
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 78738 75 2 1 25 0 11 0 539312921 861224960 26661 4294967295 134512640 134569956 3221224400 3221214736 1131303313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26661 13073 16 0 210244 0
vsize: 841040
[startup+810.358 s]
Raw data (loadavg): 0.99 0.97 0.72 2/64 21228
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 79735 76 2 1 25 0 11 0 539312921 861224960 26667 4294967295 134512640 134569956 3221224400 3221214752 1131290164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26667 13073 16 0 210244 0
vsize: 841040
[startup+820.375 s]
Raw data (loadavg): 0.99 0.97 0.72 2/64 21229
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 80733 76 2 1 25 0 11 0 539312921 861224960 26668 4294967295 134512640 134569956 3221224400 3221214824 1131242753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26668 13073 16 0 210244 0
vsize: 841040
[startup+830.38 s]
Raw data (loadavg): 0.99 0.97 0.73 2/64 21230
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 81729 77 2 1 25 0 11 0 539312921 861224960 26670 4294967295 134512640 134569956 3221224400 3221214824 1131242772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26670 13073 16 0 210244 0
vsize: 841040
[startup+840.384 s]
Raw data (loadavg): 0.99 0.97 0.73 2/64 21230
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 82726 77 2 1 25 0 11 0 539312921 861224960 26671 4294967295 134512640 134569956 3221224400 3221214864 1131335811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26671 13073 16 0 210244 0
vsize: 841040
[startup+850.385 s]
Raw data (loadavg): 0.99 0.97 0.73 2/64 21231
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 83723 78 2 1 25 0 11 0 539312921 861224960 26672 4294967295 134512640 134569956 3221224400 3221214864 1131335800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210260 26672 13073 16 0 210244 0
vsize: 841040
[startup+860.389 s]
Raw data (loadavg): 0.99 0.97 0.73 2/64 21232
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 84720 78 2 1 25 0 11 0 539312921 861224960 26672 4294967295 134512640 134569956 3221224400 3221214736 1131303377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26672 13073 16 0 210244 0
vsize: 841040
[startup+870.394 s]
Raw data (loadavg): 0.99 0.97 0.73 2/64 21233
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 85717 79 2 1 25 0 11 0 539312921 861224960 26672 4294967295 134512640 134569956 3221224400 3221214736 1131304801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26672 13073 16 0 210244 0
vsize: 841040
[startup+880.393 s]
Raw data (loadavg): 0.99 0.97 0.74 2/64 21234
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 86713 79 2 1 25 0 11 0 539312921 861224960 26672 4294967295 134512640 134569956 3221224400 3221214752 1131290157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26672 13073 16 0 210244 0
vsize: 841040
[startup+890.394 s]
Raw data (loadavg): 0.99 0.97 0.74 2/64 21234
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 87710 79 2 1 25 0 11 0 539312921 861224960 26673 4294967295 134512640 134569956 3221224400 3221214824 1131242212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26673 13073 16 0 210244 0
vsize: 841040
[startup+900.4 s]
Raw data (loadavg): 0.99 0.97 0.74 2/64 21235
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 88707 80 2 1 25 0 11 0 539312921 861224960 26674 4294967295 134512640 134569956 3221224400 3221214776 1131303339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26674 13073 16 0 210244 0
vsize: 841040
[startup+910.521 s]
Raw data (loadavg): 0.99 0.97 0.74 2/64 21236
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 89715 81 2 1 25 0 11 0 539312921 861224960 26674 4294967295 134512640 134569956 3221224400 3221214736 1131303583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26674 13073 16 0 210244 0
vsize: 841040
[startup+920.527 s]
Raw data (loadavg): 0.99 0.97 0.74 2/64 21237
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 90712 81 2 1 25 0 11 0 539312921 861224960 26675 4294967295 134512640 134569956 3221224400 3221214864 1131335800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26675 13073 16 0 210244 0
vsize: 841040
[startup+930.527 s]
Raw data (loadavg): 0.99 0.97 0.75 2/64 21237
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 91708 81 2 1 25 0 11 0 539312921 861224960 26675 4294967295 134512640 134569956 3221224400 3221214752 1131290164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26675 13073 16 0 210244 0
vsize: 841040
[startup+940.528 s]
Raw data (loadavg): 0.99 0.97 0.75 2/64 21238
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 92705 82 2 1 25 0 11 0 539312921 861224960 26675 4294967295 134512640 134569956 3221224400 3221214736 1131303353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26675 13073 16 0 210244 0
vsize: 841040
[startup+950.535 s]
Raw data (loadavg): 0.99 0.97 0.75 2/64 21239
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 93702 82 2 1 25 0 11 0 539312921 861224960 26675 4294967295 134512640 134569956 3221224400 3221214776 1131303611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26675 13073 16 0 210244 0
vsize: 841040
[startup+960.535 s]
Raw data (loadavg): 0.99 0.97 0.75 2/64 21240
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 94697 84 2 1 25 0 11 0 539312921 861224960 26676 4294967295 134512640 134569956 3221224400 3221214824 1131242212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26676 13073 16 0 210244 0
vsize: 841040
[startup+970.536 s]
Raw data (loadavg): 0.99 0.97 0.75 2/64 21241
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 95693 84 2 1 25 0 11 0 539312921 861224960 26676 4294967295 134512640 134569956 3221224400 3221214864 1131337912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26676 13073 16 0 210244 0
vsize: 841040
[startup+980.548 s]
Raw data (loadavg): 0.99 0.97 0.76 2/64 21241
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 96691 85 2 1 25 0 11 0 539312921 861224960 26677 4294967295 134512640 134569956 3221224400 3221214776 1131304795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26677 13073 16 0 210244 0
vsize: 841040
[startup+990.549 s]
Raw data (loadavg): 0.99 0.97 0.76 2/64 21242
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 97668 85 2 1 25 0 11 0 539312921 861224960 26677 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26677 13073 16 0 210244 0
vsize: 841040
[startup+1000.55 s]
Raw data (loadavg): 0.99 0.97 0.76 2/64 21243
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 98643 85 2 1 25 0 11 0 539312921 861224960 26677 4294967295 134512640 134569956 3221224400 3221214776 1131304626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26677 13073 16 0 210244 0
vsize: 841040
[startup+1010.55 s]
Raw data (loadavg): 0.99 0.97 0.76 2/64 21244
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 99616 86 2 1 25 0 11 0 539312921 861224960 26681 4294967295 134512640 134569956 3221224400 3221214736 1131304803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 26681 13073 16 0 210244 0
vsize: 841040
[startup+1020.55 s]
Raw data (loadavg): 0.99 0.97 0.76 2/64 21244
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 100601 86 2 1 25 0 11 0 539312921 861224960 27517 4294967295 134512640 134569956 3221224400 3221214864 1131337894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27517 13073 16 0 210244 0
vsize: 841040
[startup+1030.55 s]
Raw data (loadavg): 0.99 0.97 0.77 2/64 21245
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 101597 87 2 1 25 0 11 0 539312921 861224960 27519 4294967295 134512640 134569956 3221224400 3221214736 1131304626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27519 13073 16 0 210244 0
vsize: 841040
[startup+1040.56 s]
Raw data (loadavg): 0.99 0.97 0.77 2/64 21246
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 102593 87 2 1 25 0 11 0 539312921 861224960 27519 4294967295 134512640 134569956 3221224400 3221214776 1131303587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27519 13073 16 0 210244 0
vsize: 841040
[startup+1050.57 s]
Raw data (loadavg): 0.99 0.97 0.77 2/64 21247
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 103590 87 2 1 25 0 11 0 539312921 861224960 27522 4294967295 134512640 134569956 3221224400 3221214864 1131337372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27522 13073 16 0 210244 0
vsize: 841040
[startup+1060.58 s]
Raw data (loadavg): 0.99 0.97 0.77 2/64 21248
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 104586 87 2 1 25 0 11 0 539312921 861224960 27523 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27523 13073 16 0 210244 0
vsize: 841040
[startup+1070.58 s]
Raw data (loadavg): 0.99 0.97 0.77 2/64 21248
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 105583 88 2 1 25 0 11 0 539312921 861224960 27523 4294967295 134512640 134569956 3221224400 3221214824 1131242772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27523 13073 16 0 210244 0
vsize: 841040
[startup+1080.58 s]
Raw data (loadavg): 0.99 0.97 0.78 2/64 21249
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 106579 88 2 1 25 0 11 0 539312921 861224960 27523 4294967295 134512640 134569956 3221224400 3221214824 1131242653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27523 13073 16 0 210244 0
vsize: 841040
[startup+1090.61 s]
Raw data (loadavg): 0.99 0.97 0.78 2/64 21250
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 107577 88 2 1 25 0 11 0 539312921 861224960 27524 4294967295 134512640 134569956 3221224400 3221214864 1131335800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27524 13073 16 0 210244 0
vsize: 841040
[startup+1100.62 s]
Raw data (loadavg): 0.99 0.97 0.78 2/64 21251
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 108573 89 3 1 25 0 11 0 539312921 861224960 27525 4294967295 134512640 134569956 3221224400 3221214824 1131242772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27525 13073 16 0 210244 0
vsize: 841040
[startup+1110.62 s]
Raw data (loadavg): 0.99 0.97 0.78 2/64 21251
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 109570 90 3 1 25 0 11 0 539312921 861224960 27526 4294967295 134512640 134569956 3221224400 3221214824 1131242212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27526 13073 16 0 210244 0
vsize: 841040
[startup+1120.63 s]
Raw data (loadavg): 0.99 0.97 0.78 2/64 21252
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 110566 90 3 1 25 0 11 0 539312921 861224960 27527 4294967295 134512640 134569956 3221224400 3221214824 1131242772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27527 13073 16 0 210244 0
vsize: 841040
[startup+1130.63 s]
Raw data (loadavg): 0.99 0.97 0.79 2/64 21253
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 111562 91 3 1 25 0 11 0 539312921 861224960 27527 4294967295 134512640 134569956 3221224400 3221214776 1131304239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27527 13073 16 0 210244 0
vsize: 841040
[startup+1140.63 s]
Raw data (loadavg): 0.99 0.97 0.79 2/64 21254
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 112556 91 3 1 25 0 11 0 539312921 861224960 27527 4294967295 134512640 134569956 3221224400 3221214736 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27527 13073 16 0 210244 0
vsize: 841040
[startup+1150.65 s]
Raw data (loadavg): 0.99 0.97 0.79 2/64 21255
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 113554 92 3 1 25 0 11 0 539312921 861224960 27528 4294967295 134512640 134569956 3221224400 3221214824 1131242214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27528 13073 16 0 210244 0
vsize: 841040
[startup+1160.66 s]
Raw data (loadavg): 0.99 0.97 0.79 2/64 21255
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 114550 92 3 1 25 0 11 0 539312921 861224960 27529 4294967295 134512640 134569956 3221224400 3221214824 1131242772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27529 13073 16 0 210244 0
vsize: 841040
[startup+1170.66 s]
Raw data (loadavg): 0.99 0.97 0.79 2/64 21256
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 115545 93 3 1 25 0 11 0 539312921 861224960 27529 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27529 13073 16 0 210244 0
vsize: 841040
[startup+1180.66 s]
Raw data (loadavg): 0.99 0.97 0.80 2/64 21257
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 116541 94 3 1 25 0 11 0 539312921 861224960 27554 4294967295 134512640 134569956 3221224400 3221214776 1131303404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27554 13073 16 0 210244 0
vsize: 841040
[startup+1190.67 s]
Raw data (loadavg): 0.99 0.97 0.80 2/64 21258
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 117537 94 3 1 25 0 11 0 539312921 861224960 27554 4294967295 134512640 134569956 3221224400 3221214864 1131335800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27554 13073 16 0 210244 0
vsize: 841040
[startup+1200.67 s]
Raw data (loadavg): 0.99 0.97 0.80 2/64 21258
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 118533 94 3 1 25 0 11 0 539312921 861224960 27555 4294967295 134512640 134569956 3221224400 3221214864 1131335800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27555 13073 16 0 210244 0
vsize: 841040
[startup+1210.68 s]
Raw data (loadavg): 0.99 0.97 0.80 2/64 21259
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 119528 95 3 1 25 0 11 0 539312921 861224960 27556 4294967295 134512640 134569956 3221224400 3221214776 1131304722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27556 13073 16 0 210244 0
vsize: 841040
[startup+1220.69 s]
Raw data (loadavg): 0.99 0.97 0.80 2/64 21260
Raw data (stat): 21166 (java) R 21165 3260 3259 0 -1 0 18072 3 1 0 120525 95 3 1 25 0 11 0 539312921 861224960 27556 4294967295 134512640 134569956 3221224400 3221214736 1131303621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210260 27556 13073 16 0 210244 0
vsize: 841040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.84 s]
Raw data (loadavg): 0.99 0.97 0.80 1/54 21262
Raw data (stat): 21166 (java) Z 21165 3260 3259 0 -1 1036 18072 14653 1 1 120533 102 2505 44 25 0 1 0 539312921 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): 1220.84
CPU time (s): 1231.86
CPU user time (s): 1230.38
CPU system time (s): 1.47578
CPU usage (%): 100.903
Max. virtual memory (Kb): 844112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####