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-glass4.opb
MD5SUM	5c79ed79e417ba1b9a49f75d042f5e94
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	478
Biggest coefficient in the objective function	536870912000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	1073761158741413
Number of bits of the sum of numbers in the objective function	50
Biggest number in a constraint	71583145981965762560
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	303620978593259257856
Number of bits of the biggest sum of numbers	69
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1224.49
Number of variables	780
Total number of constraints	707
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	338
Number of constraints which are nor clauses,nor cardinality constraints	369
Minimum length of a constraint	1
Maximum length of a constraint	101
Trace number 20353

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-21 20:42:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15128 boxname=wulflinc24 idbench=1164 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5c79ed79e417ba1b9a49f75d042f5e94  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-glass4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-glass4.opb
IDLAUNCH: 15128
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        693968 kB
Buffers:         31888 kB
Cached:         284128 kB
SwapCached:        524 kB
Active:         129632 kB
Inactive:       188408 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        693716 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            17012 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 21:03:19 (client local time) WITH STATUS 143 IN 1226.09 SECONDS
stats: 15128 7 1226.09 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-glass4.opb
c reading problem 
c [nbvar=780]
c [nbconstr=707]
c time 4.262
c #vars     780
c #clauses  442
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=159137832
c Current CPU time (ms) : 21.267
c starts	: 1
c conflicts	: 61
c decisions	: 826
c propagations	: 1838
c inspects	: 29053
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 61
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-1805217263
c Current CPU time (ms) : 25.168
c starts	: 2
c conflicts	: 63
c decisions	: 1279
c propagations	: 2653
c inspects	: 45410
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 63
c root simplifications	: 2
c 
c CURRENT OPTIMUM=142568381
c Current CPU time (ms) : 28.979
c starts	: 3
c conflicts	: 67
c decisions	: 1710
c propagations	: 3460
c inspects	: 60195
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 67
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-82096810
c Current CPU time (ms) : 34.474
c starts	: 4
c conflicts	: 71
c decisions	: 2241
c propagations	: 4456
c inspects	: 79125
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 71
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-370610229
c Current CPU time (ms) : 39.825
c starts	: 5
c conflicts	: 84
c decisions	: 2744
c propagations	: 5396
c inspects	: 97387
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 84
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-262515756
c Current CPU time (ms) : 43.516
c starts	: 6
c conflicts	: 89
c decisions	: 3185
c propagations	: 6221
c inspects	: 112888
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 89
c root simplifications	: 6
c 
c CURRENT OPTIMUM=-1665325825
c Current CPU time (ms) : 48.092
c starts	: 7
c conflicts	: 92
c decisions	: 3674
c propagations	: 7104
c inspects	: 128959
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 92
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-419948104
c Current CPU time (ms) : 74.514
c starts	: 9
c conflicts	: 199
c decisions	: 4717
c propagations	: 9779
c inspects	: 193831
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 199
c root simplifications	: 9
c 
c CURRENT OPTIMUM=-379492293
c Current CPU time (ms) : 78.883
c starts	: 10
c conflicts	: 202
c decisions	: 5199
c propagations	: 10599
c inspects	: 212212
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 202
c root simplifications	: 10
c 
c CURRENT OPTIMUM=-362875974
c Current CPU time (ms) : 82.755
c starts	: 11
c conflicts	: 205
c decisions	: 5648
c propagations	: 11400
c inspects	: 227450
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 205
c root simplifications	: 11
c 
c CURRENT OPTIMUM=-408451751
c Current CPU time (ms) : 88.777
c starts	: 12
c conflicts	: 216
c decisions	: 6208
c propagations	: 12522
c inspects	: 252494
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 216
c root simplifications	: 13
c 
c CURRENT OPTIMUM=-1756374845
c Current CPU time (ms) : 92.931
c starts	: 13
c conflicts	: 219
c decisions	: 6647
c propagations	: 13311
c inspects	: 269411
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 219
c root simplifications	: 14
c 
c CURRENT OPTIMUM=1804506466
c Current CPU time (ms) : 100.347
c starts	: 14
c conflicts	: 224
c decisions	: 7066
c propagations	: 14183
c inspects	: 290025
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 224
c root simplifications	: 15
c 
c CURRENT OPTIMUM=-1838080679
c Current CPU time (ms) : 105.814
c starts	: 15
c conflicts	: 228
c decisions	: 7519
c propagations	: 15013
c inspects	: 309570
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 228
c root simplifications	: 16
c 
c CURRENT OPTIMUM=-392477114
c Current CPU time (ms) : 112.1
c starts	: 16
c conflicts	: 240
c decisions	: 7966
c propagations	: 15936
c inspects	: 331597
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 240
c root simplifications	: 17
c 
c CURRENT OPTIMUM=-425995264
c Current CPU time (ms) : 122.474
c starts	: 17
c conflicts	: 255
c decisions	: 8661
c propagations	: 17344
c inspects	: 367197
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 255
c root simplifications	: 19
c 
c CURRENT OPTIMUM=-396517613
c Current CPU time (ms) : 129.414
c starts	: 18
c conflicts	: 270
c decisions	: 9118
c propagations	: 18248
c inspects	: 390735
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 270
c root simplifications	: 20
c 
c CURRENT OPTIMUM=28304077
c Current CPU time (ms) : 137.752
c starts	: 19
c conflicts	: 279
c decisions	: 9686
c propagations	: 19239
c inspects	: 417089
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 279
c root simplifications	: 21
c 
c CURRENT OPTIMUM=197013136
c Current CPU time (ms) : 147.338
c starts	: 20
c conflicts	: 296
c decisions	: 10241
c propagations	: 20435
c inspects	: 443636
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 296
c root simplifications	: 22
c 
c CURRENT OPTIMUM=-324443111
c Current CPU time (ms) : 153.953
c starts	: 21
c conflicts	: 299
c decisions	: 10758
c propagations	: 21330
c inspects	: 467479
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 299
c root simplifications	: 23
c 
c CURRENT OPTIMUM=174510374
c Current CPU time (ms) : 161.532
c starts	: 22
c conflicts	: 306
c decisions	: 11197
c propagations	: 22179
c inspects	: 490041
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 306
c root simplifications	: 24
c 
c CURRENT OPTIMUM=-1890766099
c Current CPU time (ms) : 174.875
c starts	: 23
c conflicts	: 314
c decisions	: 11653
c propagations	: 23185
c inspects	: 518679
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 314
c root simplifications	: 25
c 
c CURRENT OPTIMUM=79920241
c Current CPU time (ms) : 186.116
c starts	: 24
c conflicts	: 343
c decisions	: 12241
c propagations	: 24375
c inspects	: 551947
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 343
c root simplifications	: 26
c 
c CURRENT OPTIMUM=1407420873
c Current CPU time (ms) : 223.391
c starts	: 26
c conflicts	: 458
c decisions	: 13286
c propagations	: 27052
c inspects	: 633991
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 458
c root simplifications	: 28
c 
c CURRENT OPTIMUM=167001133
c Current CPU time (ms) : 231.13
c starts	: 27
c conflicts	: 460
c decisions	: 13661
c propagations	: 27839
c inspects	: 659724
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 460
c root simplifications	: 29
c 
c CURRENT OPTIMUM=1932731356
c Current CPU time (ms) : 242.189
c starts	: 28
c conflicts	: 463
c decisions	: 14035
c propagations	: 28655
c inspects	: 681624
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 463
c root simplifications	: 30
c 
c CURRENT OPTIMUM=1407794611
c Current CPU time (ms) : 253.073
c starts	: 29
c conflicts	: 468
c decisions	: 14447
c propagations	: 29452
c inspects	: 705123
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 468
c root simplifications	: 31
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 260.124
c starts	: 30
c conflicts	: 469
c decisions	: 14942
c propagations	: 30280
c inspects	: 728904
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 33
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 266.218
c starts	: 31
c conflicts	: 469
c decisions	: 15391
c propagations	: 31054
c inspects	: 743700
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 34
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 272.332
c starts	: 32
c conflicts	: 469
c decisions	: 15840
c propagations	: 31828
c inspects	: 758449
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 35
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 278.444
c starts	: 33
c conflicts	: 469
c decisions	: 16289
c propagations	: 32602
c inspects	: 773176
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 36
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 284.561
c starts	: 34
c conflicts	: 469
c decisions	: 16738
c propagations	: 33376
c inspects	: 787903
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 37
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 290.673
c starts	: 35
c conflicts	: 469
c decisions	: 17187
c propagations	: 34150
c inspects	: 802630
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 38
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 296.781
c starts	: 36
c conflicts	: 469
c decisions	: 17636
c propagations	: 34924
c inspects	: 817357
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 39
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 302.871
c starts	: 37
c conflicts	: 469
c decisions	: 18085
c propagations	: 35698
c inspects	: 832084
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 40
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 308.966
c starts	: 38
c conflicts	: 469
c decisions	: 18534
c propagations	: 36472
c inspects	: 846811
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 41
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 315.073
c starts	: 39
c conflicts	: 469
c decisions	: 18983
c propagations	: 37246
c inspects	: 861538
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 42
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 321.156
c starts	: 40
c conflicts	: 469
c decisions	: 19432
c propagations	: 38020
c inspects	: 876265
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 43
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 327.24
c starts	: 41
c conflicts	: 469
c decisions	: 19881
c propagations	: 38794
c inspects	: 890992
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 44
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 333.313
c starts	: 42
c conflicts	: 469
c decisions	: 20330
c propagations	: 39568
c inspects	: 905719
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 45
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 339.41
c starts	: 43
c conflicts	: 469
c decisions	: 20779
c propagations	: 40342
c inspects	: 920446
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 46
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 345.499
c starts	: 44
c conflicts	: 469
c decisions	: 21228
c propagations	: 41116
c inspects	: 935173
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 47
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 351.571
c starts	: 45
c conflicts	: 469
c decisions	: 21677
c propagations	: 41890
c inspects	: 949900
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 48
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 357.672
c starts	: 46
c conflicts	: 469
c decisions	: 22126
c propagations	: 42664
c inspects	: 964627
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 49
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 363.774
c starts	: 47
c conflicts	: 469
c decisions	: 22575
c propagations	: 43438
c inspects	: 979354
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 50
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 369.861
c starts	: 48
c conflicts	: 469
c decisions	: 23024
c propagations	: 44212
c inspects	: 994081
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 51
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 375.977
c starts	: 49
c conflicts	: 469
c decisions	: 23473
c propagations	: 44986
c inspects	: 1008808
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 52
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 382.076
c starts	: 50
c conflicts	: 469
c decisions	: 23922
c propagations	: 45760
c inspects	: 1023535
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 53
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 388.157
c starts	: 51
c conflicts	: 469
c decisions	: 24371
c propagations	: 46534
c inspects	: 1038262
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 54
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 394.285
c starts	: 52
c conflicts	: 469
c decisions	: 24820
c propagations	: 47308
c inspects	: 1052989
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 55
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 400.41
c starts	: 53
c conflicts	: 469
c decisions	: 25269
c propagations	: 48082
c inspects	: 1067716
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 56
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 406.51
c starts	: 54
c conflicts	: 469
c decisions	: 25718
c propagations	: 48856
c inspects	: 1082443
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 57
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 412.625
c starts	: 55
c conflicts	: 469
c decisions	: 26167
c propagations	: 49630
c inspects	: 1097170
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 58
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 418.741
c starts	: 56
c conflicts	: 469
c decisions	: 26616
c propagations	: 50404
c inspects	: 1111897
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 59
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 424.845
c starts	: 57
c conflicts	: 469
c decisions	: 27065
c propagations	: 51178
c inspects	: 1126624
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 60
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 430.961
c starts	: 58
c conflicts	: 469
c decisions	: 27514
c propagations	: 51952
c inspects	: 1141351
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 61
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 437.047
c starts	: 59
c conflicts	: 469
c decisions	: 27963
c propagations	: 52726
c inspects	: 1156078
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 62
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 443.163
c starts	: 60
c conflicts	: 469
c decisions	: 28412
c propagations	: 53500
c inspects	: 1170805
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 63
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 449.272
c starts	: 61
c conflicts	: 469
c decisions	: 28861
c propagations	: 54274
c inspects	: 1185532
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 64
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 455.365
c starts	: 62
c conflicts	: 469
c decisions	: 29310
c propagations	: 55048
c inspects	: 1200259
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 65
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 461.488
c starts	: 63
c conflicts	: 469
c decisions	: 29759
c propagations	: 55822
c inspects	: 1214986
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 66
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 467.612
c starts	: 64
c conflicts	: 469
c decisions	: 30208
c propagations	: 56596
c inspects	: 1229713
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 67
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 473.712
c starts	: 65
c conflicts	: 469
c decisions	: 30657
c propagations	: 57370
c inspects	: 1244440
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 68
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 479.764
c starts	: 66
c conflicts	: 469
c decisions	: 31106
c propagations	: 58144
c inspects	: 1259167
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 69
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 485.815
c starts	: 67
c conflicts	: 469
c decisions	: 31555
c propagations	: 58918
c inspects	: 1273894
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 70
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 491.836
c starts	: 68
c conflicts	: 469
c decisions	: 32004
c propagations	: 59692
c inspects	: 1288621
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 71
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 497.885
c starts	: 69
c conflicts	: 469
c decisions	: 32453
c propagations	: 60466
c inspects	: 1303348
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 72
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 503.924
c starts	: 70
c conflicts	: 469
c decisions	: 32902
c propagations	: 61240
c inspects	: 1318075
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 73
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 509.934
c starts	: 71
c conflicts	: 469
c decisions	: 33351
c propagations	: 62014
c inspects	: 1332802
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 74
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 515.956
c starts	: 72
c conflicts	: 469
c decisions	: 33800
c propagations	: 62788
c inspects	: 1347529
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 75
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 521.984
c starts	: 73
c conflicts	: 469
c decisions	: 34249
c propagations	: 63562
c inspects	: 1362256
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 76
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 527.995
c starts	: 74
c conflicts	: 469
c decisions	: 34698
c propagations	: 64336
c inspects	: 1376983
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 77
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 534.014
c starts	: 75
c conflicts	: 469
c decisions	: 35147
c propagations	: 65110
c inspects	: 1391710
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 78
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 540.022
c starts	: 76
c conflicts	: 469
c decisions	: 35596
c propagations	: 65884
c inspects	: 1406437
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 79
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 546.046
c starts	: 77
c conflicts	: 469
c decisions	: 36045
c propagations	: 66658
c inspects	: 1421164
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 80
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 552.077
c starts	: 78
c conflicts	: 469
c decisions	: 36494
c propagations	: 67432
c inspects	: 1435891
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 81
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 558.08
c starts	: 79
c conflicts	: 469
c decisions	: 36943
c propagations	: 68206
c inspects	: 1450618
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 82
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 564.099
c starts	: 80
c conflicts	: 469
c decisions	: 37392
c propagations	: 68980
c inspects	: 1465345
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 83
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 570.124
c starts	: 81
c conflicts	: 469
c decisions	: 37841
c propagations	: 69754
c inspects	: 1480072
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 84
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 576.131
c starts	: 82
c conflicts	: 469
c decisions	: 38290
c propagations	: 70528
c inspects	: 1494799
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 85
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 582.159
c starts	: 83
c conflicts	: 469
c decisions	: 38739
c propagations	: 71302
c inspects	: 1509526
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 86
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 588.178
c starts	: 84
c conflicts	: 469
c decisions	: 39188
c propagations	: 72076
c inspects	: 1524253
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 87
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 594.203
c starts	: 85
c conflicts	: 469
c decisions	: 39637
c propagations	: 72850
c inspects	: 1538980
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 88
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 600.241
c starts	: 86
c conflicts	: 469
c decisions	: 40086
c propagations	: 73624
c inspects	: 1553707
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 89
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 606.271
c starts	: 87
c conflicts	: 469
c decisions	: 40535
c propagations	: 74398
c inspects	: 1568434
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 90
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 612.28
c starts	: 88
c conflicts	: 469
c decisions	: 40984
c propagations	: 75172
c inspects	: 1583161
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 91
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 618.311
c starts	: 89
c conflicts	: 469
c decisions	: 41433
c propagations	: 75946
c inspects	: 1597888
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 92
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 624.343
c starts	: 90
c conflicts	: 469
c decisions	: 41882
c propagations	: 76720
c inspects	: 1612615
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 93
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 630.371
c starts	: 91
c conflicts	: 469
c decisions	: 42331
c propagations	: 77494
c inspects	: 1627342
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 94
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 636.407
c starts	: 92
c conflicts	: 469
c decisions	: 42780
c propagations	: 78268
c inspects	: 1642069
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 95
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 642.422
c starts	: 93
c conflicts	: 469
c decisions	: 43229
c propagations	: 79042
c inspects	: 1656796
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 96
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 648.464
c starts	: 94
c conflicts	: 469
c decisions	: 43678
c propagations	: 79816
c inspects	: 1671523
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 97
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 654.512
c starts	: 95
c conflicts	: 469
c decisions	: 44127
c propagations	: 80590
c inspects	: 1686250
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 98
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 660.547
c starts	: 96
c conflicts	: 469
c decisions	: 44576
c propagations	: 81364
c inspects	: 1700977
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 99
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 666.592
c starts	: 97
c conflicts	: 469
c decisions	: 45025
c propagations	: 82138
c inspects	: 1715704
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 100
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 672.651
c starts	: 98
c conflicts	: 469
c decisions	: 45474
c propagations	: 82912
c inspects	: 1730431
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 101
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 678.692
c starts	: 99
c conflicts	: 469
c decisions	: 45923
c propagations	: 83686
c inspects	: 1745158
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 102
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 684.743
c starts	: 100
c conflicts	: 469
c decisions	: 46372
c propagations	: 84460
c inspects	: 1759885
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 103
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 690.797
c starts	: 101
c conflicts	: 469
c decisions	: 46821
c propagations	: 85234
c inspects	: 1774612
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 104
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 696.832
c starts	: 102
c conflicts	: 469
c decisions	: 47270
c propagations	: 86008
c inspects	: 1789339
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 105
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 702.878
c starts	: 103
c conflicts	: 469
c decisions	: 47719
c propagations	: 86782
c inspects	: 1804066
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 106
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 708.919
c starts	: 104
c conflicts	: 469
c decisions	: 48168
c propagations	: 87556
c inspects	: 1818793
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 107
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 714.922
c starts	: 105
c conflicts	: 469
c decisions	: 48617
c propagations	: 88330
c inspects	: 1833520
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 108
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 720.949
c starts	: 106
c conflicts	: 469
c decisions	: 49066
c propagations	: 89104
c inspects	: 1848247
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 109
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 726.968
c starts	: 107
c conflicts	: 469
c decisions	: 49515
c propagations	: 89878
c inspects	: 1862974
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 110
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 732.989
c starts	: 108
c conflicts	: 469
c decisions	: 49964
c propagations	: 90652
c inspects	: 1877701
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 111
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 739.018
c starts	: 109
c conflicts	: 469
c decisions	: 50413
c propagations	: 91426
c inspects	: 1892428
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 112
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 745.023
c starts	: 110
c conflicts	: 469
c decisions	: 50862
c propagations	: 92200
c inspects	: 1907155
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 113
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 751.068
c starts	: 111
c conflicts	: 469
c decisions	: 51311
c propagations	: 92974
c inspects	: 1921882
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 114
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 757.104
c starts	: 112
c conflicts	: 469
c decisions	: 51760
c propagations	: 93748
c inspects	: 1936609
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 115
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 763.116
c starts	: 113
c conflicts	: 469
c decisions	: 52209
c propagations	: 94522
c inspects	: 1951336
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 116
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 769.156
c starts	: 114
c conflicts	: 469
c decisions	: 52658
c propagations	: 95296
c inspects	: 1966063
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 117
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 775.204
c starts	: 115
c conflicts	: 469
c decisions	: 53107
c propagations	: 96070
c inspects	: 1980790
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 118
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 781.242
c starts	: 116
c conflicts	: 469
c decisions	: 53556
c propagations	: 96844
c inspects	: 1995517
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 119
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 787.317
c starts	: 117
c conflicts	: 469
c decisions	: 54005
c propagations	: 97618
c inspects	: 2010244
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 120
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 793.353
c starts	: 118
c conflicts	: 469
c decisions	: 54454
c propagations	: 98392
c inspects	: 2024971
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 121
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 799.379
c starts	: 119
c conflicts	: 469
c decisions	: 54903
c propagations	: 99166
c inspects	: 2039698
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 122
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 805.403
c starts	: 120
c conflicts	: 469
c decisions	: 55352
c propagations	: 99940
c inspects	: 2054425
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 123
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 811.447
c starts	: 121
c conflicts	: 469
c decisions	: 55801
c propagations	: 100714
c inspects	: 2069152
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 124
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 817.459
c starts	: 122
c conflicts	: 469
c decisions	: 56250
c propagations	: 101488
c inspects	: 2083879
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 125
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 823.5
c starts	: 123
c conflicts	: 469
c decisions	: 56699
c propagations	: 102262
c inspects	: 2098606
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 126
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 829.503
c starts	: 124
c conflicts	: 469
c decisions	: 57148
c propagations	: 103036
c inspects	: 2113333
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 127
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 835.554
c starts	: 125
c conflicts	: 469
c decisions	: 57597
c propagations	: 103810
c inspects	: 2128060
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 128
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 841.589
c starts	: 126
c conflicts	: 469
c decisions	: 58046
c propagations	: 104584
c inspects	: 2142787
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 129
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 847.603
c starts	: 127
c conflicts	: 469
c decisions	: 58495
c propagations	: 105358
c inspects	: 2157514
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 130
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 853.629
c starts	: 128
c conflicts	: 469
c decisions	: 58944
c propagations	: 106132
c inspects	: 2172241
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 131
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 859.656
c starts	: 129
c conflicts	: 469
c decisions	: 59393
c propagations	: 106906
c inspects	: 2186968
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 132
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 865.654
c starts	: 130
c conflicts	: 469
c decisions	: 59842
c propagations	: 107680
c inspects	: 2201695
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 133
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 871.675
c starts	: 131
c conflicts	: 469
c decisions	: 60291
c propagations	: 108454
c inspects	: 2216422
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 134
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 877.697
c starts	: 132
c conflicts	: 469
c decisions	: 60740
c propagations	: 109228
c inspects	: 2231149
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 135
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 883.712
c starts	: 133
c conflicts	: 469
c decisions	: 61189
c propagations	: 110002
c inspects	: 2245876
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 136
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 889.754
c starts	: 134
c conflicts	: 469
c decisions	: 61638
c propagations	: 110776
c inspects	: 2260603
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 137
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 895.793
c starts	: 135
c conflicts	: 469
c decisions	: 62087
c propagations	: 111550
c inspects	: 2275330
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 138
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 901.807
c starts	: 136
c conflicts	: 469
c decisions	: 62536
c propagations	: 112324
c inspects	: 2290057
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 139
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 907.843
c starts	: 137
c conflicts	: 469
c decisions	: 62985
c propagations	: 113098
c inspects	: 2304784
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 140
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 913.87
c starts	: 138
c conflicts	: 469
c decisions	: 63434
c propagations	: 113872
c inspects	: 2319511
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 141
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 919.888
c starts	: 139
c conflicts	: 469
c decisions	: 63883
c propagations	: 114646
c inspects	: 2334238
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 142
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 925.912
c starts	: 140
c conflicts	: 469
c decisions	: 64332
c propagations	: 115420
c inspects	: 2348965
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 143
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 931.935
c starts	: 141
c conflicts	: 469
c decisions	: 64781
c propagations	: 116194
c inspects	: 2363692
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 144
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 937.971
c starts	: 142
c conflicts	: 469
c decisions	: 65230
c propagations	: 116968
c inspects	: 2378419
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 145
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 944.005
c starts	: 143
c conflicts	: 469
c decisions	: 65679
c propagations	: 117742
c inspects	: 2393146
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 146
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 950.016
c starts	: 144
c conflicts	: 469
c decisions	: 66128
c propagations	: 118516
c inspects	: 2407873
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 147
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 956.044
c starts	: 145
c conflicts	: 469
c decisions	: 66577
c propagations	: 119290
c inspects	: 2422600
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 148
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 962.07
c starts	: 146
c conflicts	: 469
c decisions	: 67026
c propagations	: 120064
c inspects	: 2437327
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 149
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 968.082
c starts	: 147
c conflicts	: 469
c decisions	: 67475
c propagations	: 120838
c inspects	: 2452054
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 150
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 974.107
c starts	: 148
c conflicts	: 469
c decisions	: 67924
c propagations	: 121612
c inspects	: 2466781
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 151
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 980.14
c starts	: 149
c conflicts	: 469
c decisions	: 68373
c propagations	: 122386
c inspects	: 2481508
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 152
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 986.147
c starts	: 150
c conflicts	: 469
c decisions	: 68822
c propagations	: 123160
c inspects	: 2496235
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 153
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 992.183
c starts	: 151
c conflicts	: 469
c decisions	: 69271
c propagations	: 123934
c inspects	: 2510962
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 154
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 998.214
c starts	: 152
c conflicts	: 469
c decisions	: 69720
c propagations	: 124708
c inspects	: 2525689
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 155
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1004.239
c starts	: 153
c conflicts	: 469
c decisions	: 70169
c propagations	: 125482
c inspects	: 2540416
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 156
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1010.276
c starts	: 154
c conflicts	: 469
c decisions	: 70618
c propagations	: 126256
c inspects	: 2555143
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 157
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1016.32
c starts	: 155
c conflicts	: 469
c decisions	: 71067
c propagations	: 127030
c inspects	: 2569870
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 158
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1022.328
c starts	: 156
c conflicts	: 469
c decisions	: 71516
c propagations	: 127804
c inspects	: 2584597
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 159
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1028.37
c starts	: 157
c conflicts	: 469
c decisions	: 71965
c propagations	: 128578
c inspects	: 2599324
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 160
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1034.381
c starts	: 158
c conflicts	: 469
c decisions	: 72414
c propagations	: 129352
c inspects	: 2614051
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 161
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1040.503
c starts	: 159
c conflicts	: 469
c decisions	: 72863
c propagations	: 130126
c inspects	: 2628778
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 162
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1046.663
c starts	: 160
c conflicts	: 469
c decisions	: 73312
c propagations	: 130900
c inspects	: 2643505
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 163
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1052.766
c starts	: 161
c conflicts	: 469
c decisions	: 73761
c propagations	: 131674
c inspects	: 2658232
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 164
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1058.899
c starts	: 162
c conflicts	: 469
c decisions	: 74210
c propagations	: 132448
c inspects	: 2672959
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 165
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1065.041
c starts	: 163
c conflicts	: 469
c decisions	: 74659
c propagations	: 133222
c inspects	: 2687686
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 166
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1071.151
c starts	: 164
c conflicts	: 469
c decisions	: 75108
c propagations	: 133996
c inspects	: 2702413
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 167
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1077.301
c starts	: 165
c conflicts	: 469
c decisions	: 75557
c propagations	: 134770
c inspects	: 2717140
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 168
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1083.412
c starts	: 166
c conflicts	: 469
c decisions	: 76006
c propagations	: 135544
c inspects	: 2731867
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 169
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1089.479
c starts	: 167
c conflicts	: 469
c decisions	: 76455
c propagations	: 136318
c inspects	: 2746594
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 170
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1095.577
c starts	: 168
c conflicts	: 469
c decisions	: 76904
c propagations	: 137092
c inspects	: 2761321
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 171
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1101.67
c starts	: 169
c conflicts	: 469
c decisions	: 77353
c propagations	: 137866
c inspects	: 2776048
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 172
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1107.731
c starts	: 170
c conflicts	: 469
c decisions	: 77802
c propagations	: 138640
c inspects	: 2790775
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 173
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1113.812
c starts	: 171
c conflicts	: 469
c decisions	: 78251
c propagations	: 139414
c inspects	: 2805502
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 174
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1119.904
c starts	: 172
c conflicts	: 469
c decisions	: 78700
c propagations	: 140188
c inspects	: 2820229
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 175
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1125.989
c starts	: 173
c conflicts	: 469
c decisions	: 79149
c propagations	: 140962
c inspects	: 2834956
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 176
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1132.074
c starts	: 174
c conflicts	: 469
c decisions	: 79598
c propagations	: 141736
c inspects	: 2849683
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 177
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1138.157
c starts	: 175
c conflicts	: 469
c decisions	: 80047
c propagations	: 142510
c inspects	: 2864410
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 178
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1144.256
c starts	: 176
c conflicts	: 469
c decisions	: 80496
c propagations	: 143284
c inspects	: 2879137
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 179
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1150.371
c starts	: 177
c conflicts	: 469
c decisions	: 80945
c propagations	: 144058
c inspects	: 2893864
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 180
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1156.453
c starts	: 178
c conflicts	: 469
c decisions	: 81394
c propagations	: 144832
c inspects	: 2908591
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 181
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1162.565
c starts	: 179
c conflicts	: 469
c decisions	: 81843
c propagations	: 145606
c inspects	: 2923318
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 182
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1168.671
c starts	: 180
c conflicts	: 469
c decisions	: 82292
c propagations	: 146380
c inspects	: 2938045
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 183
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1174.774
c starts	: 181
c conflicts	: 469
c decisions	: 82741
c propagations	: 147154
c inspects	: 2952772
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 184
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1180.879
c starts	: 182
c conflicts	: 469
c decisions	: 83190
c propagations	: 147928
c inspects	: 2967499
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 185
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1186.971
c starts	: 183
c conflicts	: 469
c decisions	: 83639
c propagations	: 148702
c inspects	: 2982226
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 186
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1193.051
c starts	: 184
c conflicts	: 469
c decisions	: 84088
c propagations	: 149476
c inspects	: 2996953
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 187
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1199.149
c starts	: 185
c conflicts	: 469
c decisions	: 84537
c propagations	: 150250
c inspects	: 3011680
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 188
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1205.25
c starts	: 186
c conflicts	: 469
c decisions	: 84986
c propagations	: 151024
c inspects	: 3026407
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 189
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1211.337
c starts	: 187
c conflicts	: 469
c decisions	: 85435
c propagations	: 151798
c inspects	: 3041134
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 190
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1217.453
c starts	: 188
c conflicts	: 469
c decisions	: 85884
c propagations	: 152572
c inspects	: 3055861
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 191
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1223.565
c starts	: 189
c conflicts	: 469
c decisions	: 86333
c propagations	: 153346
c inspects	: 3070588
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 192
#### 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.79 0.95 0.94 2/54 15855
Raw data (stat): 15855 (runsolver) R 15854 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548044172 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): 0.90 0.97 0.95 4/64 15865
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18096 0 1 0 734 39 0 0 25 0 11 0 548044172 864911360 22249 4294967295 134512640 134569956 3221224400 3221214560 1130891768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 22249 13073 16 0 211144 0
vsize: 844640
[startup+20.0003 s]
Raw data (loadavg): 1.22 1.04 0.97 2/64 15865
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18098 0 1 0 1502 39 0 0 25 0 11 0 548044172 864677888 22493 4294967295 134512640 134569956 3221224400 3221214576 1131340852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211103 22493 13073 16 0 211087 0
vsize: 844412
[startup+30.0002 s]
Raw data (loadavg): 1.19 1.03 0.97 2/64 15868
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18099 3 1 0 2411 40 0 0 25 0 11 0 548044172 863412224 22453 4294967295 134512640 134569956 3221224400 3221214472 1131252410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210794 22453 13073 16 0 210778 0
vsize: 843176
[startup+40.0013 s]
Raw data (loadavg): 1.16 1.03 0.97 2/64 15869
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18099 3 1 0 3340 40 0 0 24 0 11 0 548044172 863412224 23161 4294967295 134512640 134569956 3221224400 3221214932 1130885124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210794 23161 13073 16 0 210778 0
vsize: 843176
[startup+50.002 s]
Raw data (loadavg): 1.13 1.03 0.97 3/64 15872
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 4305 41 0 0 25 0 11 0 548044172 868851712 24406 4294967295 134512640 134569956 3221224400 3221214896 1131329832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212122 24406 13073 16 0 212106 0
vsize: 848488
[startup+60.0011 s]
Raw data (loadavg): 1.19 1.04 0.97 2/64 15872
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 5279 41 0 0 25 0 11 0 548044172 867106816 24189 4294967295 134512640 134569956 3221224400 3221214800 1131238087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211696 24189 13073 16 0 211680 0
vsize: 846784
[startup+70.0045 s]
Raw data (loadavg): 1.16 1.04 0.97 2/64 15872
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 6248 42 0 0 25 0 11 0 548044172 867106816 24283 4294967295 134512640 134569956 3221224400 3221214800 1131237761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211696 24283 13073 16 0 211680 0
vsize: 846784
[startup+80.005 s]
Raw data (loadavg): 1.13 1.04 0.97 2/64 15874
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 7206 42 0 0 25 0 11 0 548044172 865742848 24096 4294967295 134512640 134569956 3221224400 3221214800 1131237793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 24096 13073 16 0 211347 0
vsize: 845452
[startup+90.0053 s]
Raw data (loadavg): 1.11 1.04 0.97 2/64 15876
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 8163 42 0 0 25 0 11 0 548044172 865742848 24216 4294967295 134512640 134569956 3221224400 3221214800 1131238185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 24216 13073 16 0 211347 0
vsize: 845452
[startup+100.006 s]
Raw data (loadavg): 1.09 1.04 0.97 2/64 15877
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 9127 42 0 0 25 0 11 0 548044172 865742848 24471 4294967295 134512640 134569956 3221224400 3221214800 1131238087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 24471 13073 16 0 211347 0
vsize: 845452
[startup+110.006 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 15879
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 10099 42 0 0 25 0 11 0 548044172 865742848 24564 4294967295 134512640 134569956 3221224400 3221214840 1131168768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 24564 13073 16 0 211347 0
vsize: 845452
[startup+120.007 s]
Raw data (loadavg): 1.07 1.03 0.97 2/64 15880
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 11069 42 0 0 25 0 11 0 548044172 865742848 24681 4294967295 134512640 134569956 3221224400 3221214840 1131168785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 24681 13073 16 0 211347 0
vsize: 845452
[startup+130.007 s]
Raw data (loadavg): 1.06 1.03 0.97 2/64 15881
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 12044 43 0 0 25 0 11 0 548044172 865742848 24804 4294967295 134512640 134569956 3221224400 3221214896 1131329892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 24804 13073 16 0 211347 0
vsize: 845452
[startup+140.008 s]
Raw data (loadavg): 1.05 1.03 0.97 2/64 15883
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 13016 43 0 0 25 0 11 0 548044172 865742848 24914 4294967295 134512640 134569956 3221224400 3221214800 1131237753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 24914 13073 16 0 211347 0
vsize: 845452
[startup+150.012 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 15884
Raw data (stat): 15855 (java) S 15854 28546 28545 0 -1 0 18100 3 1 0 13986 43 1 0 25 0 11 0 548044172 865742848 25050 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 25050 13073 16 0 211347 0
vsize: 845452
[startup+160.012 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 15885
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 14961 43 1 0 25 0 11 0 548044172 865742848 25150 4294967295 134512640 134569956 3221224400 3221214344 1131769085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 25150 13073 16 0 211347 0
vsize: 845452
[startup+170.013 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 15886
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 15935 43 1 0 25 0 11 0 548044172 865742848 25225 4294967295 134512640 134569956 3221224400 3221214520 1131252671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 25225 13073 16 0 211347 0
vsize: 845452
[startup+180.013 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 15887
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 16911 43 1 0 25 0 11 0 548044172 865742848 25358 4294967295 134512640 134569956 3221224400 3221214696 1131252671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 25358 13073 16 0 211347 0
vsize: 845452
[startup+190.014 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 15888
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 17890 43 1 0 25 0 11 0 548044172 865742848 25447 4294967295 134512640 134569956 3221224400 3221214824 1131168768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 25447 13073 16 0 211347 0
vsize: 845452
[startup+200.014 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 15888
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 18863 43 1 0 25 0 11 0 548044172 865742848 25539 4294967295 134512640 134569956 3221224400 3221214784 1131237793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 25539 13073 16 0 211347 0
vsize: 845452
[startup+210.014 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 15888
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 19830 43 1 0 25 0 11 0 548044172 865742848 25597 4294967295 134512640 134569956 3221224400 3221214784 1131237757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 25597 13073 16 0 211347 0
vsize: 845452
[startup+220.015 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 15888
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 20787 44 1 0 25 0 11 0 548044172 865742848 25732 4294967295 134512640 134569956 3221224400 3221214208 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 25732 13073 16 0 211347 0
vsize: 845452
[startup+230.016 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 15889
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 21755 44 1 0 25 0 11 0 548044172 865742848 25858 4294967295 134512640 134569956 3221224400 3221214344 1131769136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 25858 13073 16 0 211347 0
vsize: 845452
[startup+240.016 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 15890
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 22724 44 1 0 25 0 11 0 548044172 865742848 26057 4294967295 134512640 134569956 3221224400 3221214876 1131168748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26057 13073 16 0 211347 0
vsize: 845452
[startup+250.023 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 15891
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 23702 44 1 0 25 0 11 0 548044172 865742848 26198 4294967295 134512640 134569956 3221224400 3221214588 1131766473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26198 13073 16 0 211347 0
vsize: 845452
[startup+260.031 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 15892
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 24687 44 1 0 25 0 11 0 548044172 865742848 26297 4294967295 134512640 134569956 3221224400 3221214288 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26297 13073 16 0 211347 0
vsize: 845452
[startup+270.031 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 15894
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 25671 44 1 0 25 0 11 0 548044172 865742848 26368 4294967295 134512640 134569956 3221224400 3221214856 1131315819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26368 13073 16 0 211347 0
vsize: 845452
[startup+280.031 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 15896
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 26657 45 1 0 25 0 11 0 548044172 865742848 26406 4294967295 134512640 134569956 3221224400 3221214784 1131239206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26406 13073 16 0 211347 0
vsize: 845452
[startup+290.046 s]
Raw data (loadavg): 1.08 1.03 0.98 2/64 15897
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 27642 45 1 0 25 0 11 0 548044172 865742848 26491 4294967295 134512640 134569956 3221224400 3221214152 1085679359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26491 13073 16 0 211347 0
vsize: 845452
[startup+300.046 s]
Raw data (loadavg): 1.07 1.03 0.98 2/64 15899
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 28627 45 2 0 25 0 11 0 548044172 865742848 26565 4294967295 134512640 134569956 3221224400 3221214784 1131238651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26565 13073 16 0 211347 0
vsize: 845452
[startup+310.046 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 15901
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 29615 45 2 0 25 0 11 0 548044172 865742848 26650 4294967295 134512640 134569956 3221224400 3221214824 1130917763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26650 13073 16 0 211347 0
vsize: 845452
[startup+320.047 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 15902
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 30602 45 2 0 25 0 11 0 548044172 865742848 26695 4294967295 134512640 134569956 3221224400 3221214480 1131766250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26695 13073 16 0 211347 0
vsize: 845452
[startup+330.047 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 15904
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 31589 45 2 0 25 0 11 0 548044172 865742848 26772 4294967295 134512640 134569956 3221224400 3221214784 1131238995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26772 13073 16 0 211347 0
vsize: 845452
[startup+340.048 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 15905
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 32578 45 2 0 25 0 11 0 548044172 865742848 26838 4294967295 134512640 134569956 3221224400 3221214760 1131504242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26838 13073 16 0 211347 0
vsize: 845452
[startup+350.058 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 15907
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 33566 45 2 0 25 0 11 0 548044172 865742848 26908 4294967295 134512640 134569956 3221224400 3221214648 1131766447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26908 13073 16 0 211347 0
vsize: 845452
[startup+360.161 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 15909
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 34563 46 2 0 24 0 11 0 548044172 865742848 26955 4294967295 134512640 134569956 3221224400 3221214892 1131141506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 26955 13073 16 0 211347 0
vsize: 845452
[startup+370.162 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 15910
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 35551 46 2 0 25 0 11 0 548044172 865742848 27027 4294967295 134512640 134569956 3221224400 3221214784 1131238185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27027 13073 16 0 211347 0
vsize: 845452
[startup+380.162 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 15912
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 36535 46 2 0 25 0 11 0 548044172 865742848 27083 4294967295 134512640 134569956 3221224400 3221214288 1131769242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27083 13073 16 0 211347 0
vsize: 845452
[startup+390.162 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 15914
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 37521 47 2 0 25 0 11 0 548044172 865742848 27151 4294967295 134512640 134569956 3221224400 3221214344 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27151 13073 16 0 211347 0
vsize: 845452
[startup+400.163 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 15915
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 38505 47 2 0 25 0 11 0 548044172 865742848 27259 4294967295 134512640 134569956 3221224400 3221214296 1131670366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27259 13073 16 0 211347 0
vsize: 845452
[startup+410.164 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 15917
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 39489 47 2 0 25 0 11 0 548044172 865742848 27362 4294967295 134512640 134569956 3221224400 3221214784 1131238139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27362 13073 16 0 211347 0
vsize: 845452
[startup+420.164 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 15919
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 40475 47 2 0 25 0 11 0 548044172 865742848 27444 4294967295 134512640 134569956 3221224400 3221214824 1131168893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27444 13073 16 0 211347 0
vsize: 845452
[startup+430.178 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 15920
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 41460 47 2 0 25 0 11 0 548044172 865742848 27552 4294967295 134512640 134569956 3221224400 3221214784 1131237891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27552 13073 16 0 211347 0
vsize: 845452
[startup+440.178 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 15922
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 42445 47 2 1 25 0 11 0 548044172 865742848 27675 4294967295 134512640 134569956 3221224400 3221214208 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27675 13073 16 0 211347 0
vsize: 845452
[startup+450.177 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15924
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 43433 47 2 1 25 0 11 0 548044172 865742848 27765 4294967295 134512640 134569956 3221224400 3221214896 1131775300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27765 13073 16 0 211347 0
vsize: 845452
[startup+460.178 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15925
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 44417 47 2 1 25 0 11 0 548044172 865742848 27820 4294967295 134512640 134569956 3221224400 3221214432 1131670300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27820 13073 16 0 211347 0
vsize: 845452
[startup+470.178 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15927
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 45402 47 2 1 25 0 11 0 548044172 865742848 27912 4294967295 134512640 134569956 3221224400 3221214432 1131670336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 27912 13073 16 0 211347 0
vsize: 845452
[startup+480.178 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15928
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 46386 48 2 1 25 0 11 0 548044172 865742848 28011 4294967295 134512640 134569956 3221224400 3221214344 1131769443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28011 13073 16 0 211347 0
vsize: 845452
[startup+490.179 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15930
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 47368 48 3 1 25 0 11 0 548044172 865742848 28077 4294967295 134512640 134569956 3221224400 3221214876 1131239227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28077 13073 16 0 211347 0
vsize: 845452
[startup+500.179 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15932
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 48353 48 3 1 25 0 11 0 548044172 865742848 28246 4294967295 134512640 134569956 3221224400 3221214720 1131766432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28246 13073 16 0 211347 0
vsize: 845452
[startup+510.179 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15933
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 49338 48 3 1 25 0 11 0 548044172 865742848 28336 4294967295 134512640 134569956 3221224400 3221214824 1131168768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28336 13073 16 0 211347 0
vsize: 845452
[startup+520.18 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 15935
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 50324 48 3 1 25 0 11 0 548044172 865742848 28426 4294967295 134512640 134569956 3221224400 3221214776 1131766313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28426 13073 16 0 211347 0
vsize: 845452
[startup+530.181 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 15937
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 51311 49 3 1 25 0 11 0 548044172 865742848 28510 4294967295 134512640 134569956 3221224400 3221214784 1131238365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28510 13073 16 0 211347 0
vsize: 845452
[startup+540.181 s]
Raw data (loadavg): 1.05 1.02 0.98 2/64 15938
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 52297 49 3 1 25 0 11 0 548044172 865742848 28603 4294967295 134512640 134569956 3221224400 3221214856 1131315821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28603 13073 16 0 211347 0
vsize: 845452
[startup+550.181 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 15940
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 53283 50 3 1 25 0 11 0 548044172 865742848 28645 4294967295 134512640 134569956 3221224400 3221214784 1131238185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28645 13073 16 0 211347 0
vsize: 845452
[startup+560.182 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 15942
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 54270 50 3 1 25 0 11 0 548044172 865742848 28735 4294967295 134512640 134569956 3221224400 3221214420 1131670347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28735 13073 16 0 211347 0
vsize: 845452
[startup+570.182 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 15943
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 55258 50 3 1 25 0 11 0 548044172 865742848 28788 4294967295 134512640 134569956 3221224400 3221214784 1131238415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 28788 13073 16 0 211347 0
vsize: 845452
[startup+580.182 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 15945
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 56244 51 3 1 25 0 11 0 548044172 865742848 28824 4294967295 134512640 134569956 3221224400 3221214824 1131168801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28824 13073 16 0 211347 0
vsize: 845452
[startup+590.183 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 15947
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 57228 52 3 1 25 0 11 0 548044172 865742848 28913 4294967295 134512640 134569956 3221224400 3221214824 1131168768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28913 13073 16 0 211347 0
vsize: 845452
[startup+600.184 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 15948
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 58212 52 3 1 25 0 11 0 548044172 865742848 28971 4294967295 134512640 134569956 3221224400 3221214648 1131666424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 28971 13073 16 0 211347 0
vsize: 845452
[startup+610.184 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 15950
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 59198 52 3 1 25 0 11 0 548044172 865742848 29044 4294967295 134512640 134569956 3221224400 3221214880 1131328841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 29044 13073 16 0 211347 0
vsize: 845452
[startup+620.185 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 15952
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 60181 53 3 1 25 0 11 0 548044172 865742848 29132 4294967295 134512640 134569956 3221224400 3221214784 1131237761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 29132 13073 16 0 211347 0
vsize: 845452
[startup+630.185 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 15953
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 61166 53 3 1 25 0 11 0 548044172 865742848 29219 4294967295 134512640 134569956 3221224400 3221214784 1131238185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 29219 13073 16 0 211347 0
vsize: 845452
[startup+640.186 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 15955
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 62152 54 3 1 25 0 11 0 548044172 865742848 29321 4294967295 134512640 134569956 3221224400 3221214464 1131665623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 29321 13073 16 0 211347 0
vsize: 845452
[startup+650.187 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 15957
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 63135 54 3 1 25 0 11 0 548044172 865742848 29399 4294967295 134512640 134569956 3221224400 3221214784 1131237793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 29399 13073 16 0 211347 0
vsize: 845452
[startup+660.187 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15958
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 64117 55 3 1 25 0 11 0 548044172 865742848 29496 4294967295 134512640 134569956 3221224400 3221214584 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 29496 13073 16 0 211347 0
vsize: 845452
[startup+670.188 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15960
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 65098 55 3 1 24 0 11 0 548044172 865742848 29549 4294967295 134512640 134569956 3221224400 3221214784 1131239218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 29549 13073 16 0 211347 0
vsize: 845452
[startup+680.189 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15962
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 66081 56 3 1 25 0 11 0 548044172 865742848 29669 4294967295 134512640 134569956 3221224400 3221214784 1131237852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 29669 13073 16 0 211347 0
vsize: 845452
[startup+690.189 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15963
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 67064 56 3 1 25 0 11 0 548044172 865742848 29840 4294967295 134512640 134569956 3221224400 3221214336 1085679372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 29840 13073 16 0 211347 0
vsize: 845452
[startup+700.19 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15965
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 68047 56 3 1 24 0 11 0 548044172 865742848 29928 4294967295 134512640 134569956 3221224400 3221214880 1131329029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 29928 13073 16 0 211347 0
vsize: 845452
[startup+710.191 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 15967
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 69032 57 4 1 25 0 11 0 548044172 865742848 30036 4294967295 134512640 134569956 3221224400 3221214784 1131238960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30036 13073 16 0 211347 0
vsize: 845452
[startup+720.191 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15968
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 70017 57 4 1 25 0 11 0 548044172 865742848 30136 4294967295 134512640 134569956 3221224400 3221214784 1131238185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30136 13073 16 0 211347 0
vsize: 845452
[startup+730.192 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15970
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 71002 58 4 1 25 0 11 0 548044172 865742848 30221 4294967295 134512640 134569956 3221224400 3221214944 1131795320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30221 13073 16 0 211347 0
vsize: 845452
[startup+740.193 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15972
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 71990 58 4 1 25 0 11 0 548044172 865742848 30287 4294967295 134512640 134569956 3221224400 3221214824 1131327368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30287 13073 16 0 211347 0
vsize: 845452
[startup+750.193 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15973
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 72976 58 4 1 25 0 11 0 548044172 865742848 30366 4294967295 134512640 134569956 3221224400 3221214420 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30366 13073 16 0 211347 0
vsize: 845452
[startup+760.194 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15975
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 73961 58 4 1 25 0 11 0 548044172 865742848 30442 4294967295 134512640 134569956 3221224400 3221214472 1131769269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30442 13073 16 0 211347 0
vsize: 845452
[startup+770.196 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15977
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 74946 59 4 2 25 0 11 0 548044172 865742848 30509 4294967295 134512640 134569956 3221224400 3221214784 1131238440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30509 13073 16 0 211347 0
vsize: 845452
[startup+780.197 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 15978
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 75928 59 4 2 25 0 11 0 548044172 865742848 30553 4294967295 134512640 134569956 3221224400 3221214784 1131238139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30553 13073 16 0 211347 0
vsize: 845452
[startup+790.198 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 15980
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 76910 59 4 2 25 0 11 0 548044172 865742848 30646 4294967295 134512640 134569956 3221224400 3221214784 1131238649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30646 13073 16 0 211347 0
vsize: 845452
[startup+800.198 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 15982
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 77896 60 4 2 25 0 11 0 548044172 865742848 30794 4294967295 134512640 134569956 3221224400 3221214784 1131238041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30794 13073 16 0 211347 0
vsize: 845452
[startup+810.199 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 15983
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 78879 60 4 2 25 0 11 0 548044172 865742848 30923 4294967295 134512640 134569956 3221224400 3221214784 1131237761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 30923 13073 16 0 211347 0
vsize: 845452
[startup+820.2 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 15985
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 79865 60 4 2 25 0 11 0 548044172 865742848 31001 4294967295 134512640 134569956 3221224400 3221214784 1131238411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31001 13073 16 0 211347 0
vsize: 845452
[startup+830.201 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 15987
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 80852 60 4 2 25 0 11 0 548044172 865742848 31077 4294967295 134512640 134569956 3221224400 3221214600 1131665621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31077 13073 16 0 211347 0
vsize: 845452
[startup+840.202 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 15988
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 81837 60 4 2 25 0 11 0 548044172 865742848 31123 4294967295 134512640 134569956 3221224400 3221214824 1131168768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31123 13073 16 0 211347 0
vsize: 845452
[startup+850.202 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 15990
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 82822 61 4 2 25 0 11 0 548044172 865742848 31224 4294967295 134512640 134569956 3221224400 3221214824 1131168785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31224 13073 16 0 211347 0
vsize: 845452
[startup+860.202 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 15991
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 83808 61 4 2 25 0 11 0 548044172 865742848 31295 4294967295 134512640 134569956 3221224400 3221214420 1131670352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31295 13073 16 0 211347 0
vsize: 845452
[startup+870.202 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 15993
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 84794 62 5 2 25 0 11 0 548044172 865742848 31373 4294967295 134512640 134569956 3221224400 3221214420 1131670352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31373 13073 16 0 211347 0
vsize: 845452
[startup+880.203 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 15995
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 85781 62 5 2 25 0 11 0 548044172 865742848 31445 4294967295 134512640 134569956 3221224400 3221214880 1131329173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31445 13073 16 0 211347 0
vsize: 845452
[startup+890.204 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 15996
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 86766 62 5 2 25 0 11 0 548044172 865742848 31492 4294967295 134512640 134569956 3221224400 3221214424 1131670292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31492 13073 16 0 211347 0
vsize: 845452
[startup+900.204 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 15998
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 87751 62 5 2 25 0 11 0 548044172 865742848 31559 4294967295 134512640 134569956 3221224400 3221214472 1131769061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31559 13073 16 0 211347 0
vsize: 845452
[startup+910.204 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 16000
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 88737 63 5 2 25 0 11 0 548044172 865742848 31665 4294967295 134512640 134569956 3221224400 3221214280 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31665 13073 16 0 211347 0
vsize: 845452
[startup+920.204 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 16001
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 89721 63 5 2 25 0 11 0 548044172 865742848 31720 4294967295 134512640 134569956 3221224400 3221214504 1131670413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31720 13073 16 0 211347 0
vsize: 845452
[startup+930.204 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16003
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 90706 64 5 2 25 0 11 0 548044172 865742848 31805 4294967295 134512640 134569956 3221224400 3221214344 1079668418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31805 13073 16 0 211347 0
vsize: 845452
[startup+940.205 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16005
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 91693 64 5 2 25 0 11 0 548044172 865742848 31922 4294967295 134512640 134569956 3221224400 3221214416 1131769376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31922 13073 16 0 211347 0
vsize: 845452
[startup+950.206 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16006
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 92679 65 5 2 25 0 11 0 548044172 865742848 31963 4294967295 134512640 134569956 3221224400 3221214784 1131238139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 31963 13073 16 0 211347 0
vsize: 845452
[startup+960.206 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16008
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 93665 65 5 2 25 0 11 0 548044172 865742848 32004 4294967295 134512640 134569956 3221224400 3221214784 1131239040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 32004 13073 16 0 211347 0
vsize: 845452
[startup+970.221 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16010
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 94652 66 5 2 24 0 11 0 548044172 865742848 32129 4294967295 134512640 134569956 3221224400 3221214472 1131769284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 32129 13073 16 0 211347 0
vsize: 845452
[startup+980.238 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16011
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 95641 66 5 2 25 0 11 0 548044172 865742848 32215 4294967295 134512640 134569956 3221224400 3221214640 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 32215 13073 16 0 211347 0
vsize: 845452
[startup+990.238 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16013
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 96626 67 6 2 25 0 11 0 548044172 865742848 32237 4294967295 134512640 134569956 3221224400 3221214472 1131769271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 32237 13073 16 0 211347 0
vsize: 845452
[startup+1000.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16015
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 97611 67 6 3 25 0 11 0 548044172 865742848 32292 4294967295 134512640 134569956 3221224400 3221214880 1131329291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 32292 13073 16 0 211347 0
vsize: 845452
[startup+1010.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16016
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18100 3 1 0 98595 67 6 3 25 0 11 0 548044172 865742848 32393 4294967295 134512640 134569956 3221224400 3221214560 1131670197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 32393 13073 16 0 211347 0
vsize: 845452
[startup+1020.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16018
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 99581 68 6 3 25 0 11 0 548044172 865742848 32455 4294967295 134512640 134569956 3221224400 3221214824 1131168768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 32455 13073 16 0 211347 0
vsize: 845452
[startup+1030.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16020
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 100565 68 6 3 25 0 11 0 548044172 865742848 32576 4294967295 134512640 134569956 3221224400 3221214784 1131237953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211363 32576 13073 16 0 211347 0
vsize: 845452
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/68 16025
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 101544 70 6 3 25 0 11 0 548044172 865742848 32634 4294967295 134512640 134569956 3221224400 3221214464 1131769296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 32634 13073 16 0 211347 0
vsize: 845452
[startup+1050.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16076
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 102524 72 6 3 25 0 11 0 548044172 865742848 32714 4294967295 134512640 134569956 3221224400 3221214464 1131665623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 32714 13073 16 0 211347 0
vsize: 845452
[startup+1060.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16078
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 103501 72 6 3 24 0 11 0 548044172 865742848 32834 4294967295 134512640 134569956 3221224400 3221214824 1131168768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 32834 13073 16 0 211347 0
vsize: 845452
[startup+1070.25 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16079
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 104482 72 6 3 25 0 11 0 548044172 865742848 32867 4294967295 134512640 134569956 3221224400 3221214472 1131769455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 32867 13073 16 0 211347 0
vsize: 845452
[startup+1080.25 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16081
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 105462 72 6 3 25 0 11 0 548044172 865742848 33188 4294967295 134512640 134569956 3221224400 3221214784 1131238288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 33188 13073 16 0 211347 0
vsize: 845452
[startup+1090.25 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16083
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 106448 72 6 3 25 0 11 0 548044172 865742848 33315 4294967295 134512640 134569956 3221224400 3221214784 1131237761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 33315 13073 16 0 211347 0
vsize: 845452
[startup+1100.25 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16084
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 107434 73 6 3 25 0 11 0 548044172 865742848 33483 4294967295 134512640 134569956 3221224400 3221214824 1131168862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 33483 13073 16 0 211347 0
vsize: 845452
[startup+1110.25 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16086
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 108421 73 6 3 25 0 11 0 548044172 865742848 33554 4294967295 134512640 134569956 3221224400 3221214880 1131329043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 33554 13073 16 0 211347 0
vsize: 845452
[startup+1120.25 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16089
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 109409 73 6 3 25 0 11 0 548044172 865742848 33569 4294967295 134512640 134569956 3221224400 3221214424 1131670304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 33569 13073 16 0 211347 0
vsize: 845452
[startup+1130.25 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16091
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 110395 73 7 3 25 0 11 0 548044172 865742848 33652 4294967295 134512640 134569956 3221224400 3221214472 1131769264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 33652 13073 16 0 211347 0
vsize: 845452
[startup+1140.25 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 16093
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 111381 73 7 3 25 0 11 0 548044172 865742848 33731 4294967295 134512640 134569956 3221224400 3221214504 1131670353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 33731 13073 16 0 211347 0
vsize: 845452
[startup+1150.25 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 16094
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 112367 73 7 3 25 0 11 0 548044172 865742848 33807 4294967295 134512640 134569956 3221224400 3221214784 1131238675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 33807 13073 16 0 211347 0
vsize: 845452
[startup+1160.25 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 16096
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 113351 73 7 3 25 0 11 0 548044172 865742848 33845 4294967295 134512640 134569956 3221224400 3221214940 1131328684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 33845 13073 16 0 211347 0
vsize: 845452
[startup+1170.25 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16098
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 114337 73 7 3 25 0 11 0 548044172 865742848 33879 4294967295 134512640 134569956 3221224400 3221214580 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 33879 13073 16 0 211347 0
vsize: 845452
[startup+1180.25 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16099
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 115320 73 7 3 25 0 11 0 548044172 865742848 34086 4294967295 134512640 134569956 3221224400 3221214784 1131237850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 34086 13073 16 0 211347 0
vsize: 845452
[startup+1190.25 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16101
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 116306 74 7 3 25 0 11 0 548044172 865742848 34210 4294967295 134512640 134569956 3221224400 3221214784 1131237858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 34210 13073 16 0 211347 0
vsize: 845452
[startup+1200.25 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16103
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 117294 74 7 3 25 0 11 0 548044172 865742848 34262 4294967295 134512640 134569956 3221224400 3221214784 1131238185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 34262 13073 16 0 211347 0
vsize: 845452
[startup+1210.25 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16104
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 118279 74 7 3 25 0 11 0 548044172 865742848 34321 4294967295 134512640 134569956 3221224400 3221214752 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 34321 13073 16 0 211347 0
vsize: 845452
[startup+1220.25 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16106
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 119261 74 7 3 25 0 11 0 548044172 865742848 34378 4294967295 134512640 134569956 3221224400 3221214784 1131238383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 34378 13073 16 0 211347 0
vsize: 845452
[startup+1230.25 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16107
Raw data (stat): 15855 (java) R 15854 28546 28545 0 -1 0 18101 3 1 0 120246 74 8 3 25 0 11 0 548044172 865742848 34492 4294967295 134512640 134569956 3221224400 3221214424 1131670314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211363 34492 13073 16 0 211347 0
vsize: 845452
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.34 s]
Raw data (loadavg): 1.02 1.01 1.00 1/54 16109
Raw data (stat): 15855 (java) Z 15854 28546 28545 0 -1 1036 18101 13228 1 0 120247 74 2241 45 25 0 1 0 548044172 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): 1230.34
CPU time (s): 1226.09
CPU user time (s): 1224.89
CPU system time (s): 1.20582
CPU usage (%): 99.6551
Max. virtual memory (Kb): 848488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####