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-bg512142.opb
MD5SUM	bad364b24a8c9bb1cd282751f54245c6
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	9600
Biggest coefficient in the objective function	5368709120000
Number of bits for the biggest coefficient in the objective function	43
Sum of the numbers in the objective function	773893279252632
Number of bits of the sum of numbers in the objective function	50
Biggest number in a constraint	5368709120000
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	773893279252632
Number of bits of the biggest sum of numbers	50
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1210.55
Number of variables	16800
Total number of constraints	1307
Number of constraints which are clauses	11
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1296
Minimum length of a constraint	1
Maximum length of a constraint	183
Trace number 20453

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        737592 kB
Buffers:         15936 kB
Cached:         258920 kB
SwapCached:          0 kB
Active:         112132 kB
Inactive:       165584 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        737340 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6952 kB
Slab:            13724 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 21:22:34 (client local time) WITH STATUS 143 IN 1319.4 SECONDS
stats: 14933 7 1319.4 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-bg512142.opb
c reading problem 
c [nbvar=16800]
c [nbconstr=1307]
c time 87.816
c #vars     16800
c #clauses  1186
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=302776320
c Current CPU time (ms) : 99.261
c starts	: 1
c conflicts	: 0
c decisions	: 6830
c propagations	: 16800
c inspects	: 28474
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-1844707328
c Current CPU time (ms) : 108.802
c starts	: 2
c conflicts	: 0
c decisions	: 13659
c propagations	: 30863
c inspects	: 53153
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 118.549
c starts	: 3
c conflicts	: 0
c decisions	: 20487
c propagations	: 44926
c inspects	: 77832
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 3
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 128.572
c starts	: 4
c conflicts	: 0
c decisions	: 27315
c propagations	: 58989
c inspects	: 102511
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 4
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 138.428
c starts	: 5
c conflicts	: 0
c decisions	: 34143
c propagations	: 73052
c inspects	: 127190
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 5
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 148.308
c starts	: 6
c conflicts	: 0
c decisions	: 40971
c propagations	: 87115
c inspects	: 151868
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 6
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 158.131
c starts	: 7
c conflicts	: 0
c decisions	: 47799
c propagations	: 101178
c inspects	: 176546
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 7
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 168.004
c starts	: 8
c conflicts	: 0
c decisions	: 54627
c propagations	: 115241
c inspects	: 201224
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 8
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 177.784
c starts	: 9
c conflicts	: 0
c decisions	: 61455
c propagations	: 129304
c inspects	: 225904
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 9
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 187.56
c starts	: 10
c conflicts	: 0
c decisions	: 68283
c propagations	: 143367
c inspects	: 250582
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 10
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 197.296
c starts	: 11
c conflicts	: 0
c decisions	: 75111
c propagations	: 157430
c inspects	: 275260
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 11
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 207.137
c starts	: 12
c conflicts	: 0
c decisions	: 81939
c propagations	: 171493
c inspects	: 299939
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 12
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 216.912
c starts	: 13
c conflicts	: 0
c decisions	: 88767
c propagations	: 185556
c inspects	: 324618
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 13
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 226.793
c starts	: 14
c conflicts	: 0
c decisions	: 95595
c propagations	: 199619
c inspects	: 349297
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 14
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 236.684
c starts	: 15
c conflicts	: 0
c decisions	: 102423
c propagations	: 213682
c inspects	: 373975
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 15
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 246.432
c starts	: 16
c conflicts	: 0
c decisions	: 109251
c propagations	: 227745
c inspects	: 398654
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 16
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 256.254
c starts	: 17
c conflicts	: 0
c decisions	: 116079
c propagations	: 241808
c inspects	: 423333
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 17
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 265.963
c starts	: 18
c conflicts	: 0
c decisions	: 122907
c propagations	: 255871
c inspects	: 448011
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 18
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 275.773
c starts	: 19
c conflicts	: 0
c decisions	: 129735
c propagations	: 269934
c inspects	: 472690
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 19
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 285.414
c starts	: 20
c conflicts	: 0
c decisions	: 136563
c propagations	: 283997
c inspects	: 497369
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 20
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 295.121
c starts	: 21
c conflicts	: 0
c decisions	: 143391
c propagations	: 298060
c inspects	: 522048
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 21
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 304.793
c starts	: 22
c conflicts	: 0
c decisions	: 150219
c propagations	: 312123
c inspects	: 546726
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 22
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 314.542
c starts	: 23
c conflicts	: 0
c decisions	: 157047
c propagations	: 326186
c inspects	: 571405
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 23
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 324.377
c starts	: 24
c conflicts	: 0
c decisions	: 163875
c propagations	: 340249
c inspects	: 596084
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 24
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 334.085
c starts	: 25
c conflicts	: 0
c decisions	: 170703
c propagations	: 354312
c inspects	: 620763
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 25
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 344.018
c starts	: 26
c conflicts	: 0
c decisions	: 177531
c propagations	: 368375
c inspects	: 645441
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 26
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 353.898
c starts	: 27
c conflicts	: 0
c decisions	: 184359
c propagations	: 382438
c inspects	: 670119
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 27
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 363.777
c starts	: 28
c conflicts	: 0
c decisions	: 191187
c propagations	: 396501
c inspects	: 694797
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 28
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 373.568
c starts	: 29
c conflicts	: 0
c decisions	: 198015
c propagations	: 410564
c inspects	: 719476
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 29
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 383.366
c starts	: 30
c conflicts	: 0
c decisions	: 204843
c propagations	: 424627
c inspects	: 744155
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 30
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 393.13
c starts	: 31
c conflicts	: 0
c decisions	: 211671
c propagations	: 438690
c inspects	: 768834
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 31
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 403.004
c starts	: 32
c conflicts	: 0
c decisions	: 218499
c propagations	: 452753
c inspects	: 793514
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 32
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 412.774
c starts	: 33
c conflicts	: 0
c decisions	: 225327
c propagations	: 466816
c inspects	: 818192
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 33
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 422.623
c starts	: 34
c conflicts	: 0
c decisions	: 232155
c propagations	: 480879
c inspects	: 842871
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 34
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 432.479
c starts	: 35
c conflicts	: 0
c decisions	: 238983
c propagations	: 494942
c inspects	: 867550
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 35
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 442.238
c starts	: 36
c conflicts	: 0
c decisions	: 245811
c propagations	: 509005
c inspects	: 892228
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 36
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 452.073
c starts	: 37
c conflicts	: 0
c decisions	: 252639
c propagations	: 523068
c inspects	: 916907
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 37
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 461.787
c starts	: 38
c conflicts	: 0
c decisions	: 259467
c propagations	: 537131
c inspects	: 941586
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 38
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 471.256
c starts	: 39
c conflicts	: 0
c decisions	: 266295
c propagations	: 551194
c inspects	: 966266
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 39
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 480.611
c starts	: 40
c conflicts	: 0
c decisions	: 273123
c propagations	: 565257
c inspects	: 990945
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 40
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 490.221
c starts	: 41
c conflicts	: 0
c decisions	: 279951
c propagations	: 579320
c inspects	: 1015624
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 41
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 500.04
c starts	: 42
c conflicts	: 0
c decisions	: 286779
c propagations	: 593383
c inspects	: 1040304
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 42
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 509.744
c starts	: 43
c conflicts	: 0
c decisions	: 293607
c propagations	: 607446
c inspects	: 1064982
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 43
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 519.524
c starts	: 44
c conflicts	: 0
c decisions	: 300435
c propagations	: 621509
c inspects	: 1089662
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 44
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 529.243
c starts	: 45
c conflicts	: 0
c decisions	: 307263
c propagations	: 635572
c inspects	: 1114341
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 45
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 539.103
c starts	: 46
c conflicts	: 0
c decisions	: 314091
c propagations	: 649635
c inspects	: 1139020
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 46
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 548.896
c starts	: 47
c conflicts	: 0
c decisions	: 320919
c propagations	: 663698
c inspects	: 1163699
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 47
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 558.857
c starts	: 48
c conflicts	: 0
c decisions	: 327747
c propagations	: 677761
c inspects	: 1188377
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 48
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 568.759
c starts	: 49
c conflicts	: 0
c decisions	: 334575
c propagations	: 691824
c inspects	: 1213056
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 49
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 578.765
c starts	: 50
c conflicts	: 0
c decisions	: 341403
c propagations	: 705887
c inspects	: 1237735
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 50
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 588.711
c starts	: 51
c conflicts	: 0
c decisions	: 348231
c propagations	: 719950
c inspects	: 1262414
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 51
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 598.625
c starts	: 52
c conflicts	: 0
c decisions	: 355059
c propagations	: 734013
c inspects	: 1287094
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 52
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 608.468
c starts	: 53
c conflicts	: 0
c decisions	: 361887
c propagations	: 748076
c inspects	: 1311773
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 53
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 618.162
c starts	: 54
c conflicts	: 0
c decisions	: 368715
c propagations	: 762139
c inspects	: 1336452
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 54
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 627.992
c starts	: 55
c conflicts	: 0
c decisions	: 375543
c propagations	: 776202
c inspects	: 1361131
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 55
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 637.722
c starts	: 56
c conflicts	: 0
c decisions	: 382371
c propagations	: 790265
c inspects	: 1385810
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 56
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 647.572
c starts	: 57
c conflicts	: 0
c decisions	: 389199
c propagations	: 804328
c inspects	: 1410489
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 57
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 657.312
c starts	: 58
c conflicts	: 0
c decisions	: 396027
c propagations	: 818391
c inspects	: 1435168
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 58
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 667.151
c starts	: 59
c conflicts	: 0
c decisions	: 402855
c propagations	: 832454
c inspects	: 1459846
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 59
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 676.983
c starts	: 60
c conflicts	: 0
c decisions	: 409683
c propagations	: 846517
c inspects	: 1484524
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 60
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 686.741
c starts	: 61
c conflicts	: 0
c decisions	: 416511
c propagations	: 860580
c inspects	: 1509204
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 61
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 696.59
c starts	: 62
c conflicts	: 0
c decisions	: 423339
c propagations	: 874643
c inspects	: 1533882
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 62
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 706.393
c starts	: 63
c conflicts	: 0
c decisions	: 430167
c propagations	: 888706
c inspects	: 1558561
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 63
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 716.368
c starts	: 64
c conflicts	: 0
c decisions	: 436995
c propagations	: 902769
c inspects	: 1583240
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 64
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 726.236
c starts	: 65
c conflicts	: 0
c decisions	: 443823
c propagations	: 916832
c inspects	: 1607918
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 65
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 736.206
c starts	: 66
c conflicts	: 0
c decisions	: 450651
c propagations	: 930895
c inspects	: 1632597
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 66
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 746.162
c starts	: 67
c conflicts	: 0
c decisions	: 457479
c propagations	: 944958
c inspects	: 1657275
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 67
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 756.012
c starts	: 68
c conflicts	: 0
c decisions	: 464307
c propagations	: 959021
c inspects	: 1681955
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 68
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 765.979
c starts	: 69
c conflicts	: 0
c decisions	: 471135
c propagations	: 973084
c inspects	: 1706634
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 69
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 775.868
c starts	: 70
c conflicts	: 0
c decisions	: 477963
c propagations	: 987147
c inspects	: 1731314
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 70
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 785.832
c starts	: 71
c conflicts	: 0
c decisions	: 484791
c propagations	: 1001210
c inspects	: 1755993
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 71
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 795.719
c starts	: 72
c conflicts	: 0
c decisions	: 491619
c propagations	: 1015273
c inspects	: 1780672
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 72
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 805.659
c starts	: 73
c conflicts	: 0
c decisions	: 498447
c propagations	: 1029336
c inspects	: 1805351
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 73
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 815.646
c starts	: 74
c conflicts	: 0
c decisions	: 505275
c propagations	: 1043399
c inspects	: 1830030
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 74
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 825.497
c starts	: 75
c conflicts	: 0
c decisions	: 512103
c propagations	: 1057462
c inspects	: 1854709
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 75
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 835.404
c starts	: 76
c conflicts	: 0
c decisions	: 518931
c propagations	: 1071525
c inspects	: 1879387
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 76
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 845.376
c starts	: 77
c conflicts	: 0
c decisions	: 525759
c propagations	: 1085588
c inspects	: 1904065
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 77
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 855.268
c starts	: 78
c conflicts	: 0
c decisions	: 532587
c propagations	: 1099651
c inspects	: 1928743
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 78
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 865.113
c starts	: 79
c conflicts	: 0
c decisions	: 539415
c propagations	: 1113714
c inspects	: 1953422
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 79
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 875.042
c starts	: 80
c conflicts	: 0
c decisions	: 546243
c propagations	: 1127777
c inspects	: 1978100
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 80
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 884.947
c starts	: 81
c conflicts	: 0
c decisions	: 553071
c propagations	: 1141840
c inspects	: 2002779
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 81
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 894.779
c starts	: 82
c conflicts	: 0
c decisions	: 559899
c propagations	: 1155903
c inspects	: 2027457
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 82
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 904.68
c starts	: 83
c conflicts	: 0
c decisions	: 566727
c propagations	: 1169966
c inspects	: 2052136
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 83
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 914.523
c starts	: 84
c conflicts	: 0
c decisions	: 573555
c propagations	: 1184029
c inspects	: 2076815
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 84
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 924.443
c starts	: 85
c conflicts	: 0
c decisions	: 580383
c propagations	: 1198092
c inspects	: 2101494
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 85
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 934.292
c starts	: 86
c conflicts	: 0
c decisions	: 587211
c propagations	: 1212155
c inspects	: 2126173
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 86
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 944.22
c starts	: 87
c conflicts	: 0
c decisions	: 594039
c propagations	: 1226218
c inspects	: 2150851
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 87
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 954.154
c starts	: 88
c conflicts	: 0
c decisions	: 600867
c propagations	: 1240281
c inspects	: 2175529
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 88
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 963.978
c starts	: 89
c conflicts	: 0
c decisions	: 607695
c propagations	: 1254344
c inspects	: 2200208
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 89
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 973.861
c starts	: 90
c conflicts	: 0
c decisions	: 614523
c propagations	: 1268407
c inspects	: 2224886
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 90
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 983.69
c starts	: 91
c conflicts	: 0
c decisions	: 621351
c propagations	: 1282470
c inspects	: 2249565
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 91
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 993.637
c starts	: 92
c conflicts	: 0
c decisions	: 628179
c propagations	: 1296533
c inspects	: 2274245
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 92
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1003.494
c starts	: 93
c conflicts	: 0
c decisions	: 635007
c propagations	: 1310596
c inspects	: 2298924
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 93
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1013.481
c starts	: 94
c conflicts	: 0
c decisions	: 641835
c propagations	: 1324659
c inspects	: 2323603
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 94
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1023.42
c starts	: 95
c conflicts	: 0
c decisions	: 648663
c propagations	: 1338722
c inspects	: 2348282
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 95
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1033.227
c starts	: 96
c conflicts	: 0
c decisions	: 655491
c propagations	: 1352785
c inspects	: 2372961
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 96
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1043.303
c starts	: 97
c conflicts	: 0
c decisions	: 662319
c propagations	: 1366848
c inspects	: 2397640
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 97
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1052.98
c starts	: 98
c conflicts	: 0
c decisions	: 669147
c propagations	: 1380911
c inspects	: 2422319
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 98
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1063.005
c starts	: 99
c conflicts	: 0
c decisions	: 675975
c propagations	: 1394974
c inspects	: 2446998
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 99
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1073.021
c starts	: 100
c conflicts	: 0
c decisions	: 682803
c propagations	: 1409037
c inspects	: 2471677
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 100
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1083.035
c starts	: 101
c conflicts	: 0
c decisions	: 689631
c propagations	: 1423100
c inspects	: 2496356
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 101
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1093.002
c starts	: 102
c conflicts	: 0
c decisions	: 696459
c propagations	: 1437163
c inspects	: 2521035
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 102
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1102.904
c starts	: 103
c conflicts	: 0
c decisions	: 703287
c propagations	: 1451226
c inspects	: 2545714
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 103
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1112.881
c starts	: 104
c conflicts	: 0
c decisions	: 710115
c propagations	: 1465289
c inspects	: 2570392
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 104
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1122.758
c starts	: 105
c conflicts	: 0
c decisions	: 716943
c propagations	: 1479352
c inspects	: 2595071
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 105
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1132.747
c starts	: 106
c conflicts	: 0
c decisions	: 723771
c propagations	: 1493415
c inspects	: 2619750
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 106
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1142.696
c starts	: 107
c conflicts	: 0
c decisions	: 730599
c propagations	: 1507478
c inspects	: 2644429
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 107
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1152.585
c starts	: 108
c conflicts	: 0
c decisions	: 737427
c propagations	: 1521541
c inspects	: 2669107
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 108
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1162.522
c starts	: 109
c conflicts	: 0
c decisions	: 744255
c propagations	: 1535604
c inspects	: 2693786
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 109
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1172.398
c starts	: 110
c conflicts	: 0
c decisions	: 751083
c propagations	: 1549667
c inspects	: 2718465
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 110
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1182.394
c starts	: 111
c conflicts	: 0
c decisions	: 757911
c propagations	: 1563730
c inspects	: 2743144
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 111
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1192.285
c starts	: 112
c conflicts	: 0
c decisions	: 764739
c propagations	: 1577793
c inspects	: 2767822
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 112
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1202.279
c starts	: 113
c conflicts	: 0
c decisions	: 771567
c propagations	: 1591856
c inspects	: 2792501
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 113
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1212.268
c starts	: 114
c conflicts	: 0
c decisions	: 778395
c propagations	: 1605919
c inspects	: 2817179
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 114
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1222.19
c starts	: 115
c conflicts	: 0
c decisions	: 785223
c propagations	: 1619982
c inspects	: 2841859
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 115
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1232.197
c starts	: 116
c conflicts	: 0
c decisions	: 792051
c propagations	: 1634045
c inspects	: 2866537
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 116
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1242.119
c starts	: 117
c conflicts	: 0
c decisions	: 798879
c propagations	: 1648108
c inspects	: 2891217
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 117
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1252.131
c starts	: 118
c conflicts	: 0
c decisions	: 805707
c propagations	: 1662171
c inspects	: 2915896
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 118
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1262.158
c starts	: 119
c conflicts	: 0
c decisions	: 812535
c propagations	: 1676234
c inspects	: 2940576
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 119
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1272.079
c starts	: 120
c conflicts	: 0
c decisions	: 819363
c propagations	: 1690297
c inspects	: 2965255
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 120
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1282.111
c starts	: 121
c conflicts	: 0
c decisions	: 826191
c propagations	: 1704360
c inspects	: 2989934
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 121
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1292.05
c starts	: 122
c conflicts	: 0
c decisions	: 833019
c propagations	: 1718423
c inspects	: 3014614
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 122
c 
c CURRENT OPTIMUM=436994048
c Current CPU time (ms) : 1302.116
c starts	: 123
c conflicts	: 0
c decisions	: 839847
c propagations	: 1732486
c inspects	: 3039292
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 123
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.73 0.91 0.89 2/54 7427
Raw data (stat): 7427 (runsolver) R 7426 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 476368707 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.0006 s]
Raw data (loadavg): 0.93 0.94 0.90 2/63 7436
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 17979 0 1 0 866 41 0 0 25 0 10 0 476368707 853807104 19283 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208449 19283 13073 16 0 208433 0
vsize: 833796
[startup+20.0019 s]
Raw data (loadavg): 1.09 0.98 0.91 2/63 7436
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 17979 0 1 0 1752 42 0 0 25 0 10 0 476368707 853610496 19786 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208401 19786 13073 16 0 208385 0
vsize: 833604
[startup+30.0021 s]
Raw data (loadavg): 1.24 1.01 0.92 4/63 7436
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18000 0 1 0 2606 42 0 0 25 0 10 0 476368707 865017856 22759 4294967295 134512640 134569956 3221224400 3221213860 1130902044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211186 22759 13073 16 0 211170 0
vsize: 844744
[startup+40.0019 s]
Raw data (loadavg): 1.20 1.01 0.92 2/63 7438
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18008 0 1 0 3424 43 0 0 25 0 10 0 476368707 863453184 22879 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210804 22879 13073 16 0 210788 0
vsize: 843216
[startup+50.0032 s]
Raw data (loadavg): 1.17 1.01 0.92 2/63 7438
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18008 0 1 0 4287 43 0 0 25 0 10 0 476368707 863453184 23276 4294967295 134512640 134569956 3221224400 3221214840 1131219342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210804 23276 13073 16 0 210788 0
vsize: 843216
[startup+60.0035 s]
Raw data (loadavg): 1.14 1.01 0.92 2/63 7438
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18008 0 1 0 5174 44 0 0 25 0 10 0 476368707 863453184 23746 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210804 23746 13073 16 0 210788 0
vsize: 843216
[startup+70.0033 s]
Raw data (loadavg): 1.12 1.01 0.92 2/63 7438
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18008 0 1 0 6071 44 0 0 25 0 10 0 476368707 863453184 24030 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210804 24030 13073 16 0 210788 0
vsize: 843216
[startup+80.0134 s]
Raw data (loadavg): 1.10 1.00 0.92 2/63 7438
Raw data (stat): 7427 (java) S 7426 26667 26666 0 -1 0 18008 0 1 0 6961 45 0 0 25 0 10 0 476368707 863453184 24205 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210804 24205 13073 16 0 210788 0
vsize: 843216
[startup+90.013 s]
Raw data (loadavg): 1.17 1.02 0.93 2/64 7439
Raw data (stat): 7427 (java) S 7426 26667 26666 0 -1 0 18038 0 1 0 7861 47 0 0 25 0 11 0 476368707 862932992 24267 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 24267 13073 16 0 210661 0
vsize: 842708
[startup+100.014 s]
Raw data (loadavg): 1.14 1.02 0.93 4/63 7439
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 8796 47 0 0 25 0 10 0 476368707 862932992 26470 4294967295 134512640 134569956 3221224400 3221212928 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26470 13073 16 0 210661 0
vsize: 842708
[startup+110.015 s]
Raw data (loadavg): 1.12 1.02 0.93 2/64 7441
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 9744 48 0 0 25 0 11 0 476368707 862932992 26470 4294967295 134512640 134569956 3221224400 3221214664 1131267412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26470 13073 16 0 210661 0
vsize: 842708
[startup+120.015 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 7442
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 10668 48 0 0 25 0 11 0 476368707 862932992 26470 4294967295 134512640 134569956 3221224400 3221214664 1131267280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26470 13073 16 0 210661 0
vsize: 842708
[startup+130.015 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 7443
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 11574 48 0 0 25 0 11 0 476368707 862932992 26705 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26705 13073 16 0 210661 0
vsize: 842708
[startup+140.015 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 7444
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 12479 48 0 0 25 0 11 0 476368707 862932992 26865 4294967295 134512640 134569956 3221224400 3221214664 1131267003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 26865 13073 16 0 210661 0
vsize: 842708
[startup+150.015 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 7445
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 13389 48 0 0 25 0 11 0 476368707 862932992 27130 4294967295 134512640 134569956 3221224400 3221214664 1131267369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27130 13073 16 0 210661 0
vsize: 842708
[startup+160.015 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 7446
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 14305 49 0 0 25 0 11 0 476368707 862932992 27368 4294967295 134512640 134569956 3221224400 3221214664 1131266743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27368 13073 16 0 210661 0
vsize: 842708
[startup+170.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 7447
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 15218 49 0 0 25 0 11 0 476368707 862932992 27717 4294967295 134512640 134569956 3221224400 3221214664 1131266275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27717 13073 16 0 210661 0
vsize: 842708
[startup+180.016 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 7448
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 16132 49 0 0 25 0 11 0 476368707 862932992 27979 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 27979 13073 16 0 210661 0
vsize: 842708
[startup+190.017 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 7449
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 17057 49 0 0 24 0 11 0 476368707 862932992 28368 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28368 13073 16 0 210661 0
vsize: 842708
[startup+200.025 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 7450
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 17983 50 0 0 25 0 11 0 476368707 862932992 28577 4294967295 134512640 134569956 3221224400 3221214760 1131400787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 28577 13073 16 0 210661 0
vsize: 842708
[startup+210.025 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 7451
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 18902 50 0 0 25 0 11 0 476368707 862932992 29075 4294967295 134512640 134569956 3221224400 3221214664 1131266085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 29075 13073 16 0 210661 0
vsize: 842708
[startup+220.025 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 7452
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 19817 50 0 0 25 0 11 0 476368707 862932992 29244 4294967295 134512640 134569956 3221224400 3221214664 1131266365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 29244 13073 16 0 210661 0
vsize: 842708
[startup+230.026 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 7453
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 20731 50 0 0 25 0 11 0 476368707 862932992 29457 4294967295 134512640 134569956 3221224400 3221214664 1131266081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 29457 13073 16 0 210661 0
vsize: 842708
[startup+240.026 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 7454
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 21653 50 0 0 25 0 11 0 476368707 862932992 29767 4294967295 134512640 134569956 3221224400 3221214664 1131266397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 29767 13073 16 0 210661 0
vsize: 842708
[startup+250.026 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 7455
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 22575 50 0 0 25 0 11 0 476368707 862932992 30021 4294967295 134512640 134569956 3221224400 3221214760 1131398539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 30021 13073 16 0 210661 0
vsize: 842708
[startup+260.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 7456
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 23498 50 0 0 25 0 11 0 476368707 862932992 30270 4294967295 134512640 134569956 3221224400 3221214664 1131266106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 30270 13073 16 0 210661 0
vsize: 842708
[startup+270.027 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 7459
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 24420 51 0 0 25 0 11 0 476368707 862932992 30523 4294967295 134512640 134569956 3221224400 3221214760 1131399575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 30523 13073 16 0 210661 0
vsize: 842708
[startup+280.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7460
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 25346 51 0 0 24 0 11 0 476368707 862932992 31058 4294967295 134512640 134569956 3221224400 3221214760 1131399810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 31058 13073 16 0 210661 0
vsize: 842708
[startup+290.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7461
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 26284 51 0 0 25 0 11 0 476368707 862932992 31278 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 31278 13073 16 0 210661 0
vsize: 842708
[startup+300.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7462
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 27215 51 0 0 25 0 11 0 476368707 862932992 31817 4294967295 134512640 134569956 3221224400 3221214664 1131266356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 31817 13073 16 0 210661 0
vsize: 842708
[startup+310.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7463
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 28145 51 1 0 25 0 11 0 476368707 862932992 31987 4294967295 134512640 134569956 3221224400 3221214760 1131399792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 31987 13073 16 0 210661 0
vsize: 842708
[startup+320.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7464
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 29073 51 1 0 25 0 11 0 476368707 862932992 32156 4294967295 134512640 134569956 3221224400 3221214760 1131403406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 32156 13073 16 0 210661 0
vsize: 842708
[startup+330.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7465
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 29994 51 1 0 25 0 11 0 476368707 862932992 32505 4294967295 134512640 134569956 3221224400 3221214664 1131266081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 32505 13073 16 0 210661 0
vsize: 842708
[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7466
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 30911 51 1 0 24 0 11 0 476368707 862932992 32610 4294967295 134512640 134569956 3221224400 3221214760 1131403406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 32610 13073 16 0 210661 0
vsize: 842708
[startup+350.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7467
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 31828 52 1 0 25 0 11 0 476368707 862932992 32863 4294967295 134512640 134569956 3221224400 3221214664 1131266081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 32863 13073 16 0 210661 0
vsize: 842708
[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7468
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 32738 52 1 0 25 0 11 0 476368707 862932992 33233 4294967295 134512640 134569956 3221224400 3221214664 1131266638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 33233 13073 16 0 210661 0
vsize: 842708
[startup+370.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7469
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 33657 52 1 0 25 0 11 0 476368707 862932992 33494 4294967295 134512640 134569956 3221224400 3221214664 1131266611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 33494 13073 16 0 210661 0
vsize: 842708
[startup+380.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7470
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 34585 53 1 0 25 0 11 0 476368707 862932992 33751 4294967295 134512640 134569956 3221224400 3221214760 1131400758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 33751 13073 16 0 210661 0
vsize: 842708
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7471
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 35509 53 1 0 25 0 11 0 476368707 862932992 33965 4294967295 134512640 134569956 3221224400 3221214760 1131398750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 33965 13073 16 0 210661 0
vsize: 842708
[startup+400.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7472
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 36429 53 1 0 25 0 11 0 476368707 862932992 34195 4294967295 134512640 134569956 3221224400 3221214760 1131398750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 34195 13073 16 0 210661 0
vsize: 842708
[startup+410.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7473
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 37353 53 1 0 25 0 11 0 476368707 862932992 34429 4294967295 134512640 134569956 3221224400 3221214664 1131266088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 34429 13073 16 0 210661 0
vsize: 842708
[startup+420.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7474
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 38279 53 1 0 25 0 11 0 476368707 862932992 34681 4294967295 134512640 134569956 3221224400 3221214664 1131266123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 34681 13073 16 0 210661 0
vsize: 842708
[startup+430.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7475
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 39202 54 1 0 25 0 11 0 476368707 862932992 34951 4294967295 134512640 134569956 3221224400 3221214664 1131266439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 34951 13073 16 0 210661 0
vsize: 842708
[startup+440.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7476
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 40124 54 1 0 25 0 11 0 476368707 862932992 35189 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 35189 13073 16 0 210661 0
vsize: 842708
[startup+450.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7477
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 41047 54 1 0 25 0 11 0 476368707 862932992 35402 4294967295 134512640 134569956 3221224400 3221214664 1131266466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 35402 13073 16 0 210661 0
vsize: 842708
[startup+460.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7478
Raw data (stat): 7427 (java) S 7426 26667 26666 0 -1 0 18040 3 1 0 41974 54 1 0 25 0 11 0 476368707 862932992 35699 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 35699 13073 16 0 210661 0
vsize: 842708
[startup+470.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7479
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 42924 54 1 0 25 0 11 0 476368707 862932992 37641 4294967295 134512640 134569956 3221224400 3221214664 1131267369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 37641 13073 16 0 210661 0
vsize: 842708
[startup+480.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7480
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 43897 54 1 0 25 0 11 0 476368707 862932992 37641 4294967295 134512640 134569956 3221224400 3221214664 1131266714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 37641 13073 16 0 210661 0
vsize: 842708
[startup+490.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7481
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 44846 55 1 0 25 0 11 0 476368707 862932992 37641 4294967295 134512640 134569956 3221224400 3221214664 1131266176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 37641 13073 16 0 210661 0
vsize: 842708
[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7482
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 45777 55 2 0 25 0 11 0 476368707 862932992 37662 4294967295 134512640 134569956 3221224400 3221214760 1131398750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 37662 13073 16 0 210661 0
vsize: 842708
[startup+510.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7483
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 46704 55 2 0 24 0 11 0 476368707 862932992 37992 4294967295 134512640 134569956 3221224400 3221214664 1131266077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 37992 13073 16 0 210661 0
vsize: 842708
[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7484
Raw data (stat): 7427 (java) S 7426 26667 26666 0 -1 0 18040 3 1 0 47638 55 2 0 25 0 11 0 476368707 862932992 37995 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 37995 13073 16 0 210661 0
vsize: 842708
[startup+530.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7486
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 48568 55 2 0 25 0 11 0 476368707 862932992 38298 4294967295 134512640 134569956 3221224400 3221214752 1131352466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 38298 13073 16 0 210661 0
vsize: 842708
[startup+540.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7487
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 49491 55 2 0 25 0 11 0 476368707 862932992 38467 4294967295 134512640 134569956 3221224400 3221214760 1131398750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 38467 13073 16 0 210661 0
vsize: 842708
[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7488
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 50408 55 2 0 24 0 11 0 476368707 862932992 38692 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 38692 13073 16 0 210661 0
vsize: 842708
[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7489
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 51332 55 2 0 25 0 11 0 476368707 862932992 38905 4294967295 134512640 134569956 3221224400 3221214664 1131267258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 38905 13073 16 0 210661 0
vsize: 842708
[startup+570.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7490
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 52240 55 2 0 25 0 11 0 476368707 862932992 39318 4294967295 134512640 134569956 3221224400 3221214760 1131398743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 39318 13073 16 0 210661 0
vsize: 842708
[startup+580.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7491
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 53160 56 2 0 25 0 11 0 476368707 862932992 39590 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 39590 13073 16 0 210661 0
vsize: 842708
[startup+590.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7492
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 54076 56 2 0 25 0 11 0 476368707 862932992 39962 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 39962 13073 16 0 210661 0
vsize: 842708
[startup+600.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7493
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 54982 56 2 0 25 0 11 0 476368707 862932992 40383 4294967295 134512640 134569956 3221224400 3221214664 1131266439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 40383 13073 16 0 210661 0
vsize: 842708
[startup+610.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7494
Raw data (stat): 7427 (java) S 7426 26667 26666 0 -1 0 18040 3 1 0 55900 56 2 0 25 0 11 0 476368707 862932992 40718 4294967295 134512640 134569956 3221224400 3221213264 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 40718 13073 16 0 210661 0
vsize: 842708
[startup+620.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 7495
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 56818 56 2 0 25 0 11 0 476368707 862932992 40918 4294967295 134512640 134569956 3221224400 3221214664 1131266250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 40918 13073 16 0 210661 0
vsize: 842708
[startup+630.063 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 7496
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 57736 57 2 0 25 0 11 0 476368707 862932992 41131 4294967295 134512640 134569956 3221224400 3221214664 1131266340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 41131 13073 16 0 210661 0
vsize: 842708
[startup+640.064 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 7497
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 58654 57 2 0 19 0 11 0 476368707 862932992 41351 4294967295 134512640 134569956 3221224400 3221214760 1131398750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 41351 13073 16 0 210661 0
vsize: 842708
[startup+650.065 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 7498
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 59572 57 2 0 24 0 11 0 476368707 862932992 41564 4294967295 134512640 134569956 3221224400 3221214664 1131266148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 41564 13073 16 0 210661 0
vsize: 842708
[startup+660.066 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 7499
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 60495 58 2 0 25 0 11 0 476368707 862932992 41768 4294967295 134512640 134569956 3221224400 3221214760 1131403361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 41768 13073 16 0 210661 0
vsize: 842708
[startup+670.065 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 7500
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 61412 59 2 0 25 0 11 0 476368707 862932992 41988 4294967295 134512640 134569956 3221224400 3221214664 1131266088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 41988 13073 16 0 210661 0
vsize: 842708
[startup+680.066 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 7501
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 62330 59 3 0 25 0 11 0 476368707 862932992 42219 4294967295 134512640 134569956 3221224400 3221214664 1131266439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 42219 13073 16 0 210661 0
vsize: 842708
[startup+690.067 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 7502
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 63247 59 3 0 25 0 11 0 476368707 862932992 42454 4294967295 134512640 134569956 3221224400 3221214664 1131267009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 42454 13073 16 0 210661 0
vsize: 842708
[startup+700.067 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 7503
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 64162 60 3 0 24 0 11 0 476368707 862932992 42658 4294967295 134512640 134569956 3221224400 3221214664 1131266184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 42658 13073 16 0 210661 0
vsize: 842708
[startup+710.069 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 7504
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 65081 60 3 0 25 0 11 0 476368707 862932992 42893 4294967295 134512640 134569956 3221224400 3221214664 1131266211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 42893 13073 16 0 210661 0
vsize: 842708
[startup+720.069 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 7505
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 65996 60 3 0 25 0 11 0 476368707 862932992 43149 4294967295 134512640 134569956 3221224400 3221214664 1131266714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 43149 13073 16 0 210661 0
vsize: 842708
[startup+730.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 7506
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 66910 60 3 0 24 0 11 0 476368707 862932992 43492 4294967295 134512640 134569956 3221224400 3221214760 1131399806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 43492 13073 16 0 210661 0
vsize: 842708
[startup+740.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 7507
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 67836 60 3 0 25 0 11 0 476368707 862932992 43768 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 43768 13073 16 0 210661 0
vsize: 842708
[startup+750.072 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 7508
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 68752 60 3 0 25 0 11 0 476368707 862932992 43937 4294967295 134512640 134569956 3221224400 3221214760 1131399810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 43937 13073 16 0 210661 0
vsize: 842708
[startup+760.072 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 7509
Raw data (stat): 7427 (java) S 7426 26667 26666 0 -1 0 18040 3 1 0 69671 61 3 0 25 0 11 0 476368707 862932992 44206 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 44206 13073 16 0 210661 0
vsize: 842708
[startup+770.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7510
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 70596 61 3 0 25 0 11 0 476368707 862932992 44435 4294967295 134512640 134569956 3221224400 3221214664 1131266698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 44435 13073 16 0 210661 0
vsize: 842708
[startup+780.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7511
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 71511 61 3 0 25 0 11 0 476368707 862932992 44645 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 44645 13073 16 0 210661 0
vsize: 842708
[startup+790.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7512
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 72436 61 3 0 25 0 11 0 476368707 862932992 44855 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 44855 13073 16 0 210661 0
vsize: 842708
[startup+800.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7513
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 73352 61 3 0 25 0 11 0 476368707 862932992 45153 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 45153 13073 16 0 210661 0
vsize: 842708
[startup+810.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7514
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 74272 62 3 0 25 0 11 0 476368707 862932992 45387 4294967295 134512640 134569956 3221224400 3221214664 1131266085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 45387 13073 16 0 210661 0
vsize: 842708
[startup+820.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7515
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 75194 62 3 0 25 0 11 0 476368707 862932992 45587 4294967295 134512640 134569956 3221224400 3221214664 1131266439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 45587 13073 16 0 210661 0
vsize: 842708
[startup+830.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7516
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 76116 62 3 0 25 0 11 0 476368707 862932992 45839 4294967295 134512640 134569956 3221224400 3221214664 1131266478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 45839 13073 16 0 210661 0
vsize: 842708
[startup+840.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7517
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 77032 62 3 0 25 0 11 0 476368707 862932992 48112 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 48112 13073 16 0 210661 0
vsize: 842708
[startup+850.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7518
Raw data (stat): 7427 (java) S 7426 26667 26666 0 -1 0 18040 3 1 0 77960 63 3 0 25 0 11 0 476368707 862932992 48328 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 48328 13073 16 0 210661 0
vsize: 842708
[startup+860.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7519
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 78884 63 3 0 25 0 11 0 476368707 862932992 48491 4294967295 134512640 134569956 3221224400 3221214664 1131266271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 48491 13073 16 0 210661 0
vsize: 842708
[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7520
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 79805 63 3 0 25 0 11 0 476368707 862932992 48671 4294967295 134512640 134569956 3221224400 3221214760 1131399872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 48671 13073 16 0 210661 0
vsize: 842708
[startup+880.088 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7521
Raw data (stat): 7427 (java) S 7426 26667 26666 0 -1 0 18040 3 1 0 80728 63 3 0 25 0 11 0 476368707 862932992 48847 4294967295 134512640 134569956 3221224400 3221213304 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 48847 13073 16 0 210661 0
vsize: 842708
[startup+890.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7522
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 81659 63 3 0 25 0 11 0 476368707 862932992 49035 4294967295 134512640 134569956 3221224400 3221214760 1131404296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 49035 13073 16 0 210661 0
vsize: 842708
[startup+900.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7523
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 82584 63 3 1 25 0 11 0 476368707 862932992 49203 4294967295 134512640 134569956 3221224400 3221214760 1131398750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 49203 13073 16 0 210661 0
vsize: 842708
[startup+910.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7524
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 83508 64 4 1 25 0 11 0 476368707 862932992 49368 4294967295 134512640 134569956 3221224400 3221214760 1131399810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 49368 13073 16 0 210661 0
vsize: 842708
[startup+920.106 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7525
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 84438 64 4 1 25 0 11 0 476368707 862932992 49525 4294967295 134512640 134569956 3221224400 3221214664 1131266611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 49525 13073 16 0 210661 0
vsize: 842708
[startup+930.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7526
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 85362 64 4 1 25 0 11 0 476368707 862932992 49681 4294967295 134512640 134569956 3221224400 3221214664 1131266090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 49681 13073 16 0 210661 0
vsize: 842708
[startup+940.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7527
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 86285 64 4 1 25 0 11 0 476368707 862932992 49843 4294967295 134512640 134569956 3221224400 3221214760 1131398750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 49843 13073 16 0 210661 0
vsize: 842708
[startup+950.123 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7528
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 87217 64 4 1 25 0 11 0 476368707 862932992 49999 4294967295 134512640 134569956 3221224400 3221214760 1131399792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 49999 13073 16 0 210661 0
vsize: 842708
[startup+960.123 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7529
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 88136 65 4 1 25 0 11 0 476368707 862932992 50162 4294967295 134512640 134569956 3221224400 3221214664 1131266085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 50162 13073 16 0 210661 0
vsize: 842708
[startup+970.122 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7530
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 89053 65 4 1 25 0 11 0 476368707 862932992 50343 4294967295 134512640 134569956 3221224400 3221214664 1131266554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 50343 13073 16 0 210661 0
vsize: 842708
[startup+980.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7531
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 89969 65 4 1 24 0 11 0 476368707 862932992 50602 4294967295 134512640 134569956 3221224400 3221214664 1131266184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 50602 13073 16 0 210661 0
vsize: 842708
[startup+990.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7532
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 90887 66 4 1 25 0 11 0 476368707 862932992 50770 4294967295 134512640 134569956 3221224400 3221214664 1131267247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 50770 13073 16 0 210661 0
vsize: 842708
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7533
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 91802 66 4 1 25 0 11 0 476368707 862932992 51034 4294967295 134512640 134569956 3221224400 3221214664 1131266269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 51034 13073 16 0 210661 0
vsize: 842708
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7534
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 92711 66 4 1 24 0 11 0 476368707 862932992 51294 4294967295 134512640 134569956 3221224400 3221214664 1131266597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 51294 13073 16 0 210661 0
vsize: 842708
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7535
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 93630 67 4 1 25 0 11 0 476368707 862932992 51613 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 51613 13073 16 0 210661 0
vsize: 842708
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7536
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 94546 67 4 1 25 0 11 0 476368707 862932992 51974 4294967295 134512640 134569956 3221224400 3221214760 1131403406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 51974 13073 16 0 210661 0
vsize: 842708
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7537
Raw data (stat): 7427 (java) S 7426 26667 26666 0 -1 0 18040 3 1 0 95447 68 4 1 25 0 11 0 476368707 862932992 52683 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 52684 13073 16 0 210661 0
vsize: 842708
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7538
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 96378 68 4 1 25 0 11 0 476368707 862932992 53217 4294967295 134512640 134569956 3221224400 3221214760 1131403406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 53217 13073 16 0 210661 0
vsize: 842708
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7539
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 97297 68 4 1 25 0 11 0 476368707 862932992 53428 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 53428 13073 16 0 210661 0
vsize: 842708
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7540
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 98200 68 4 1 18 0 11 0 476368707 862932992 53722 4294967295 134512640 134569956 3221224400 3221214664 1131266777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 53722 13073 16 0 210661 0
vsize: 842708
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7541
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 99110 69 4 1 25 0 11 0 476368707 862932992 53908 4294967295 134512640 134569956 3221224400 3221214664 1131266678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 53908 13073 16 0 210661 0
vsize: 842708
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7542
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 100016 69 4 1 25 0 11 0 476368707 862932992 54300 4294967295 134512640 134569956 3221224400 3221214664 1131266743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 54300 13073 16 0 210661 0
vsize: 842708
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7543
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 100934 70 4 1 25 0 11 0 476368707 862932992 54558 4294967295 134512640 134569956 3221224400 3221214664 1131266553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 54558 13073 16 0 210661 0
vsize: 842708
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7544
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 101843 70 4 1 25 0 11 0 476368707 862932992 54788 4294967295 134512640 134569956 3221224400 3221214760 1131403393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 54788 13073 16 0 210661 0
vsize: 842708
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7545
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 102755 70 4 1 25 0 11 0 476368707 862932992 54992 4294967295 134512640 134569956 3221224400 3221214920 1131355338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 54992 13073 16 0 210661 0
vsize: 842708
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7546
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 103674 71 4 1 25 0 11 0 476368707 862932992 55239 4294967295 134512640 134569956 3221224400 3221214664 1131266088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 55239 13073 16 0 210661 0
vsize: 842708
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7547
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 104586 71 4 1 25 0 11 0 476368707 862932992 55419 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 55419 13073 16 0 210661 0
vsize: 842708
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7548
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 105499 71 5 1 25 0 11 0 476368707 862932992 55635 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 55635 13073 16 0 210661 0
vsize: 842708
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7549
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 106421 71 5 1 25 0 11 0 476368707 862932992 55858 4294967295 134512640 134569956 3221224400 3221214664 1131266387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 55858 13073 16 0 210661 0
vsize: 842708
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7550
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 107335 71 5 1 25 0 11 0 476368707 862932992 56038 4294967295 134512640 134569956 3221224400 3221214760 1131398743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 56038 13073 16 0 210661 0
vsize: 842708
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7551
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 108244 72 5 1 25 0 11 0 476368707 862932992 56243 4294967295 134512640 134569956 3221224400 3221214664 1131266726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 56243 13073 16 0 210661 0
vsize: 842708
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7552
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 109166 73 5 1 25 0 11 0 476368707 862932992 56424 4294967295 134512640 134569956 3221224400 3221214760 1131398750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 56424 13073 16 0 210661 0
vsize: 842708
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7553
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 110073 73 5 1 25 0 11 0 476368707 862932992 56705 4294967295 134512640 134569956 3221224400 3221214664 1131267295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 56705 13073 16 0 210661 0
vsize: 842708
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7554
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 110986 73 5 1 25 0 11 0 476368707 862932992 56885 4294967295 134512640 134569956 3221224400 3221214760 1131403393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 56885 13073 16 0 210661 0
vsize: 842708
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7555
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 111903 74 5 1 25 0 11 0 476368707 862932992 57102 4294967295 134512640 134569956 3221224400 3221214664 1131267369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 57102 13073 16 0 210661 0
vsize: 842708
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7556
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 112813 74 5 1 25 0 11 0 476368707 862932992 57295 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 57295 13073 16 0 210661 0
vsize: 842708
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7557
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 113729 74 5 1 25 0 11 0 476368707 862932992 57583 4294967295 134512640 134569956 3221224400 3221214664 1131266437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 57583 13073 16 0 210661 0
vsize: 842708
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7558
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 114640 74 5 1 25 0 11 0 476368707 862932992 57752 4294967295 134512640 134569956 3221224400 3221214664 1131266250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 57752 13073 16 0 210661 0
vsize: 842708
[startup+1260.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7559
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 115550 75 5 1 25 0 11 0 476368707 862932992 58052 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 58052 13073 16 0 210661 0
vsize: 842708
[startup+1270.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7560
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 116467 76 5 1 25 0 11 0 476368707 862932992 58245 4294967295 134512640 134569956 3221224400 3221214664 1131267265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210677 58245 13073 16 0 210661 0
vsize: 842708
[startup+1280.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7561
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 117377 76 6 1 25 0 11 0 476368707 862932992 58401 4294967295 134512640 134569956 3221224400 3221214664 1131266601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 58401 13073 16 0 210661 0
vsize: 842708
[startup+1290.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7562
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 118292 77 6 1 25 0 11 0 476368707 862932992 58726 4294967295 134512640 134569956 3221224400 3221214664 1131266481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 58726 13073 16 0 210661 0
vsize: 842708
[startup+1300.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7563
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 119200 77 6 1 25 0 11 0 476368707 862932992 58907 4294967295 134512640 134569956 3221224400 3221214664 1131266081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 58907 13073 16 0 210661 0
vsize: 842708
[startup+1310.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 7564
Raw data (stat): 7427 (java) R 7426 26667 26666 0 -1 0 18040 3 1 0 120106 77 6 1 24 0 11 0 476368707 862932992 59183 4294967295 134512640 134569956 3221224400 3221214760 1131403393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210677 59183 13073 16 0 210661 0
vsize: 842708
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.3 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 7565
Raw data (stat): 7427 (java) Z 7426 26667 26666 0 -1 1036 18040 44864 1 0 120110 88 11630 110 25 0 1 0 476368707 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): 1310.3
CPU time (s): 1319.4
CPU user time (s): 1317.41
CPU system time (s): 1.9887
CPU usage (%): 100.694
Max. virtual memory (Kb): 844744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####