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/submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb
MD5SUM	ba509931ad93c2223be235a06a9b3100
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	84
Optimality of the best value was proved	NO
Number of terms in the objective function	200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	200
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	200
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	200
Total number of constraints	900
Number of constraints which are clauses	900
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	14
Trace number 29220

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 05:36:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20590 boxname=wulflinc5 idbench=180 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  ba509931ad93c2223be235a06a9b3100  /oldhome/oroussel/tmp/wulflinc5/normalized-jnh201.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-jnh201.opb
IDLAUNCH: 20590
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        813656 kB
Buffers:         15804 kB
Cached:         184460 kB
SwapCached:        472 kB
Active:          30420 kB
Inactive:       171904 kB
HighTotal:      131008 kB
HighFree:         4032 kB
LowTotal:       903652 kB
LowFree:        809624 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            13084 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:57:38 (client local time) WITH STATUS 143 IN 1259.44 SECONDS
stats: 20590 0 1259.44 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-jnh201.opb
c reading problem ... done. Time 2.132 ms.
c #vars     200
c #constraints  900
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  96 		Current CPU time: 3.96 ms
c CURRENT OPTIMUM=                  93 		Current CPU time: 4.08 ms
c CURRENT OPTIMUM=                  92 		Current CPU time: 5.54 ms
c CURRENT OPTIMUM=                  91 		Current CPU time: 13.19 ms
c CURRENT OPTIMUM=                  90 		Current CPU time: 19.49 ms
c CURRENT OPTIMUM=                  89 		Current CPU time: 52.99 ms
c CURRENT OPTIMUM=                  88 		Current CPU time: 271.07 ms
c starts	: 21
c conflicts	: 3669
c decisions	: 7553
c propagations	: 110031
c inspects	: 8841607
c learned literals	: 1
c learned binary clauses	: 2
c learned ternary clauses	: 10
c learned clauses	: 3668
c root simplifications	: 23
s SATISFIABLE
v x1 -x2 -x3 -x4 x5 -x6 -x7 x8 -x9 x10 x11 -x12 -x13 x14 x15 -x16 -x17 x18 -x19 x20 -x21 x22 x23 -x24 -x25 -x26 -x27 x28 -x29 x30 -x31 x32 -x33 x34 -x35 x36 -x37 x38 -x39 x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 -x49 x50 x51 -x52 -x53 x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 x68 x69 -x70 -x71 x72 -x73 x74 -x75 x76 x77 -x78 -x79 x80 x81 -x82 x83 -x84 -x85 -x86 -x87 x88 x89 -x90 -x91 -x92 x93 -x94 -x95 x96 -x97 x98 -x99 x100 -x101 x102 -x103 -x104 -x105 x106 x107 -x108 -x109 x110 -x111 x112 x113 -x114 -x115 x116 x117 -x118 x119 -x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130 -x131 x132 -x133 x134 -x135 x136 -x137 x138 x139 -x140 -x141 x142 x143 -x144 -x145 x146 x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 x156 x157 -x158 -x159 x160 -x161 x162 -x163 -x164 x165 -x166 x167 -x168 -x169 x170 -x171 -x172 -x173 x174 x175 -x176 x177 -x178 -x179 x180 -x181 x182 x183 -x184 -x185 -x186 -x187 x188 -x189 x190 x191 -x192 -x193 x194 -x195 -x196 x197 -x198 -x199 x200 
c objectif function=88
c Total CPU time (ms) : 1249.106
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.05 1.01 0.99 2/54 20104
Raw data (stat): 20104 (runsolver) R 20103 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778188727 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0004 s]
Raw data (loadavg): 1.19 1.05 1.00 2/64 20117
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18117 3 1 0 606 38 0 0 25 0 11 0 778188727 861724672 20670 4294967295 134512640 134569956 3221224384 3221214604 1130883836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210382 20670 13086 16 0 210366 0
vsize: 841528
[startup+20.0017 s]
Raw data (loadavg): 1.16 1.04 1.00 2/64 20118
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18117 3 1 0 1551 38 0 0 25 0 11 0 778188727 861691904 21707 4294967295 134512640 134569956 3221224384 3221214680 1131308978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 21707 13086 16 0 210358 0
vsize: 841496
[startup+30.0025 s]
Raw data (loadavg): 1.14 1.04 1.00 2/64 20119
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18117 3 1 0 2490 39 0 0 25 0 11 0 778188727 861691904 22081 4294967295 134512640 134569956 3221224384 3221214584 1131250161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 22081 13086 16 0 210358 0
vsize: 841496
[startup+40.0026 s]
Raw data (loadavg): 1.12 1.04 1.00 2/64 20119
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18117 3 1 0 3413 39 0 0 25 0 11 0 778188727 861691904 22207 4294967295 134512640 134569956 3221224384 3221214584 1131250739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 22207 13086 16 0 210358 0
vsize: 841496
[startup+50.0029 s]
Raw data (loadavg): 1.10 1.04 1.00 2/64 20119
Raw data (stat): 20104 (java) S 20103 7266 7265 0 -1 0 18119 3 1 0 4350 40 0 0 25 0 11 0 778188727 863789056 22951 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210886 22951 13086 16 0 210870 0
vsize: 843544
[startup+60.0032 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 5299 40 0 0 25 0 11 0 778188727 862740480 22928 4294967295 134512640 134569956 3221224384 3221214608 1131380134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 22928 13086 16 0 210614 0
vsize: 842520
[startup+70.0049 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 6247 41 0 0 25 0 11 0 778188727 862740480 23167 4294967295 134512640 134569956 3221224384 3221214584 1131249761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 23167 13086 16 0 210614 0
vsize: 842520
[startup+80.0056 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 7190 41 0 0 25 0 11 0 778188727 862740480 23245 4294967295 134512640 134569956 3221224384 3221214680 1131308828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 23245 13086 16 0 210614 0
vsize: 842520
[startup+90.0049 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 8138 41 0 0 25 0 11 0 778188727 862740480 23291 4294967295 134512640 134569956 3221224384 3221214680 1131309991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 23291 13086 16 0 210614 0
vsize: 842520
[startup+100.006 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 9084 42 0 0 25 0 11 0 778188727 862740480 23473 4294967295 134512640 134569956 3221224384 3221214232 1131545212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 23473 13086 16 0 210614 0
vsize: 842520
[startup+110.007 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 10037 42 0 0 25 0 11 0 778188727 862740480 23742 4294967295 134512640 134569956 3221224384 3221214680 1131308721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 23742 13086 16 0 210614 0
vsize: 842520
[startup+120.008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 10995 43 0 0 25 0 11 0 778188727 862740480 23855 4294967295 134512640 134569956 3221224384 3221214680 1131308978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 23855 13086 16 0 210614 0
vsize: 842520
[startup+130.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 11949 43 0 0 25 0 11 0 778188727 862740480 23923 4294967295 134512640 134569956 3221224384 3221214584 1131250206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 23923 13086 16 0 210614 0
vsize: 842520
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 12904 43 0 0 25 0 11 0 778188727 862740480 24054 4294967295 134512640 134569956 3221224384 3221214680 1131308978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 24054 13086 16 0 210614 0
vsize: 842520
[startup+150.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 13857 44 0 0 25 0 11 0 778188727 862740480 24190 4294967295 134512640 134569956 3221224384 3221214584 1131250725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 24190 13086 16 0 210614 0
vsize: 842520
[startup+160.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 14823 44 0 0 25 0 11 0 778188727 862740480 24319 4294967295 134512640 134569956 3221224384 3221214584 1131250161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 24319 13086 16 0 210614 0
vsize: 842520
[startup+170.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 15790 45 0 0 24 0 11 0 778188727 862740480 24458 4294967295 134512640 134569956 3221224384 3221214416 1131545184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 24458 13086 16 0 210614 0
vsize: 842520
[startup+180.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 16762 45 0 0 25 0 11 0 778188727 862740480 24549 4294967295 134512640 134569956 3221224384 3221214568 1131379330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 24549 13086 16 0 210614 0
vsize: 842520
[startup+190.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18119 3 1 0 17729 45 0 0 25 0 11 0 778188727 862740480 24594 4294967295 134512640 134569956 3221224384 3221214584 1131250161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 24594 13086 16 0 210614 0
vsize: 842520
[startup+200.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 18691 45 0 0 25 0 11 0 778188727 862740480 24649 4294967295 134512640 134569956 3221224384 3221214680 1131310851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 24649 13086 16 0 210614 0
vsize: 842520
[startup+210.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 19650 45 0 0 25 0 11 0 778188727 862740480 24811 4294967295 134512640 134569956 3221224384 3221214680 1131310054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 24811 13086 16 0 210614 0
vsize: 842520
[startup+220.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 20612 45 0 0 25 0 11 0 778188727 862740480 24922 4294967295 134512640 134569956 3221224384 3221214676 1131297331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 24922 13086 16 0 210614 0
vsize: 842520
[startup+230.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 21572 46 0 0 25 0 11 0 778188727 862740480 25028 4294967295 134512640 134569956 3221224384 3221214704 1131352029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25028 13086 16 0 210614 0
vsize: 842520
[startup+240.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 22539 46 0 0 25 0 11 0 778188727 862740480 25139 4294967295 134512640 134569956 3221224384 3221214584 1131422109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25139 13086 16 0 210614 0
vsize: 842520
[startup+250.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 23513 47 0 0 25 0 11 0 778188727 862740480 25224 4294967295 134512640 134569956 3221224384 3221214680 1131308892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25224 13086 16 0 210614 0
vsize: 842520
[startup+260.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 24480 47 0 0 25 0 11 0 778188727 862740480 25315 4294967295 134512640 134569956 3221224384 3221214496 1131209856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25315 13086 16 0 210614 0
vsize: 842520
[startup+270.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20120
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 25445 48 0 0 25 0 11 0 778188727 862740480 25362 4294967295 134512640 134569956 3221224384 3221214680 1131308978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25362 13086 16 0 210614 0
vsize: 842520
[startup+280.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 26407 48 0 0 25 0 11 0 778188727 862740480 25425 4294967295 134512640 134569956 3221224384 3221214560 1131250375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25425 13086 16 0 210614 0
vsize: 842520
[startup+290.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 27370 49 0 0 25 0 11 0 778188727 862740480 25493 4294967295 134512640 134569956 3221224384 3221214656 1131308991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25493 13086 16 0 210614 0
vsize: 842520
[startup+300.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 28336 49 0 0 25 0 11 0 778188727 862740480 25642 4294967295 134512640 134569956 3221224384 3221214560 1131249846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25642 13086 16 0 210614 0
vsize: 842520
[startup+310.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 29307 49 0 0 25 0 11 0 778188727 862740480 25728 4294967295 134512640 134569956 3221224384 3221214560 1131250375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25728 13086 16 0 210614 0
vsize: 842520
[startup+320.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 30278 49 0 0 25 0 11 0 778188727 862740480 25793 4294967295 134512640 134569956 3221224384 3221214656 1131309991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25793 13086 16 0 210614 0
vsize: 842520
[startup+330.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 31252 50 0 0 25 0 11 0 778188727 862740480 25864 4294967295 134512640 134569956 3221224384 3221214320 1131459179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25864 13086 16 0 210614 0
vsize: 842520
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 32227 50 0 0 25 0 11 0 778188727 862740480 25910 4294967295 134512640 134569956 3221224384 3221214648 1131215288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25910 13086 16 0 210614 0
vsize: 842520
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 33192 50 0 0 25 0 11 0 778188727 862740480 25986 4294967295 134512640 134569956 3221224384 3221214472 1131210300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 25986 13086 16 0 210614 0
vsize: 842520
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 34159 51 0 0 25 0 11 0 778188727 862740480 26000 4294967295 134512640 134569956 3221224384 3221214656 1131309729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26000 13086 16 0 210614 0
vsize: 842520
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 35119 51 0 0 25 0 11 0 778188727 862740480 26053 4294967295 134512640 134569956 3221224384 3221214656 1131308721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26053 13086 16 0 210614 0
vsize: 842520
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 36087 51 0 0 25 0 11 0 778188727 862740480 26220 4294967295 134512640 134569956 3221224384 3221214592 1131570182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26220 13086 16 0 210614 0
vsize: 842520
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 37067 52 0 0 25 0 11 0 778188727 862740480 26329 4294967295 134512640 134569956 3221224384 3221214560 1131250728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26329 13086 16 0 210614 0
vsize: 842520
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 38048 52 0 0 25 0 11 0 778188727 862740480 26382 4294967295 134512640 134569956 3221224384 3221214616 1131287819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26382 13086 16 0 210614 0
vsize: 842520
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 39030 52 0 0 25 0 11 0 778188727 862740480 26394 4294967295 134512640 134569956 3221224384 3221214848 1131279847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26394 13086 16 0 210614 0
vsize: 842520
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 40012 53 0 0 25 0 11 0 778188727 862740480 26402 4294967295 134512640 134569956 3221224384 3221214656 1131308913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26402 13086 16 0 210614 0
vsize: 842520
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 40990 54 0 0 25 0 11 0 778188727 862740480 26443 4294967295 134512640 134569956 3221224384 3221214656 1131308913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26443 13086 16 0 210614 0
vsize: 842520
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 41970 54 0 0 25 0 11 0 778188727 862740480 26476 4294967295 134512640 134569956 3221224384 3221214560 1131250108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26476 13086 16 0 210614 0
vsize: 842520
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 42945 55 0 0 25 0 11 0 778188727 862740480 26501 4294967295 134512640 134569956 3221224384 3221214560 1131250083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26501 13086 16 0 210614 0
vsize: 842520
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 43922 56 0 0 25 0 11 0 778188727 862740480 26548 4294967295 134512640 134569956 3221224384 3221214560 1131250161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26548 13086 16 0 210614 0
vsize: 842520
[startup+470.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 44894 56 0 0 25 0 11 0 778188727 862740480 26583 4294967295 134512640 134569956 3221224384 3221214656 1131312674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26583 13086 16 0 210614 0
vsize: 842520
[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 45865 57 0 0 24 0 11 0 778188727 862740480 26649 4294967295 134512640 134569956 3221224384 3221214560 1131250117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26649 13086 16 0 210614 0
vsize: 842520
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 46840 57 0 0 25 0 11 0 778188727 862740480 26702 4294967295 134512640 134569956 3221224384 3221214656 1131308906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26702 13086 16 0 210614 0
vsize: 842520
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 47817 57 0 0 25 0 11 0 778188727 862740480 26748 4294967295 134512640 134569956 3221224384 3221214560 1131250075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26748 13086 16 0 210614 0
vsize: 842520
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 48796 58 0 0 25 0 11 0 778188727 862740480 26791 4294967295 134512640 134569956 3221224384 3221214656 1131309916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26791 13086 16 0 210614 0
vsize: 842520
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 49769 58 0 0 25 0 11 0 778188727 862740480 26817 4294967295 134512640 134569956 3221224384 3221214620 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26817 13086 16 0 210614 0
vsize: 842520
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 50737 59 0 0 25 0 11 0 778188727 862740480 26862 4294967295 134512640 134569956 3221224384 3221214656 1131308906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26862 13086 16 0 210614 0
vsize: 842520
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 51708 59 0 0 25 0 11 0 778188727 862740480 26927 4294967295 134512640 134569956 3221224384 3221214656 1131308906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26927 13086 16 0 210614 0
vsize: 842520
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 52680 59 0 0 25 0 11 0 778188727 862740480 26993 4294967295 134512640 134569956 3221224384 3221214840 1131554865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 26993 13086 16 0 210614 0
vsize: 842520
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 53652 60 0 0 25 0 11 0 778188727 862740480 27077 4294967295 134512640 134569956 3221224384 3221214112 1131564152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27077 13086 16 0 210614 0
vsize: 842520
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 54624 60 0 0 25 0 11 0 778188727 862740480 27135 4294967295 134512640 134569956 3221224384 3221214556 1131210919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27135 13086 16 0 210614 0
vsize: 842520
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 55598 60 0 0 25 0 11 0 778188727 862740480 27171 4294967295 134512640 134569956 3221224384 3221214496 1131565074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27171 13086 16 0 210614 0
vsize: 842520
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 56564 60 0 0 25 0 11 0 778188727 862740480 27209 4294967295 134512640 134569956 3221224384 3221214656 1131308913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27209 13086 16 0 210614 0
vsize: 842520
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 57529 60 0 0 25 0 11 0 778188727 862740480 27297 4294967295 134512640 134569956 3221224384 3221214560 1131250067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27297 13086 16 0 210614 0
vsize: 842520
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 58494 61 0 0 25 0 11 0 778188727 862740480 27357 4294967295 134512640 134569956 3221224384 3221214560 1131250161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27357 13086 16 0 210614 0
vsize: 842520
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 59460 61 0 0 25 0 11 0 778188727 862740480 27460 4294967295 134512640 134569956 3221224384 3221214560 1131249794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27460 13086 16 0 210614 0
vsize: 842520
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 60430 62 0 0 25 0 11 0 778188727 862740480 27541 4294967295 134512640 134569956 3221224384 3221214560 1131250635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27541 13086 16 0 210614 0
vsize: 842520
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) S 20103 7266 7265 0 -1 0 18120 3 1 0 61399 62 0 0 25 0 11 0 778188727 862740480 27610 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27610 13086 16 0 210614 0
vsize: 842520
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 62364 62 0 0 25 0 11 0 778188727 862740480 27672 4294967295 134512640 134569956 3221224384 3221214648 1131248691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27672 13086 16 0 210614 0
vsize: 842520
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 63327 63 0 0 25 0 11 0 778188727 862740480 27708 4294967295 134512640 134569956 3221224384 3221214472 1131210292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27708 13086 16 0 210614 0
vsize: 842520
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) S 20103 7266 7265 0 -1 0 18120 3 1 0 64291 63 0 0 25 0 11 0 778188727 862740480 27800 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27800 13086 16 0 210614 0
vsize: 842520
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 65260 63 0 0 25 0 11 0 778188727 862740480 27916 4294967295 134512640 134569956 3221224384 3221214472 1131209862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27916 13086 16 0 210614 0
vsize: 842520
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 66225 64 0 0 25 0 11 0 778188727 862740480 27995 4294967295 134512640 134569956 3221224384 3221213972 1131545227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 27995 13086 16 0 210614 0
vsize: 842520
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 67198 64 0 0 25 0 11 0 778188727 862740480 28071 4294967295 134512640 134569956 3221224384 3221214488 1131567820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28071 13086 16 0 210614 0
vsize: 842520
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 68167 65 0 0 25 0 11 0 778188727 862740480 28135 4294967295 134512640 134569956 3221224384 3221214656 1131309967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28135 13086 16 0 210614 0
vsize: 842520
[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 69131 65 0 0 24 0 11 0 778188727 862740480 28197 4294967295 134512640 134569956 3221224384 3221214656 1131310034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28197 13086 16 0 210614 0
vsize: 842520
[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 70099 66 0 0 25 0 11 0 778188727 862740480 28253 4294967295 134512640 134569956 3221224384 3221214560 1131250178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28253 13086 16 0 210614 0
vsize: 842520
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 71068 66 0 0 25 0 11 0 778188727 862740480 28334 4294967295 134512640 134569956 3221224384 3221214656 1131308864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28334 13086 16 0 210614 0
vsize: 842520
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 72038 66 0 0 25 0 11 0 778188727 862740480 28410 4294967295 134512640 134569956 3221224384 3221214560 1131250632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28410 13086 16 0 210614 0
vsize: 842520
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 73009 66 0 0 25 0 11 0 778188727 862740480 28483 4294967295 134512640 134569956 3221224384 3221214656 1131308978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210630 28483 13086 16 0 210614 0
vsize: 842520
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 73976 66 0 0 25 0 11 0 778188727 862740480 28542 4294967295 134512640 134569956 3221224384 3221214656 1131308721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28542 13086 16 0 210614 0
vsize: 842520
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 74949 67 0 0 23 0 11 0 778188727 862740480 28614 4294967295 134512640 134569956 3221224384 3221214656 1131310903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28614 13086 16 0 210614 0
vsize: 842520
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 75919 67 0 0 25 0 11 0 778188727 862740480 28688 4294967295 134512640 134569956 3221224384 3221214656 1131310905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28688 13086 16 0 210614 0
vsize: 842520
[startup+800.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 76894 67 0 0 25 0 11 0 778188727 862740480 28746 4294967295 134512640 134569956 3221224384 3221214696 1131352181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28746 13086 16 0 210614 0
vsize: 842520
[startup+810.041 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 77868 67 0 0 25 0 11 0 778188727 862740480 28803 4294967295 134512640 134569956 3221224384 3221214208 1131568319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28803 13086 16 0 210614 0
vsize: 842520
[startup+820.04 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 78838 67 0 0 25 0 11 0 778188727 862740480 28847 4294967295 134512640 134569956 3221224384 3221214560 1131250117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28847 13086 16 0 210614 0
vsize: 842520
[startup+830.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 79811 68 0 0 25 0 11 0 778188727 862740480 28893 4294967295 134512640 134569956 3221224384 3221214640 1131346798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28893 13086 16 0 210614 0
vsize: 842520
[startup+840.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 80787 68 0 0 25 0 11 0 778188727 862740480 28932 4294967295 134512640 134569956 3221224384 3221214664 1131367952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28932 13086 16 0 210614 0
vsize: 842520
[startup+850.042 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 81755 69 0 0 25 0 11 0 778188727 862740480 28998 4294967295 134512640 134569956 3221224384 3221214560 1131250161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 28998 13086 16 0 210614 0
vsize: 842520
[startup+860.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 82725 69 0 0 25 0 11 0 778188727 862740480 29023 4294967295 134512640 134569956 3221224384 3221214656 1131308978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29023 13086 16 0 210614 0
vsize: 842520
[startup+870.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 83693 69 0 0 25 0 11 0 778188727 862740480 29093 4294967295 134512640 134569956 3221224384 3221214560 1131249787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29093 13086 16 0 210614 0
vsize: 842520
[startup+880.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 84663 70 0 0 25 0 11 0 778188727 862740480 29168 4294967295 134512640 134569956 3221224384 3221214656 1131308978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29168 13086 16 0 210614 0
vsize: 842520
[startup+890.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) S 20103 7266 7265 0 -1 0 18120 3 1 0 85641 70 0 0 25 0 11 0 778188727 862740480 29206 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29206 13086 16 0 210614 0
vsize: 842520
[startup+900.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 86618 70 0 0 25 0 11 0 778188727 862740480 29279 4294967295 134512640 134569956 3221224384 3221214656 1131308978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29279 13086 16 0 210614 0
vsize: 842520
[startup+910.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 87595 70 0 0 25 0 11 0 778188727 862740480 29294 4294967295 134512640 134569956 3221224384 3221214560 1131249827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29294 13086 16 0 210614 0
vsize: 842520
[startup+920.044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) S 20103 7266 7265 0 -1 0 18120 3 1 0 88572 71 0 0 25 0 11 0 778188727 862740480 29322 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29322 13086 16 0 210614 0
vsize: 842520
[startup+930.045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 89549 71 0 0 25 0 11 0 778188727 862740480 29364 4294967295 134512640 134569956 3221224384 3221214560 1131250708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29364 13086 16 0 210614 0
vsize: 842520
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 90522 71 0 0 25 0 11 0 778188727 862740480 29380 4294967295 134512640 134569956 3221224384 3221214560 1131249794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29380 13086 16 0 210614 0
vsize: 842520
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 91493 71 0 0 25 0 11 0 778188727 862740480 29405 4294967295 134512640 134569956 3221224384 3221214560 1131250161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29405 13086 16 0 210614 0
vsize: 842520
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 92463 71 0 0 25 0 11 0 778188727 862740480 29447 4294967295 134512640 134569956 3221224384 3221214472 1131209848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29447 13086 16 0 210614 0
vsize: 842520
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 93432 72 0 0 25 0 11 0 778188727 862740480 29510 4294967295 134512640 134569956 3221224384 3221214208 1131549128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29510 13086 16 0 210614 0
vsize: 842520
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 94399 72 0 0 25 0 11 0 778188727 862740480 29592 4294967295 134512640 134569956 3221224384 3221214656 1131309116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29592 13086 16 0 210614 0
vsize: 842520
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 95370 72 0 0 25 0 11 0 778188727 862740480 29643 4294967295 134512640 134569956 3221224384 3221214560 1131249765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29643 13086 16 0 210614 0
vsize: 842520
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 96339 72 0 0 25 0 11 0 778188727 862740480 29708 4294967295 134512640 134569956 3221224384 3221214656 1131308913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29708 13086 16 0 210614 0
vsize: 842520
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 97315 73 0 0 25 0 11 0 778188727 862740480 29761 4294967295 134512640 134569956 3221224384 3221214656 1131309843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29761 13086 16 0 210614 0
vsize: 842520
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 98289 73 0 0 25 0 11 0 778188727 862740480 29833 4294967295 134512640 134569956 3221224384 3221214656 1131310956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29833 13086 16 0 210614 0
vsize: 842520
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 99266 74 0 0 25 0 11 0 778188727 862740480 29864 4294967295 134512640 134569956 3221224384 3221214656 1131308978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29864 13086 16 0 210614 0
vsize: 842520
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 100247 74 0 0 25 0 11 0 778188727 862740480 29893 4294967295 134512640 134569956 3221224384 3221214736 1131306291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29893 13086 16 0 210614 0
vsize: 842520
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 101224 75 0 0 25 0 11 0 778188727 862740480 29922 4294967295 134512640 134569956 3221224384 3221214656 1131309994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29922 13086 16 0 210614 0
vsize: 842520
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 102201 75 0 0 25 0 11 0 778188727 862740480 29947 4294967295 134512640 134569956 3221224384 3221214656 1131309984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29947 13086 16 0 210614 0
vsize: 842520
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 103179 76 0 0 25 0 11 0 778188727 862740480 29964 4294967295 134512640 134569956 3221224384 3221214656 1131309953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 29964 13086 16 0 210614 0
vsize: 842520
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 104154 76 0 0 25 0 11 0 778188727 862740480 30005 4294967295 134512640 134569956 3221224384 3221214560 1131250680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30005 13086 16 0 210614 0
vsize: 842520
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 105131 76 0 0 25 0 11 0 778188727 862740480 30038 4294967295 134512640 134569956 3221224384 3221214560 1131250274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30038 13086 16 0 210614 0
vsize: 842520
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 106103 77 0 0 25 0 11 0 778188727 862740480 30074 4294967295 134512640 134569956 3221224384 3221214560 1131250039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30074 13086 16 0 210614 0
vsize: 842520
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 107077 77 0 0 25 0 11 0 778188727 862740480 30107 4294967295 134512640 134569956 3221224384 3221214560 1131249806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30107 13086 16 0 210614 0
vsize: 842520
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 108047 77 0 0 25 0 11 0 778188727 862740480 30157 4294967295 134512640 134569956 3221224384 3221214656 1131308913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30157 13086 16 0 210614 0
vsize: 842520
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 109022 78 0 0 25 0 11 0 778188727 862740480 30210 4294967295 134512640 134569956 3221224384 3221214656 1131310769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30210 13086 16 0 210614 0
vsize: 842520
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 109993 78 0 0 25 0 11 0 778188727 862740480 30267 4294967295 134512640 134569956 3221224384 3221214560 1131250601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30267 13086 16 0 210614 0
vsize: 842520
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 110965 79 0 0 25 0 11 0 778188727 862740480 30299 4294967295 134512640 134569956 3221224384 3221214560 1131250103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30299 13086 16 0 210614 0
vsize: 842520
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 111939 79 0 0 25 0 11 0 778188727 862740480 30338 4294967295 134512640 134569956 3221224384 3221214656 1131309895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30338 13086 16 0 210614 0
vsize: 842520
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 112913 79 0 0 25 0 11 0 778188727 862740480 30383 4294967295 134512640 134569956 3221224384 3221214560 1131250607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30383 13086 16 0 210614 0
vsize: 842520
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 113883 80 0 0 25 0 11 0 778188727 862740480 30421 4294967295 134512640 134569956 3221224384 3221214652 1131249740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30421 13086 16 0 210614 0
vsize: 842520
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 114855 80 0 0 25 0 11 0 778188727 862740480 30471 4294967295 134512640 134569956 3221224384 3221214656 1131309953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30471 13086 16 0 210614 0
vsize: 842520
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 115831 81 0 0 25 0 11 0 778188727 862740480 30509 4294967295 134512640 134569956 3221224384 3221214540 1131545227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30509 13086 16 0 210614 0
vsize: 842520
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 116804 81 0 0 25 0 11 0 778188727 862740480 30571 4294967295 134512640 134569956 3221224384 3221214656 1131308906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30571 13086 16 0 210614 0
vsize: 842520
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 117777 82 0 0 25 0 11 0 778188727 862740480 30602 4294967295 134512640 134569956 3221224384 3221214560 1131250100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30602 13086 16 0 210614 0
vsize: 842520
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 118752 82 0 0 25 0 11 0 778188727 862740480 30615 4294967295 134512640 134569956 3221224384 3221214652 1131249740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30615 13086 16 0 210614 0
vsize: 842520
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 119720 82 0 0 25 0 11 0 778188727 862740480 30650 4294967295 134512640 134569956 3221224384 3221214656 1131308913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30650 13086 16 0 210614 0
vsize: 842520
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20121
Raw data (stat): 20104 (java) R 20103 7266 7265 0 -1 0 18120 3 1 0 120693 83 0 0 25 0 11 0 778188727 862740480 30694 4294967295 134512640 134569956 3221224384 3221214560 1131250200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210630 30694 13086 16 0 210614 0
vsize: 842520
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20123
Raw data (stat): 20104 (java) Z 20103 7266 7265 0 -1 1036 18120 17079 1 0 120697 88 5105 51 25 0 1 0 778188727 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): 1250.16
CPU time (s): 1259.44
CPU user time (s): 1258.03
CPU system time (s): 1.40879
CPU usage (%): 100.742
Max. virtual memory (Kb): 843544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	88
#### END VERIFIER DATA ####