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/MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb
MD5SUM	788be91842e74432700990c5756c4c37
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	569806848
Optimality of the best value was proved	NO
Number of terms in the objective function	7200
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	1616658659871
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	10737418240
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	1616658659871
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1245.87
Number of variables	14400
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	630
Trace number 21607

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-22 00:23:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13009 boxname=wulflinc12 idbench=1001 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  788be91842e74432700990c5756c4c37  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-set1ch.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-set1ch.opb
IDLAUNCH: 13009
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        219920 kB
Buffers:         33780 kB
Cached:         759068 kB
SwapCached:        508 kB
Active:         163148 kB
Inactive:       631840 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        219668 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            14132 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 00:44:08 (client local time) WITH STATUS 143 IN 1264.38 SECONDS
stats: 13009 7 1264.38 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-set1ch.opb
c reading problem 
c [nbvar=14400]
c [nbconstr=732]
c time 61.621
c #vars     14400
c #clauses  733
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=569806848
c Current CPU time (ms) : 73.02
c starts	: 1
c conflicts	: 0
c decisions	: 4473
c propagations	: 14400
c inspects	: 16224
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=-1742135356
c Current CPU time (ms) : 330.17
c starts	: 2
c conflicts	: 19
c decisions	: 10856
c propagations	: 43428
c inspects	: 61132
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 19
c root simplifications	: 8
c 
c CURRENT OPTIMUM=-1718379046
c Current CPU time (ms) : 346.03
c starts	: 3
c conflicts	: 56
c decisions	: 13364
c propagations	: 55495
c inspects	: 83175
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 56
c root simplifications	: 18
c 
c CURRENT OPTIMUM=-1721340918
c Current CPU time (ms) : 356.381
c starts	: 4
c conflicts	: 93
c decisions	: 15270
c propagations	: 66848
c inspects	: 104953
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 93
c root simplifications	: 22
c 
c CURRENT OPTIMUM=-1720755900
c Current CPU time (ms) : 365.115
c starts	: 5
c conflicts	: 125
c decisions	: 17028
c propagations	: 77915
c inspects	: 126171
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 24
c 
c CURRENT OPTIMUM=-1721354882
c Current CPU time (ms) : 373.853
c starts	: 6
c conflicts	: 160
c decisions	: 18823
c propagations	: 89122
c inspects	: 149717
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 160
c root simplifications	: 25
c 
c CURRENT OPTIMUM=-1720551584
c Current CPU time (ms) : 383.437
c starts	: 7
c conflicts	: 194
c decisions	: 20613
c propagations	: 100260
c inspects	: 174992
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 194
c root simplifications	: 26
c 
c CURRENT OPTIMUM=-1721419342
c Current CPU time (ms) : 391.883
c starts	: 8
c conflicts	: 221
c decisions	: 22288
c propagations	: 111110
c inspects	: 200163
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 221
c root simplifications	: 27
c 
c CURRENT OPTIMUM=-1716698724
c Current CPU time (ms) : 401.904
c starts	: 9
c conflicts	: 273
c decisions	: 24203
c propagations	: 122356
c inspects	: 231795
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 273
c root simplifications	: 28
c 
c CURRENT OPTIMUM=-1717343978
c Current CPU time (ms) : 409.633
c starts	: 10
c conflicts	: 300
c decisions	: 25713
c propagations	: 132627
c inspects	: 255852
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 300
c root simplifications	: 29
c 
c CURRENT OPTIMUM=-1717471894
c Current CPU time (ms) : 421.421
c starts	: 11
c conflicts	: 361
c decisions	: 27804
c propagations	: 144417
c inspects	: 295638
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 361
c root simplifications	: 30
c 
c CURRENT OPTIMUM=-1719131972
c Current CPU time (ms) : 437.973
c starts	: 12
c conflicts	: 403
c decisions	: 29622
c propagations	: 155696
c inspects	: 332034
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 403
c root simplifications	: 32
c 
c CURRENT OPTIMUM=-1719909802
c Current CPU time (ms) : 456.707
c starts	: 13
c conflicts	: 442
c decisions	: 31504
c propagations	: 167167
c inspects	: 378952
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 442
c root simplifications	: 33
c 
c CURRENT OPTIMUM=-1719779114
c Current CPU time (ms) : 474.526
c starts	: 14
c conflicts	: 484
c decisions	: 33262
c propagations	: 178205
c inspects	: 415569
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 484
c root simplifications	: 34
c 
c CURRENT OPTIMUM=-1719777710
c Current CPU time (ms) : 492.94
c starts	: 15
c conflicts	: 526
c decisions	: 35058
c propagations	: 189348
c inspects	: 454894
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 526
c root simplifications	: 35
c 
c CURRENT OPTIMUM=-1719675972
c Current CPU time (ms) : 517.53
c starts	: 16
c conflicts	: 582
c decisions	: 37234
c propagations	: 201566
c inspects	: 525911
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 582
c root simplifications	: 36
c 
c CURRENT OPTIMUM=-1719180744
c Current CPU time (ms) : 538.208
c starts	: 17
c conflicts	: 624
c decisions	: 39013
c propagations	: 212667
c inspects	: 571355
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 624
c root simplifications	: 37
c 
c CURRENT OPTIMUM=-1719124852
c Current CPU time (ms) : 559.673
c starts	: 18
c conflicts	: 666
c decisions	: 40792
c propagations	: 223770
c inspects	: 618751
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 666
c root simplifications	: 38
c 
c CURRENT OPTIMUM=-1721210988
c Current CPU time (ms) : 580.863
c starts	: 19
c conflicts	: 704
c decisions	: 42508
c propagations	: 234979
c inspects	: 675018
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 704
c root simplifications	: 39
c 
c CURRENT OPTIMUM=-1727840950
c Current CPU time (ms) : 596.837
c starts	: 20
c conflicts	: 716
c decisions	: 43853
c propagations	: 245016
c inspects	: 708803
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 716
c root simplifications	: 40
c 
c CURRENT OPTIMUM=-1727988394
c Current CPU time (ms) : 609.441
c starts	: 21
c conflicts	: 718
c decisions	: 45003
c propagations	: 254395
c inspects	: 725401
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 718
c root simplifications	: 41
c 
c CURRENT OPTIMUM=-1727988394
c Current CPU time (ms) : 621.895
c starts	: 22
c conflicts	: 720
c decisions	: 46153
c propagations	: 263774
c inspects	: 739186
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 720
c root simplifications	: 42
c 
c CURRENT OPTIMUM=-1727988394
c Current CPU time (ms) : 634.393
c starts	: 23
c conflicts	: 722
c decisions	: 47303
c propagations	: 273153
c inspects	: 752879
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 722
c root simplifications	: 43
c 
c CURRENT OPTIMUM=-1727999380
c Current CPU time (ms) : 647.294
c starts	: 24
c conflicts	: 724
c decisions	: 48452
c propagations	: 282532
c inspects	: 768959
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 724
c root simplifications	: 44
c 
c CURRENT OPTIMUM=-1727995792
c Current CPU time (ms) : 660.257
c starts	: 25
c conflicts	: 726
c decisions	: 49601
c propagations	: 291911
c inspects	: 784332
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 726
c root simplifications	: 45
c 
c CURRENT OPTIMUM=-1727995636
c Current CPU time (ms) : 673.006
c starts	: 26
c conflicts	: 728
c decisions	: 50750
c propagations	: 301290
c inspects	: 798879
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 728
c root simplifications	: 46
c 
c CURRENT OPTIMUM=-1727997472
c Current CPU time (ms) : 685.918
c starts	: 27
c conflicts	: 730
c decisions	: 51899
c propagations	: 310669
c inspects	: 813859
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 730
c root simplifications	: 47
c 
c CURRENT OPTIMUM=-1727997208
c Current CPU time (ms) : 698.682
c starts	: 28
c conflicts	: 732
c decisions	: 53048
c propagations	: 320048
c inspects	: 828208
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 732
c root simplifications	: 48
c 
c CURRENT OPTIMUM=-1724093048
c Current CPU time (ms) : 711.806
c starts	: 29
c conflicts	: 734
c decisions	: 54200
c propagations	: 329427
c inspects	: 844355
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 734
c root simplifications	: 49
c 
c CURRENT OPTIMUM=-1724063576
c Current CPU time (ms) : 724.904
c starts	: 30
c conflicts	: 736
c decisions	: 55352
c propagations	: 338806
c inspects	: 859745
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 736
c root simplifications	: 50
c 
c CURRENT OPTIMUM=-1724090948
c Current CPU time (ms) : 737.997
c starts	: 31
c conflicts	: 738
c decisions	: 56504
c propagations	: 348185
c inspects	: 875095
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 738
c root simplifications	: 51
c 
c CURRENT OPTIMUM=-1724067644
c Current CPU time (ms) : 751.143
c starts	: 32
c conflicts	: 740
c decisions	: 57656
c propagations	: 357564
c inspects	: 890471
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 740
c root simplifications	: 52
c 
c CURRENT OPTIMUM=-1724078300
c Current CPU time (ms) : 764.284
c starts	: 33
c conflicts	: 742
c decisions	: 58808
c propagations	: 366943
c inspects	: 905116
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 742
c root simplifications	: 53
c 
c CURRENT OPTIMUM=-1724065316
c Current CPU time (ms) : 777.565
c starts	: 34
c conflicts	: 744
c decisions	: 59960
c propagations	: 376322
c inspects	: 920719
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 744
c root simplifications	: 54
c 
c CURRENT OPTIMUM=-1724065328
c Current CPU time (ms) : 790.911
c starts	: 35
c conflicts	: 746
c decisions	: 61112
c propagations	: 385701
c inspects	: 936281
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 746
c root simplifications	: 55
c 
c CURRENT OPTIMUM=-1724095772
c Current CPU time (ms) : 804.313
c starts	: 36
c conflicts	: 748
c decisions	: 62264
c propagations	: 395080
c inspects	: 952174
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 748
c root simplifications	: 56
c 
c CURRENT OPTIMUM=-1724079884
c Current CPU time (ms) : 817.637
c starts	: 37
c conflicts	: 750
c decisions	: 63416
c propagations	: 404459
c inspects	: 967867
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 750
c root simplifications	: 57
c 
c CURRENT OPTIMUM=-1724092856
c Current CPU time (ms) : 831.014
c starts	: 38
c conflicts	: 752
c decisions	: 64568
c propagations	: 413838
c inspects	: 983314
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 752
c root simplifications	: 58
c 
c CURRENT OPTIMUM=-1724086820
c Current CPU time (ms) : 844.464
c starts	: 39
c conflicts	: 754
c decisions	: 65720
c propagations	: 423217
c inspects	: 999167
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 754
c root simplifications	: 59
c 
c CURRENT OPTIMUM=-1724065028
c Current CPU time (ms) : 857.981
c starts	: 40
c conflicts	: 756
c decisions	: 66872
c propagations	: 432596
c inspects	: 1015318
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 756
c root simplifications	: 60
c 
c CURRENT OPTIMUM=-1724086892
c Current CPU time (ms) : 871.453
c starts	: 41
c conflicts	: 758
c decisions	: 68024
c propagations	: 441975
c inspects	: 1030988
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 758
c root simplifications	: 61
c 
c CURRENT OPTIMUM=-1724073524
c Current CPU time (ms) : 884.923
c starts	: 42
c conflicts	: 760
c decisions	: 69176
c propagations	: 451354
c inspects	: 1046539
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 760
c root simplifications	: 62
c 
c CURRENT OPTIMUM=-1724067212
c Current CPU time (ms) : 898.298
c starts	: 43
c conflicts	: 762
c decisions	: 70328
c propagations	: 460733
c inspects	: 1061993
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 762
c root simplifications	: 63
c 
c CURRENT OPTIMUM=-1724066060
c Current CPU time (ms) : 911.614
c starts	: 44
c conflicts	: 764
c decisions	: 71480
c propagations	: 470112
c inspects	: 1076231
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 764
c root simplifications	: 64
c 
c CURRENT OPTIMUM=-1724077340
c Current CPU time (ms) : 925.112
c starts	: 45
c conflicts	: 766
c decisions	: 72632
c propagations	: 479491
c inspects	: 1091222
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 766
c root simplifications	: 65
c 
c CURRENT OPTIMUM=-1724063996
c Current CPU time (ms) : 938.807
c starts	: 46
c conflicts	: 768
c decisions	: 73784
c propagations	: 488870
c inspects	: 1107218
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 768
c root simplifications	: 66
c 
c CURRENT OPTIMUM=-1724092448
c Current CPU time (ms) : 952.501
c starts	: 47
c conflicts	: 770
c decisions	: 74936
c propagations	: 498249
c inspects	: 1123231
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 770
c root simplifications	: 67
c 
c CURRENT OPTIMUM=-1724092676
c Current CPU time (ms) : 966.118
c starts	: 48
c conflicts	: 772
c decisions	: 76088
c propagations	: 507628
c inspects	: 1137996
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 772
c root simplifications	: 68
c 
c CURRENT OPTIMUM=-1724079116
c Current CPU time (ms) : 979.888
c starts	: 49
c conflicts	: 774
c decisions	: 77240
c propagations	: 517007
c inspects	: 1153454
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 774
c root simplifications	: 69
c 
c CURRENT OPTIMUM=-1724065316
c Current CPU time (ms) : 993.528
c starts	: 50
c conflicts	: 776
c decisions	: 78392
c propagations	: 526386
c inspects	: 1168492
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 776
c root simplifications	: 70
c 
c CURRENT OPTIMUM=-1724093624
c Current CPU time (ms) : 1007.39
c starts	: 51
c conflicts	: 778
c decisions	: 79544
c propagations	: 535765
c inspects	: 1184661
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 778
c root simplifications	: 71
c 
c CURRENT OPTIMUM=-1724085548
c Current CPU time (ms) : 1021.198
c starts	: 52
c conflicts	: 780
c decisions	: 80696
c propagations	: 545144
c inspects	: 1200243
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 780
c root simplifications	: 72
c 
c CURRENT OPTIMUM=-1724095448
c Current CPU time (ms) : 1034.916
c starts	: 53
c conflicts	: 782
c decisions	: 81848
c propagations	: 554523
c inspects	: 1216093
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 782
c root simplifications	: 73
c 
c CURRENT OPTIMUM=-1724075972
c Current CPU time (ms) : 1048.739
c starts	: 54
c conflicts	: 784
c decisions	: 83000
c propagations	: 563902
c inspects	: 1232006
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 784
c root simplifications	: 74
c 
c CURRENT OPTIMUM=-1724067524
c Current CPU time (ms) : 1062.563
c starts	: 55
c conflicts	: 786
c decisions	: 84152
c propagations	: 573281
c inspects	: 1247682
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 786
c root simplifications	: 75
c 
c CURRENT OPTIMUM=-1724089700
c Current CPU time (ms) : 1076.482
c starts	: 56
c conflicts	: 788
c decisions	: 85304
c propagations	: 582660
c inspects	: 1263412
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 788
c root simplifications	: 76
c 
c CURRENT OPTIMUM=-1724090012
c Current CPU time (ms) : 1090.342
c starts	: 57
c conflicts	: 790
c decisions	: 86456
c propagations	: 592039
c inspects	: 1278794
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 790
c root simplifications	: 77
c 
c CURRENT OPTIMUM=-1724093132
c Current CPU time (ms) : 1104.295
c starts	: 58
c conflicts	: 792
c decisions	: 87608
c propagations	: 601418
c inspects	: 1294190
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 792
c root simplifications	: 78
c 
c CURRENT OPTIMUM=-1724089208
c Current CPU time (ms) : 1118.258
c starts	: 59
c conflicts	: 794
c decisions	: 88760
c propagations	: 610797
c inspects	: 1309591
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 794
c root simplifications	: 79
c 
c CURRENT OPTIMUM=-1724080604
c Current CPU time (ms) : 1132.226
c starts	: 60
c conflicts	: 796
c decisions	: 89912
c propagations	: 620176
c inspects	: 1325677
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 796
c root simplifications	: 80
c 
c CURRENT OPTIMUM=-1724081360
c Current CPU time (ms) : 1146.175
c starts	: 61
c conflicts	: 798
c decisions	: 91064
c propagations	: 629555
c inspects	: 1340816
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 798
c root simplifications	: 81
c 
c CURRENT OPTIMUM=-1724060984
c Current CPU time (ms) : 1160.22
c starts	: 62
c conflicts	: 800
c decisions	: 92216
c propagations	: 638934
c inspects	: 1356535
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 800
c root simplifications	: 82
c 
c CURRENT OPTIMUM=-1724082104
c Current CPU time (ms) : 1174.228
c starts	: 63
c conflicts	: 802
c decisions	: 93368
c propagations	: 648313
c inspects	: 1372265
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 802
c root simplifications	: 83
c 
c CURRENT OPTIMUM=-1724093660
c Current CPU time (ms) : 1188.458
c starts	: 64
c conflicts	: 804
c decisions	: 94520
c propagations	: 657692
c inspects	: 1388376
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 804
c root simplifications	: 84
c 
c CURRENT OPTIMUM=-1724067476
c Current CPU time (ms) : 1202.688
c starts	: 65
c conflicts	: 806
c decisions	: 95672
c propagations	: 667071
c inspects	: 1404525
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 806
c root simplifications	: 85
c 
c CURRENT OPTIMUM=-1724094248
c Current CPU time (ms) : 1216.844
c starts	: 66
c conflicts	: 808
c decisions	: 96824
c propagations	: 676450
c inspects	: 1420012
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 808
c root simplifications	: 86
c 
c CURRENT OPTIMUM=-1724066036
c Current CPU time (ms) : 1231.111
c starts	: 67
c conflicts	: 810
c decisions	: 97976
c propagations	: 685829
c inspects	: 1435876
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 810
c root simplifications	: 87
c 
c CURRENT OPTIMUM=-1724067836
c Current CPU time (ms) : 1245.309
c starts	: 68
c conflicts	: 812
c decisions	: 99128
c propagations	: 695208
c inspects	: 1451387
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 812
c root simplifications	: 88
#### 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.69 0.92 0.90 2/54 9244
Raw data (stat): 9244 (runsolver) R 9243 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491145572 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.0012 s]
Raw data (loadavg): 0.82 0.94 0.91 2/63 9253
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 17975 0 1 0 891 40 0 0 25 0 10 0 491145572 853286912 19087 4294967295 134512640 134569956 3221224400 3221214828 1130917144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208322 19087 13073 16 0 208306 0
vsize: 833288
[startup+20.002 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 9253
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 17979 0 1 0 1714 40 0 0 25 0 10 0 491145572 859369472 21271 4294967295 134512640 134569956 3221224400 3221214776 1131207628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209807 21271 13073 16 0 209791 0
vsize: 839228
[startup+30.0034 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 9253
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 17981 0 1 0 2563 41 0 0 25 0 10 0 491145572 858103808 21506 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209498 21506 13073 16 0 209482 0
vsize: 837992
[startup+40.0037 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 9253
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 17981 0 1 0 3418 41 0 0 25 0 10 0 491145572 858103808 21933 4294967295 134512640 134569956 3221224400 3221214824 1131207628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209498 21933 13073 16 0 209482 0
vsize: 837992
[startup+50.0046 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 9253
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 17981 0 1 0 4301 41 0 0 25 0 10 0 491145572 858103808 22248 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209498 22248 13073 16 0 209482 0
vsize: 837992
[startup+60.0049 s]
Raw data (loadavg): 1.00 0.97 0.92 2/63 9253
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 17981 0 1 0 5201 42 0 0 24 0 10 0 491145572 858103808 22511 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209498 22511 13073 16 0 209482 0
vsize: 837992
[startup+70.0063 s]
Raw data (loadavg): 1.15 1.01 0.93 2/64 9254
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18010 0 1 0 6057 42 0 0 25 0 11 0 491145572 860471296 23202 4294967295 134512640 134569956 3221224400 3221214768 1131375435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210076 23202 13073 16 0 210060 0
vsize: 840304
[startup+80.0081 s]
Raw data (loadavg): 1.12 1.01 0.93 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18011 4 1 0 6929 43 0 0 24 0 11 0 491145572 858865664 23155 4294967295 134512640 134569956 3221224400 3221214672 1131288102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209684 23155 13073 16 0 209668 0
vsize: 838736
[startup+90.0084 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18049 4 1 0 7775 43 0 0 25 0 11 0 491145572 859914240 23357 4294967295 134512640 134569956 3221224400 3221214672 1131445667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 23357 13073 16 0 209924 0
vsize: 839760
[startup+100.009 s]
Raw data (loadavg): 1.24 1.04 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18051 4 1 0 8693 43 0 0 25 0 11 0 491145572 859914240 24041 4294967295 134512640 134569956 3221224400 3221214648 1131332843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24041 13073 16 0 209924 0
vsize: 839760
[startup+110.01 s]
Raw data (loadavg): 1.20 1.04 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 9644 44 0 0 25 0 11 0 491145572 859914240 24043 4294967295 134512640 134569956 3221224400 3221214608 1131536327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24043 13073 16 0 209924 0
vsize: 839760
[startup+120.01 s]
Raw data (loadavg): 1.17 1.03 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 10604 44 0 0 25 0 11 0 491145572 859914240 24269 4294967295 134512640 134569956 3221224400 3221214372 1130891863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24269 13073 16 0 209924 0
vsize: 839760
[startup+130.011 s]
Raw data (loadavg): 1.14 1.03 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 11572 44 0 0 24 0 11 0 491145572 859914240 24292 4294967295 134512640 134569956 3221224400 3221214600 1131562589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24292 13073 16 0 209924 0
vsize: 839760
[startup+140.012 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 9255
Raw data (stat): 9244 (java) S 9243 25285 25284 0 -1 0 18052 4 1 0 12542 45 0 0 25 0 11 0 491145572 859914240 24425 4294967295 134512640 134569956 3221224400 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24425 13073 16 0 209924 0
vsize: 839760
[startup+150.013 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 13532 45 0 0 25 0 11 0 491145572 859914240 24626 4294967295 134512640 134569956 3221224400 3221214600 1131561792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24626 13073 16 0 209924 0
vsize: 839760
[startup+160.013 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 14530 45 0 0 25 0 11 0 491145572 859914240 24626 4294967295 134512640 134569956 3221224400 3221214408 1131334396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24626 13073 16 0 209924 0
vsize: 839760
[startup+170.013 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 15528 45 0 0 25 0 11 0 491145572 859914240 24626 4294967295 134512640 134569956 3221224400 3221214408 1131333029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24626 13073 16 0 209924 0
vsize: 839760
[startup+180.014 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 16526 45 0 0 25 0 11 0 491145572 859914240 24628 4294967295 134512640 134569956 3221224400 3221214600 1131562334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24628 13073 16 0 209924 0
vsize: 839760
[startup+190.015 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 17524 45 0 0 25 0 11 0 491145572 859914240 24628 4294967295 134512640 134569956 3221224400 3221214608 1131536439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24628 13073 16 0 209924 0
vsize: 839760
[startup+200.015 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 18522 45 0 0 25 0 11 0 491145572 859914240 24628 4294967295 134512640 134569956 3221224400 3221214408 1131332831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24628 13073 16 0 209924 0
vsize: 839760
[startup+210.016 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 19515 46 0 0 25 0 11 0 491145572 859914240 24629 4294967295 134512640 134569956 3221224400 3221214392 1131332889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24629 13073 16 0 209924 0
vsize: 839760
[startup+220.02 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 20509 46 0 0 25 0 11 0 491145572 859914240 24629 4294967295 134512640 134569956 3221224400 3221214592 1131562441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24629 13073 16 0 209924 0
vsize: 839760
[startup+230.021 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 21503 46 0 0 25 0 11 0 491145572 859914240 24629 4294967295 134512640 134569956 3221224400 3221214392 1131332852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24629 13073 16 0 209924 0
vsize: 839760
[startup+240.024 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 22492 46 0 0 25 0 11 0 491145572 859914240 24632 4294967295 134512640 134569956 3221224400 3221214660 1080203741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24632 13073 16 0 209924 0
vsize: 839760
[startup+250.024 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 23484 46 0 0 25 0 11 0 491145572 859914240 24632 4294967295 134512640 134569956 3221224400 3221214696 1131671762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24632 13073 16 0 209924 0
vsize: 839760
[startup+260.025 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 24478 46 0 0 25 0 11 0 491145572 859914240 24663 4294967295 134512640 134569956 3221224400 3221214592 1131562334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24663 13073 16 0 209924 0
vsize: 839760
[startup+270.033 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 25476 47 0 0 25 0 11 0 491145572 859914240 24663 4294967295 134512640 134569956 3221224400 3221214592 1131562448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24663 13073 16 0 209924 0
vsize: 839760
[startup+280.033 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 26473 47 0 0 25 0 11 0 491145572 859914240 24663 4294967295 134512640 134569956 3221224400 3221214592 1131562314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24663 13073 16 0 209924 0
vsize: 839760
[startup+290.035 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 27469 47 0 0 22 0 11 0 491145572 859914240 24663 4294967295 134512640 134569956 3221224400 3221214496 1131333008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24663 13073 16 0 209924 0
vsize: 839760
[startup+300.044 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 28467 47 0 0 25 0 11 0 491145572 859914240 24708 4294967295 134512640 134569956 3221224400 3221214496 1131332739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24708 13073 16 0 209924 0
vsize: 839760
[startup+310.046 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18052 4 1 0 29465 47 0 0 25 0 11 0 491145572 859914240 24708 4294967295 134512640 134569956 3221224400 3221214728 1131594466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24708 13073 16 0 209924 0
vsize: 839760
[startup+320.066 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 30458 47 0 0 25 0 11 0 491145572 859914240 24711 4294967295 134512640 134569956 3221224400 3221214768 1131373514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24711 13073 16 0 209924 0
vsize: 839760
[startup+330.093 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9255
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 31457 47 0 0 25 0 11 0 491145572 859914240 24711 4294967295 134512640 134569956 3221224400 3221214768 1131373578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24711 13073 16 0 209924 0
vsize: 839760
[startup+340.093 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9256
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 32435 48 0 0 25 0 11 0 491145572 859914240 24717 4294967295 134512640 134569956 3221224400 3221214672 1131287585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 24717 13073 16 0 209924 0
vsize: 839760
[startup+350.094 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9257
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 33396 48 0 0 25 0 11 0 491145572 859914240 24717 4294967295 134512640 134569956 3221224400 3221214664 1131288077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24717 13073 16 0 209924 0
vsize: 839760
[startup+360.098 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9258
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 34333 49 0 0 25 0 11 0 491145572 859914240 24736 4294967295 134512640 134569956 3221224400 3221214760 1131378275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24736 13073 16 0 209924 0
vsize: 839760
[startup+370.118 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9259
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 35265 49 0 0 25 0 11 0 491145572 859914240 24884 4294967295 134512640 134569956 3221224400 3221214664 1131288157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 24884 13073 16 0 209924 0
vsize: 839760
[startup+380.119 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 9260
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 36195 50 0 0 25 0 11 0 491145572 859914240 25074 4294967295 134512640 134569956 3221224400 3221214664 1131289029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25074 13073 16 0 209924 0
vsize: 839760
[startup+390.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9261
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 37130 50 0 0 25 0 11 0 491145572 859914240 25279 4294967295 134512640 134569956 3221224400 3221214840 1131338059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 25279 13073 16 0 209924 0
vsize: 839760
[startup+400.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9262
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 38064 50 0 0 25 0 11 0 491145572 859914240 25477 4294967295 134512640 134569956 3221224400 3221214704 1131319696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25477 13073 16 0 209924 0
vsize: 839760
[startup+410.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9263
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 38993 51 0 0 25 0 11 0 491145572 859914240 25648 4294967295 134512640 134569956 3221224400 3221214664 1131288157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25648 13073 16 0 209924 0
vsize: 839760
[startup+420.242 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9264
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 39931 51 0 0 25 0 11 0 491145572 859914240 25820 4294967295 134512640 134569956 3221224400 3221214760 1131373578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 25820 13073 16 0 209924 0
vsize: 839760
[startup+430.256 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9265
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 40875 51 0 0 25 0 11 0 491145572 859914240 26006 4294967295 134512640 134569956 3221224400 3221214664 1131287622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26006 13073 16 0 209924 0
vsize: 839760
[startup+440.256 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9266
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 41830 52 0 0 25 0 11 0 491145572 859914240 26078 4294967295 134512640 134569956 3221224400 3221214424 1131716278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26078 13073 16 0 209924 0
vsize: 839760
[startup+450.256 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9266
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 42783 52 0 0 25 0 11 0 491145572 859914240 26293 4294967295 134512640 134569956 3221224400 3221214760 1131374612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26293 13073 16 0 209924 0
vsize: 839760
[startup+460.264 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9267
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 43754 53 0 0 25 0 11 0 491145572 859914240 26459 4294967295 134512640 134569956 3221224400 3221214444 1131711760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26459 13073 16 0 209924 0
vsize: 839760
[startup+470.282 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9267
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 44713 53 0 0 25 0 11 0 491145572 859914240 26526 4294967295 134512640 134569956 3221224400 3221214760 1131374598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26526 13073 16 0 209924 0
vsize: 839760
[startup+480.283 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9268
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 45682 53 0 0 25 0 11 0 491145572 859914240 26688 4294967295 134512640 134569956 3221224400 3221214760 1131373476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26688 13073 16 0 209924 0
vsize: 839760
[startup+490.291 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9268
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 46644 54 0 0 25 0 11 0 491145572 859914240 26853 4294967295 134512640 134569956 3221224400 3221214664 1131288591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26853 13073 16 0 209924 0
vsize: 839760
[startup+500.309 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9269
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 47616 54 0 0 25 0 11 0 491145572 859914240 26874 4294967295 134512640 134569956 3221224400 3221214664 1131288402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 26874 13073 16 0 209924 0
vsize: 839760
[startup+510.315 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9269
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 48580 55 0 0 25 0 11 0 491145572 859914240 26903 4294967295 134512640 134569956 3221224400 3221214664 1131287832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 26903 13073 16 0 209924 0
vsize: 839760
[startup+520.327 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9270
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 49552 55 0 0 25 0 11 0 491145572 859914240 27055 4294967295 134512640 134569956 3221224400 3221214664 1131287596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27055 13073 16 0 209924 0
vsize: 839760
[startup+530.329 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9270
Raw data (stat): 9244 (java) S 9243 25285 25284 0 -1 0 18053 4 1 0 50512 55 0 0 25 0 11 0 491145572 859914240 27200 4294967295 134512640 134569956 3221224400 3221213304 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27200 13073 16 0 209924 0
vsize: 839760
[startup+540.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9271
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 51491 56 0 0 25 0 11 0 491145572 859914240 27223 4294967295 134512640 134569956 3221224400 3221214664 1131287617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27223 13073 16 0 209924 0
vsize: 839760
[startup+550.332 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9271
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 52454 56 0 0 25 0 11 0 491145572 859914240 27371 4294967295 134512640 134569956 3221224400 3221214664 1131288157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27371 13073 16 0 209924 0
vsize: 839760
[startup+560.333 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 9271
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 53429 56 1 0 25 0 10 0 491145572 859914240 27425 4294967295 134512640 134569956 3221224400 3221214708 1130895745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27425 13073 16 0 209924 0
vsize: 839760
[startup+570.334 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9272
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 54392 57 1 0 25 0 11 0 491145572 859914240 27461 4294967295 134512640 134569956 3221224400 3221214664 1131288157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27461 13073 16 0 209924 0
vsize: 839760
[startup+580.336 s]
Raw data (loadavg): 1.00 1.00 0.94 3/64 9272
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 55368 57 1 0 25 0 11 0 491145572 859914240 27605 4294967295 134512640 134569956 3221224400 3221213536 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 27605 13073 16 0 209924 0
vsize: 839760
[startup+590.336 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9273
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 56337 57 1 0 25 0 11 0 491145572 859914240 27635 4294967295 134512640 134569956 3221224400 3221214664 1131287939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27635 13073 16 0 209924 0
vsize: 839760
[startup+600.337 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9274
Raw data (stat): 9244 (java) S 9243 25285 25284 0 -1 0 18053 4 1 0 57306 58 1 0 25 0 11 0 491145572 859914240 27685 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27685 13073 16 0 209924 0
vsize: 839760
[startup+610.338 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9275
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 58274 58 1 0 25 0 11 0 491145572 859914240 27824 4294967295 134512640 134569956 3221224400 3221214320 1131711665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27824 13073 16 0 209924 0
vsize: 839760
[startup+620.339 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9275
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 59232 58 1 0 25 0 11 0 491145572 859914240 27856 4294967295 134512640 134569956 3221224400 3221214872 1131722080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 27856 13073 16 0 209924 0
vsize: 839760
[startup+630.341 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9276
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 60197 58 1 0 25 0 11 0 491145572 859914240 28026 4294967295 134512640 134569956 3221224400 3221214664 1131288402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28026 13073 16 0 209924 0
vsize: 839760
[startup+640.342 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9277
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 61160 59 1 0 25 0 11 0 491145572 859914240 28169 4294967295 134512640 134569956 3221224400 3221214664 1131287617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28169 13073 16 0 209924 0
vsize: 839760
[startup+650.341 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9278
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 62123 60 1 0 25 0 11 0 491145572 859914240 28244 4294967295 134512640 134569956 3221224400 3221214760 1131373578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28244 13073 16 0 209924 0
vsize: 839760
[startup+660.343 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9278
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 63079 60 1 0 25 0 11 0 491145572 859914240 28417 4294967295 134512640 134569956 3221224400 3221214476 1131711760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28417 13073 16 0 209924 0
vsize: 839760
[startup+670.343 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9279
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 64034 60 1 0 25 0 11 0 491145572 859914240 28604 4294967295 134512640 134569956 3221224400 3221214232 1085679759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28604 13073 16 0 209924 0
vsize: 839760
[startup+680.345 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9280
Raw data (stat): 9244 (java) S 9243 25285 25284 0 -1 0 18053 4 1 0 65004 60 1 0 25 0 11 0 491145572 859914240 28797 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28797 13073 16 0 209924 0
vsize: 839760
[startup+690.346 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9281
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 65965 60 1 0 25 0 11 0 491145572 859914240 28828 4294967295 134512640 134569956 3221224400 3221214264 1131711736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28828 13073 16 0 209924 0
vsize: 839760
[startup+700.347 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9282
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 66930 61 1 0 25 0 11 0 491145572 859914240 28957 4294967295 134512640 134569956 3221224400 3221214464 1131709960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 28957 13073 16 0 209924 0
vsize: 839760
[startup+710.347 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9282
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 67890 61 1 0 25 0 11 0 491145572 859914240 29120 4294967295 134512640 134569956 3221224400 3221214392 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 29120 13073 16 0 209924 0
vsize: 839760
[startup+720.348 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9283
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 68854 61 1 0 25 0 11 0 491145572 859914240 29254 4294967295 134512640 134569956 3221224400 3221214664 1131287617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 29254 13073 16 0 209924 0
vsize: 839760
[startup+730.349 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9284
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 69821 61 1 0 25 0 11 0 491145572 859914240 29265 4294967295 134512640 134569956 3221224400 3221214648 1131711761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 29265 13073 16 0 209924 0
vsize: 839760
[startup+740.349 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9285
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 70777 62 1 0 24 0 11 0 491145572 859914240 29404 4294967295 134512640 134569956 3221224400 3221214664 1131287596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 29404 13073 16 0 209924 0
vsize: 839760
[startup+750.35 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9285
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 71744 62 1 0 25 0 11 0 491145572 859914240 29531 4294967295 134512640 134569956 3221224400 3221214424 1131709906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 29531 13073 16 0 209924 0
vsize: 839760
[startup+760.35 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9286
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 72700 62 1 0 25 0 11 0 491145572 859914240 29661 4294967295 134512640 134569956 3221224400 3221214368 1131709906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 29661 13073 16 0 209924 0
vsize: 839760
[startup+770.351 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9287
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 73664 63 1 0 25 0 11 0 491145572 859914240 29790 4294967295 134512640 134569956 3221224400 3221214260 1131711755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 29790 13073 16 0 209924 0
vsize: 839760
[startup+780.352 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9288
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 74631 63 1 0 25 0 11 0 491145572 859914240 29811 4294967295 134512640 134569956 3221224400 3221214376 1131711740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 29811 13073 16 0 209924 0
vsize: 839760
[startup+790.353 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9288
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 75592 64 1 0 24 0 11 0 491145572 859914240 29954 4294967295 134512640 134569956 3221224400 3221214616 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 29954 13073 16 0 209924 0
vsize: 839760
[startup+800.352 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9289
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 76548 64 1 0 25 0 11 0 491145572 859914240 30118 4294967295 134512640 134569956 3221224400 3221214760 1131374566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 30118 13073 16 0 209924 0
vsize: 839760
[startup+810.354 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9290
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 77521 64 1 0 25 0 11 0 491145572 859914240 30277 4294967295 134512640 134569956 3221224400 3221214752 1131709738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 30277 13073 16 0 209924 0
vsize: 839760
[startup+820.355 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9291
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 78487 65 1 0 25 0 11 0 491145572 859914240 30294 4294967295 134512640 134569956 3221224400 3221214320 1131711761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 30294 13073 16 0 209924 0
vsize: 839760
[startup+830.356 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9291
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 79446 65 1 0 25 0 11 0 491145572 859914240 30444 4294967295 134512640 134569956 3221224400 3221214664 1131287617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 30444 13073 16 0 209924 0
vsize: 839760
[startup+840.356 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9292
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 80401 65 1 0 25 0 11 0 491145572 859914240 30797 4294967295 134512640 134569956 3221224400 3221214664 1131287832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 30797 13073 16 0 209924 0
vsize: 839760
[startup+850.357 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9293
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 81377 66 1 0 25 0 11 0 491145572 859914240 30951 4294967295 134512640 134569956 3221224400 3221214376 1131711736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 30951 13073 16 0 209924 0
vsize: 839760
[startup+860.357 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9294
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 82339 66 1 0 25 0 11 0 491145572 859914240 30951 4294967295 134512640 134569956 3221224400 3221214760 1131373514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 30951 13073 16 0 209924 0
vsize: 839760
[startup+870.357 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9294
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 83310 66 1 0 25 0 11 0 491145572 859914240 31137 4294967295 134512640 134569956 3221224400 3221214592 1131711708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 31137 13073 16 0 209924 0
vsize: 839760
[startup+880.358 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9295
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 84271 66 1 0 25 0 11 0 491145572 859914240 31316 4294967295 134512640 134569956 3221224400 3221214592 1131711671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 31316 13073 16 0 209924 0
vsize: 839760
[startup+890.358 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9296
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 85239 67 1 0 25 0 11 0 491145572 859914240 31523 4294967295 134512640 134569956 3221224400 3221214536 1131711761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 31523 13073 16 0 209924 0
vsize: 839760
[startup+900.359 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9297
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 86208 67 2 0 25 0 11 0 491145572 859914240 31523 4294967295 134512640 134569956 3221224400 3221214664 1131288677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 31523 13073 16 0 209924 0
vsize: 839760
[startup+910.367 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9297
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 87170 67 2 0 25 0 11 0 491145572 859914240 31736 4294967295 134512640 134569956 3221224400 3221214408 1131712587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 31736 13073 16 0 209924 0
vsize: 839760
[startup+920.367 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9298
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 88137 68 2 0 25 0 11 0 491145572 859914240 31736 4294967295 134512640 134569956 3221224400 3221214664 1131289012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 31736 13073 16 0 209924 0
vsize: 839760
[startup+930.372 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9299
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 89098 68 2 0 25 0 11 0 491145572 859914240 32096 4294967295 134512640 134569956 3221224400 3221214692 1131709931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 32096 13073 16 0 209924 0
vsize: 839760
[startup+940.372 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9300
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 90065 68 2 0 25 0 11 0 491145572 859914240 32225 4294967295 134512640 134569956 3221224400 3221214664 1131288656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 32225 13073 16 0 209924 0
vsize: 839760
[startup+950.372 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9300
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 91019 69 2 0 25 0 11 0 491145572 859914240 32265 4294967295 134512640 134569956 3221224400 3221214264 1131711665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 32265 13073 16 0 209924 0
vsize: 839760
[startup+960.372 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9301
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 91980 69 2 0 25 0 11 0 491145572 859914240 32415 4294967295 134512640 134569956 3221224400 3221214664 1131288925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 32415 13073 16 0 209924 0
vsize: 839760
[startup+970.391 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9302
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 92942 69 2 0 25 0 11 0 491145572 859914240 32556 4294967295 134512640 134569956 3221224400 3221214368 1131709792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 32556 13073 16 0 209924 0
vsize: 839760
[startup+980.392 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9302
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 93907 69 2 0 25 0 11 0 491145572 859914240 32598 4294967295 134512640 134569956 3221224400 3221214524 1131713996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 32598 13073 16 0 209924 0
vsize: 839760
[startup+990.432 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9303
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 94864 70 2 0 25 0 11 0 491145572 859914240 32734 4294967295 134512640 134569956 3221224400 3221214344 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 32734 13073 16 0 209924 0
vsize: 839760
[startup+1000.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9304
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 95826 70 2 0 25 0 11 0 491145572 859914240 32982 4294967295 134512640 134569956 3221224400 3221214664 1131287840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 32982 13073 16 0 209924 0
vsize: 839760
[startup+1010.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9305
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 96793 70 2 1 25 0 11 0 491145572 859914240 33005 4294967295 134512640 134569956 3221224400 3221214232 1085679759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 33005 13073 16 0 209924 0
vsize: 839760
[startup+1020.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9305
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 97760 70 2 1 25 0 11 0 491145572 859914240 33128 4294967295 134512640 134569956 3221224400 3221214664 1131288051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 33128 13073 16 0 209924 0
vsize: 839760
[startup+1030.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9306
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 98718 71 2 1 25 0 11 0 491145572 859914240 33279 4294967295 134512640 134569956 3221224400 3221214320 1131711767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 33279 13073 16 0 209924 0
vsize: 839760
[startup+1040.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9307
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 99683 71 2 1 24 0 11 0 491145572 859914240 33424 4294967295 134512640 134569956 3221224400 3221214704 1131711770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 33424 13073 16 0 209924 0
vsize: 839760
[startup+1050.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9308
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 100651 71 2 1 25 0 11 0 491145572 859914240 33440 4294967295 134512640 134569956 3221224400 3221214664 1131288339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 33440 13073 16 0 209924 0
vsize: 839760
[startup+1060.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9308
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 101611 72 2 1 25 0 11 0 491145572 859914240 33577 4294967295 134512640 134569956 3221224400 3221214872 1131722012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 33577 13073 16 0 209924 0
vsize: 839760
[startup+1070.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9309
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 102583 72 2 1 25 0 11 0 491145572 859914240 33702 4294967295 134512640 134569956 3221224400 3221214664 1131288157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 33702 13073 16 0 209924 0
vsize: 839760
[startup+1080.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9310
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 103549 73 2 1 25 0 11 0 491145572 859914240 33719 4294967295 134512640 134569956 3221224400 3221214664 1131287832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 33719 13073 16 0 209924 0
vsize: 839760
[startup+1090.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9310
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 104510 73 2 1 25 0 11 0 491145572 859914240 33841 4294967295 134512640 134569956 3221224400 3221214316 1131711755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 33841 13073 16 0 209924 0
vsize: 839760
[startup+1100.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9311
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 105466 73 2 1 22 0 11 0 491145572 859914240 33971 4294967295 134512640 134569956 3221224400 3221214664 1131288461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 33971 13073 16 0 209924 0
vsize: 839760
[startup+1110.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9312
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 106438 74 2 1 25 0 11 0 491145572 859914240 34091 4294967295 134512640 134569956 3221224400 3221214320 1131711736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 34091 13073 16 0 209924 0
vsize: 839760
[startup+1120.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9313
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 107404 74 2 1 25 0 11 0 491145572 859914240 34112 4294967295 134512640 134569956 3221224400 3221214320 1131711700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 34112 13073 16 0 209924 0
vsize: 839760
[startup+1130.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9313
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 108364 74 2 1 25 0 11 0 491145572 859914240 34234 4294967295 134512640 134569956 3221224400 3221214232 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 34234 13073 16 0 209924 0
vsize: 839760
[startup+1140.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9314
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 109328 74 2 1 25 0 11 0 491145572 859914240 34355 4294967295 134512640 134569956 3221224400 3221214760 1131374612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 34355 13073 16 0 209924 0
vsize: 839760
[startup+1150.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9315
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 110292 75 2 1 25 0 11 0 491145572 859914240 34358 4294967295 134512640 134569956 3221224400 3221214424 1131709962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 34358 13073 16 0 209924 0
vsize: 839760
[startup+1160.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9315
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 111260 75 2 1 25 0 11 0 491145572 859914240 34486 4294967295 134512640 134569956 3221224400 3221214592 1131711736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209940 34486 13073 16 0 209924 0
vsize: 839760
[startup+1170.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9316
Raw data (stat): 9244 (java) S 9243 25285 25284 0 -1 0 18053 4 1 0 112214 75 2 1 25 0 11 0 491145572 859914240 34609 4294967295 134512640 134569956 3221224400 3221213304 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 34609 13073 16 0 209924 0
vsize: 839760
[startup+1180.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9317
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 113188 75 2 1 25 0 11 0 491145572 859914240 34618 4294967295 134512640 134569956 3221224400 3221214568 1131716034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 34618 13073 16 0 209924 0
vsize: 839760
[startup+1190.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9318
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 114146 76 2 1 25 0 11 0 491145572 859914240 34753 4294967295 134512640 134569956 3221224400 3221214480 1131711761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 34753 13073 16 0 209924 0
vsize: 839760
[startup+1200.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9318
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 115106 76 2 1 25 0 11 0 491145572 859914240 34884 4294967295 134512640 134569956 3221224400 3221214288 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 34884 13073 16 0 209924 0
vsize: 839760
[startup+1210.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9319
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 116078 76 2 1 25 0 11 0 491145572 859914240 35024 4294967295 134512640 134569956 3221224400 3221214420 1131713996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 35024 13073 16 0 209924 0
vsize: 839760
[startup+1220.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9320
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 117042 77 2 1 25 0 11 0 491145572 859914240 35036 4294967295 134512640 134569956 3221224400 3221214536 1131711761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 35036 13073 16 0 209924 0
vsize: 839760
[startup+1230.45 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9320
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 118000 77 2 1 24 0 11 0 491145572 859914240 35171 4294967295 134512640 134569956 3221224400 3221214664 1131288210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 35171 13073 16 0 209924 0
vsize: 839760
[startup+1240.45 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9321
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 118963 78 3 1 25 0 11 0 491145572 859914240 35325 4294967295 134512640 134569956 3221224400 3221214580 1131713993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 35325 13073 16 0 209924 0
vsize: 839760
[startup+1250.45 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 9322
Raw data (stat): 9244 (java) R 9243 25285 25284 0 -1 0 18053 4 1 0 119926 78 3 1 25 0 11 0 491145572 859914240 35495 4294967295 134512640 134569956 3221224400 3221214420 1131711760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209940 35495 13073 16 0 209924 0
vsize: 839760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.57 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 9324
Raw data (stat): 9244 (java) Z 9243 25285 25284 0 -1 1036 18053 22171 1 0 119932 85 6363 56 25 0 1 0 491145572 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): 1250.57
CPU time (s): 1264.38
CPU user time (s): 1262.96
CPU system time (s): 1.41578
CPU usage (%): 101.104
Max. virtual memory (Kb): 840304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####