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-net12.opb
MD5SUM	8fd050825d75dbe16d9da083f4b2fd63
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	1230.09
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 20348

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        554128 kB
Buffers:         24032 kB
Cached:         430684 kB
SwapCached:        408 kB
Active:         111436 kB
Inactive:       345892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        553876 kB
SwapTotal:     2097892 kB
SwapFree:      2097056 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5856 kB
Slab:            17360 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 21:02:37 (client local time) WITH STATUS 143 IN 1246.42 SECONDS
stats: 15141 7 1246.42 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-net12.opb
c reading problem 
c [nbvar=780]
c [nbconstr=707]
c time 4.144
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) : 19.962
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) : 23.953
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) : 27.705
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) : 33.103
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) : 38.375
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) : 41.991
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) : 46.478
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) : 72.165
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) : 76.405
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) : 80.169
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) : 86.043
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) : 90.078
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) : 97.262
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) : 102.588
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) : 108.709
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) : 118.814
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) : 125.546
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) : 133.673
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) : 142.98
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) : 149.402
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) : 156.805
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) : 169.837
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) : 180.756
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) : 217.053
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) : 224.639
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) : 235.466
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) : 246.131
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) : 253.028
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) : 259.013
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) : 265.015
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) : 271.011
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) : 276.993
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) : 282.985
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) : 288.972
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) : 294.936
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) : 300.909
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) : 306.88
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) : 312.835
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) : 318.81
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) : 324.761
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) : 330.734
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) : 336.711
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) : 342.668
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) : 348.643
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) : 354.626
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) : 360.595
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) : 366.58
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) : 372.566
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) : 378.542
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) : 384.537
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) : 390.542
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) : 396.52
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) : 402.52
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) : 408.509
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) : 414.487
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) : 420.478
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) : 426.438
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) : 432.426
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) : 438.412
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) : 444.387
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) : 450.382
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) : 456.384
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) : 462.359
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) : 468.362
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) : 474.367
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) : 480.336
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) : 486.319
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) : 492.296
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) : 498.248
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) : 504.219
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) : 510.19
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) : 516.136
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) : 522.102
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) : 528.053
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) : 534.017
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) : 539.983
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) : 545.929
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) : 551.882
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) : 557.839
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) : 563.787
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) : 569.753
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) : 575.718
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) : 581.672
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) : 587.657
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) : 593.63
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) : 599.588
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) : 605.56
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) : 611.523
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) : 617.492
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) : 623.475
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) : 629.433
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) : 635.411
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) : 641.401
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) : 647.372
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) : 653.359
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) : 659.354
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) : 665.334
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) : 671.32
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) : 677.31
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) : 683.272
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) : 689.249
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) : 695.226
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) : 701.182
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) : 707.149
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) : 713.101
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) : 719.061
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) : 725.04
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) : 730.995
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) : 736.972
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) : 742.964
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) : 748.919
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) : 754.902
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) : 760.889
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) : 766.856
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) : 772.855
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) : 778.841
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) : 784.802
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) : 790.787
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) : 796.77
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) : 802.73
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) : 808.709
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) : 814.662
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) : 820.634
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) : 826.603
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) : 832.555
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) : 838.596
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) : 844.633
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) : 850.65
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) : 856.657
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) : 862.692
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) : 868.714
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) : 874.769
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) : 880.808
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) : 886.831
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) : 892.881
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) : 898.92
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) : 904.958
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) : 910.985
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) : 917.008
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) : 923.045
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) : 929.079
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) : 935.091
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) : 941.132
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) : 947.158
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) : 953.189
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) : 959.225
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) : 965.274
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) : 971.299
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) : 977.353
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) : 983.394
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) : 989.437
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) : 995.496
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) : 1001.557
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) : 1007.589
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) : 1013.654
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) : 1019.698
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) : 1025.789
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) : 1031.981
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) : 1038.044
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) : 1044.126
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) : 1050.222
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) : 1056.29
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) : 1062.384
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) : 1068.446
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) : 1074.483
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) : 1080.526
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) : 1086.487
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) : 1092.519
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) : 1098.562
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) : 1104.603
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) : 1110.636
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) : 1116.672
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) : 1122.711
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) : 1128.769
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) : 1134.824
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) : 1140.87
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) : 1146.919
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) : 1152.971
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) : 1159.011
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) : 1165.083
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) : 1171.138
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) : 1177.148
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) : 1183.203
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) : 1189.248
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) : 1195.291
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) : 1201.357
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) : 1207.43
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
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1213.488
c starts	: 190
c conflicts	: 469
c decisions	: 86782
c propagations	: 154120
c inspects	: 3085315
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 193
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1219.543
c starts	: 191
c conflicts	: 469
c decisions	: 87231
c propagations	: 154894
c inspects	: 3100042
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 194
c 
c CURRENT OPTIMUM=-320988579
c Current CPU time (ms) : 1225.593
c starts	: 192
c conflicts	: 469
c decisions	: 87680
c propagations	: 155668
c inspects	: 3114769
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 469
c root simplifications	: 195
#### 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): 1.11 1.02 0.93 2/55 4875
Raw data (stat): 4875 (runsolver) R 4874 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548051431 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0069 s]
Raw data (loadavg): 1.24 1.05 0.94 3/65 4885
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18067 0 1 0 656 38 0 0 25 0 11 0 548051431 864190464 22149 4294967295 134512640 134569956 3221224400 3221213856 1079934289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210984 22149 13073 16 0 210968 0
vsize: 843936
[startup+20.0065 s]
Raw data (loadavg): 1.35 1.08 0.95 3/65 4885
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18072 0 1 0 1495 38 0 0 25 0 11 0 548051431 863408128 22214 4294967295 134512640 134569956 3221224400 3221214616 1131240365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210793 22214 13073 16 0 210777 0
vsize: 843172
[startup+30.0427 s]
Raw data (loadavg): 1.30 1.08 0.95 2/65 4888
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 2392 38 0 0 25 0 11 0 548051431 865243136 22921 4294967295 134512640 134569956 3221224400 3221214680 1131240365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 22921 13073 16 0 211225 0
vsize: 844964
[startup+40.0431 s]
Raw data (loadavg): 1.25 1.07 0.95 2/65 4890
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 3326 38 0 0 25 0 11 0 548051431 865243136 23600 4294967295 134512640 134569956 3221224400 3221214776 1131337919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211241 23600 13073 16 0 211225 0
vsize: 844964
[startup+50.0443 s]
Raw data (loadavg): 1.29 1.09 0.95 2/65 4892
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 4293 39 0 0 25 0 11 0 548051431 871264256 25128 4294967295 134512640 134569956 3221224400 3221214680 1131240291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212711 25128 13073 16 0 212695 0
vsize: 850844
[startup+60.0442 s]
Raw data (loadavg): 1.25 1.08 0.95 2/65 4892
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 5267 39 0 0 25 0 11 0 548051431 869888000 24885 4294967295 134512640 134569956 3221224400 3221214656 1131598945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212375 24885 13073 16 0 212359 0
vsize: 849500
[startup+70.045 s]
Raw data (loadavg): 1.21 1.08 0.95 2/65 4892
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 6232 39 0 0 25 0 11 0 548051431 869822464 24925 4294967295 134512640 134569956 3221224400 3221214776 1131342000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212359 24925 13073 16 0 212343 0
vsize: 849436
[startup+80.045 s]
Raw data (loadavg): 1.18 1.08 0.95 2/65 4894
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 7187 39 0 0 25 0 11 0 548051431 867127296 24443 4294967295 134512640 134569956 3221224400 3221214680 1131240630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 24443 13073 16 0 211685 0
vsize: 846804
[startup+90.0453 s]
Raw data (loadavg): 1.15 1.08 0.95 2/65 4896
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 8143 39 0 0 25 0 11 0 548051431 867127296 24590 4294967295 134512640 134569956 3221224400 3221214680 1131240414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 24590 13073 16 0 211685 0
vsize: 846804
[startup+100.046 s]
Raw data (loadavg): 1.12 1.07 0.95 2/65 4898
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 9110 39 0 0 25 0 11 0 548051431 867127296 24822 4294967295 134512640 134569956 3221224400 3221214680 1131239933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 24822 13073 16 0 211685 0
vsize: 846804
[startup+110.046 s]
Raw data (loadavg): 1.10 1.07 0.95 2/65 4900
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 10081 40 0 0 25 0 11 0 548051431 867127296 24901 4294967295 134512640 134569956 3221224400 3221214680 1131240482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 24901 13073 16 0 211685 0
vsize: 846804
[startup+120.046 s]
Raw data (loadavg): 1.09 1.07 0.95 2/65 4903
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 11051 40 0 0 25 0 11 0 548051431 867127296 25027 4294967295 134512640 134569956 3221224400 3221214680 1131239948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 25027 13073 16 0 211685 0
vsize: 846804
[startup+130.047 s]
Raw data (loadavg): 1.07 1.06 0.95 2/65 4904
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 12026 40 0 0 25 0 11 0 548051431 867127296 25131 4294967295 134512640 134569956 3221224400 3221214776 1131339209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 25131 13073 16 0 211685 0
vsize: 846804
[startup+140.049 s]
Raw data (loadavg): 1.06 1.06 0.95 2/65 4905
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 12997 40 0 0 24 0 11 0 548051431 867127296 25295 4294967295 134512640 134569956 3221224400 3221214776 1131338081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 25295 13073 16 0 211685 0
vsize: 846804
[startup+150.051 s]
Raw data (loadavg): 1.05 1.06 0.95 2/65 4906
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 13968 40 0 0 25 0 11 0 548051431 867127296 25405 4294967295 134512640 134569956 3221224400 3221214728 1131497707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 25405 13073 16 0 211685 0
vsize: 846804
[startup+160.054 s]
Raw data (loadavg): 1.04 1.06 0.95 2/65 4908
Raw data (stat): 4875 (java) S 4874 20838 20837 0 -1 0 18073 3 1 0 14943 40 0 0 25 0 11 0 548051431 867127296 25483 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 25483 13073 16 0 211685 0
vsize: 846804
[startup+170.054 s]
Raw data (loadavg): 1.04 1.05 0.95 2/65 4908
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 15915 41 0 0 25 0 11 0 548051431 867127296 25581 4294967295 134512640 134569956 3221224400 3221214664 1131240696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 25581 13073 16 0 211685 0
vsize: 846804
[startup+180.056 s]
Raw data (loadavg): 1.03 1.05 0.95 2/65 4909
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 16892 41 0 0 25 0 11 0 548051431 867127296 25716 4294967295 134512640 134569956 3221224400 3221214296 1131670826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 25716 13073 16 0 211685 0
vsize: 846804
[startup+190.056 s]
Raw data (loadavg): 1.03 1.05 0.95 2/65 4910
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 17869 41 0 0 25 0 11 0 548051431 867127296 25799 4294967295 134512640 134569956 3221224400 3221214704 1131169321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 25799 13073 16 0 211685 0
vsize: 846804
[startup+200.057 s]
Raw data (loadavg): 1.02 1.05 0.95 2/65 4910
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 18837 41 0 0 25 0 11 0 548051431 867127296 25877 4294967295 134512640 134569956 3221224400 3221214664 1131240482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 25877 13073 16 0 211685 0
vsize: 846804
[startup+210.059 s]
Raw data (loadavg): 1.02 1.05 0.95 2/65 4910
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 19798 41 0 0 23 0 11 0 548051431 867127296 25964 4294967295 134512640 134569956 3221224400 3221214664 1131240501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 25964 13073 16 0 211685 0
vsize: 846804
[startup+220.059 s]
Raw data (loadavg): 1.01 1.04 0.95 2/65 4911
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 20762 41 0 0 25 0 11 0 548051431 867127296 26119 4294967295 134512640 134569956 3221224400 3221214664 1131241160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 26119 13073 16 0 211685 0
vsize: 846804
[startup+230.059 s]
Raw data (loadavg): 1.01 1.04 0.95 2/65 4912
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 21729 41 0 0 25 0 11 0 548051431 867127296 26300 4294967295 134512640 134569956 3221224400 3221214664 1131240458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 26300 13073 16 0 211685 0
vsize: 846804
[startup+240.06 s]
Raw data (loadavg): 1.01 1.04 0.95 2/65 4913
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 22703 41 0 0 25 0 11 0 548051431 867127296 26478 4294967295 134512640 134569956 3221224400 3221214760 1131338016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 26478 13073 16 0 211685 0
vsize: 846804
[startup+250.061 s]
Raw data (loadavg): 1.01 1.04 0.95 2/65 4914
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 23685 41 0 0 25 0 11 0 548051431 867127296 26569 4294967295 134512640 134569956 3221224400 3221214760 1131338081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 26569 13073 16 0 211685 0
vsize: 846804
[startup+260.061 s]
Raw data (loadavg): 1.01 1.04 0.95 2/65 4916
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 24668 41 0 0 25 0 11 0 548051431 867127296 26660 4294967295 134512640 134569956 3221224400 3221214664 1131240482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 26660 13073 16 0 211685 0
vsize: 846804
[startup+270.061 s]
Raw data (loadavg): 1.00 1.04 0.95 2/65 4917
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 25653 42 0 0 25 0 11 0 548051431 867127296 26707 4294967295 134512640 134569956 3221224400 3221214296 1131670816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 26707 13073 16 0 211685 0
vsize: 846804
[startup+280.062 s]
Raw data (loadavg): 1.00 1.03 0.95 2/65 4919
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 26639 42 1 0 25 0 11 0 548051431 867127296 26774 4294967295 134512640 134569956 3221224400 3221214560 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 26774 13073 16 0 211685 0
vsize: 846804
[startup+290.063 s]
Raw data (loadavg): 1.00 1.03 0.95 2/65 4921
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 27623 42 1 0 25 0 11 0 548051431 867127296 26850 4294967295 134512640 134569956 3221224400 3221214376 1131670844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 26850 13073 16 0 211685 0
vsize: 846804
[startup+300.064 s]
Raw data (loadavg): 1.00 1.03 0.95 2/65 4922
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 28609 42 1 0 25 0 11 0 548051431 867127296 26953 4294967295 134512640 134569956 3221224400 3221214296 1131670713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 26953 13073 16 0 211685 0
vsize: 846804
[startup+310.073 s]
Raw data (loadavg): 1.07 1.04 0.96 2/65 4924
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 29598 42 1 0 25 0 11 0 548051431 867127296 26993 4294967295 134512640 134569956 3221224400 3221214664 1131240135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 26993 13073 16 0 211685 0
vsize: 846804
[startup+320.072 s]
Raw data (loadavg): 1.06 1.04 0.96 2/65 4926
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 30587 42 1 0 25 0 11 0 548051431 867127296 27067 4294967295 134512640 134569956 3221224400 3221214760 1131342006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27067 13073 16 0 211685 0
vsize: 846804
[startup+330.073 s]
Raw data (loadavg): 1.05 1.04 0.96 2/65 4927
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 31575 42 1 0 25 0 11 0 548051431 867127296 27135 4294967295 134512640 134569956 3221224400 3221214336 1131724426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27135 13073 16 0 211685 0
vsize: 846804
[startup+340.077 s]
Raw data (loadavg): 1.04 1.04 0.96 2/65 4929
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 32563 42 1 0 25 0 11 0 548051431 867127296 27214 4294967295 134512640 134569956 3221224400 3221214152 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27214 13073 16 0 211685 0
vsize: 846804
[startup+350.077 s]
Raw data (loadavg): 1.04 1.04 0.96 2/65 4931
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 33550 43 1 0 25 0 11 0 548051431 867127296 27255 4294967295 134512640 134569956 3221224400 3221214664 1131240855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27255 13073 16 0 211685 0
vsize: 846804
[startup+360.077 s]
Raw data (loadavg): 1.03 1.03 0.96 2/65 4932
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 34537 43 1 0 25 0 11 0 548051431 867127296 27333 4294967295 134512640 134569956 3221224400 3221214596 1131670859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27333 13073 16 0 211685 0
vsize: 846804
[startup+370.077 s]
Raw data (loadavg): 1.03 1.03 0.96 2/65 4934
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 35523 43 1 0 25 0 11 0 548051431 867127296 27389 4294967295 134512640 134569956 3221224400 3221214664 1131240009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27389 13073 16 0 211685 0
vsize: 846804
[startup+380.078 s]
Raw data (loadavg): 1.02 1.03 0.96 2/65 4936
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 36508 43 2 0 25 0 11 0 548051431 867127296 27457 4294967295 134512640 134569956 3221224400 3221214760 1131339152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27457 13073 16 0 211685 0
vsize: 846804
[startup+390.093 s]
Raw data (loadavg): 1.02 1.03 0.96 2/65 4937
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 37493 43 2 0 25 0 11 0 548051431 867127296 27565 4294967295 134512640 134569956 3221224400 3221214664 1131240305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27565 13073 16 0 211685 0
vsize: 846804
[startup+400.093 s]
Raw data (loadavg): 1.01 1.03 0.96 2/65 4939
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 38476 43 2 0 25 0 11 0 548051431 867127296 27668 4294967295 134512640 134569956 3221224400 3221214760 1131339092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27668 13073 16 0 211685 0
vsize: 846804
[startup+410.101 s]
Raw data (loadavg): 1.01 1.03 0.96 2/65 4941
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 39464 44 2 0 25 0 11 0 548051431 867127296 27750 4294967295 134512640 134569956 3221224400 3221214664 1131241145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 27750 13073 16 0 211685 0
vsize: 846804
[startup+420.102 s]
Raw data (loadavg): 1.01 1.03 0.96 2/65 4944
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 40448 44 2 0 25 0 11 0 548051431 867127296 27858 4294967295 134512640 134569956 3221224400 3221214760 1131341886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27858 13073 16 0 211685 0
vsize: 846804
[startup+430.109 s]
Raw data (loadavg): 1.01 1.02 0.96 2/65 4946
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 41434 44 2 0 25 0 11 0 548051431 867127296 27981 4294967295 134512640 134569956 3221224400 3221214340 1131666569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 27981 13073 16 0 211685 0
vsize: 846804
[startup+440.117 s]
Raw data (loadavg): 1.01 1.02 0.96 2/65 4948
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 42421 44 2 1 25 0 11 0 548051431 867127296 28080 4294967295 134512640 134569956 3221224400 3221214664 1131240424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28080 13073 16 0 211685 0
vsize: 846804
[startup+450.121 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 4949
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 43405 44 2 1 24 0 11 0 548051431 867127296 28137 4294967295 134512640 134569956 3221224400 3221214664 1131239950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28137 13073 16 0 211685 0
vsize: 846804
[startup+460.121 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 4951
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 44390 45 2 1 25 0 11 0 548051431 867127296 28224 4294967295 134512640 134569956 3221224400 3221214664 1131240365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28224 13073 16 0 211685 0
vsize: 846804
[startup+470.121 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 4953
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 45373 45 2 1 25 0 11 0 548051431 867127296 28330 4294967295 134512640 134569956 3221224400 3221214664 1131240141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28330 13073 16 0 211685 0
vsize: 846804
[startup+480.122 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 4954
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 46356 45 2 1 25 0 11 0 548051431 867127296 28397 4294967295 134512640 134569956 3221224400 3221214760 1131338016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28397 13073 16 0 211685 0
vsize: 846804
[startup+490.122 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 4956
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 47341 46 3 1 25 0 11 0 548051431 867127296 28581 4294967295 134512640 134569956 3221224400 3221214664 1131240319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28581 13073 16 0 211685 0
vsize: 846804
[startup+500.121 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 4958
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 48329 46 3 1 25 0 11 0 548051431 867127296 28648 4294967295 134512640 134569956 3221224400 3221214664 1131240549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28648 13073 16 0 211685 0
vsize: 846804
[startup+510.131 s]
Raw data (loadavg): 1.07 1.03 0.96 2/65 4959
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 49316 46 3 1 25 0 11 0 548051431 867127296 28749 4294967295 134512640 134569956 3221224400 3221214424 1131670769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28749 13073 16 0 211685 0
vsize: 846804
[startup+520.131 s]
Raw data (loadavg): 1.06 1.03 0.96 2/65 4961
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 50303 46 3 1 25 0 11 0 548051431 867127296 28845 4294967295 134512640 134569956 3221224400 3221214664 1131240319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28845 13073 16 0 211685 0
vsize: 846804
[startup+530.131 s]
Raw data (loadavg): 1.05 1.03 0.96 2/65 4963
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 51291 46 3 1 25 0 11 0 548051431 867127296 28921 4294967295 134512640 134569956 3221224400 3221214424 1131670927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28921 13073 16 0 211685 0
vsize: 846804
[startup+540.135 s]
Raw data (loadavg): 1.04 1.03 0.96 2/65 4964
Raw data (stat): 4875 (java) S 4874 20838 20837 0 -1 0 18073 3 1 0 52280 46 3 1 25 0 11 0 548051431 867127296 28988 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 28988 13073 16 0 211685 0
vsize: 846804
[startup+550.137 s]
Raw data (loadavg): 1.04 1.03 0.96 2/65 4966
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 53268 46 3 1 25 0 11 0 548051431 867127296 29042 4294967295 134512640 134569956 3221224400 3221214768 1131666581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29042 13073 16 0 211685 0
vsize: 846804
[startup+560.137 s]
Raw data (loadavg): 1.03 1.03 0.96 2/65 4968
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 54256 46 3 1 25 0 11 0 548051431 867127296 29098 4294967295 134512640 134569956 3221224400 3221214760 1131338016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29098 13073 16 0 211685 0
vsize: 846804
[startup+570.137 s]
Raw data (loadavg): 1.02 1.03 0.96 2/65 4969
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 55243 46 3 1 25 0 11 0 548051431 867127296 29152 4294967295 134512640 134569956 3221224400 3221214664 1131241165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29152 13073 16 0 211685 0
vsize: 846804
[startup+580.139 s]
Raw data (loadavg): 1.02 1.02 0.96 2/65 4971
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 56228 47 3 1 25 0 11 0 548051431 867127296 29237 4294967295 134512640 134569956 3221224400 3221214756 1131241407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29237 13073 16 0 211685 0
vsize: 846804
[startup+590.139 s]
Raw data (loadavg): 1.02 1.02 0.96 2/65 4973
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 57216 47 3 1 25 0 11 0 548051431 867127296 29301 4294967295 134512640 134569956 3221224400 3221214664 1131240424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29301 13073 16 0 211685 0
vsize: 846804
[startup+600.138 s]
Raw data (loadavg): 1.01 1.02 0.96 2/65 4974
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 58201 47 3 1 25 0 11 0 548051431 867127296 29358 4294967295 134512640 134569956 3221224400 3221214660 1131665636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29358 13073 16 0 211685 0
vsize: 846804
[startup+610.139 s]
Raw data (loadavg): 1.01 1.02 0.96 2/65 4976
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 59186 47 3 1 25 0 11 0 548051431 867127296 29475 4294967295 134512640 134569956 3221224400 3221214664 1131240454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29475 13073 16 0 211685 0
vsize: 846804
[startup+620.139 s]
Raw data (loadavg): 1.01 1.02 0.96 2/65 4978
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 60171 47 3 1 25 0 11 0 548051431 867127296 29549 4294967295 134512640 134569956 3221224400 3221214664 1131240365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29549 13073 16 0 211685 0
vsize: 846804
[startup+630.14 s]
Raw data (loadavg): 1.01 1.02 0.96 2/65 4980
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 61159 48 3 1 25 0 11 0 548051431 867127296 29666 4294967295 134512640 134569956 3221224400 3221214664 1131240291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29666 13073 16 0 211685 0
vsize: 846804
[startup+640.14 s]
Raw data (loadavg): 1.01 1.02 0.96 2/65 4981
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 62143 48 3 1 25 0 11 0 548051431 867127296 29717 4294967295 134512640 134569956 3221224400 3221214760 1131342060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29717 13073 16 0 211685 0
vsize: 846804
[startup+650.14 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 4983
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 63126 48 4 1 25 0 11 0 548051431 867127296 29808 4294967295 134512640 134569956 3221224400 3221214664 1131240024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29808 13073 16 0 211685 0
vsize: 846804
[startup+660.146 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 4985
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 64109 48 4 1 25 0 11 0 548051431 867127296 29894 4294967295 134512640 134569956 3221224400 3221214416 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 29894 13073 16 0 211685 0
vsize: 846804
[startup+670.146 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 4986
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 65091 48 4 1 25 0 11 0 548051431 867127296 30026 4294967295 134512640 134569956 3221224400 3221214528 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30026 13073 16 0 211685 0
vsize: 846804
[startup+680.146 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 4988
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 66075 48 4 1 24 0 11 0 548051431 867127296 30158 4294967295 134512640 134569956 3221224400 3221214420 1131670864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30158 13073 16 0 211685 0
vsize: 846804
[startup+690.149 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 4990
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 67061 48 4 1 25 0 11 0 548051431 867127296 30260 4294967295 134512640 134569956 3221224400 3221214660 1131666560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30260 13073 16 0 211685 0
vsize: 846804
[startup+700.149 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 4991
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 68047 48 4 1 25 0 11 0 548051431 867127296 30384 4294967295 134512640 134569956 3221224400 3221214424 1131670769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30384 13073 16 0 211685 0
vsize: 846804
[startup+710.149 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 4993
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 69033 48 4 1 25 0 11 0 548051431 867127296 30443 4294967295 134512640 134569956 3221224400 3221214664 1131240024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30443 13073 16 0 211685 0
vsize: 846804
[startup+720.15 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 4997
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 70021 48 4 1 25 0 11 0 548051431 867127296 30579 4294967295 134512640 134569956 3221224400 3221214760 1131341883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30579 13073 16 0 211685 0
vsize: 846804
[startup+730.151 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 4998
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 71008 49 4 1 25 0 11 0 548051431 867127296 30611 4294967295 134512640 134569956 3221224400 3221214776 1131665450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 30611 13073 16 0 211685 0
vsize: 846804
[startup+740.151 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 5000
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 71994 49 4 1 25 0 11 0 548051431 867127296 30692 4294967295 134512640 134569956 3221224400 3221214672 1131670925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 30692 13073 16 0 211685 0
vsize: 846804
[startup+750.155 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 5002
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 72979 49 5 1 25 0 11 0 548051431 867127296 30787 4294967295 134512640 134569956 3221224400 3221214760 1131342052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30787 13073 16 0 211685 0
vsize: 846804
[startup+760.264 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 5003
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 73974 49 5 1 25 0 11 0 548051431 867127296 30841 4294967295 134512640 134569956 3221224400 3221214464 1131666578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30841 13073 16 0 211685 0
vsize: 846804
[startup+770.264 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 5005
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 74957 49 5 1 25 0 11 0 548051431 867127296 30890 4294967295 134512640 134569956 3221224400 3221214664 1131240365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 30890 13073 16 0 211685 0
vsize: 846804
[startup+780.264 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5007
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 75943 49 5 1 25 0 11 0 548051431 867127296 31027 4294967295 134512640 134569956 3221224400 3221214664 1131241260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31027 13073 16 0 211685 0
vsize: 846804
[startup+790.267 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5008
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 76928 50 5 1 25 0 11 0 548051431 867127296 31132 4294967295 134512640 134569956 3221224400 3221214760 1131340051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 31132 13073 16 0 211685 0
vsize: 846804
[startup+800.266 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5010
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 77913 50 5 1 25 0 11 0 548051431 867127296 31262 4294967295 134512640 134569956 3221224400 3221214664 1131240237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31262 13073 16 0 211685 0
vsize: 846804
[startup+810.271 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5012
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 78900 50 5 1 25 0 11 0 548051431 867127296 31345 4294967295 134512640 134569956 3221224400 3221214664 1131241196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31345 13073 16 0 211685 0
vsize: 846804
[startup+820.271 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5013
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 79886 50 5 1 24 0 11 0 548051431 867127296 31405 4294967295 134512640 134569956 3221224400 3221214728 1131670828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31405 13073 16 0 211685 0
vsize: 846804
[startup+830.271 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5015
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 80874 50 5 1 25 0 11 0 548051431 867127296 31468 4294967295 134512640 134569956 3221224400 3221214664 1131240174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 31468 13073 16 0 211685 0
vsize: 846804
[startup+840.271 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5017
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 81860 51 5 1 25 0 11 0 548051431 867127296 31586 4294967295 134512640 134569956 3221224400 3221214472 1131724440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 31586 13073 16 0 211685 0
vsize: 846804
[startup+850.271 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5018
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 82847 51 5 1 25 0 11 0 548051431 867127296 31671 4294967295 134512640 134569956 3221224400 3221214664 1131240319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 31671 13073 16 0 211685 0
vsize: 846804
[startup+860.271 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5020
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 83832 52 5 1 24 0 11 0 548051431 867127296 31716 4294967295 134512640 134569956 3221224400 3221214760 1131341956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 31716 13073 16 0 211685 0
vsize: 846804
[startup+870.271 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5022
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 84819 52 5 1 25 0 11 0 548051431 867127296 31772 4294967295 134512640 134569956 3221224400 3221214664 1131240595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 31772 13073 16 0 211685 0
vsize: 846804
[startup+880.272 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5023
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 85805 53 5 1 25 0 11 0 548051431 867127296 31829 4294967295 134512640 134569956 3221224400 3221214500 1131670864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 31829 13073 16 0 211685 0
vsize: 846804
[startup+890.272 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5025
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 86788 53 6 1 25 0 11 0 548051431 867127296 31939 4294967295 134512640 134569956 3221224400 3221214664 1131241241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 31939 13073 16 0 211685 0
vsize: 846804
[startup+900.273 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5027
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 87775 54 6 2 25 0 11 0 548051431 867127296 31982 4294967295 134512640 134569956 3221224400 3221214664 1131240319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 31982 13073 16 0 211685 0
vsize: 846804
[startup+910.273 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5028
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 88761 54 6 2 25 0 11 0 548051431 867127296 32075 4294967295 134512640 134569956 3221224400 3221214648 1131667908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 32075 13073 16 0 211685 0
vsize: 846804
[startup+920.273 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5030
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 89746 54 6 2 25 0 11 0 548051431 867127296 32187 4294967295 134512640 134569956 3221224400 3221214664 1131240365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32187 13073 16 0 211685 0
vsize: 846804
[startup+930.274 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5032
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 90734 54 6 2 25 0 11 0 548051431 867127296 32249 4294967295 134512640 134569956 3221224400 3221214664 1131241192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 32249 13073 16 0 211685 0
vsize: 846804
[startup+940.273 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5033
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 91721 55 6 2 25 0 11 0 548051431 867127296 32290 4294967295 134512640 134569956 3221224400 3221214664 1131241260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32290 13073 16 0 211685 0
vsize: 846804
[startup+950.273 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5035
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 92708 55 6 2 25 0 11 0 548051431 867127296 32378 4294967295 134512640 134569956 3221224400 3221214760 1131340051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32378 13073 16 0 211685 0
vsize: 846804
[startup+960.273 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5037
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 93696 56 6 2 25 0 11 0 548051431 867127296 32465 4294967295 134512640 134569956 3221224400 3221214760 1131339062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32465 13073 16 0 211685 0
vsize: 846804
[startup+970.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5038
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 94684 56 6 2 25 0 11 0 548051431 867127296 32524 4294967295 134512640 134569956 3221224400 3221214760 1131341903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32524 13073 16 0 211685 0
vsize: 846804
[startup+980.287 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5040
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 95670 57 6 2 25 0 11 0 548051431 867127296 32569 4294967295 134512640 134569956 3221224400 3221214760 1131339106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32569 13073 16 0 211685 0
vsize: 846804
[startup+990.287 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5042
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 96657 57 6 2 25 0 11 0 548051431 867127296 32630 4294967295 134512640 134569956 3221224400 3221214664 1131239933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32630 13073 16 0 211685 0
vsize: 846804
[startup+1000.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5043
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 97642 57 6 2 25 0 11 0 548051431 867127296 32723 4294967295 134512640 134569956 3221224400 3221214664 1131240381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32723 13073 16 0 211685 0
vsize: 846804
[startup+1010.3 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5045
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 98627 58 6 2 25 0 11 0 548051431 867127296 32793 4294967295 134512640 134569956 3221224400 3221214664 1131240365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32793 13073 16 0 211685 0
vsize: 846804
[startup+1020.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5048
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 99613 59 7 2 25 0 11 0 548051431 867127296 32889 4294967295 134512640 134569956 3221224400 3221214896 1131727516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32889 13073 16 0 211685 0
vsize: 846804
[startup+1030.3 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5050
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 100594 59 7 2 25 0 11 0 548051431 867127296 32954 4294967295 134512640 134569956 3221224400 3221214664 1131240365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 32954 13073 16 0 211685 0
vsize: 846804
[startup+1040.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5052
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 101563 60 7 2 25 0 11 0 548051431 867127296 33116 4294967295 134512640 134569956 3221224400 3221214664 1131239948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 33116 13073 16 0 211685 0
vsize: 846804
[startup+1050.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5053
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 102543 60 7 2 25 0 11 0 548051431 867127296 33157 4294967295 134512640 134569956 3221224400 3221214668 1131670808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 33157 13073 16 0 211685 0
vsize: 846804
[startup+1060.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5055
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 103521 61 7 2 25 0 11 0 548051431 867127296 33193 4294967295 134512640 134569956 3221224400 3221214760 1131339106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 33193 13073 16 0 211685 0
vsize: 846804
[startup+1070.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 5057
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 104503 61 7 2 25 0 11 0 548051431 867127296 33576 4294967295 134512640 134569956 3221224400 3221214664 1131240305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 33576 13073 16 0 211685 0
vsize: 846804
[startup+1080.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/68 5061
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 105489 63 7 2 25 0 11 0 548051431 867127296 33691 4294967295 134512640 134569956 3221224400 3221214664 1131240298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211701 33691 13073 16 0 211685 0
vsize: 846804
[startup+1090.31 s]
Raw data (loadavg): 1.07 1.02 0.97 2/65 5113
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 106474 63 7 2 25 0 11 0 548051431 867127296 33810 4294967295 134512640 134569956 3221224400 3221214760 1131339099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 33810 13073 16 0 211685 0
vsize: 846804
[startup+1100.31 s]
Raw data (loadavg): 1.06 1.02 0.97 2/65 5115
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 107460 63 7 3 25 0 11 0 548051431 867127296 33866 4294967295 134512640 134569956 3221224400 3221214664 1131240100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 33866 13073 16 0 211685 0
vsize: 846804
[startup+1110.31 s]
Raw data (loadavg): 1.05 1.01 0.97 2/65 5116
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 108446 63 7 3 25 0 11 0 548051431 867127296 33930 4294967295 134512640 134569956 3221224400 3221214776 1131665513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 33930 13073 16 0 211685 0
vsize: 846804
[startup+1120.31 s]
Raw data (loadavg): 1.04 1.01 0.97 2/65 5118
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 109434 64 7 3 25 0 11 0 548051431 867127296 33968 4294967295 134512640 134569956 3221224400 3221214664 1131240319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 33968 13073 16 0 211685 0
vsize: 846804
[startup+1130.31 s]
Raw data (loadavg): 1.04 1.01 0.97 2/65 5120
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 110417 64 7 3 25 0 11 0 548051431 867127296 34087 4294967295 134512640 134569956 3221224400 3221214664 1131240317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34087 13073 16 0 211685 0
vsize: 846804
[startup+1140.31 s]
Raw data (loadavg): 1.03 1.01 0.97 2/65 5121
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 111399 64 7 3 25 0 11 0 548051431 867127296 34132 4294967295 134512640 134569956 3221224400 3221214472 1131724402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34132 13073 16 0 211685 0
vsize: 846804
[startup+1150.31 s]
Raw data (loadavg): 1.02 1.01 0.97 2/65 5123
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 112384 65 7 3 25 0 11 0 548051431 867127296 34173 4294967295 134512640 134569956 3221224400 3221214732 1131306787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34173 13073 16 0 211685 0
vsize: 846804
[startup+1160.31 s]
Raw data (loadavg): 1.02 1.01 0.97 2/65 5127
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 113365 66 8 3 25 0 11 0 548051431 867127296 34296 4294967295 134512640 134569956 3221224400 3221214760 1131337803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34296 13073 16 0 211685 0
vsize: 846804
[startup+1170.31 s]
Raw data (loadavg): 1.02 1.01 0.97 2/65 5128
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 114350 66 8 3 25 0 11 0 548051431 867127296 34473 4294967295 134512640 134569956 3221224400 3221214664 1131240065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34473 13073 16 0 211685 0
vsize: 846804
[startup+1180.31 s]
Raw data (loadavg): 1.01 1.01 0.97 2/65 5130
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 115338 66 8 3 25 0 11 0 548051431 867127296 34559 4294967295 134512640 134569956 3221224400 3221214760 1131341841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34559 13073 16 0 211685 0
vsize: 846804
[startup+1190.31 s]
Raw data (loadavg): 1.01 1.01 0.97 2/65 5132
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 116322 67 8 3 25 0 11 0 548051431 867127296 34608 4294967295 134512640 134569956 3221224400 3221214664 1131240511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34608 13073 16 0 211685 0
vsize: 846804
[startup+1200.31 s]
Raw data (loadavg): 1.01 1.01 0.97 2/65 5133
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 117305 67 8 3 25 0 11 0 548051431 867127296 34671 4294967295 134512640 134569956 3221224400 3221214600 1131665672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34671 13073 16 0 211685 0
vsize: 846804
[startup+1210.31 s]
Raw data (loadavg): 1.01 1.00 0.97 2/65 5135
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 118288 68 8 3 25 0 11 0 548051431 867127296 34728 4294967295 134512640 134569956 3221224400 3221214664 1131240744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34728 13073 16 0 211685 0
vsize: 846804
[startup+1220.31 s]
Raw data (loadavg): 1.01 1.00 0.97 2/65 5137
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 119271 68 8 3 25 0 11 0 548051431 867127296 34818 4294967295 134512640 134569956 3221224400 3221214664 1131239941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34818 13073 16 0 211685 0
vsize: 846804
[startup+1230.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 5138
Raw data (stat): 4875 (java) R 4874 20838 20837 0 -1 0 18073 3 1 0 120254 68 8 3 25 0 11 0 548051431 867127296 34997 4294967295 134512640 134569956 3221224400 3221214664 1131240365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211701 34997 13073 16 0 211685 0
vsize: 846804
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.43 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 5140
Raw data (stat): 4875 (java) Z 4874 20838 20837 0 -1 1036 18073 26685 1 0 120259 68 4237 76 25 0 1 0 548051431 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.43
CPU time (s): 1246.42
CPU user time (s): 1244.96
CPU system time (s): 1.45778
CPU usage (%): 101.3
Max. virtual memory (Kb): 850844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####