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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-lotfi.opb
MD5SUM69367ad5ee917e4a74e95e8f089c09d8
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 160
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 8388600
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 5242880000000000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 39992649862466400
Number of bits of the biggest sum of numbers56
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.85087
Number of variables6160
Total number of constraints153
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 constraints153
Minimum length of a constraint20
Maximum length of a constraint2660

Trace number 16196 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-21 06:22:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15960 boxname=wulflinc25 idbench=1228 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  69367ad5ee917e4a74e95e8f089c09d8  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-lotfi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-lotfi.opb
IDLAUNCH: 15960
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        769188 kB
Buffers:         24000 kB
Cached:         221428 kB
SwapCached:        732 kB
Active:          41988 kB
Inactive:       205428 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        768936 kB
SwapTotal:     2097892 kB
SwapFree:      2096248 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            12440 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 06:43:01 (client local time) WITH STATUS 143 IN 1227.56 SECONDS
stats: 15960 7 1227.56 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-lotfi.opb
c reading problem 
c [nbvar=6160]
c [nbconstr=153]
c time 15.048
c #vars     6160
c #clauses  240
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
#### 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.92 0.98 0.93 2/54 30351
Raw data (stat): 30351 (runsolver) R 30350 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542895450 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.0008 s]
Raw data (loadavg): 0.93 0.98 0.93 2/63 30360
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18013 0 1 0 786 40 0 0 25 0 10 0 542895450 860790784 21059 4294967295 134512640 134569956 3221224400 3221214556 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 21059 13073 16 0 210138 0
vsize: 840616
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.93 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18040 0 1 0 1663 41 0 0 25 0 11 0 542895450 859803648 22012 4294967295 134512640 134569956 3221224400 3221214680 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209913 22012 13073 16 0 209897 0
vsize: 839652
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.98 0.93 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18080 0 1 0 2477 41 0 0 25 0 11 0 542895450 860377088 22214 4294967295 134512640 134569956 3221224400 3221214704 1131304493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210053 22214 13073 16 0 210037 0
vsize: 840212
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.93 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18082 0 1 0 3395 41 0 0 25 0 11 0 542895450 859983872 22247 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209957 22247 13073 16 0 209941 0
vsize: 839828
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.98 0.93 2/64 30361
Raw data (stat): 30351 (java) S 30350 28099 28098 0 -1 0 18082 0 1 0 4309 42 0 0 25 0 11 0 542895450 859983872 22430 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209957 22430 13073 16 0 209941 0
vsize: 839828
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.93 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18082 0 1 0 5251 42 0 0 25 0 11 0 542895450 859983872 22977 4294967295 134512640 134569956 3221224400 3221214792 1131361620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209957 22977 13073 16 0 209941 0
vsize: 839828
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.98 0.93 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18082 0 1 0 6212 42 0 0 25 0 11 0 542895450 859983872 23073 4294967295 134512640 134569956 3221224400 3221214672 1131418813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209957 23073 13073 16 0 209941 0
vsize: 839828
[startup+80.0016 s]
Raw data (loadavg): 0.98 0.98 0.93 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18082 0 1 0 7179 42 0 0 25 0 11 0 542895450 859983872 23218 4294967295 134512640 134569956 3221224400 3221214792 1131362127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209957 23218 13073 16 0 209941 0
vsize: 839828
[startup+90.0021 s]
Raw data (loadavg): 1.06 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 8151 43 0 0 25 0 11 0 542895450 865005568 24523 4294967295 134512640 134569956 3221224400 3221214792 1131359891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 24523 13073 16 0 211167 0
vsize: 844732
[startup+100.005 s]
Raw data (loadavg): 1.05 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 9129 43 0 0 25 0 11 0 542895450 865005568 24607 4294967295 134512640 134569956 3221224400 3221214856 1131443552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 24607 13073 16 0 211167 0
vsize: 844732
[startup+110.004 s]
Raw data (loadavg): 1.04 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 10110 43 0 0 25 0 11 0 542895450 865005568 24690 4294967295 134512640 134569956 3221224400 3221214832 1131552741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211183 24690 13073 16 0 211167 0
vsize: 844732
[startup+120.006 s]
Raw data (loadavg): 1.04 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 11092 43 0 0 24 0 11 0 542895450 865005568 24747 4294967295 134512640 134569956 3221224400 3221214760 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 24747 13073 16 0 211167 0
vsize: 844732
[startup+130.006 s]
Raw data (loadavg): 1.03 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 12075 43 0 0 24 0 11 0 542895450 865005568 24811 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 24811 13073 16 0 211167 0
vsize: 844732
[startup+140.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) S 30350 28099 28098 0 -1 0 18083 0 1 0 13057 43 0 0 25 0 11 0 542895450 865005568 24859 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 24859 13073 16 0 211167 0
vsize: 844732
[startup+150.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 14035 43 0 0 25 0 11 0 542895450 865005568 24908 4294967295 134512640 134569956 3221224400 3221214792 1131362068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211183 24908 13073 16 0 211167 0
vsize: 844732
[startup+160.015 s]
Raw data (loadavg): 1.02 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 15015 43 0 0 25 0 11 0 542895450 865005568 24962 4294967295 134512640 134569956 3221224400 3221214788 1131330016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 24962 13073 16 0 211167 0
vsize: 844732
[startup+170.02 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 15997 43 0 0 25 0 11 0 542895450 865005568 25072 4294967295 134512640 134569956 3221224400 3221214792 1131360302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25072 13073 16 0 211167 0
vsize: 844732
[startup+180.02 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 16979 43 0 0 25 0 11 0 542895450 865005568 25117 4294967295 134512640 134569956 3221224400 3221214792 1131362162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25117 13073 16 0 211167 0
vsize: 844732
[startup+190.02 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 17965 43 0 0 25 0 11 0 542895450 865005568 25164 4294967295 134512640 134569956 3221224400 3221214704 1131304373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25164 13073 16 0 211167 0
vsize: 844732
[startup+200.029 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 18953 43 0 0 25 0 11 0 542895450 865005568 25203 4294967295 134512640 134569956 3221224400 3221214788 1131330016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25203 13073 16 0 211167 0
vsize: 844732
[startup+210.028 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 19939 43 0 0 25 0 11 0 542895450 865005568 25239 4294967295 134512640 134569956 3221224400 3221214688 1131330100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25239 13073 16 0 211167 0
vsize: 844732
[startup+220.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 20926 43 0 0 25 0 11 0 542895450 865005568 25272 4294967295 134512640 134569956 3221224400 3221214704 1131304251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25272 13073 16 0 211167 0
vsize: 844732
[startup+230.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 21912 43 0 0 25 0 11 0 542895450 865005568 25317 4294967295 134512640 134569956 3221224400 3221214704 1131304251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25317 13073 16 0 211167 0
vsize: 844732
[startup+240.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 22898 43 0 0 25 0 11 0 542895450 865005568 25357 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25357 13073 16 0 211167 0
vsize: 844732
[startup+250.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) S 30350 28099 28098 0 -1 0 18083 0 1 0 23883 43 0 0 25 0 11 0 542895450 865005568 25419 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25419 13073 16 0 211167 0
vsize: 844732
[startup+260.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 24870 44 0 0 24 0 11 0 542895450 865005568 25465 4294967295 134512640 134569956 3221224400 3221214936 1131183769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25465 13073 16 0 211167 0
vsize: 844732
[startup+270.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 25857 44 0 0 24 0 11 0 542895450 865005568 25507 4294967295 134512640 134569956 3221224400 3221214792 1131358104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25507 13073 16 0 211167 0
vsize: 844732
[startup+280.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 26844 44 0 0 24 0 11 0 542895450 865005568 25552 4294967295 134512640 134569956 3221224400 3221214688 1131330036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25552 13073 16 0 211167 0
vsize: 844732
[startup+290.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 27831 44 0 0 25 0 11 0 542895450 865005568 25595 4294967295 134512640 134569956 3221224400 3221214704 1131304307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25595 13073 16 0 211167 0
vsize: 844732
[startup+300.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 28818 44 0 0 25 0 11 0 542895450 865005568 25640 4294967295 134512640 134569956 3221224400 3221214704 1131305111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25640 13073 16 0 211167 0
vsize: 844732
[startup+310.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 29806 44 0 0 25 0 11 0 542895450 865005568 25673 4294967295 134512640 134569956 3221224400 3221214688 1131330124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25673 13073 16 0 211167 0
vsize: 844732
[startup+320.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 30793 44 0 0 25 0 11 0 542895450 865005568 25716 4294967295 134512640 134569956 3221224400 3221214792 1131358180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25716 13073 16 0 211167 0
vsize: 844732
[startup+330.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 31781 44 0 0 25 0 11 0 542895450 865005568 25754 4294967295 134512640 134569956 3221224400 3221214704 1131304307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25754 13073 16 0 211167 0
vsize: 844732
[startup+340.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 32769 44 0 0 25 0 11 0 542895450 865005568 25794 4294967295 134512640 134569956 3221224400 3221214824 1131392336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25794 13073 16 0 211167 0
vsize: 844732
[startup+350.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 33757 44 0 0 25 0 11 0 542895450 865005568 25827 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25827 13073 16 0 211167 0
vsize: 844732
[startup+360.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 34744 44 0 0 25 0 11 0 542895450 865005568 25871 4294967295 134512640 134569956 3221224400 3221214784 1131239929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25871 13073 16 0 211167 0
vsize: 844732
[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 35730 44 0 0 25 0 11 0 542895450 865005568 25903 4294967295 134512640 134569956 3221224400 3221214792 1131361620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25903 13073 16 0 211167 0
vsize: 844732
[startup+380.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 36710 44 0 0 25 0 11 0 542895450 865005568 25936 4294967295 134512640 134569956 3221224400 3221214792 1131361273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25936 13073 16 0 211167 0
vsize: 844732
[startup+390.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 37686 44 0 0 25 0 11 0 542895450 865005568 25974 4294967295 134512640 134569956 3221224400 3221214784 1131239922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 25974 13073 16 0 211167 0
vsize: 844732
[startup+400.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 38663 44 0 0 25 0 11 0 542895450 865005568 26059 4294967295 134512640 134569956 3221224400 3221214792 1131359456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26059 13073 16 0 211167 0
vsize: 844732
[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 39646 44 0 0 25 0 11 0 542895450 865005568 26181 4294967295 134512640 134569956 3221224400 3221214688 1131330134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26181 13073 16 0 211167 0
vsize: 844732
[startup+420.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 40635 44 0 0 25 0 11 0 542895450 865005568 26220 4294967295 134512640 134569956 3221224400 3221214792 1131358104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26220 13073 16 0 211167 0
vsize: 844732
[startup+430.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 41623 44 0 0 25 0 11 0 542895450 865005568 26250 4294967295 134512640 134569956 3221224400 3221214704 1131304346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26250 13073 16 0 211167 0
vsize: 844732
[startup+440.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 42611 44 0 0 25 0 11 0 542895450 865005568 26279 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26279 13073 16 0 211167 0
vsize: 844732
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 43600 44 0 0 25 0 11 0 542895450 865005568 26317 4294967295 134512640 134569956 3221224400 3221214704 1131304141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26317 13073 16 0 211167 0
vsize: 844732
[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 44588 44 0 0 25 0 11 0 542895450 865005568 26344 4294967295 134512640 134569956 3221224400 3221214792 1131358169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26344 13073 16 0 211167 0
vsize: 844732
[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 45577 44 0 0 25 0 11 0 542895450 865005568 26376 4294967295 134512640 134569956 3221224400 3221214792 1131357912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26376 13073 16 0 211167 0
vsize: 844732
[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 46566 44 0 0 25 0 11 0 542895450 865005568 26408 4294967295 134512640 134569956 3221224400 3221214784 1131239905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26408 13073 16 0 211167 0
vsize: 844732
[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 47554 45 0 0 25 0 11 0 542895450 865005568 26440 4294967295 134512640 134569956 3221224400 3221214792 1131359451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26440 13073 16 0 211167 0
vsize: 844732
[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 48543 45 0 0 25 0 11 0 542895450 865005568 26464 4294967295 134512640 134569956 3221224400 3221214704 1131304373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26464 13073 16 0 211167 0
vsize: 844732
[startup+510.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) S 30350 28099 28098 0 -1 0 18083 0 1 0 49531 45 0 0 25 0 11 0 542895450 865005568 26496 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26496 13073 16 0 211167 0
vsize: 844732
[startup+520.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 50521 45 0 0 24 0 11 0 542895450 865005568 26528 4294967295 134512640 134569956 3221224400 3221214792 1131358144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26528 13073 16 0 211167 0
vsize: 844732
[startup+530.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 51511 45 0 0 24 0 11 0 542895450 865005568 26560 4294967295 134512640 134569956 3221224400 3221214704 1131304481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26560 13073 16 0 211167 0
vsize: 844732
[startup+540.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 52500 45 0 0 25 0 11 0 542895450 865005568 26582 4294967295 134512640 134569956 3221224400 3221214688 1131330779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26582 13073 16 0 211167 0
vsize: 844732
[startup+550.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 53489 45 0 0 25 0 11 0 542895450 865005568 26620 4294967295 134512640 134569956 3221224400 3221214704 1131305111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26620 13073 16 0 211167 0
vsize: 844732
[startup+560.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 54477 45 0 0 25 0 11 0 542895450 865005568 26643 4294967295 134512640 134569956 3221224400 3221214704 1131305111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26643 13073 16 0 211167 0
vsize: 844732
[startup+570.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 55467 45 0 0 25 0 11 0 542895450 865005568 26675 4294967295 134512640 134569956 3221224400 3221214792 1131359952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26675 13073 16 0 211167 0
vsize: 844732
[startup+580.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 56456 45 0 0 25 0 11 0 542895450 865005568 26702 4294967295 134512640 134569956 3221224400 3221214792 1131362118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26702 13073 16 0 211167 0
vsize: 844732
[startup+590.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 57445 45 0 0 25 0 11 0 542895450 865005568 26730 4294967295 134512640 134569956 3221224400 3221214784 1131239903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211183 26730 13073 16 0 211167 0
vsize: 844732
[startup+600.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 58434 45 0 0 25 0 11 0 542895450 864514048 26635 4294967295 134512640 134569956 3221224400 3221214688 1131330779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26635 13073 16 0 211047 0
vsize: 844252
[startup+610.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 59423 45 0 0 25 0 11 0 542895450 864514048 26674 4294967295 134512640 134569956 3221224400 3221214704 1131304249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26674 13073 16 0 211047 0
vsize: 844252
[startup+620.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 60412 45 0 0 25 0 11 0 542895450 864514048 26696 4294967295 134512640 134569956 3221224400 3221214688 1131330100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26696 13073 16 0 211047 0
vsize: 844252
[startup+630.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 61401 45 0 0 25 0 11 0 542895450 864514048 26728 4294967295 134512640 134569956 3221224400 3221214792 1131359456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26728 13073 16 0 211047 0
vsize: 844252
[startup+640.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 62388 45 0 0 24 0 11 0 542895450 864514048 26756 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26756 13073 16 0 211047 0
vsize: 844252
[startup+650.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 63376 45 0 0 24 0 11 0 542895450 864514048 26784 4294967295 134512640 134569956 3221224400 3221214792 1131361620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26784 13073 16 0 211047 0
vsize: 844252
[startup+660.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 64365 45 0 0 25 0 11 0 542895450 864514048 26830 4294967295 134512640 134569956 3221224400 3221214792 1131361298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26830 13073 16 0 211047 0
vsize: 844252
[startup+670.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 65353 45 0 0 25 0 11 0 542895450 864514048 26864 4294967295 134512640 134569956 3221224400 3221214704 1131304232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26864 13073 16 0 211047 0
vsize: 844252
[startup+680.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 66341 46 0 0 25 0 11 0 542895450 864514048 26899 4294967295 134512640 134569956 3221224400 3221214792 1131359952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26899 13073 16 0 211047 0
vsize: 844252
[startup+690.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 67329 46 0 0 25 0 11 0 542895450 864514048 26948 4294967295 134512640 134569956 3221224400 3221214792 1131359440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26948 13073 16 0 211047 0
vsize: 844252
[startup+700.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 68317 46 0 0 25 0 11 0 542895450 864514048 26988 4294967295 134512640 134569956 3221224400 3221214704 1131304207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 26988 13073 16 0 211047 0
vsize: 844252
[startup+710.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 69304 46 0 0 25 0 11 0 542895450 864514048 27022 4294967295 134512640 134569956 3221224400 3221214792 1131358104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27022 13073 16 0 211047 0
vsize: 844252
[startup+720.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 70292 46 0 0 25 0 11 0 542895450 864514048 27062 4294967295 134512640 134569956 3221224400 3221214688 1131330029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27062 13073 16 0 211047 0
vsize: 844252
[startup+730.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 71280 46 0 0 25 0 11 0 542895450 864514048 27113 4294967295 134512640 134569956 3221224400 3221214704 1131304493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27113 13073 16 0 211047 0
vsize: 844252
[startup+740.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 72268 46 0 0 25 0 11 0 542895450 864514048 27159 4294967295 134512640 134569956 3221224400 3221214792 1131359456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27159 13073 16 0 211047 0
vsize: 844252
[startup+750.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 73256 46 0 0 25 0 11 0 542895450 864514048 27198 4294967295 134512640 134569956 3221224400 3221214792 1131358104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27198 13073 16 0 211047 0
vsize: 844252
[startup+760.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 74245 46 0 0 25 0 11 0 542895450 864514048 27232 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27232 13073 16 0 211047 0
vsize: 844252
[startup+770.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) S 30350 28099 28098 0 -1 0 18083 0 1 0 75233 46 0 0 25 0 11 0 542895450 864514048 27266 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27266 13073 16 0 211047 0
vsize: 844252
[startup+780.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 76221 46 0 0 24 0 11 0 542895450 864514048 27304 4294967295 134512640 134569956 3221224400 3221214792 1131359456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211063 27304 13073 16 0 211047 0
vsize: 844252
[startup+790.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 77209 47 0 0 24 0 11 0 542895450 864514048 27349 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27349 13073 16 0 211047 0
vsize: 844252
[startup+800.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 78198 47 0 0 25 0 11 0 542895450 864514048 27384 4294967295 134512640 134569956 3221224400 3221214792 1131358108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27384 13073 16 0 211047 0
vsize: 844252
[startup+810.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 79186 47 0 0 25 0 11 0 542895450 864514048 27418 4294967295 134512640 134569956 3221224400 3221214792 1131361261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27418 13073 16 0 211047 0
vsize: 844252
[startup+820.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 80175 47 0 0 25 0 11 0 542895450 864514048 27453 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27453 13073 16 0 211047 0
vsize: 844252
[startup+830.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 81163 47 0 0 25 0 11 0 542895450 864514048 27487 4294967295 134512640 134569956 3221224400 3221214792 1131362176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27487 13073 16 0 211047 0
vsize: 844252
[startup+840.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 82152 47 0 0 25 0 11 0 542895450 864514048 27520 4294967295 134512640 134569956 3221224400 3221214788 1131304128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27520 13073 16 0 211047 0
vsize: 844252
[startup+850.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 83140 47 0 0 25 0 11 0 542895450 864514048 27555 4294967295 134512640 134569956 3221224400 3221214704 1131304210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27555 13073 16 0 211047 0
vsize: 844252
[startup+860.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 84129 47 0 0 25 0 11 0 542895450 864514048 27589 4294967295 134512640 134569956 3221224400 3221214792 1131360181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27589 13073 16 0 211047 0
vsize: 844252
[startup+870.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 85117 47 0 0 25 0 11 0 542895450 864514048 27622 4294967295 134512640 134569956 3221224400 3221214792 1131360877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27622 13073 16 0 211047 0
vsize: 844252
[startup+880.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 86105 47 0 0 25 0 11 0 542895450 864514048 27656 4294967295 134512640 134569956 3221224400 3221214704 1131305100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27656 13073 16 0 211047 0
vsize: 844252
[startup+890.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 87094 47 0 0 25 0 11 0 542895450 864514048 27693 4294967295 134512640 134569956 3221224400 3221214688 1131330070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27693 13073 16 0 211047 0
vsize: 844252
[startup+900.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 88081 47 0 0 24 0 11 0 542895450 864514048 27727 4294967295 134512640 134569956 3221224400 3221214704 1131304408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27727 13073 16 0 211047 0
vsize: 844252
[startup+910.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 89070 47 0 0 17 0 11 0 542895450 864514048 27760 4294967295 134512640 134569956 3221224400 3221214792 1131359141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27760 13073 16 0 211047 0
vsize: 844252
[startup+920.105 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 90058 47 0 0 24 0 11 0 542895450 864514048 27794 4294967295 134512640 134569956 3221224400 3221214688 1131330159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27794 13073 16 0 211047 0
vsize: 844252
[startup+930.105 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 91047 47 0 0 25 0 11 0 542895450 864514048 27828 4294967295 134512640 134569956 3221224400 3221214792 1131361615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27828 13073 16 0 211047 0
vsize: 844252
[startup+940.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 92036 47 0 0 25 0 11 0 542895450 864514048 27862 4294967295 134512640 134569956 3221224400 3221214792 1131360905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27862 13073 16 0 211047 0
vsize: 844252
[startup+950.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 93024 47 0 0 25 0 11 0 542895450 864514048 27884 4294967295 134512640 134569956 3221224400 3221214792 1131359806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27884 13073 16 0 211047 0
vsize: 844252
[startup+960.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 94013 47 0 0 25 0 11 0 542895450 864514048 27917 4294967295 134512640 134569956 3221224400 3221214704 1131304251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27917 13073 16 0 211047 0
vsize: 844252
[startup+970.107 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 95001 48 0 0 25 0 11 0 542895450 864514048 27946 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27946 13073 16 0 211047 0
vsize: 844252
[startup+980.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 95990 48 0 0 25 0 11 0 542895450 864514048 27980 4294967295 134512640 134569956 3221224400 3221214704 1131304161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 27980 13073 16 0 211047 0
vsize: 844252
[startup+990.111 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 96979 48 0 0 25 0 11 0 542895450 864514048 28013 4294967295 134512640 134569956 3221224400 3221214688 1131330159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28013 13073 16 0 211047 0
vsize: 844252
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 97968 48 0 0 25 0 11 0 542895450 864514048 28048 4294967295 134512640 134569956 3221224400 3221214792 1131359456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28048 13073 16 0 211047 0
vsize: 844252
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 98956 48 0 0 25 0 11 0 542895450 864514048 28082 4294967295 134512640 134569956 3221224400 3221214704 1131304544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28082 13073 16 0 211047 0
vsize: 844252
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 99944 48 0 0 24 0 11 0 542895450 864514048 28116 4294967295 134512640 134569956 3221224400 3221214784 1131239922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28116 13073 16 0 211047 0
vsize: 844252
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 100933 48 0 0 24 0 11 0 542895450 864514048 28138 4294967295 134512640 134569956 3221224400 3221214704 1131304544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28138 13073 16 0 211047 0
vsize: 844252
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 101921 48 0 0 25 0 11 0 542895450 864514048 28166 4294967295 134512640 134569956 3221224400 3221214792 1131359451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28166 13073 16 0 211047 0
vsize: 844252
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 102910 48 0 0 25 0 11 0 542895450 864514048 28200 4294967295 134512640 134569956 3221224400 3221214792 1131359456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28200 13073 16 0 211047 0
vsize: 844252
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 103899 48 0 0 25 0 11 0 542895450 864514048 28235 4294967295 134512640 134569956 3221224400 3221214792 1131358104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28235 13073 16 0 211047 0
vsize: 844252
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 104887 48 0 0 25 0 11 0 542895450 864514048 28269 4294967295 134512640 134569956 3221224400 3221214704 1131304200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28269 13073 16 0 211047 0
vsize: 844252
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 105876 48 0 0 25 0 11 0 542895450 864514048 28291 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28291 13073 16 0 211047 0
vsize: 844252
[startup+1090.12 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 106864 48 0 0 25 0 11 0 542895450 864514048 28320 4294967295 134512640 134569956 3221224400 3221214704 1131304251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28320 13073 16 0 211047 0
vsize: 844252
[startup+1100.12 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 107853 48 0 0 25 0 11 0 542895450 864514048 28353 4294967295 134512640 134569956 3221224400 3221214788 1131239938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28353 13073 16 0 211047 0
vsize: 844252
[startup+1110.12 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 108841 48 0 0 25 0 11 0 542895450 864514048 28389 4294967295 134512640 134569956 3221224400 3221214792 1131362405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28389 13073 16 0 211047 0
vsize: 844252
[startup+1120.12 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 109830 48 0 0 25 0 11 0 542895450 864514048 28407 4294967295 134512640 134569956 3221224400 3221214792 1131362162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28407 13073 16 0 211047 0
vsize: 844252
[startup+1130.12 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 110819 48 0 0 25 0 11 0 542895450 864514048 28439 4294967295 134512640 134569956 3221224400 3221214784 1131239922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28439 13073 16 0 211047 0
vsize: 844252
[startup+1140.12 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 111807 48 0 0 24 0 11 0 542895450 864514048 28474 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28474 13073 16 0 211047 0
vsize: 844252
[startup+1150.12 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 112795 48 0 0 24 0 11 0 542895450 864514048 28508 4294967295 134512640 134569956 3221224400 3221214792 1131362118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28508 13073 16 0 211047 0
vsize: 844252
[startup+1160.12 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 113784 49 0 0 25 0 11 0 542895450 864514048 28530 4294967295 134512640 134569956 3221224400 3221214688 1131330171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28530 13073 16 0 211047 0
vsize: 844252
[startup+1170.12 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 114772 49 0 0 25 0 11 0 542895450 864514048 28563 4294967295 134512640 134569956 3221224400 3221214704 1131304293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28563 13073 16 0 211047 0
vsize: 844252
[startup+1180.12 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 115761 49 0 0 25 0 11 0 542895450 864514048 28597 4294967295 134512640 134569956 3221224400 3221214792 1131361571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28597 13073 16 0 211047 0
vsize: 844252
[startup+1190.12 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 116750 49 0 0 25 0 11 0 542895450 864514048 28621 4294967295 134512640 134569956 3221224400 3221214704 1131304408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28621 13073 16 0 211047 0
vsize: 844252
[startup+1200.12 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 117739 49 0 0 25 0 11 0 542895450 864514048 28652 4294967295 134512640 134569956 3221224400 3221214792 1131362104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28652 13073 16 0 211047 0
vsize: 844252
[startup+1210.12 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 118727 49 0 0 25 0 11 0 542895450 864514048 28685 4294967295 134512640 134569956 3221224400 3221214788 1131330788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28685 13073 16 0 211047 0
vsize: 844252
[startup+1220.12 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 119716 49 0 0 25 0 11 0 542895450 864514048 28707 4294967295 134512640 134569956 3221224400 3221214792 1131359952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28707 13073 16 0 211047 0
vsize: 844252
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30361
Raw data (stat): 30351 (java) R 30350 28099 28098 0 -1 0 18083 0 1 0 120704 49 0 0 25 0 11 0 542895450 864514048 28738 4294967295 134512640 134569956 3221224400 3221214704 1131305111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211063 28738 13073 16 0 211047 0
vsize: 844252
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 30363
Raw data (stat): 30351 (java) Z 30350 28099 28098 0 -1 1036 18083 7814 1 0 120706 49 1972 27 25 0 1 0 542895450 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): 1230.2
CPU time (s): 1227.56
CPU user time (s): 1226.79
CPU system time (s): 0.771882
CPU usage (%): 99.7856
Max. virtual memory (Kb): 844732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####