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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
MD5SUM0493ba9e257fafbb54efa7af2eeb7bf2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1567
Optimality of the best value was proved NO
Number of terms in the objective function 133
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 5699
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 5699
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.134979
Number of variables133
Total number of constraints229
Number of constraints which are clauses229
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31

Trace number 4442

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-13 17:16:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2259 boxname=wulflinc1 idbench=251 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0493ba9e257fafbb54efa7af2eeb7bf2  /oldhome/oroussel/tmp/wulflinc1/normalized-cc.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-cc.opb
IDLAUNCH: 2259
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        873936 kB
Buffers:         39560 kB
Cached:          96712 kB
SwapCached:          0 kB
Active:         101944 kB
Inactive:        37948 kB
HighTotal:      131008 kB
HighFree:        41468 kB
LowTotal:       903652 kB
LowFree:        832468 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           8436 kB
Slab:            15040 kB
Committed_AS:    96700 kB
PageTables:        388 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:37:27 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2259 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-cc.opb
c reading problem 
c [nbvar=133]
c [nbconstr=229]
c time 0.767
c #vars     133
c #clauses  229
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=1755
c Current CPU time (ms) : 0.908
c starts	: 1
c conflicts	: 0
c decisions	: 52
c propagations	: 133
c inspects	: 351
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=1746
c Current CPU time (ms) : 1.129
c starts	: 2
c conflicts	: 0
c decisions	: 96
c propagations	: 255
c inspects	: 619
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=1737
c Current CPU time (ms) : 1.41
c starts	: 3
c conflicts	: 1
c decisions	: 140
c propagations	: 383
c inspects	: 818
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1723
c Current CPU time (ms) : 4.583
c starts	: 4
c conflicts	: 13
c decisions	: 228
c propagations	: 578
c inspects	: 1607
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 13
c root simplifications	: 4
c 
c CURRENT OPTIMUM=1716
c Current CPU time (ms) : 7.179
c starts	: 5
c conflicts	: 40
c decisions	: 396
c propagations	: 1039
c inspects	: 3734
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 40
c root simplifications	: 5
c 
c CURRENT OPTIMUM=1687
c Current CPU time (ms) : 17.832
c starts	: 7
c conflicts	: 216
c decisions	: 1153
c propagations	: 3964
c inspects	: 36583
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 216
c root simplifications	: 7
c 
c CURRENT OPTIMUM=1682
c Current CPU time (ms) : 23.114
c starts	: 8
c conflicts	: 278
c decisions	: 1405
c propagations	: 4936
c inspects	: 61271
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 278
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1677
c Current CPU time (ms) : 175.025
c starts	: 13
c conflicts	: 1333
c decisions	: 5814
c propagations	: 21578
c inspects	: 837122
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 1
c learned clauses	: 1333
c root simplifications	: 13
c 
c CURRENT OPTIMUM=1657
c Current CPU time (ms) : 205.044
c starts	: 15
c conflicts	: 1462
c decisions	: 6275
c propagations	: 23374
c inspects	: 1013900
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 1
c learned clauses	: 1462
c root simplifications	: 15
c 
c CURRENT OPTIMUM=1650
c Current CPU time (ms) : 207.606
c starts	: 16
c conflicts	: 1468
c decisions	: 6329
c propagations	: 23522
c inspects	: 1029975
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 1
c learned clauses	: 1468
c root simplifications	: 16
c 
c CURRENT OPTIMUM=1627
c Current CPU time (ms) : 401.755
c starts	: 20
c conflicts	: 2223
c decisions	: 9125
c propagations	: 35060
c inspects	: 2011324
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 1
c learned clauses	: 2223
c root simplifications	: 20
c 
c CURRENT OPTIMUM=1618
c Current CPU time (ms) : 444.636
c starts	: 22
c conflicts	: 2338
c decisions	: 9497
c propagations	: 37058
c inspects	: 2236476
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 2338
c root simplifications	: 22
c 
c CURRENT OPTIMUM=1607
c Current CPU time (ms) : 497.277
c starts	: 24
c conflicts	: 2496
c decisions	: 10077
c propagations	: 39656
c inspects	: 2517264
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 2496
c root simplifications	: 24
c 
c CURRENT OPTIMUM=1601
c Current CPU time (ms) : 559.375
c starts	: 26
c conflicts	: 2640
c decisions	: 10727
c propagations	: 42660
c inspects	: 2795638
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 2640
c root simplifications	: 26
c 
c CURRENT OPTIMUM=1600
c Current CPU time (ms) : 578.614
c starts	: 27
c conflicts	: 2679
c decisions	: 10863
c propagations	: 43250
c inspects	: 2887430
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 2679
c root simplifications	: 27
c 
c CURRENT OPTIMUM=1593
c Current CPU time (ms) : 624.038
c starts	: 29
c conflicts	: 2780
c decisions	: 11363
c propagations	: 44797
c inspects	: 3146079
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 2780
c root simplifications	: 29
c 
c CURRENT OPTIMUM=1590
c Current CPU time (ms) : 1228.348
c starts	: 34
c conflicts	: 3610
c decisions	: 14132
c propagations	: 58203
c inspects	: 5117725
c learned literals	: 0
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 3610
c root simplifications	: 34
#### 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.85 0.97 0.97 2/59 13287
Raw data (stat): 13287 (runsolver) R 13286 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 362605721 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.10 1.02 0.99 2/69 13302
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18073 3 1 0 618 41 0 0 25 0 11 0 362605721 862728192 20945 4294967295 134512640 134569956 3221224416 3221214776 1131308000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 20945 13073 16 0 210611 0
vsize: 842508
[startup+20.0012 s]
Raw data (loadavg): 1.16 1.03 0.99 2/69 13303
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18074 3 1 0 1547 41 0 0 25 0 11 0 362605721 862728192 21549 4294967295 134512640 134569956 3221224416 3221214704 1131180715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 21549 13073 16 0 210611 0
vsize: 842508
[startup+30.0019 s]
Raw data (loadavg): 1.14 1.03 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18074 3 1 0 2481 42 0 0 25 0 11 0 362605721 862728192 22082 4294967295 134512640 134569956 3221224416 3221214560 1131380466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 22082 13073 16 0 210611 0
vsize: 842508
[startup+40.0017 s]
Raw data (loadavg): 1.11 1.03 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18074 3 1 0 3426 42 0 0 25 0 11 0 362605721 862728192 22447 4294967295 134512640 134569956 3221224416 3221214604 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 22447 13073 16 0 210611 0
vsize: 842508
[startup+50.0015 s]
Raw data (loadavg): 1.10 1.03 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 4361 42 0 0 25 0 11 0 362605721 862728192 22661 4294967295 134512640 134569956 3221224416 3221214800 1131243308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 22661 13073 16 0 210611 0
vsize: 842508
[startup+60.0024 s]
Raw data (loadavg): 1.08 1.03 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 5304 42 0 0 25 0 11 0 362605721 862728192 22858 4294967295 134512640 134569956 3221224416 3221214800 1131243170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 22858 13073 16 0 210611 0
vsize: 842508
[startup+70.0036 s]
Raw data (loadavg): 1.07 1.03 0.99 2/69 13304
Raw data (stat): 13287 (java) S 13286 12452 12451 0 -1 0 18075 3 1 0 6244 42 0 0 25 0 11 0 362605721 862728192 23025 4294967295 134512640 134569956 3221224416 3221213440 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23025 13073 16 0 210611 0
vsize: 842508
[startup+80.005 s]
Raw data (loadavg): 1.06 1.02 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 7192 42 0 0 25 0 11 0 362605721 862728192 23234 4294967295 134512640 134569956 3221224416 3221214696 1131313238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23234 13073 16 0 210611 0
vsize: 842508
[startup+90.0057 s]
Raw data (loadavg): 1.05 1.02 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 8145 42 0 0 25 0 11 0 362605721 862728192 23440 4294967295 134512640 134569956 3221224416 3221214600 1131198199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23440 13073 16 0 210611 0
vsize: 842508
[startup+100.005 s]
Raw data (loadavg): 1.04 1.02 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 9096 42 0 0 25 0 11 0 362605721 862728192 23633 4294967295 134512640 134569956 3221224416 3221214408 1131530364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23633 13073 16 0 210611 0
vsize: 842508
[startup+110.006 s]
Raw data (loadavg): 1.03 1.02 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 10056 42 0 0 25 0 11 0 362605721 862728192 23780 4294967295 134512640 134569956 3221224416 3221214776 1131243170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23780 13073 16 0 210611 0
vsize: 842508
[startup+120.007 s]
Raw data (loadavg): 1.03 1.02 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 11010 42 0 0 25 0 11 0 362605721 862728192 23888 4294967295 134512640 134569956 3221224416 3221214496 1131635243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 23888 13073 16 0 210611 0
vsize: 842508
[startup+130.008 s]
Raw data (loadavg): 1.02 1.02 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 11971 43 0 0 25 0 11 0 362605721 862728192 24021 4294967295 134512640 134569956 3221224416 3221214536 1080217189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24021 13073 16 0 210611 0
vsize: 842508
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 12934 43 0 0 25 0 11 0 362605721 862728192 24136 4294967295 134512640 134569956 3221224416 3221214776 1131243269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24136 13073 16 0 210611 0
vsize: 842508
[startup+150.009 s]
Raw data (loadavg): 1.02 1.02 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 13896 43 0 0 25 0 11 0 362605721 862728192 24252 4294967295 134512640 134569956 3221224416 3221214768 1131308000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24252 13073 16 0 210611 0
vsize: 842508
[startup+160.01 s]
Raw data (loadavg): 1.01 1.02 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 14856 43 0 0 25 0 11 0 362605721 862728192 24371 4294967295 134512640 134569956 3221224416 3221214320 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24371 13073 16 0 210611 0
vsize: 842508
[startup+170.01 s]
Raw data (loadavg): 1.01 1.02 0.99 2/69 13304
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 15815 43 0 0 25 0 11 0 362605721 862728192 24482 4294967295 134512640 134569956 3221224416 3221214660 1131283753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24482 13073 16 0 210611 0
vsize: 842508
[startup+180.011 s]
Raw data (loadavg): 1.01 1.02 0.99 2/69 13305
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 16776 43 0 0 25 0 11 0 362605721 862728192 24600 4294967295 134512640 134569956 3221224416 3221214776 1131242879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24600 13073 16 0 210611 0
vsize: 842508
[startup+190.012 s]
Raw data (loadavg): 1.01 1.01 0.99 2/69 13305
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 17730 44 0 0 25 0 11 0 362605721 862728192 24731 4294967295 134512640 134569956 3221224416 3221214856 1131195576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24731 13073 16 0 210611 0
vsize: 842508
[startup+200.011 s]
Raw data (loadavg): 1.00 1.01 0.99 2/69 13305
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 18692 44 0 0 25 0 11 0 362605721 862728192 24845 4294967295 134512640 134569956 3221224416 3221214632 1131530353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24845 13073 16 0 210611 0
vsize: 842508
[startup+210.012 s]
Raw data (loadavg): 1.00 1.01 0.99 2/69 13307
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 19662 44 0 0 25 0 11 0 362605721 862728192 24961 4294967295 134512640 134569956 3221224416 3221214664 1131172281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24961 13073 16 0 210611 0
vsize: 842508
[startup+220.013 s]
Raw data (loadavg): 1.00 1.01 0.99 2/69 13307
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 20621 44 0 0 25 0 11 0 362605721 862728192 25089 4294967295 134512640 134569956 3221224416 3221214568 1131573370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25089 13073 16 0 210611 0
vsize: 842508
[startup+230.014 s]
Raw data (loadavg): 1.00 1.01 0.99 2/69 13307
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 21586 45 0 0 25 0 11 0 362605721 862728192 25179 4294967295 134512640 134569956 3221224416 3221214776 1131243292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25179 13073 16 0 210611 0
vsize: 842508
[startup+240.013 s]
Raw data (loadavg): 1.00 1.01 0.99 2/69 13307
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 22555 45 0 0 25 0 11 0 362605721 862728192 25256 4294967295 134512640 134569956 3221224416 3221214680 1131180981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25256 13073 16 0 210611 0
vsize: 842508
[startup+250.014 s]
Raw data (loadavg): 1.00 1.01 0.99 2/69 13307
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 23516 45 0 0 25 0 11 0 362605721 862728192 25348 4294967295 134512640 134569956 3221224416 3221214208 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25348 13073 16 0 210611 0
vsize: 842508
[startup+260.014 s]
Raw data (loadavg): 1.00 1.01 0.99 2/69 13307
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 24484 45 0 0 25 0 11 0 362605721 862728192 25432 4294967295 134512640 134569956 3221224416 3221214680 1131181487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25432 13073 16 0 210611 0
vsize: 842508
[startup+270.014 s]
Raw data (loadavg): 1.00 1.01 0.99 2/69 13307
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 25452 45 0 0 25 0 11 0 362605721 862728192 25511 4294967295 134512640 134569956 3221224416 3221214232 1131570692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25511 13073 16 0 210611 0
vsize: 842508
[startup+280.014 s]
Raw data (loadavg): 1.00 1.01 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 26427 45 0 0 25 0 11 0 362605721 862728192 25592 4294967295 134512640 134569956 3221224416 3221214292 1131530384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25592 13073 16 0 210611 0
vsize: 842508
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 27397 46 0 0 25 0 11 0 362605721 862728192 25662 4294967295 134512640 134569956 3221224416 3221214632 1131638463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25662 13073 16 0 210611 0
vsize: 842508
[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 28362 46 0 0 25 0 11 0 362605721 862728192 25786 4294967295 134512640 134569956 3221224416 3221214772 1131171692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25786 13073 16 0 210611 0
vsize: 842508
[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 29332 46 0 0 25 0 11 0 362605721 862728192 25898 4294967295 134512640 134569956 3221224416 3221214456 1131554924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25898 13073 16 0 210611 0
vsize: 842508
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 30302 46 0 0 25 0 11 0 362605721 862728192 25983 4294967295 134512640 134569956 3221224416 3221214576 1131289013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 25983 13073 16 0 210611 0
vsize: 842508
[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 31279 46 0 0 25 0 11 0 362605721 862728192 26038 4294967295 134512640 134569956 3221224416 3221214296 1131530332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26038 13073 16 0 210611 0
vsize: 842508
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 32251 46 0 0 24 0 11 0 362605721 862728192 26140 4294967295 134512640 134569956 3221224416 3221214680 1131182486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26140 13073 16 0 210611 0
vsize: 842508
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 33224 47 0 0 25 0 11 0 362605721 862728192 26221 4294967295 134512640 134569956 3221224416 3221214776 1131244464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26221 13073 16 0 210611 0
vsize: 842508
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 34195 47 0 0 25 0 11 0 362605721 862728192 26286 4294967295 134512640 134569956 3221224416 3221214776 1131248934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26286 13073 16 0 210611 0
vsize: 842508
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 35160 47 0 0 25 0 11 0 362605721 862728192 26380 4294967295 134512640 134569956 3221224416 3221214232 1131569772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26380 13073 16 0 210611 0
vsize: 842508
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 36133 47 0 0 25 0 11 0 362605721 862728192 26422 4294967295 134512640 134569956 3221224416 3221214520 1131530316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26422 13073 16 0 210611 0
vsize: 842508
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 37101 47 0 0 25 0 11 0 362605721 862728192 26496 4294967295 134512640 134569956 3221224416 3221214696 1131313216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26496 13073 16 0 210611 0
vsize: 842508
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13309
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 38069 47 0 0 25 0 11 0 362605721 862728192 26582 4294967295 134512640 134569956 3221224416 3221214292 1131530379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26582 13073 16 0 210611 0
vsize: 842508
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13310
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 39040 47 0 0 25 0 11 0 362605721 862728192 26668 4294967295 134512640 134569956 3221224416 3221214776 1131244464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26668 13073 16 0 210611 0
vsize: 842508
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13310
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 40016 48 0 0 25 0 11 0 362605721 862728192 26742 4294967295 134512640 134569956 3221224416 3221214344 1131568779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26742 13073 16 0 210611 0
vsize: 842508
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13310
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 40983 48 0 0 25 0 11 0 362605721 862728192 26858 4294967295 134512640 134569956 3221224416 3221214776 1131246055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26858 13073 16 0 210611 0
vsize: 842508
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13310
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 41953 48 0 0 25 0 11 0 362605721 862728192 26933 4294967295 134512640 134569956 3221224416 3221214680 1131182525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26933 13073 16 0 210611 0
vsize: 842508
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13311
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 42926 48 0 0 25 0 11 0 362605721 862728192 26983 4294967295 134512640 134569956 3221224416 3221214992 1131642564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 26983 13073 16 0 210611 0
vsize: 842508
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13311
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 43898 48 0 0 25 0 11 0 362605721 862728192 27041 4294967295 134512640 134569956 3221224416 3221214680 1131180632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27041 13073 16 0 210611 0
vsize: 842508
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13311
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 44870 48 0 0 25 0 11 0 362605721 862728192 27114 4294967295 134512640 134569956 3221224416 3221214520 1131530385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27114 13073 16 0 210611 0
vsize: 842508
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13311
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 45847 49 0 0 25 0 11 0 362605721 862728192 27177 4294967295 134512640 134569956 3221224416 3221214776 1131243077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27177 13073 16 0 210611 0
vsize: 842508
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13311
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 46822 49 0 0 25 0 11 0 362605721 862728192 27233 4294967295 134512640 134569956 3221224416 3221214776 1131244296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27233 13073 16 0 210611 0
vsize: 842508
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/69 13312
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 47792 49 0 0 24 0 11 0 362605721 862728192 27298 4294967295 134512640 134569956 3221224416 3221214664 1131172238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27298 13073 16 0 210611 0
vsize: 842508
[startup+510.024 s]
Raw data (loadavg): 1.08 1.02 1.00 2/69 13312
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 48765 49 0 0 25 0 11 0 362605721 862728192 27371 4294967295 134512640 134569956 3221224416 3221214776 1131245944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27371 13073 16 0 210611 0
vsize: 842508
[startup+520.024 s]
Raw data (loadavg): 1.07 1.02 1.00 2/69 13312
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 49733 49 0 0 25 0 11 0 362605721 862728192 27432 4294967295 134512640 134569956 3221224416 3221214776 1131244772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27432 13073 16 0 210611 0
vsize: 842508
[startup+530.024 s]
Raw data (loadavg): 1.06 1.01 1.00 2/69 13312
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 50702 49 0 0 25 0 11 0 362605721 862728192 27520 4294967295 134512640 134569956 3221224416 3221214896 1131463999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27520 13073 16 0 210611 0
vsize: 842508
[startup+540.025 s]
Raw data (loadavg): 1.12 1.03 1.00 2/69 13312
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 51677 49 0 0 25 0 11 0 362605721 862728192 27581 4294967295 134512640 134569956 3221224416 3221214680 1131180769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27581 13073 16 0 210611 0
vsize: 842508
[startup+550.025 s]
Raw data (loadavg): 1.10 1.03 1.00 2/69 13312
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 52648 49 0 0 25 0 11 0 362605721 862728192 27664 4294967295 134512640 134569956 3221224416 3221214776 1131243170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27664 13073 16 0 210611 0
vsize: 842508
[startup+560.025 s]
Raw data (loadavg): 1.09 1.03 1.00 2/69 13312
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 53620 50 0 0 25 0 11 0 362605721 862728192 27766 4294967295 134512640 134569956 3221224416 3221214232 1131575068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27766 13073 16 0 210611 0
vsize: 842508
[startup+570.026 s]
Raw data (loadavg): 1.07 1.03 1.00 2/69 13313
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 54593 50 0 0 25 0 11 0 362605721 862728192 27818 4294967295 134512640 134569956 3221224416 3221214728 1131175560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27818 13073 16 0 210611 0
vsize: 842508
[startup+580.026 s]
Raw data (loadavg): 1.06 1.03 1.00 2/69 13316
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 55566 50 0 0 25 0 11 0 362605721 862728192 27882 4294967295 134512640 134569956 3221224416 3221214672 1131530837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27882 13073 16 0 210611 0
vsize: 842508
[startup+590.026 s]
Raw data (loadavg): 1.05 1.02 1.00 2/69 13316
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 56542 50 0 0 25 0 11 0 362605721 862728192 27938 4294967295 134512640 134569956 3221224416 3221214544 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 27938 13073 16 0 210611 0
vsize: 842508
[startup+600.025 s]
Raw data (loadavg): 1.04 1.02 1.00 2/69 13316
Raw data (stat): 13287 (java) S 13286 12452 12451 0 -1 0 18075 3 1 0 57516 50 0 0 25 0 11 0 362605721 862728192 28004 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28004 13073 16 0 210611 0
vsize: 842508
[startup+610.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/69 13316
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 58492 50 0 0 24 0 11 0 362605721 862728192 28069 4294967295 134512640 134569956 3221224416 3221214776 1131243174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28069 13073 16 0 210611 0
vsize: 842508
[startup+620.027 s]
Raw data (loadavg): 1.03 1.02 1.00 2/69 13316
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 59473 51 0 0 25 0 11 0 362605721 862728192 28109 4294967295 134512640 134569956 3221224416 3221214344 1131570548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28109 13073 16 0 210611 0
vsize: 842508
[startup+630.027 s]
Raw data (loadavg): 1.02 1.02 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 60454 51 0 0 25 0 11 0 362605721 862728192 28143 4294967295 134512640 134569956 3221224416 3221214680 1131180727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28143 13073 16 0 210611 0
vsize: 842508
[startup+640.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 61427 51 0 0 25 0 11 0 362605721 862728192 28230 4294967295 134512640 134569956 3221224416 3221214776 1131248803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28230 13073 16 0 210611 0
vsize: 842508
[startup+650.027 s]
Raw data (loadavg): 1.02 1.02 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 62406 51 0 0 25 0 11 0 362605721 862728192 28276 4294967295 134512640 134569956 3221224416 3221214296 1131530360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28276 13073 16 0 210611 0
vsize: 842508
[startup+660.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 63388 51 0 0 25 0 11 0 362605721 862728192 28311 4294967295 134512640 134569956 3221224416 3221214680 1131180769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28311 13073 16 0 210611 0
vsize: 842508
[startup+670.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 64363 51 0 0 25 0 11 0 362605721 862728192 28386 4294967295 134512640 134569956 3221224416 3221214672 1131569786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28386 13073 16 0 210611 0
vsize: 842508
[startup+680.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 65337 52 0 0 24 0 11 0 362605721 862728192 28448 4294967295 134512640 134569956 3221224416 3221214776 1131244948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28448 13073 16 0 210611 0
vsize: 842508
[startup+690.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 66312 52 0 0 24 0 11 0 362605721 862728192 28501 4294967295 134512640 134569956 3221224416 3221214680 1131181015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28501 13073 16 0 210611 0
vsize: 842508
[startup+700.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 67290 52 0 0 25 0 11 0 362605721 862728192 28549 4294967295 134512640 134569956 3221224416 3221214552 1131198052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28549 13073 16 0 210611 0
vsize: 842508
[startup+710.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 68262 52 0 0 25 0 11 0 362605721 862728192 28609 4294967295 134512640 134569956 3221224416 3221214184 1131530385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28609 13073 16 0 210611 0
vsize: 842508
[startup+720.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 69232 52 0 0 25 0 11 0 362605721 862728192 28655 4294967295 134512640 134569956 3221224416 3221214776 1131243035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28655 13073 16 0 210611 0
vsize: 842508
[startup+730.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 70207 52 0 0 25 0 11 0 362605721 862728192 28716 4294967295 134512640 134569956 3221224416 3221214680 1131181023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28716 13073 16 0 210611 0
vsize: 842508
[startup+740.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 71177 52 0 0 25 0 11 0 362605721 862728192 28779 4294967295 134512640 134569956 3221224416 3221214884 1080204298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28779 13073 16 0 210611 0
vsize: 842508
[startup+750.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 72152 52 0 0 25 0 11 0 362605721 862728192 28843 4294967295 134512640 134569956 3221224416 3221214336 1131530837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28843 13073 16 0 210611 0
vsize: 842508
[startup+760.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 73128 53 0 0 25 0 11 0 362605721 862728192 28917 4294967295 134512640 134569956 3221224416 3221214428 1080217184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28917 13073 16 0 210611 0
vsize: 842508
[startup+770.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 74105 53 0 0 25 0 11 0 362605721 862728192 28976 4294967295 134512640 134569956 3221224416 3221214552 1131198659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 28976 13073 16 0 210611 0
vsize: 842508
[startup+780.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 75082 53 0 0 25 0 11 0 362605721 862728192 29046 4294967295 134512640 134569956 3221224416 3221214208 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 29046 13073 16 0 210611 0
vsize: 842508
[startup+790.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 76056 53 0 0 25 0 11 0 362605721 862728192 29117 4294967295 134512640 134569956 3221224416 3221214776 1131243112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29117 13073 16 0 210611 0
vsize: 842508
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 77031 53 0 0 25 0 11 0 362605721 862728192 29185 4294967295 134512640 134569956 3221224416 3221214776 1131243996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29185 13073 16 0 210611 0
vsize: 842508
[startup+810.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 78006 53 0 0 25 0 11 0 362605721 862728192 29253 4294967295 134512640 134569956 3221224416 3221214456 1131574980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29253 13073 16 0 210611 0
vsize: 842508
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 78982 53 0 0 25 0 11 0 362605721 862728192 29308 4294967295 134512640 134569956 3221224416 3221214584 1131517571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29308 13073 16 0 210611 0
vsize: 842508
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 79959 53 0 0 25 0 11 0 362605721 862728192 29387 4294967295 134512640 134569956 3221224416 3221214776 1131244450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29387 13073 16 0 210611 0
vsize: 842508
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 80937 53 0 0 25 0 11 0 362605721 862728192 29445 4294967295 134512640 134569956 3221224416 3221214680 1131181191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29445 13073 16 0 210611 0
vsize: 842508
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 81911 54 0 0 16 0 11 0 362605721 862728192 29525 4294967295 134512640 134569956 3221224416 3221214776 1131243077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29525 13073 16 0 210611 0
vsize: 842508
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 82892 54 0 0 25 0 11 0 362605721 862728192 29576 4294967295 134512640 134569956 3221224416 3221214456 1131627487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29576 13073 16 0 210611 0
vsize: 842508
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13317
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 83868 54 0 0 25 0 11 0 362605721 862728192 29635 4294967295 134512640 134569956 3221224416 3221214680 1131180817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29635 13073 16 0 210611 0
vsize: 842508
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 84850 54 0 0 25 0 11 0 362605721 862728192 29665 4294967295 134512640 134569956 3221224416 3221214616 1131425196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29665 13073 16 0 210611 0
vsize: 842508
[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 85828 55 0 0 25 0 11 0 362605721 862728192 29730 4294967295 134512640 134569956 3221224416 3221214816 1131210913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29730 13073 16 0 210611 0
vsize: 842508
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 86810 55 0 0 25 0 11 0 362605721 862728192 29788 4294967295 134512640 134569956 3221224416 3221214684 1080204229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29788 13073 16 0 210611 0
vsize: 842508
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 87790 55 0 0 25 0 11 0 362605721 862728192 29846 4294967295 134512640 134569956 3221224416 3221214504 1131182415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29846 13073 16 0 210611 0
vsize: 842508
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 88770 55 0 0 25 0 11 0 362605721 862728192 29889 4294967295 134512640 134569956 3221224416 3221214552 1131380514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29889 13073 16 0 210611 0
vsize: 842508
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 89749 55 0 0 25 0 11 0 362605721 862728192 29954 4294967295 134512640 134569956 3221224416 3221214544 1131520803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 29954 13073 16 0 210611 0
vsize: 842508
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 90727 55 0 0 25 0 11 0 362605721 862728192 30018 4294967295 134512640 134569956 3221224416 3221214776 1131243077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30018 13073 16 0 210611 0
vsize: 842508
[startup+950.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 91710 55 0 0 25 0 11 0 362605721 862728192 30062 4294967295 134512640 134569956 3221224416 3221214680 1131180769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30062 13073 16 0 210611 0
vsize: 842508
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 92687 55 0 0 25 0 11 0 362605721 862728192 30096 4294967295 134512640 134569956 3221224416 3221214560 1131573776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30096 13073 16 0 210611 0
vsize: 842508
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) S 13286 12452 12451 0 -1 0 18075 3 1 0 93667 56 0 0 25 0 11 0 362605721 862728192 30130 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30130 13073 16 0 210611 0
vsize: 842508
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 94645 56 0 0 25 0 11 0 362605721 862728192 30177 4294967295 134512640 134569956 3221224416 3221214496 1131634494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30177 13073 16 0 210611 0
vsize: 842508
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 95625 56 0 0 25 0 11 0 362605721 862728192 30238 4294967295 134512640 134569956 3221224416 3221214496 1131634132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30238 13073 16 0 210611 0
vsize: 842508
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 96610 56 0 0 25 0 11 0 362605721 862728192 30268 4294967295 134512640 134569956 3221224416 3221214488 1131624950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30268 13073 16 0 210611 0
vsize: 842508
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 97590 56 0 0 24 0 11 0 362605721 862728192 30319 4294967295 134512640 134569956 3221224416 3221214776 1131244440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30319 13073 16 0 210611 0
vsize: 842508
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 98567 56 0 0 25 0 11 0 362605721 862728192 30367 4294967295 134512640 134569956 3221224416 3221214808 1131166172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30367 13073 16 0 210611 0
vsize: 842508
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 99551 56 0 0 25 0 11 0 362605721 862728192 30415 4294967295 134512640 134569956 3221224416 3221214616 1131425101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30415 13073 16 0 210611 0
vsize: 842508
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 100533 56 0 0 25 0 11 0 362605721 862728192 30476 4294967295 134512640 134569956 3221224416 3221214488 1131624902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30476 13073 16 0 210611 0
vsize: 842508
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 101519 56 0 0 25 0 11 0 362605721 862728192 30532 4294967295 134512640 134569956 3221224416 3221214776 1131243112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30532 13073 16 0 210611 0
vsize: 842508
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 102498 56 0 0 24 0 11 0 362605721 862728192 30619 4294967295 134512640 134569956 3221224416 3221214696 1131318919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30619 13073 16 0 210611 0
vsize: 842508
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 103483 56 0 0 25 0 11 0 362605721 862728192 30656 4294967295 134512640 134569956 3221224416 3221214576 1131289876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30656 13073 16 0 210611 0
vsize: 842508
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 104461 56 0 0 25 0 11 0 362605721 862728192 30702 4294967295 134512640 134569956 3221224416 3221214632 1131530360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30702 13073 16 0 210611 0
vsize: 842508
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 105440 57 0 0 25 0 11 0 362605721 862728192 30774 4294967295 134512640 134569956 3221224416 3221214552 1131380488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30774 13073 16 0 210611 0
vsize: 842508
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 106424 57 0 0 25 0 11 0 362605721 862728192 30792 4294967295 134512640 134569956 3221224416 3221214560 1131198659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30792 13073 16 0 210611 0
vsize: 842508
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 107403 57 0 0 25 0 11 0 362605721 862728192 30830 4294967295 134512640 134569956 3221224416 3221214368 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30830 13073 16 0 210611 0
vsize: 842508
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 108382 57 0 0 25 0 11 0 362605721 862728192 30868 4294967295 134512640 134569956 3221224416 3221214696 1131314563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30868 13073 16 0 210611 0
vsize: 842508
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 109365 57 0 0 25 0 11 0 362605721 862728192 30910 4294967295 134512640 134569956 3221224416 3221214112 1131569783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30910 13073 16 0 210611 0
vsize: 842508
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 110339 58 0 0 25 0 11 0 362605721 862728192 30992 4294967295 134512640 134569956 3221224416 3221214560 1131198389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 30992 13073 16 0 210611 0
vsize: 842508
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 111315 58 0 0 24 0 11 0 362605721 862728192 31085 4294967295 134512640 134569956 3221224416 3221214680 1131181177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 31085 13073 16 0 210611 0
vsize: 842508
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 112296 58 0 0 25 0 11 0 362605721 862728192 31109 4294967295 134512640 134569956 3221224416 3221214488 1080217379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 31109 13073 16 0 210611 0
vsize: 842508
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13319
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 113276 58 0 0 25 0 11 0 362605721 862728192 31164 4294967295 134512640 134569956 3221224416 3221214228 1131530828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 31164 13073 16 0 210611 0
vsize: 842508
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13321
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 114256 58 0 0 25 0 11 0 362605721 862728192 31217 4294967295 134512640 134569956 3221224416 3221214512 1131288162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 31217 13073 16 0 210611 0
vsize: 842508
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13321
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 115237 59 0 0 25 0 11 0 362605721 862728192 31278 4294967295 134512640 134569956 3221224416 3221214576 1131289624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 31278 13073 16 0 210611 0
vsize: 842508
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13321
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 116222 59 0 0 25 0 11 0 362605721 862728192 31318 4294967295 134512640 134569956 3221224416 3221214576 1131289192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 31318 13073 16 0 210611 0
vsize: 842508
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13321
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 117204 59 0 0 25 0 11 0 362605721 862728192 31366 4294967295 134512640 134569956 3221224416 3221214776 1131243070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 31366 13073 16 0 210611 0
vsize: 842508
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13321
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 118182 59 0 0 17 0 11 0 362605721 862728192 31419 4294967295 134512640 134569956 3221224416 3221214680 1131180854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 31419 13073 16 0 210611 0
vsize: 842508
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13322
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 119168 59 0 0 25 0 11 0 362605721 862728192 31467 4294967295 134512640 134569956 3221224416 3221214296 1131530229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 31467 13073 16 0 210611 0
vsize: 842508
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/69 13322
Raw data (stat): 13287 (java) R 13286 12452 12451 0 -1 0 18075 3 1 0 120147 59 0 0 25 0 11 0 362605721 862728192 31522 4294967295 134512640 134569956 3221224416 3221214696 1131314004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 31522 13073 16 0 210611 0
vsize: 842508
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/59 13324
Raw data (stat): 13287 (java) Z 13286 12452 12451 0 -1 1036 18075 17326 1 0 120151 65 4761 46 25 0 1 0 362605721 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1240.18
CPU time (s): 1250.25
CPU user time (s): 1249.13
CPU system time (s): 1.12383
CPU usage (%): 100.812
Max. virtual memory (Kb): 842508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####