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/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-afiro.opb
MD5SUM54588598df6d934a1c188bcc0918a0bb
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -1486831
Optimality of the best value was proved NO
Number of terms in the objective function 100
Biggest coefficient in the objective function 131072000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 309329625
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 1273495552
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 20473426875
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark482.164
Number of variables640
Total number of constraints27
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints27
Minimum length of a constraint20
Maximum length of a constraint180

Trace number 14186 

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        443136 kB
Buffers:         35832 kB
Cached:         532848 kB
SwapCached:          4 kB
Active:         233140 kB
Inactive:       338348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        442884 kB
SwapTotal:     2097136 kB
SwapFree:      2097044 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            14152 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 23:31:19 (client local time) WITH STATUS 143 IN 1217.47 SECONDS
stats: 20367 7 1217.47 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-afiro.opb
c reading problem 
c [nbvar=640]
c [nbconstr=27]
c time 1.331
c #vars     640
c #clauses  35
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=0
c Current CPU time (ms) : 1.971
c starts	: 1
c conflicts	: 0
c decisions	: 71
c propagations	: 640
c inspects	: 884
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=-15
c Current CPU time (ms) : 6.736
c starts	: 2
c conflicts	: 17
c decisions	: 281
c propagations	: 2205
c inspects	: 4076
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 17
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-1436160
c Current CPU time (ms) : 9.828
c starts	: 3
c conflicts	: 90
c decisions	: 522
c propagations	: 4031
c inspects	: 9772
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 90
c root simplifications	: 11
#### 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.62 0.88 0.89 2/54 15875
Raw data (stat): 15875 (runsolver) R 15874 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482070541 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/64 15887
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18073 3 1 0 689 38 0 0 25 0 11 0 482070541 861057024 20523 4294967295 134512640 134569956 3221224400 3221214360 1131225644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210219 20523 13073 16 0 210203 0
vsize: 840876
[startup+20.0021 s]
Raw data (loadavg): 1.13 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18074 3 1 0 1625 39 0 0 25 0 11 0 482070541 860794880 20953 4294967295 134512640 134569956 3221224400 3221214840 1131192512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 20953 13073 16 0 210139 0
vsize: 840620
[startup+30.0036 s]
Raw data (loadavg): 1.11 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18074 3 1 0 2589 39 0 0 25 0 11 0 482070541 860794880 21244 4294967295 134512640 134569956 3221224400 3221214488 1131128961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 21244 13073 16 0 210139 0
vsize: 840620
[startup+40.0039 s]
Raw data (loadavg): 1.09 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18074 3 1 0 3539 39 0 0 25 0 11 0 482070541 860794880 21443 4294967295 134512640 134569956 3221224400 3221214800 1131197978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 21443 13073 16 0 210139 0
vsize: 840620
[startup+50.0047 s]
Raw data (loadavg): 1.08 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 4485 39 0 0 25 0 11 0 482070541 860794880 21625 4294967295 134512640 134569956 3221224400 3221214208 1131129068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 21625 13073 16 0 210139 0
vsize: 840620
[startup+60.0049 s]
Raw data (loadavg): 1.07 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 5440 39 0 0 25 0 11 0 482070541 860794880 21890 4294967295 134512640 134569956 3221224400 3221214312 1131470344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 21890 13073 16 0 210139 0
vsize: 840620
[startup+70.0054 s]
Raw data (loadavg): 1.06 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 6409 40 0 0 25 0 11 0 482070541 860794880 22104 4294967295 134512640 134569956 3221224400 3221214592 1131470186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22104 13073 16 0 210139 0
vsize: 840620
[startup+80.0067 s]
Raw data (loadavg): 1.05 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 7389 40 0 0 25 0 11 0 482070541 860794880 22200 4294967295 134512640 134569956 3221224400 3221214800 1131413080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 22200 13073 16 0 210139 0
vsize: 840620
[startup+90.0071 s]
Raw data (loadavg): 1.04 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 8366 40 0 0 25 0 11 0 482070541 860794880 22263 4294967295 134512640 134569956 3221224400 3221214632 1131456972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22263 13073 16 0 210139 0
vsize: 840620
[startup+100.014 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 9348 40 0 0 25 0 11 0 482070541 860794880 22324 4294967295 134512640 134569956 3221224400 3221213928 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22324 13073 16 0 210139 0
vsize: 840620
[startup+110.02 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 10330 40 0 0 25 0 11 0 482070541 860794880 22380 4294967295 134512640 134569956 3221224400 3221214788 1080203733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22380 13073 16 0 210139 0
vsize: 840620
[startup+120.02 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 11306 40 0 0 25 0 11 0 482070541 860794880 22441 4294967295 134512640 134569956 3221224400 3221214776 1131197393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 22441 13073 16 0 210139 0
vsize: 840620
[startup+130.027 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 12288 40 0 0 25 0 11 0 482070541 860794880 22506 4294967295 134512640 134569956 3221224400 3221214776 1131196845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22506 13073 16 0 210139 0
vsize: 840620
[startup+140.032 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 13261 41 0 0 25 0 11 0 482070541 860794880 22608 4294967295 134512640 134569956 3221224400 3221214680 1131470396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22608 13073 16 0 210139 0
vsize: 840620
[startup+150.044 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 14238 41 0 0 25 0 11 0 482070541 860794880 22670 4294967295 134512640 134569956 3221224400 3221214544 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22670 13073 16 0 210139 0
vsize: 840620
[startup+160.052 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 15211 42 0 0 24 0 11 0 482070541 860794880 22754 4294967295 134512640 134569956 3221224400 3221214776 1131197383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22754 13073 16 0 210139 0
vsize: 840620
[startup+170.066 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 16190 42 0 0 25 0 11 0 482070541 860794880 22820 4294967295 134512640 134569956 3221224400 3221214040 1085679735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22820 13073 16 0 210139 0
vsize: 840620
[startup+180.075 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 17165 42 0 0 24 0 11 0 482070541 860794880 22920 4294967295 134512640 134569956 3221224400 3221214288 1131470375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 22920 13073 16 0 210139 0
vsize: 840620
[startup+190.088 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 18146 42 0 0 25 0 11 0 482070541 860794880 22997 4294967295 134512640 134569956 3221224400 3221214872 1131206464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 22997 13073 16 0 210139 0
vsize: 840620
[startup+200.088 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 19128 42 0 0 25 0 11 0 482070541 860794880 23076 4294967295 134512640 134569956 3221224400 3221214776 1131197996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23076 13073 16 0 210139 0
vsize: 840620
[startup+210.089 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 20111 42 0 0 25 0 11 0 482070541 860794880 23144 4294967295 134512640 134569956 3221224400 3221214608 1131398685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23144 13073 16 0 210139 0
vsize: 840620
[startup+220.089 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 21091 42 0 0 25 0 11 0 482070541 860794880 23202 4294967295 134512640 134569956 3221224400 3221214152 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23202 13073 16 0 210139 0
vsize: 840620
[startup+230.091 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 22074 42 0 0 25 0 11 0 482070541 860794880 23251 4294967295 134512640 134569956 3221224400 3221214816 1131192645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23251 13073 16 0 210139 0
vsize: 840620
[startup+240.093 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 23057 42 0 0 25 0 11 0 482070541 860794880 23335 4294967295 134512640 134569956 3221224400 3221214776 1131197407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23335 13073 16 0 210139 0
vsize: 840620
[startup+250.097 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 24043 42 0 0 25 0 11 0 482070541 860794880 23388 4294967295 134512640 134569956 3221224400 3221214816 1131192552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23388 13073 16 0 210139 0
vsize: 840620
[startup+260.204 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 25037 42 0 0 25 0 11 0 482070541 860794880 23436 4294967295 134512640 134569956 3221224400 3221214872 1131206477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23436 13073 16 0 210139 0
vsize: 840620
[startup+270.212 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 26020 42 0 0 25 0 11 0 482070541 860794880 23488 4294967295 134512640 134569956 3221224400 3221214512 1131470186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23488 13073 16 0 210139 0
vsize: 840620
[startup+280.212 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 27010 42 0 0 25 0 11 0 482070541 860794880 23527 4294967295 134512640 134569956 3221224400 3221214776 1131196833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23527 13073 16 0 210139 0
vsize: 840620
[startup+290.234 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 27999 42 0 0 25 0 11 0 482070541 860794880 23573 4294967295 134512640 134569956 3221224400 3221214324 1085632316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23573 13073 16 0 210139 0
vsize: 840620
[startup+300.234 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 28985 43 0 0 25 0 11 0 482070541 860794880 23613 4294967295 134512640 134569956 3221224400 3221214456 1131470396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23613 13073 16 0 210139 0
vsize: 840620
[startup+310.234 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 29972 43 0 0 25 0 11 0 482070541 860794880 23643 4294967295 134512640 134569956 3221224400 3221214776 1131197379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23643 13073 16 0 210139 0
vsize: 840620
[startup+320.235 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 30959 43 0 0 25 0 11 0 482070541 860794880 23670 4294967295 134512640 134569956 3221224400 3221214488 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23670 13073 16 0 210139 0
vsize: 840620
[startup+330.236 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 31946 43 0 0 25 0 11 0 482070541 860794880 23716 4294967295 134512640 134569956 3221224400 3221214264 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23716 13073 16 0 210139 0
vsize: 840620
[startup+340.236 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 32932 43 0 0 25 0 11 0 482070541 860794880 23758 4294967295 134512640 134569956 3221224400 3221214816 1131192678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23758 13073 16 0 210139 0
vsize: 840620
[startup+350.236 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 33919 43 0 0 25 0 11 0 482070541 860794880 23825 4294967295 134512640 134569956 3221224400 3221214872 1131207043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23825 13073 16 0 210139 0
vsize: 840620
[startup+360.237 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 34907 43 0 0 25 0 11 0 482070541 860794880 23883 4294967295 134512640 134569956 3221224400 3221213768 1131129016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23883 13073 16 0 210139 0
vsize: 840620
[startup+370.237 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 35896 43 0 0 25 0 11 0 482070541 860794880 23936 4294967295 134512640 134569956 3221224400 3221214428 1085616771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23936 13073 16 0 210139 0
vsize: 840620
[startup+380.238 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 36884 43 0 0 25 0 11 0 482070541 860794880 23982 4294967295 134512640 134569956 3221224400 3221214504 1131470402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 23982 13073 16 0 210139 0
vsize: 840620
[startup+390.238 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 37872 43 0 0 25 0 11 0 482070541 860794880 24011 4294967295 134512640 134569956 3221224400 3221214128 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24011 13073 16 0 210139 0
vsize: 840620
[startup+400.239 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 38860 43 0 0 25 0 11 0 482070541 860794880 24054 4294967295 134512640 134569956 3221224400 3221214392 1131466517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24054 13073 16 0 210139 0
vsize: 840620
[startup+410.241 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 39849 43 0 0 25 0 11 0 482070541 860794880 24096 4294967295 134512640 134569956 3221224400 3221214848 1131195361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24096 13073 16 0 210139 0
vsize: 840620
[startup+420.241 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 40837 43 0 0 25 0 11 0 482070541 860794880 24137 4294967295 134512640 134569956 3221224400 3221214816 1131192529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24137 13073 16 0 210139 0
vsize: 840620
[startup+430.242 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 41825 43 0 0 25 0 11 0 482070541 860794880 24167 4294967295 134512640 134569956 3221224400 3221213992 1131129041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24167 13073 16 0 210139 0
vsize: 840620
[startup+440.243 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 42814 43 0 0 25 0 11 0 482070541 860794880 24202 4294967295 134512640 134569956 3221224400 3221214776 1131198100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24202 13073 16 0 210139 0
vsize: 840620
[startup+450.242 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 43799 43 0 0 25 0 11 0 482070541 860794880 24238 4294967295 134512640 134569956 3221224400 3221214520 1131129103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24238 13073 16 0 210139 0
vsize: 840620
[startup+460.243 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 44787 43 0 0 25 0 11 0 482070541 860794880 24321 4294967295 134512640 134569956 3221224400 3221214816 1131192512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24321 13073 16 0 210139 0
vsize: 840620
[startup+470.244 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 45776 43 0 0 25 0 11 0 482070541 860794880 24392 4294967295 134512640 134569956 3221224400 3221214816 1131192529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24392 13073 16 0 210139 0
vsize: 840620
[startup+480.245 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 46765 43 0 0 25 0 11 0 482070541 860794880 24429 4294967295 134512640 134569956 3221224400 3221214776 1131197241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24429 13073 16 0 210139 0
vsize: 840620
[startup+490.245 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 47754 43 0 0 25 0 11 0 482070541 860794880 24468 4294967295 134512640 134569956 3221224400 3221214240 1131128889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24468 13073 16 0 210139 0
vsize: 840620
[startup+500.246 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 48743 43 0 0 25 0 11 0 482070541 860794880 24497 4294967295 134512640 134569956 3221224400 3221214672 1131466517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24497 13073 16 0 210139 0
vsize: 840620
[startup+510.246 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 49733 43 0 0 25 0 11 0 482070541 860794880 24528 4294967295 134512640 134569956 3221224400 3221214776 1131196892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24528 13073 16 0 210139 0
vsize: 840620
[startup+520.247 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 50723 43 0 0 25 0 11 0 482070541 860794880 24562 4294967295 134512640 134569956 3221224400 3221214296 1131129034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24562 13073 16 0 210139 0
vsize: 840620
[startup+530.248 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 51712 44 0 0 25 0 11 0 482070541 860794880 24597 4294967295 134512640 134569956 3221224400 3221213960 1131129041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24597 13073 16 0 210139 0
vsize: 840620
[startup+540.248 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 52702 44 0 0 25 0 11 0 482070541 860794880 24642 4294967295 134512640 134569956 3221224400 3221214800 1131277758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24642 13073 16 0 210139 0
vsize: 840620
[startup+550.248 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 53692 44 0 0 25 0 11 0 482070541 860794880 24687 4294967295 134512640 134569956 3221224400 3221214128 1131129079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24687 13073 16 0 210139 0
vsize: 840620
[startup+560.249 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 54682 44 0 0 25 0 11 0 482070541 860794880 24720 4294967295 134512640 134569956 3221224400 3221214392 1131470402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24720 13073 16 0 210139 0
vsize: 840620
[startup+570.25 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 55672 44 0 0 25 0 11 0 482070541 860794880 24744 4294967295 134512640 134569956 3221224400 3221214776 1131196980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24744 13073 16 0 210139 0
vsize: 840620
[startup+580.251 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 56663 44 0 0 25 0 11 0 482070541 860794880 24772 4294967295 134512640 134569956 3221224400 3221214816 1131192537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 24772 13073 16 0 210139 0
vsize: 840620
[startup+590.252 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 57653 44 0 0 25 0 11 0 482070541 860794880 24800 4294967295 134512640 134569956 3221224400 3221214404 1131129040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24800 13073 16 0 210139 0
vsize: 840620
[startup+600.252 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 58643 44 0 0 25 0 11 0 482070541 860794880 24823 4294967295 134512640 134569956 3221224400 3221214672 1131470408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24823 13073 16 0 210139 0
vsize: 840620
[startup+610.253 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 59634 44 0 0 25 0 11 0 482070541 860794880 24844 4294967295 134512640 134569956 3221224400 3221214776 1131198282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 24844 13073 16 0 210139 0
vsize: 840620
[startup+620.254 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 60624 44 0 0 25 0 11 0 482070541 860794880 24873 4294967295 134512640 134569956 3221224400 3221214264 1085679545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24873 13073 16 0 210139 0
vsize: 840620
[startup+630.255 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 61614 44 0 0 25 0 11 0 482070541 860794880 24895 4294967295 134512640 134569956 3221224400 3221214464 1131129034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24895 13073 16 0 210139 0
vsize: 840620
[startup+640.256 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 62605 44 0 0 25 0 11 0 482070541 860794880 24916 4294967295 134512640 134569956 3221224400 3221213820 1131129035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24916 13073 16 0 210139 0
vsize: 840620
[startup+650.255 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 63595 44 0 0 25 0 11 0 482070541 860794880 24938 4294967295 134512640 134569956 3221224400 3221213936 1131129041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24938 13073 16 0 210139 0
vsize: 840620
[startup+660.256 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 64584 44 0 0 25 0 11 0 482070541 860794880 24965 4294967295 134512640 134569956 3221224400 3221214400 1131470336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24965 13073 16 0 210139 0
vsize: 840620
[startup+670.257 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 65572 44 0 0 24 0 11 0 482070541 860794880 24982 4294967295 134512640 134569956 3221224400 3221214464 1131129034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24982 13073 16 0 210139 0
vsize: 840620
[startup+680.258 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 66564 44 0 0 25 0 11 0 482070541 860794880 24999 4294967295 134512640 134569956 3221224400 3221214776 1131197149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 24999 13073 16 0 210139 0
vsize: 840620
[startup+690.258 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 67554 44 0 0 25 0 11 0 482070541 860794880 25036 4294967295 134512640 134569956 3221224400 3221214284 1131466496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25036 13073 16 0 210139 0
vsize: 840620
[startup+700.259 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 68544 44 0 0 25 0 11 0 482070541 860794880 25056 4294967295 134512640 134569956 3221224400 3221214376 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25056 13073 16 0 210139 0
vsize: 840620
[startup+710.26 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 69534 44 0 0 25 0 11 0 482070541 860794880 25073 4294967295 134512640 134569956 3221224400 3221214184 1131129090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25073 13073 16 0 210139 0
vsize: 840620
[startup+720.259 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 70524 44 0 0 25 0 11 0 482070541 860794880 25112 4294967295 134512640 134569956 3221224400 3221214464 1131128908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25112 13073 16 0 210139 0
vsize: 840620
[startup+730.26 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 71513 44 0 0 25 0 11 0 482070541 860794880 25146 4294967295 134512640 134569956 3221224400 3221214016 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25146 13073 16 0 210139 0
vsize: 840620
[startup+740.261 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 72503 44 0 0 25 0 11 0 482070541 860794880 25167 4294967295 134512640 134569956 3221224400 3221214776 1131197149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25167 13073 16 0 210139 0
vsize: 840620
[startup+750.261 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 73493 44 0 0 25 0 11 0 482070541 860794880 25186 4294967295 134512640 134569956 3221224400 3221214280 1131470399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25186 13073 16 0 210139 0
vsize: 840620
[startup+760.262 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 74482 44 0 0 25 0 11 0 482070541 860794880 25225 4294967295 134512640 134569956 3221224400 3221214776 1131197241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25225 13073 16 0 210139 0
vsize: 840620
[startup+770.262 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 75472 44 0 0 25 0 11 0 482070541 860794880 25252 4294967295 134512640 134569956 3221224400 3221214408 1131128951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25252 13073 16 0 210139 0
vsize: 840620
[startup+780.262 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 76462 44 0 0 25 0 11 0 482070541 860794880 25283 4294967295 134512640 134569956 3221224400 3221213840 1085679766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25283 13073 16 0 210139 0
vsize: 840620
[startup+790.262 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 77452 44 0 0 25 0 11 0 482070541 860794880 25324 4294967295 134512640 134569956 3221224400 3221214776 1131197360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25324 13073 16 0 210139 0
vsize: 840620
[startup+800.262 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 78442 44 0 0 25 0 11 0 482070541 860794880 25354 4294967295 134512640 134569956 3221224400 3221214776 1131198282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 25354 13073 16 0 210139 0
vsize: 840620
[startup+810.263 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 79432 44 0 0 25 0 11 0 482070541 860794880 25389 4294967295 134512640 134569956 3221224400 3221214576 1131129041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25389 13073 16 0 210139 0
vsize: 840620
[startup+820.263 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 80421 44 0 0 25 0 11 0 482070541 860794880 25413 4294967295 134512640 134569956 3221224400 3221214352 1131129016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25413 13073 16 0 210139 0
vsize: 840620
[startup+830.263 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 81411 44 0 0 25 0 11 0 482070541 860794880 25440 4294967295 134512640 134569956 3221224400 3221214776 1131198001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25440 13073 16 0 210139 0
vsize: 840620
[startup+840.263 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 82401 44 0 0 25 0 11 0 482070541 860794880 25468 4294967295 134512640 134569956 3221224400 3221214408 1131129047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25468 13073 16 0 210139 0
vsize: 840620
[startup+850.264 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 83391 44 0 0 25 0 11 0 482070541 860794880 25493 4294967295 134512640 134569956 3221224400 3221214120 1131470364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25493 13073 16 0 210139 0
vsize: 840620
[startup+860.266 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 84380 44 0 0 25 0 11 0 482070541 860794880 25523 4294967295 134512640 134569956 3221224400 3221214872 1131206532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25523 13073 16 0 210139 0
vsize: 840620
[startup+870.266 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 85370 44 0 0 25 0 11 0 482070541 860794880 25551 4294967295 134512640 134569956 3221224400 3221214096 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25551 13073 16 0 210139 0
vsize: 840620
[startup+880.266 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 86359 44 0 0 25 0 11 0 482070541 860794880 25590 4294967295 134512640 134569956 3221224400 3221214680 1131470375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25590 13073 16 0 210139 0
vsize: 840620
[startup+890.267 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 87349 44 0 0 25 0 11 0 482070541 860794880 25620 4294967295 134512640 134569956 3221224400 3221214928 1131448148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25620 13073 16 0 210139 0
vsize: 840620
[startup+900.268 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 88339 44 0 0 25 0 11 0 482070541 860794880 25653 4294967295 134512640 134569956 3221224400 3221214040 1085679343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25653 13073 16 0 210139 0
vsize: 840620
[startup+910.268 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 89329 44 0 0 25 0 11 0 482070541 860794880 25697 4294967295 134512640 134569956 3221224400 3221214776 1131198042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25697 13073 16 0 210139 0
vsize: 840620
[startup+920.269 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 90318 44 0 0 25 0 11 0 482070541 860794880 25724 4294967295 134512640 134569956 3221224400 3221214872 1131206025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25724 13073 16 0 210139 0
vsize: 840620
[startup+930.269 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 91307 44 0 0 25 0 11 0 482070541 860794880 25749 4294967295 134512640 134569956 3221224400 3221214776 1131197241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25749 13073 16 0 210139 0
vsize: 840620
[startup+940.27 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 92296 44 0 0 25 0 11 0 482070541 860794880 25781 4294967295 134512640 134569956 3221224400 3221214776 1131197356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25781 13073 16 0 210139 0
vsize: 840620
[startup+950.274 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 93285 45 0 0 25 0 11 0 482070541 860794880 25805 4294967295 134512640 134569956 3221224400 3221214616 1131470408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25805 13073 16 0 210139 0
vsize: 840620
[startup+960.378 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 94284 45 0 0 25 0 11 0 482070541 860794880 25828 4294967295 134512640 134569956 3221224400 3221214776 1131196890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25828 13073 16 0 210139 0
vsize: 840620
[startup+970.378 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 95273 45 0 0 25 0 11 0 482070541 860794880 25854 4294967295 134512640 134569956 3221224400 3221214776 1131197407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25854 13073 16 0 210139 0
vsize: 840620
[startup+980.378 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 96262 45 0 0 25 0 11 0 482070541 860794880 25880 4294967295 134512640 134569956 3221224400 3221214816 1131192509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25880 13073 16 0 210139 0
vsize: 840620
[startup+990.379 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 97251 45 0 0 25 0 11 0 482070541 860794880 25912 4294967295 134512640 134569956 3221224400 3221214792 1131237334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25912 13073 16 0 210139 0
vsize: 840620
[startup+1000.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 98239 45 0 0 25 0 11 0 482070541 860794880 25958 4294967295 134512640 134569956 3221224400 3221214404 1131129040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 25958 13073 16 0 210139 0
vsize: 840620
[startup+1010.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 99228 45 0 0 25 0 11 0 482070541 860794880 26010 4294967295 134512640 134569956 3221224400 3221214016 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26010 13073 16 0 210139 0
vsize: 840620
[startup+1020.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 100218 45 0 0 25 0 11 0 482070541 860794880 26042 4294967295 134512640 134569956 3221224400 3221214776 1131197241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26042 13073 16 0 210139 0
vsize: 840620
[startup+1030.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 101207 45 0 0 25 0 11 0 482070541 860794880 26092 4294967295 134512640 134569956 3221224400 3221214564 1131466496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26092 13073 16 0 210139 0
vsize: 840620
[startup+1040.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 102196 45 0 0 25 0 11 0 482070541 860794880 26121 4294967295 134512640 134569956 3221224400 3221214816 1131192541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210155 26121 13073 16 0 210139 0
vsize: 840620
[startup+1050.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 103186 45 0 0 25 0 11 0 482070541 860794880 26146 4294967295 134512640 134569956 3221224400 3221214064 1131470364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26146 13073 16 0 210139 0
vsize: 840620
[startup+1060.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 104175 45 0 0 25 0 11 0 482070541 860794880 26165 4294967295 134512640 134569956 3221224400 3221214816 1131192621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26165 13073 16 0 210139 0
vsize: 840620
[startup+1070.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 105164 45 0 0 25 0 11 0 482070541 860794880 26189 4294967295 134512640 134569956 3221224400 3221214872 1131206428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26189 13073 16 0 210139 0
vsize: 840620
[startup+1080.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 106153 45 0 0 25 0 11 0 482070541 860794880 26210 4294967295 134512640 134569956 3221224400 3221214776 1131197509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26210 13073 16 0 210139 0
vsize: 840620
[startup+1090.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 107142 45 0 0 25 0 11 0 482070541 860794880 26237 4294967295 134512640 134569956 3221224400 3221214408 1131129041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26237 13073 16 0 210139 0
vsize: 840620
[startup+1100.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 108132 45 0 0 25 0 11 0 482070541 860794880 26272 4294967295 134512640 134569956 3221224400 3221214048 1131129016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26272 13073 16 0 210139 0
vsize: 840620
[startup+1110.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 109121 45 0 0 25 0 11 0 482070541 860794880 26288 4294967295 134512640 134569956 3221224400 3221214072 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26288 13073 16 0 210139 0
vsize: 840620
[startup+1120.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 110111 45 0 0 25 0 11 0 482070541 860794880 26311 4294967295 134512640 134569956 3221224400 3221214776 1131197171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26311 13073 16 0 210139 0
vsize: 840620
[startup+1130.38 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 111100 45 0 0 25 0 11 0 482070541 860794880 26335 4294967295 134512640 134569956 3221224400 3221214776 1131196916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26335 13073 16 0 210139 0
vsize: 840620
[startup+1140.39 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 112089 45 0 0 25 0 11 0 482070541 860794880 26354 4294967295 134512640 134569956 3221224400 3221214352 1131129016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26354 13073 16 0 210139 0
vsize: 840620
[startup+1150.39 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 113077 45 0 0 25 0 11 0 482070541 860794880 26392 4294967295 134512640 134569956 3221224400 3221214184 1131129105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26392 13073 16 0 210139 0
vsize: 840620
[startup+1160.39 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 114065 45 0 0 25 0 11 0 482070541 860794880 26425 4294967295 134512640 134569956 3221224400 3221214872 1131206213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26425 13073 16 0 210139 0
vsize: 840620
[startup+1170.39 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 115052 46 0 0 25 0 11 0 482070541 860794880 26446 4294967295 134512640 134569956 3221224400 3221214776 1131197457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26446 13073 16 0 210139 0
vsize: 840620
[startup+1180.39 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 116040 46 0 0 25 0 11 0 482070541 860794880 26483 4294967295 134512640 134569956 3221224400 3221214320 1131475440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26483 13073 16 0 210139 0
vsize: 840620
[startup+1190.39 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 117028 46 0 0 25 0 11 0 482070541 860794880 26496 4294967295 134512640 134569956 3221224400 3221214776 1131196857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26496 13073 16 0 210139 0
vsize: 840620
[startup+1200.39 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 118015 46 0 0 25 0 11 0 482070541 860794880 26514 4294967295 134512640 134569956 3221224400 3221214116 1131466496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26514 13073 16 0 210139 0
vsize: 840620
[startup+1210.39 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 119001 46 0 0 25 0 11 0 482070541 860794880 26555 4294967295 134512640 134569956 3221224400 3221214816 1131192748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26555 13073 16 0 210139 0
vsize: 840620
[startup+1220.39 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 15888
Raw data (stat): 15875 (java) R 15874 25285 25284 0 -1 0 18075 3 1 0 119988 46 0 0 25 0 11 0 482070541 860794880 26588 4294967295 134512640 134569956 3221224400 3221214776 1131196809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210155 26588 13073 16 0 210139 0
vsize: 840620
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.49 s]
Raw data (loadavg): 1.00 0.98 0.92 1/54 15890
Raw data (stat): 15875 (java) Z 15874 25285 25284 0 -1 1036 18075 6560 1 0 119993 46 1685 22 25 0 1 0 482070541 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.49
CPU time (s): 1217.47
CPU user time (s): 1216.79
CPU system time (s): 0.686895
CPU usage (%): 99.7527
Max. virtual memory (Kb): 840876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####