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/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2_o.opb
MD5SUM1b076646de46807d226b08ba41913d63
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 7248
Biggest coefficient in the objective function 409031671808
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 178209334735200
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 409031671808
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 178209334735200
Number of bits of the biggest sum of numbers48
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.101984
Number of variables11184
Total number of constraints1584
Number of constraints which are clauses192
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1392
Minimum length of a constraint2
Maximum length of a constraint209

Trace number 15168 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-21 03:10:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18404 boxname=wulflinc18 idbench=1416 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1b076646de46807d226b08ba41913d63  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-gesa2_o.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-gesa2_o.opb
IDLAUNCH: 18404
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        548704 kB
Buffers:         34632 kB
Cached:         419696 kB
SwapCached:        388 kB
Active:         150528 kB
Inactive:       306228 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        548452 kB
SwapTotal:     2097892 kB
SwapFree:      2096996 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6224 kB
Slab:            23384 kB
Committed_AS:    63816 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 03:31:18 (client local time) WITH STATUS 143 IN 1250.22 SECONDS
stats: 18404 7 1250.22 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-gesa2_o.opb
c reading problem 
c [nbvar=11184]
c [nbconstr=1584]
c time 42.494
c #vars     11184
c #clauses  1609
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.54 0.78 0.85 2/55 17263
Raw data (stat): 17263 (runsolver) R 17262 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541724831 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.0005 s]
Raw data (loadavg): 0.61 0.78 0.85 2/64 17274
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 17975 0 1 0 887 39 0 0 25 0 10 0 541724831 853696512 19245 4294967295 134512640 134569956 3221224400 3221214772 1131155635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208422 19245 13073 16 0 208406 0
vsize: 833688
[startup+20.0024 s]
Raw data (loadavg): 0.83 0.82 0.87 4/64 17274
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18014 0 1 0 1711 39 0 0 23 0 10 0 541724831 866455552 22664 4294967295 134512640 134569956 3221224400 3221214808 1131213829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211537 22664 13073 16 0 211521 0
vsize: 846148
[startup+30.0073 s]
Raw data (loadavg): 1.00 0.86 0.88 2/64 17274
Raw data (stat): 17263 (java) S 17262 20024 20023 0 -1 0 18014 0 1 0 2499 39 0 0 25 0 10 0 541724831 867622912 23821 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211822 23821 13073 16 0 211806 0
vsize: 847288
[startup+40.0073 s]
Raw data (loadavg): 1.00 0.87 0.88 2/64 17274
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18014 0 1 0 3352 40 0 0 25 0 10 0 541724831 867622912 24095 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211822 24095 13073 16 0 211806 0
vsize: 847288
[startup+50.0083 s]
Raw data (loadavg): 1.16 0.90 0.89 3/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18083 0 1 0 4154 40 0 0 25 0 11 0 541724831 868151296 25001 4294967295 134512640 134569956 3221224400 3221214672 1131556144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 25001 13073 16 0 211935 0
vsize: 847804
[startup+60.0087 s]
Raw data (loadavg): 1.13 0.91 0.89 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 5117 41 0 0 25 0 11 0 541724831 868151296 25018 4294967295 134512640 134569956 3221224400 3221214848 1131596994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 25018 13073 16 0 211935 0
vsize: 847804
[startup+70.0101 s]
Raw data (loadavg): 1.11 0.91 0.89 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 6089 41 0 0 25 0 11 0 541724831 868151296 25117 4294967295 134512640 134569956 3221224400 3221214768 1131749219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 25117 13073 16 0 211935 0
vsize: 847804
[startup+80.011 s]
Raw data (loadavg): 1.17 0.93 0.90 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 7076 41 0 0 25 0 11 0 541724831 868151296 25210 4294967295 134512640 134569956 3221224400 3221214648 1131586720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 25210 13073 16 0 211935 0
vsize: 847804
[startup+90.0105 s]
Raw data (loadavg): 1.14 0.93 0.90 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 8052 41 0 0 25 0 11 0 541724831 868151296 25306 4294967295 134512640 134569956 3221224400 3221214840 1131596560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 25306 13073 16 0 211935 0
vsize: 847804
[startup+100.011 s]
Raw data (loadavg): 1.12 0.93 0.90 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 9035 41 0 0 25 0 11 0 541724831 868151296 25991 4294967295 134512640 134569956 3221224400 3221214760 1131749208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 25991 13073 16 0 211935 0
vsize: 847804
[startup+110.012 s]
Raw data (loadavg): 1.10 0.93 0.90 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 10021 41 0 0 25 0 11 0 541724831 868151296 25991 4294967295 134512640 134569956 3221224400 3221214760 1131749197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 25991 13073 16 0 211935 0
vsize: 847804
[startup+120.014 s]
Raw data (loadavg): 1.08 0.93 0.90 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 11009 42 0 0 25 0 11 0 541724831 868151296 25991 4294967295 134512640 134569956 3221224400 3221214840 1131596581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 25991 13073 16 0 211935 0
vsize: 847804
[startup+130.015 s]
Raw data (loadavg): 1.07 0.94 0.90 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 11996 42 0 0 25 0 11 0 541724831 868151296 25991 4294967295 134512640 134569956 3221224400 3221214760 1131749219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 25991 13073 16 0 211935 0
vsize: 847804
[startup+140.015 s]
Raw data (loadavg): 1.06 0.94 0.90 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 12981 42 0 0 25 0 11 0 541724831 868151296 25991 4294967295 134512640 134569956 3221224400 3221214760 1131749212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 25991 13073 16 0 211935 0
vsize: 847804
[startup+150.015 s]
Raw data (loadavg): 1.05 0.94 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 13964 42 0 0 25 0 11 0 541724831 868151296 25991 4294967295 134512640 134569956 3221224400 3221214760 1131749103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 25991 13073 16 0 211935 0
vsize: 847804
[startup+160.015 s]
Raw data (loadavg): 1.04 0.94 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 14936 42 0 0 25 0 11 0 541724831 868151296 25993 4294967295 134512640 134569956 3221224400 3221214760 1131749105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 25993 13073 16 0 211935 0
vsize: 847804
[startup+170.017 s]
Raw data (loadavg): 1.04 0.94 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 15916 43 0 0 25 0 11 0 541724831 868151296 26009 4294967295 134512640 134569956 3221224400 3221214760 1131749100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26009 13073 16 0 211935 0
vsize: 847804
[startup+180.017 s]
Raw data (loadavg): 1.03 0.94 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18084 0 1 0 16897 43 0 0 25 0 11 0 541724831 868151296 26079 4294967295 134512640 134569956 3221224400 3221214760 1131749208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26079 13073 16 0 211935 0
vsize: 847804
[startup+190.018 s]
Raw data (loadavg): 1.02 0.95 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 17846 44 0 0 25 0 11 0 541724831 868151296 26211 4294967295 134512640 134569956 3221224400 3221214760 1131749088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26211 13073 16 0 211935 0
vsize: 847804
[startup+200.019 s]
Raw data (loadavg): 1.02 0.95 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 18827 44 0 0 25 0 11 0 541724831 868151296 26255 4294967295 134512640 134569956 3221224400 3221214760 1131749105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26255 13073 16 0 211935 0
vsize: 847804
[startup+210.02 s]
Raw data (loadavg): 1.02 0.95 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 19798 45 0 0 25 0 11 0 541724831 868151296 26325 4294967295 134512640 134569956 3221224400 3221214760 1131749197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26325 13073 16 0 211935 0
vsize: 847804
[startup+220.021 s]
Raw data (loadavg): 1.09 0.96 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 20778 45 0 0 25 0 11 0 541724831 868151296 26413 4294967295 134512640 134569956 3221224400 3221214760 1131749197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26413 13073 16 0 211935 0
vsize: 847804
[startup+230.022 s]
Raw data (loadavg): 1.07 0.97 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 21759 45 0 0 25 0 11 0 541724831 868151296 26502 4294967295 134512640 134569956 3221224400 3221214744 1131560384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26502 13073 16 0 211935 0
vsize: 847804
[startup+240.022 s]
Raw data (loadavg): 1.06 0.97 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 22720 45 0 0 25 0 11 0 541724831 868151296 26604 4294967295 134512640 134569956 3221224400 3221214760 1131749212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26604 13073 16 0 211935 0
vsize: 847804
[startup+250.023 s]
Raw data (loadavg): 1.05 0.97 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 23688 45 0 0 25 0 11 0 541724831 868151296 26679 4294967295 134512640 134569956 3221224400 3221214760 1131749197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26679 13073 16 0 211935 0
vsize: 847804
[startup+260.024 s]
Raw data (loadavg): 1.04 0.97 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 24649 46 0 0 25 0 11 0 541724831 868151296 26772 4294967295 134512640 134569956 3221224400 3221214760 1131749100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26772 13073 16 0 211935 0
vsize: 847804
[startup+270.024 s]
Raw data (loadavg): 1.04 0.97 0.91 2/65 17275
Raw data (stat): 17263 (java) S 17262 20024 20023 0 -1 0 18085 0 1 0 25622 46 0 0 25 0 11 0 541724831 868151296 26843 4294967295 134512640 134569956 3221224400 3221213256 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 26843 13073 16 0 211935 0
vsize: 847804
[startup+280.025 s]
Raw data (loadavg): 1.03 0.97 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 26582 46 0 0 25 0 11 0 541724831 868151296 27041 4294967295 134512640 134569956 3221224400 3221214656 1131308413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27041 13073 16 0 211935 0
vsize: 847804
[startup+290.026 s]
Raw data (loadavg): 1.02 0.97 0.91 2/65 17275
Raw data (stat): 17263 (java) S 17262 20024 20023 0 -1 0 18085 0 1 0 27541 46 0 0 25 0 11 0 541724831 868151296 27087 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27087 13073 16 0 211935 0
vsize: 847804
[startup+300.027 s]
Raw data (loadavg): 1.02 0.97 0.91 2/65 17275
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 28507 46 0 0 25 0 11 0 541724831 868151296 27253 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27253 13073 16 0 211935 0
vsize: 847804
[startup+310.028 s]
Raw data (loadavg): 1.02 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 29484 47 0 0 25 0 11 0 541724831 868151296 27356 4294967295 134512640 134569956 3221224400 3221214752 1131749212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27356 13073 16 0 211935 0
vsize: 847804
[startup+320.029 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 30455 47 0 0 25 0 11 0 541724831 868151296 27478 4294967295 134512640 134569956 3221224400 3221214752 1131522499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27478 13073 16 0 211935 0
vsize: 847804
[startup+330.029 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 31428 47 0 0 25 0 11 0 541724831 868151296 27584 4294967295 134512640 134569956 3221224400 3221214752 1131749197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27584 13073 16 0 211935 0
vsize: 847804
[startup+340.029 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 32407 47 0 0 25 0 11 0 541724831 868151296 27645 4294967295 134512640 134569956 3221224400 3221214648 1131299736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27645 13073 16 0 211935 0
vsize: 847804
[startup+350.03 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 33386 48 0 0 25 0 11 0 541724831 868151296 27708 4294967295 134512640 134569956 3221224400 3221214800 1131641265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27708 13073 16 0 211935 0
vsize: 847804
[startup+360.031 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 34372 48 0 0 25 0 11 0 541724831 868151296 27811 4294967295 134512640 134569956 3221224400 3221214752 1131749219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27811 13073 16 0 211935 0
vsize: 847804
[startup+370.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 35352 48 0 0 25 0 11 0 541724831 868151296 27848 4294967295 134512640 134569956 3221224400 3221214752 1131749088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27848 13073 16 0 211935 0
vsize: 847804
[startup+380.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 36322 49 0 0 25 0 11 0 541724831 868151296 27888 4294967295 134512640 134569956 3221224400 3221213976 1131837709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27888 13073 16 0 211935 0
vsize: 847804
[startup+390.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 37290 49 0 0 25 0 11 0 541724831 868151296 27935 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27935 13073 16 0 211935 0
vsize: 847804
[startup+400.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 38266 49 0 0 25 0 11 0 541724831 868151296 27987 4294967295 134512640 134569956 3221224400 3221214752 1131521718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 27987 13073 16 0 211935 0
vsize: 847804
[startup+410.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 39242 49 0 0 25 0 11 0 541724831 868151296 28042 4294967295 134512640 134569956 3221224400 3221214648 1131299458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28042 13073 16 0 211935 0
vsize: 847804
[startup+420.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 40208 50 0 0 25 0 11 0 541724831 868151296 28119 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28119 13073 16 0 211935 0
vsize: 847804
[startup+430.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 41183 50 0 0 25 0 11 0 541724831 868151296 28183 4294967295 134512640 134569956 3221224400 3221214752 1131749212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28183 13073 16 0 211935 0
vsize: 847804
[startup+440.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 42158 50 0 0 25 0 11 0 541724831 868151296 28258 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28258 13073 16 0 211935 0
vsize: 847804
[startup+450.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 43133 51 0 0 25 0 11 0 541724831 868151296 28340 4294967295 134512640 134569956 3221224400 3221214752 1131520601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28340 13073 16 0 211935 0
vsize: 847804
[startup+460.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 44100 51 0 0 25 0 11 0 541724831 868151296 28442 4294967295 134512640 134569956 3221224400 3221214656 1131621076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28442 13073 16 0 211935 0
vsize: 847804
[startup+470.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 45068 51 0 0 25 0 11 0 541724831 868151296 28545 4294967295 134512640 134569956 3221224400 3221214752 1131749212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28545 13073 16 0 211935 0
vsize: 847804
[startup+480.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 46046 52 0 0 25 0 11 0 541724831 868151296 28609 4294967295 134512640 134569956 3221224400 3221214568 1131850175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28609 13073 16 0 211935 0
vsize: 847804
[startup+490.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) S 17262 20024 20023 0 -1 0 18085 0 1 0 47028 52 0 0 25 0 11 0 541724831 868151296 28644 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28644 13073 16 0 211935 0
vsize: 847804
[startup+500.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 48006 52 0 0 25 0 11 0 541724831 868151296 28703 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28703 13073 16 0 211935 0
vsize: 847804
[startup+510.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 48989 52 0 0 25 0 11 0 541724831 868151296 28745 4294967295 134512640 134569956 3221224400 3221214752 1131521770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28745 13073 16 0 211935 0
vsize: 847804
[startup+520.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 49963 52 0 0 25 0 11 0 541724831 868151296 28820 4294967295 134512640 134569956 3221224400 3221214752 1131749219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28820 13073 16 0 211935 0
vsize: 847804
[startup+530.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 50935 53 0 0 25 0 11 0 541724831 868151296 28884 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28884 13073 16 0 211935 0
vsize: 847804
[startup+540.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 51917 53 0 0 25 0 11 0 541724831 868151296 28923 4294967295 134512640 134569956 3221224400 3221214832 1131596859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28923 13073 16 0 211935 0
vsize: 847804
[startup+550.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 52898 53 0 0 25 0 11 0 541724831 868151296 28967 4294967295 134512640 134569956 3221224400 3221214752 1131749088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 28967 13073 16 0 211935 0
vsize: 847804
[startup+560.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 53879 53 0 0 25 0 11 0 541724831 868151296 29009 4294967295 134512640 134569956 3221224400 3221214656 1131308761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 29009 13073 16 0 211935 0
vsize: 847804
[startup+570.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 54848 54 0 0 25 0 11 0 541724831 868151296 29087 4294967295 134512640 134569956 3221224400 3221214108 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 29087 13073 16 0 211935 0
vsize: 847804
[startup+580.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 55817 54 0 0 25 0 11 0 541724831 868151296 29187 4294967295 134512640 134569956 3221224400 3221213800 1085632273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 29187 13073 16 0 211935 0
vsize: 847804
[startup+590.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 56786 54 0 0 24 0 11 0 541724831 868151296 29255 4294967295 134512640 134569956 3221224400 3221214752 1131749212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 29255 13073 16 0 211935 0
vsize: 847804
[startup+600.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17277
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 57764 55 0 0 25 0 11 0 541724831 868151296 29335 4294967295 134512640 134569956 3221224400 3221214640 1131587339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 29335 13073 16 0 211935 0
vsize: 847804
[startup+610.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 58744 55 0 0 25 0 11 0 541724831 868151296 29363 4294967295 134512640 134569956 3221224400 3221214752 1131749208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 29363 13073 16 0 211935 0
vsize: 847804
[startup+620.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 59711 55 0 0 25 0 11 0 541724831 868151296 29478 4294967295 134512640 134569956 3221224400 3221214656 1131308101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 29478 13073 16 0 211935 0
vsize: 847804
[startup+630.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 60679 55 0 0 25 0 11 0 541724831 868151296 29544 4294967295 134512640 134569956 3221224400 3221214656 1131308244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 29544 13073 16 0 211935 0
vsize: 847804
[startup+640.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 61637 55 0 0 25 0 11 0 541724831 868151296 29607 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 29607 13073 16 0 211935 0
vsize: 847804
[startup+650.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 62605 55 0 0 25 0 11 0 541724831 868151296 29696 4294967295 134512640 134569956 3221224400 3221214656 1131308690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 29696 13073 16 0 211935 0
vsize: 847804
[startup+660.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 63573 55 0 0 25 0 11 0 541724831 868151296 29777 4294967295 134512640 134569956 3221224400 3221214832 1131596856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 29777 13073 16 0 211935 0
vsize: 847804
[startup+670.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 64552 55 0 0 25 0 11 0 541724831 868151296 29841 4294967295 134512640 134569956 3221224400 3221214752 1131749212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 29841 13073 16 0 211935 0
vsize: 847804
[startup+680.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 65531 55 0 0 25 0 11 0 541724831 868151296 29960 4294967295 134512640 134569956 3221224400 3221214236 1131837734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 29960 13073 16 0 211935 0
vsize: 847804
[startup+690.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 66493 55 0 0 25 0 11 0 541724831 868151296 30079 4294967295 134512640 134569956 3221224400 3221213888 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30079 13073 16 0 211935 0
vsize: 847804
[startup+700.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 67465 55 0 0 25 0 11 0 541724831 868151296 30160 4294967295 134512640 134569956 3221224400 3221214752 1131749088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30160 13073 16 0 211935 0
vsize: 847804
[startup+710.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 68446 55 0 0 25 0 11 0 541724831 868151296 30217 4294967295 134512640 134569956 3221224400 3221214752 1131520590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30217 13073 16 0 211935 0
vsize: 847804
[startup+720.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 69409 55 0 0 25 0 11 0 541724831 868151296 30347 4294967295 134512640 134569956 3221224400 3221214216 1085679533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30347 13073 16 0 211935 0
vsize: 847804
[startup+730.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 70382 55 0 0 25 0 11 0 541724831 868151296 30419 4294967295 134512640 134569956 3221224400 3221214752 1131749219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30419 13073 16 0 211935 0
vsize: 847804
[startup+740.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 71355 55 0 0 25 0 11 0 541724831 868151296 30474 4294967295 134512640 134569956 3221224400 3221214752 1131749103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30474 13073 16 0 211935 0
vsize: 847804
[startup+750.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 72337 55 0 0 25 0 11 0 541724831 868151296 30517 4294967295 134512640 134569956 3221224400 3221214824 1131854236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211951 30517 13073 16 0 211935 0
vsize: 847804
[startup+760.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 73310 55 0 0 25 0 11 0 541724831 868151296 30588 4294967295 134512640 134569956 3221224400 3221214748 1131308044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30588 13073 16 0 211935 0
vsize: 847804
[startup+770.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 74283 55 0 0 25 0 11 0 541724831 868151296 30660 4294967295 134512640 134569956 3221224400 3221214160 1085679750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30660 13073 16 0 211935 0
vsize: 847804
[startup+780.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 75266 55 0 0 25 0 11 0 541724831 868151296 30720 4294967295 134512640 134569956 3221224400 3221214656 1131309594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30720 13073 16 0 211935 0
vsize: 847804
[startup+790.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) S 17262 20024 20023 0 -1 0 18085 0 1 0 76248 55 0 0 25 0 11 0 541724831 868151296 30790 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30790 13073 16 0 211935 0
vsize: 847804
[startup+800.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 77221 55 0 0 25 0 11 0 541724831 868151296 30863 4294967295 134512640 134569956 3221224400 3221214672 1131691541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30863 13073 16 0 211935 0
vsize: 847804
[startup+810.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 78203 55 0 0 25 0 11 0 541724831 868151296 30905 4294967295 134512640 134569956 3221224400 3221214752 1131749219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30905 13073 16 0 211935 0
vsize: 847804
[startup+820.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 79176 55 0 0 25 0 11 0 541724831 868151296 30980 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 30980 13073 16 0 211935 0
vsize: 847804
[startup+830.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 80158 55 0 0 25 0 11 0 541724831 868151296 31023 4294967295 134512640 134569956 3221224400 3221214360 1131837624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31023 13073 16 0 211935 0
vsize: 847804
[startup+840.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 81139 55 0 0 25 0 11 0 541724831 868151296 31069 4294967295 134512640 134569956 3221224400 3221214848 1131771156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31069 13073 16 0 211935 0
vsize: 847804
[startup+850.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 82112 55 0 0 25 0 11 0 541724831 868151296 31155 4294967295 134512640 134569956 3221224400 3221214832 1131596856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31155 13073 16 0 211935 0
vsize: 847804
[startup+860.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 83085 56 0 0 25 0 11 0 541724831 868151296 31232 4294967295 134512640 134569956 3221224400 3221214752 1131749105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31232 13073 16 0 211935 0
vsize: 847804
[startup+870.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 84048 56 0 0 25 0 11 0 541724831 868151296 31325 4294967295 134512640 134569956 3221224400 3221214812 1130894840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31325 13073 16 0 211935 0
vsize: 847804
[startup+880.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 85030 56 0 0 25 0 11 0 541724831 868151296 31366 4294967295 134512640 134569956 3221224400 3221214656 1131308450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31366 13073 16 0 211935 0
vsize: 847804
[startup+890.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 86003 56 0 0 25 0 11 0 541724831 868151296 31419 4294967295 134512640 134569956 3221224400 3221213860 1131837592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31419 13073 16 0 211935 0
vsize: 847804
[startup+900.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17279
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 86974 56 0 0 25 0 11 0 541724831 868151296 31502 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31502 13073 16 0 211935 0
vsize: 847804
[startup+910.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 87947 56 0 0 25 0 11 0 541724831 868151296 31588 4294967295 134512640 134569956 3221224400 3221214248 1131837649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31588 13073 16 0 211935 0
vsize: 847804
[startup+920.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 88919 56 0 0 25 0 11 0 541724831 868151296 31665 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31665 13073 16 0 211935 0
vsize: 847804
[startup+930.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 89891 56 0 0 25 0 11 0 541724831 868151296 31734 4294967295 134512640 134569956 3221224400 3221214648 1131299736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31734 13073 16 0 211935 0
vsize: 847804
[startup+940.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 90861 56 0 0 25 0 11 0 541724831 868151296 31821 4294967295 134512640 134569956 3221224400 3221214752 1131749219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31821 13073 16 0 211935 0
vsize: 847804
[startup+950.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 91831 56 0 0 25 0 11 0 541724831 868151296 31876 4294967295 134512640 134569956 3221224400 3221214752 1131521722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31876 13073 16 0 211935 0
vsize: 847804
[startup+960.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 92799 56 0 0 25 0 11 0 541724831 868151296 31952 4294967295 134512640 134569956 3221224400 3221214656 1131308238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 31952 13073 16 0 211935 0
vsize: 847804
[startup+970.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 93779 56 0 0 25 0 11 0 541724831 868151296 32004 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32004 13073 16 0 211935 0
vsize: 847804
[startup+980.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 94747 56 0 0 25 0 11 0 541724831 868151296 32055 4294967295 134512640 134569956 3221224400 3221214468 1131837648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32055 13073 16 0 211935 0
vsize: 847804
[startup+990.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 95725 56 0 0 25 0 11 0 541724831 868151296 32107 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32107 13073 16 0 211935 0
vsize: 847804
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 96704 56 0 0 25 0 11 0 541724831 868151296 32156 4294967295 134512640 134569956 3221224400 3221214160 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32156 13073 16 0 211935 0
vsize: 847804
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 97672 56 0 0 25 0 11 0 541724831 868151296 32233 4294967295 134512640 134569956 3221224400 3221214752 1131749105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32233 13073 16 0 211935 0
vsize: 847804
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 98651 56 0 0 25 0 11 0 541724831 868151296 32284 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32284 13073 16 0 211935 0
vsize: 847804
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 99631 56 0 0 25 0 11 0 541724831 868151296 32333 4294967295 134512640 134569956 3221224400 3221214752 1131749105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32333 13073 16 0 211935 0
vsize: 847804
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 100609 56 0 0 25 0 11 0 541724831 868151296 32362 4294967295 134512640 134569956 3221224400 3221214136 1131837612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32362 13073 16 0 211935 0
vsize: 847804
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 101577 56 0 0 25 0 11 0 541724831 868151296 32434 4294967295 134512640 134569956 3221224400 3221214752 1131521744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32434 13073 16 0 211935 0
vsize: 847804
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 102547 56 0 0 25 0 11 0 541724831 868151296 32609 4294967295 134512640 134569956 3221224400 3221214752 1131520597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32609 13073 16 0 211935 0
vsize: 847804
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 103517 56 0 0 25 0 11 0 541724831 868151296 32702 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32702 13073 16 0 211935 0
vsize: 847804
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 104481 56 0 0 25 0 11 0 541724831 868151296 32814 4294967295 134512640 134569956 3221224400 3221214656 1131308450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32814 13073 16 0 211935 0
vsize: 847804
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 105463 56 0 0 25 0 11 0 541724831 868151296 32860 4294967295 134512640 134569956 3221224400 3221214656 1131308101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32860 13073 16 0 211935 0
vsize: 847804
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 106445 56 0 0 25 0 11 0 541724831 868151296 32903 4294967295 134512640 134569956 3221224400 3221213796 1131849228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32903 13073 16 0 211935 0
vsize: 847804
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 107417 56 0 0 25 0 11 0 541724831 868151296 32979 4294967295 134512640 134569956 3221224400 3221214576 1131850079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 32979 13073 16 0 211935 0
vsize: 847804
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 108398 56 0 0 25 0 11 0 541724831 868151296 33032 4294967295 134512640 134569956 3221224400 3221213436 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33032 13073 16 0 211935 0
vsize: 847804
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 109380 56 0 0 25 0 11 0 541724831 868151296 33079 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33079 13073 16 0 211935 0
vsize: 847804
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 110361 56 0 0 25 0 11 0 541724831 868151296 33130 4294967295 134512640 134569956 3221224400 3221214568 1131850184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33130 13073 16 0 211935 0
vsize: 847804
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 111334 56 0 0 25 0 11 0 541724831 868151296 33201 4294967295 134512640 134569956 3221224400 3221214328 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33201 13073 16 0 211935 0
vsize: 847804
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 112287 56 0 0 25 0 11 0 541724831 868151296 33327 4294967295 134512640 134569956 3221224400 3221214640 1131586712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33327 13073 16 0 211935 0
vsize: 847804
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 113244 56 0 0 25 0 11 0 541724831 868151296 33425 4294967295 134512640 134569956 3221224400 3221214656 1131308497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33425 13073 16 0 211935 0
vsize: 847804
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 114219 56 0 0 25 0 11 0 541724831 868151296 33479 4294967295 134512640 134569956 3221224400 3221214832 1131596862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33479 13073 16 0 211935 0
vsize: 847804
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 115203 56 0 0 25 0 11 0 541724831 868151296 33522 4294967295 134512640 134569956 3221224400 3221214752 1131749103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33522 13073 16 0 211935 0
vsize: 847804
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17281
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 116177 56 0 0 25 0 11 0 541724831 868151296 33586 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33586 13073 16 0 211935 0
vsize: 847804
[startup+1210.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17283
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 117152 56 0 0 25 0 11 0 541724831 868151296 33674 4294967295 134512640 134569956 3221224400 3221214672 1131691541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33674 13073 16 0 211935 0
vsize: 847804
[startup+1220.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17283
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 118127 56 0 0 25 0 11 0 541724831 868151296 33753 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33753 13073 16 0 211935 0
vsize: 847804
[startup+1230.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17283
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 119110 56 0 0 25 0 11 0 541724831 868151296 33801 4294967295 134512640 134569956 3221224400 3221214752 1131749100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33801 13073 16 0 211935 0
vsize: 847804
[startup+1240.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 17283
Raw data (stat): 17263 (java) R 17262 20024 20023 0 -1 0 18085 0 1 0 120085 56 0 0 25 0 11 0 541724831 868151296 33877 4294967295 134512640 134569956 3221224400 3221214656 1131308493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211951 33877 13073 16 0 211935 0
vsize: 847804
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 17285
Raw data (stat): 17263 (java) Z 17262 20024 20023 0 -1 1036 18085 19946 1 0 120088 56 4828 49 25 0 1 0 541724831 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): 1240.18
CPU time (s): 1250.22
CPU user time (s): 1249.16
CPU system time (s): 1.06184
CPU usage (%): 100.81
Max. virtual memory (Kb): 847804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####