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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb
MD5SUM5df680f208ddf408cf78769a644f889d
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -468992
Optimality of the best value was proved NO
Number of terms in the objective function 150
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 5368709115
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 171798691840
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 344670818303
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.93979
Number of variables8411
Total number of constraints3344
Number of constraints which are clauses412
Number of constraints which are cardinality constraints (but not clauses)1282
Number of constraints which are nor clauses,nor cardinality constraints1650
Minimum length of a constraint1
Maximum length of a constraint270

Trace number 20597 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-21 21:29:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14660 boxname=wulflinc31 idbench=1128 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5df680f208ddf408cf78769a644f889d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-neos20.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-neos20.opb
IDLAUNCH: 14660
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        831584 kB
Buffers:          9180 kB
Cached:         169148 kB
SwapCached:        580 kB
Active:          27968 kB
Inactive:       152276 kB
HighTotal:      131008 kB
HighFree:        27580 kB
LowTotal:       903652 kB
LowFree:        804004 kB
SwapTotal:     2097892 kB
SwapFree:      2096356 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            17100 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 21:50:22 (client local time) WITH STATUS 143 IN 1234.65 SECONDS
stats: 14660 7 1234.65 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-neos20.opb
c reading problem 
c [nbvar=8411]
c [nbconstr=3344]
c time 27.258
c #vars     8411
c #clauses  3201
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.85 0.94 0.90 2/54 2290
Raw data (stat): 2290 (runsolver) R 2289 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548315627 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.03 0.97 0.91 3/63 2299
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18001 0 1 0 775 41 0 0 25 0 10 0 548315627 859607040 21004 4294967295 134512640 134569956 3221224400 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209865 21004 13073 16 0 209849 0
vsize: 839460
[startup+20.0113 s]
Raw data (loadavg): 1.10 0.99 0.92 2/63 2299
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18001 0 1 0 1648 41 0 0 25 0 10 0 548315627 858030080 21625 4294967295 134512640 134569956 3221224400 3221214368 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209480 21625 13073 16 0 209464 0
vsize: 837920
[startup+30.0182 s]
Raw data (loadavg): 1.08 0.99 0.92 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18069 0 1 0 2504 41 0 0 25 0 11 0 548315627 859607040 22231 4294967295 134512640 134569956 3221224400 3221214792 1131383708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209865 22231 13073 16 0 209849 0
vsize: 839460
[startup+40.0182 s]
Raw data (loadavg): 1.15 1.01 0.92 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18071 0 1 0 3444 41 0 0 25 0 11 0 548315627 861753344 22851 4294967295 134512640 134569956 3221224400 3221214776 1131355357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210389 22851 13073 16 0 210373 0
vsize: 841556
[startup+50.0354 s]
Raw data (loadavg): 1.21 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 4371 41 0 0 25 0 11 0 548315627 868044800 24614 4294967295 134512640 134569956 3221224400 3221214680 1131216364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211925 24614 13073 16 0 211909 0
vsize: 847700
[startup+60.0412 s]
Raw data (loadavg): 1.17 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 5316 42 0 0 25 0 11 0 548315627 865947648 24171 4294967295 134512640 134569956 3221224400 3221214824 1131371920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211413 24171 13073 16 0 211397 0
vsize: 845652
[startup+70.0419 s]
Raw data (loadavg): 1.15 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) S 2289 23176 23175 0 -1 0 18072 0 1 0 6272 42 0 0 25 0 11 0 548315627 865931264 24300 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211409 24300 13073 16 0 211393 0
vsize: 845636
[startup+80.0511 s]
Raw data (loadavg): 1.12 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 7226 42 0 0 25 0 11 0 548315627 865931264 24437 4294967295 134512640 134569956 3221224400 3221214824 1131371622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211409 24437 13073 16 0 211393 0
vsize: 845636
[startup+90.0518 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 8189 42 0 0 25 0 11 0 548315627 865931264 24585 4294967295 134512640 134569956 3221224400 3221214720 1131502387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211409 24585 13073 16 0 211393 0
vsize: 845636
[startup+100.052 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 9164 43 0 0 25 0 11 0 548315627 865931264 24870 4294967295 134512640 134569956 3221224400 3221214824 1131371895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211409 24870 13073 16 0 211393 0
vsize: 845636
[startup+110.053 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 10146 43 0 0 25 0 11 0 548315627 862785536 24095 4294967295 134512640 134569956 3221224400 3221214680 1131216748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 24095 13073 16 0 210625 0
vsize: 842564
[startup+120.054 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 11134 44 0 0 25 0 11 0 548315627 862785536 24145 4294967295 134512640 134569956 3221224400 3221214776 1131353662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24145 13073 16 0 210625 0
vsize: 842564
[startup+130.055 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 12122 44 0 0 25 0 11 0 548315627 862785536 24166 4294967295 134512640 134569956 3221224400 3221214680 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24166 13073 16 0 210625 0
vsize: 842564
[startup+140.055 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) S 2289 23176 23175 0 -1 0 18072 0 1 0 13110 44 0 0 25 0 11 0 548315627 862785536 24186 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24186 13073 16 0 210625 0
vsize: 842564
[startup+150.055 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 14099 44 0 0 25 0 11 0 548315627 862785536 24209 4294967295 134512640 134569956 3221224400 3221214776 1131353662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24209 13073 16 0 210625 0
vsize: 842564
[startup+160.056 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 15087 45 0 0 25 0 11 0 548315627 862785536 24233 4294967295 134512640 134569956 3221224400 3221214480 1131243241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24233 13073 16 0 210625 0
vsize: 842564
[startup+170.063 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 16075 45 0 0 25 0 11 0 548315627 862785536 24264 4294967295 134512640 134569956 3221224400 3221214824 1131371895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24264 13073 16 0 210625 0
vsize: 842564
[startup+180.078 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 17064 45 0 0 25 0 11 0 548315627 862785536 24343 4294967295 134512640 134569956 3221224400 3221214680 1131216266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24343 13073 16 0 210625 0
vsize: 842564
[startup+190.092 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18072 0 1 0 18052 45 0 0 25 0 11 0 548315627 862785536 24384 4294967295 134512640 134569956 3221224400 3221214824 1131371732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24384 13073 16 0 210625 0
vsize: 842564
[startup+200.092 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 19041 46 0 0 25 0 11 0 548315627 862785536 24414 4294967295 134512640 134569956 3221224400 3221214680 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24414 13073 16 0 210625 0
vsize: 842564
[startup+210.093 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 20031 46 0 0 25 0 11 0 548315627 862785536 24442 4294967295 134512640 134569956 3221224400 3221214824 1131371732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24442 13073 16 0 210625 0
vsize: 842564
[startup+220.094 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 21018 46 0 0 25 0 11 0 548315627 862785536 24471 4294967295 134512640 134569956 3221224400 3221214776 1131355248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24471 13073 16 0 210625 0
vsize: 842564
[startup+230.095 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 22006 47 0 0 25 0 11 0 548315627 862785536 24498 4294967295 134512640 134569956 3221224400 3221214720 1131243416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24498 13073 16 0 210625 0
vsize: 842564
[startup+240.096 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 22989 47 0 0 25 0 11 0 548315627 862785536 24540 4294967295 134512640 134569956 3221224400 3221214720 1131507455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24540 13073 16 0 210625 0
vsize: 842564
[startup+250.096 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 23975 48 0 0 25 0 11 0 548315627 862785536 24586 4294967295 134512640 134569956 3221224400 3221214824 1131371743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24586 13073 16 0 210625 0
vsize: 842564
[startup+260.097 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 24958 48 0 0 25 0 11 0 548315627 862785536 24628 4294967295 134512640 134569956 3221224400 3221214776 1131353662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24628 13073 16 0 210625 0
vsize: 842564
[startup+270.097 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 25942 48 0 0 24 0 11 0 548315627 862785536 24672 4294967295 134512640 134569956 3221224400 3221214680 1131215873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24672 13073 16 0 210625 0
vsize: 842564
[startup+280.098 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 26929 49 0 0 25 0 11 0 548315627 862785536 24761 4294967295 134512640 134569956 3221224400 3221214680 1131216235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24761 13073 16 0 210625 0
vsize: 842564
[startup+290.098 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 27916 49 0 0 25 0 11 0 548315627 862785536 24840 4294967295 134512640 134569956 3221224400 3221214680 1131215877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24840 13073 16 0 210625 0
vsize: 842564
[startup+300.099 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 28904 50 0 0 25 0 11 0 548315627 862785536 24879 4294967295 134512640 134569956 3221224400 3221214776 1131355188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24879 13073 16 0 210625 0
vsize: 842564
[startup+310.099 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 29892 50 0 0 25 0 11 0 548315627 862785536 24923 4294967295 134512640 134569956 3221224400 3221214776 1131352319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24923 13073 16 0 210625 0
vsize: 842564
[startup+320.1 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 30879 51 0 0 25 0 11 0 548315627 862785536 24961 4294967295 134512640 134569956 3221224400 3221214680 1131216131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24961 13073 16 0 210625 0
vsize: 842564
[startup+330.102 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 31867 51 0 0 25 0 11 0 548315627 862785536 24995 4294967295 134512640 134569956 3221224400 3221214776 1131352526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 24995 13073 16 0 210625 0
vsize: 842564
[startup+340.102 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 32855 52 0 0 25 0 11 0 548315627 862785536 25036 4294967295 134512640 134569956 3221224400 3221214824 1131371895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25036 13073 16 0 210625 0
vsize: 842564
[startup+350.103 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 33843 53 0 0 25 0 11 0 548315627 862785536 25080 4294967295 134512640 134569956 3221224400 3221214832 1131410626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25080 13073 16 0 210625 0
vsize: 842564
[startup+360.105 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 34831 53 0 0 25 0 11 0 548315627 862785536 25117 4294967295 134512640 134569956 3221224400 3221214824 1131371743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25117 13073 16 0 210625 0
vsize: 842564
[startup+370.105 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 35818 53 0 0 25 0 11 0 548315627 862785536 25157 4294967295 134512640 134569956 3221224400 3221214824 1131371743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25157 13073 16 0 210625 0
vsize: 842564
[startup+380.106 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 36804 54 0 0 25 0 11 0 548315627 862785536 25196 4294967295 134512640 134569956 3221224400 3221214824 1131371420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25196 13073 16 0 210625 0
vsize: 842564
[startup+390.106 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 37792 54 0 0 25 0 11 0 548315627 862785536 25246 4294967295 134512640 134569956 3221224400 3221214680 1131216581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25246 13073 16 0 210625 0
vsize: 842564
[startup+400.106 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 38780 54 0 0 25 0 11 0 548315627 862785536 25289 4294967295 134512640 134569956 3221224400 3221214824 1131371912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25289 13073 16 0 210625 0
vsize: 842564
[startup+410.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 39765 55 0 0 25 0 11 0 548315627 862785536 25327 4294967295 134512640 134569956 3221224400 3221214680 1131215873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25327 13073 16 0 210625 0
vsize: 842564
[startup+420.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 40753 55 0 0 25 0 11 0 548315627 862785536 25388 4294967295 134512640 134569956 3221224400 3221214768 1131278329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25388 13073 16 0 210625 0
vsize: 842564
[startup+430.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 41738 55 0 0 25 0 11 0 548315627 862785536 25444 4294967295 134512640 134569956 3221224400 3221214824 1131371895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25444 13073 16 0 210625 0
vsize: 842564
[startup+440.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 42726 56 0 0 24 0 11 0 548315627 862785536 25491 4294967295 134512640 134569956 3221224400 3221214680 1131216459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25491 13073 16 0 210625 0
vsize: 842564
[startup+450.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 43713 56 0 0 25 0 11 0 548315627 862785536 25546 4294967295 134512640 134569956 3221224400 3221214824 1131371649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25546 13073 16 0 210625 0
vsize: 842564
[startup+460.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 44701 56 0 0 25 0 11 0 548315627 862785536 25609 4294967295 134512640 134569956 3221224400 3221214720 1131506033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25609 13073 16 0 210625 0
vsize: 842564
[startup+470.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 45687 57 0 0 25 0 11 0 548315627 862785536 25662 4294967295 134512640 134569956 3221224400 3221214680 1131216237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25662 13073 16 0 210625 0
vsize: 842564
[startup+480.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 46673 57 0 0 25 0 11 0 548315627 862785536 25724 4294967295 134512640 134569956 3221224400 3221214824 1131371712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25724 13073 16 0 210625 0
vsize: 842564
[startup+490.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 47655 57 0 0 25 0 11 0 548315627 862785536 25771 4294967295 134512640 134569956 3221224400 3221214680 1131217100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25771 13073 16 0 210625 0
vsize: 842564
[startup+500.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 48634 58 0 0 25 0 11 0 548315627 862785536 25827 4294967295 134512640 134569956 3221224400 3221214776 1131352319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25827 13073 16 0 210625 0
vsize: 842564
[startup+510.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 49609 58 0 0 25 0 11 0 548315627 862785536 25885 4294967295 134512640 134569956 3221224400 3221214776 1131352591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25885 13073 16 0 210625 0
vsize: 842564
[startup+520.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 50582 58 0 0 25 0 11 0 548315627 862785536 25949 4294967295 134512640 134569956 3221224400 3221214680 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 25949 13073 16 0 210625 0
vsize: 842564
[startup+530.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) S 2289 23176 23175 0 -1 0 18073 0 1 0 51557 58 0 0 25 0 11 0 548315627 862785536 26099 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26099 13073 16 0 210625 0
vsize: 842564
[startup+540.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 52535 58 0 0 25 0 11 0 548315627 862785536 26181 4294967295 134512640 134569956 3221224400 3221214680 1131215884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26181 13073 16 0 210625 0
vsize: 842564
[startup+550.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 53509 59 0 0 24 0 11 0 548315627 862785536 26298 4294967295 134512640 134569956 3221224400 3221214824 1131371408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26298 13073 16 0 210625 0
vsize: 842564
[startup+560.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 54492 59 0 0 25 0 11 0 548315627 862785536 26400 4294967295 134512640 134569956 3221224400 3221214680 1131216756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26400 13073 16 0 210625 0
vsize: 842564
[startup+570.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 55474 59 0 0 25 0 11 0 548315627 862785536 26458 4294967295 134512640 134569956 3221224400 3221214960 1131335096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26458 13073 16 0 210625 0
vsize: 842564
[startup+580.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 56457 59 0 0 25 0 11 0 548315627 862785536 26511 4294967295 134512640 134569956 3221224400 3221214680 1131216326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26511 13073 16 0 210625 0
vsize: 842564
[startup+590.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 57438 59 0 0 25 0 11 0 548315627 862785536 26580 4294967295 134512640 134569956 3221224400 3221214720 1131243389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26580 13073 16 0 210625 0
vsize: 842564
[startup+600.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 58420 60 0 0 25 0 11 0 548315627 862785536 26646 4294967295 134512640 134569956 3221224400 3221214680 1131216331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26646 13073 16 0 210625 0
vsize: 842564
[startup+610.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 59402 60 0 0 25 0 11 0 548315627 862785536 26686 4294967295 134512640 134569956 3221224400 3221214584 1131374963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26686 13073 16 0 210625 0
vsize: 842564
[startup+620.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 60386 61 0 0 25 0 11 0 548315627 862785536 26728 4294967295 134512640 134569956 3221224400 3221214680 1131216501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 26728 13073 16 0 210625 0
vsize: 842564
[startup+630.127 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 61368 61 0 0 25 0 11 0 548315627 862785536 26795 4294967295 134512640 134569956 3221224400 3221214480 1131243341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26795 13073 16 0 210625 0
vsize: 842564
[startup+640.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 62352 61 0 0 25 0 11 0 548315627 862785536 26849 4294967295 134512640 134569956 3221224400 3221214624 1131420854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26849 13073 16 0 210625 0
vsize: 842564
[startup+650.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 63336 61 0 0 24 0 11 0 548315627 862785536 26894 4294967295 134512640 134569956 3221224400 3221214776 1131354523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26894 13073 16 0 210625 0
vsize: 842564
[startup+660.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 64319 62 0 0 25 0 11 0 548315627 862785536 26943 4294967295 134512640 134569956 3221224400 3221214680 1131215877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26943 13073 16 0 210625 0
vsize: 842564
[startup+670.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 65302 62 0 0 25 0 11 0 548315627 862785536 26991 4294967295 134512640 134569956 3221224400 3221214776 1131352591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 26991 13073 16 0 210625 0
vsize: 842564
[startup+680.135 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 66285 62 0 0 25 0 11 0 548315627 862785536 27053 4294967295 134512640 134569956 3221224400 3221214776 1131352591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27053 13073 16 0 210625 0
vsize: 842564
[startup+690.141 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 67264 62 0 0 25 0 11 0 548315627 862785536 27116 4294967295 134512640 134569956 3221224400 3221214840 1131492301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27116 13073 16 0 210625 0
vsize: 842564
[startup+700.142 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 68249 63 0 0 25 0 11 0 548315627 862785536 27156 4294967295 134512640 134569956 3221224400 3221214680 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27156 13073 16 0 210625 0
vsize: 842564
[startup+710.15 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 69231 63 0 0 25 0 11 0 548315627 862785536 27197 4294967295 134512640 134569956 3221224400 3221214680 1131216266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27197 13073 16 0 210625 0
vsize: 842564
[startup+720.15 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 70213 63 0 0 25 0 11 0 548315627 862785536 27257 4294967295 134512640 134569956 3221224400 3221214776 1131352319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27257 13073 16 0 210625 0
vsize: 842564
[startup+730.151 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 71198 63 0 0 25 0 11 0 548315627 862785536 27309 4294967295 134512640 134569956 3221224400 3221214824 1131371732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27309 13073 16 0 210625 0
vsize: 842564
[startup+740.152 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 72182 64 0 0 25 0 11 0 548315627 862785536 27353 4294967295 134512640 134569956 3221224400 3221214680 1131216220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27353 13073 16 0 210625 0
vsize: 842564
[startup+750.152 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 73163 64 0 0 25 0 11 0 548315627 862785536 27389 4294967295 134512640 134569956 3221224400 3221214856 1131271639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27389 13073 16 0 210625 0
vsize: 842564
[startup+760.153 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 74145 64 0 0 25 0 11 0 548315627 862785536 27442 4294967295 134512640 134569956 3221224400 3221214696 1131216141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27442 13073 16 0 210625 0
vsize: 842564
[startup+770.152 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 75128 65 0 0 25 0 11 0 548315627 862785536 27499 4294967295 134512640 134569956 3221224400 3221214680 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27499 13073 16 0 210625 0
vsize: 842564
[startup+780.154 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 76110 65 0 0 25 0 11 0 548315627 862785536 27558 4294967295 134512640 134569956 3221224400 3221214824 1131371743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27558 13073 16 0 210625 0
vsize: 842564
[startup+790.154 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 77094 65 0 0 25 0 11 0 548315627 862785536 27612 4294967295 134512640 134569956 3221224400 3221214824 1131371743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27612 13073 16 0 210625 0
vsize: 842564
[startup+800.154 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 78078 66 0 0 25 0 11 0 548315627 862785536 27662 4294967295 134512640 134569956 3221224400 3221214680 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27662 13073 16 0 210625 0
vsize: 842564
[startup+810.155 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 79061 66 0 0 25 0 11 0 548315627 862785536 27697 4294967295 134512640 134569956 3221224400 3221214680 1131215884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27697 13073 16 0 210625 0
vsize: 842564
[startup+820.155 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 80045 67 0 0 25 0 11 0 548315627 862785536 27760 4294967295 134512640 134569956 3221224400 3221214680 1131216443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27760 13073 16 0 210625 0
vsize: 842564
[startup+830.156 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 81029 67 0 0 25 0 11 0 548315627 862785536 27791 4294967295 134512640 134569956 3221224400 3221214776 1131353662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27791 13073 16 0 210625 0
vsize: 842564
[startup+840.156 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 82012 67 0 0 25 0 11 0 548315627 862785536 27826 4294967295 134512640 134569956 3221224400 3221214680 1131216314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27826 13073 16 0 210625 0
vsize: 842564
[startup+850.157 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 82994 68 0 0 25 0 11 0 548315627 862785536 27877 4294967295 134512640 134569956 3221224400 3221214776 1131353662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27877 13073 16 0 210625 0
vsize: 842564
[startup+860.158 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 83976 68 0 0 24 0 11 0 548315627 862785536 27913 4294967295 134512640 134569956 3221224400 3221214680 1131216223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27913 13073 16 0 210625 0
vsize: 842564
[startup+870.158 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 84960 68 0 0 25 0 11 0 548315627 862785536 27981 4294967295 134512640 134569956 3221224400 3221214680 1131216065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 27981 13073 16 0 210625 0
vsize: 842564
[startup+880.159 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 85942 69 0 0 25 0 11 0 548315627 862785536 28023 4294967295 134512640 134569956 3221224400 3221214816 1131340631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28023 13073 16 0 210625 0
vsize: 842564
[startup+890.159 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 86924 69 0 0 25 0 11 0 548315627 862785536 28079 4294967295 134512640 134569956 3221224400 3221214776 1131353618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28079 13073 16 0 210625 0
vsize: 842564
[startup+900.159 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 87905 69 0 0 25 0 11 0 548315627 862785536 28138 4294967295 134512640 134569956 3221224400 3221214744 1131243208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28138 13073 16 0 210625 0
vsize: 842564
[startup+910.159 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 88887 69 0 0 25 0 11 0 548315627 862785536 28207 4294967295 134512640 134569956 3221224400 3221214776 1131352526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28207 13073 16 0 210625 0
vsize: 842564
[startup+920.161 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 89869 70 0 0 25 0 11 0 548315627 862785536 28261 4294967295 134512640 134569956 3221224400 3221214680 1131215884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28261 13073 16 0 210625 0
vsize: 842564
[startup+930.161 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 90852 70 0 0 25 0 11 0 548315627 862785536 28322 4294967295 134512640 134569956 3221224400 3221214680 1131216300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28322 13073 16 0 210625 0
vsize: 842564
[startup+940.161 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 91834 71 0 0 25 0 11 0 548315627 862785536 28373 4294967295 134512640 134569956 3221224400 3221214680 1131216281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28373 13073 16 0 210625 0
vsize: 842564
[startup+950.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 92815 71 0 0 25 0 11 0 548315627 862785536 28429 4294967295 134512640 134569956 3221224400 3221214680 1131216487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28429 13073 16 0 210625 0
vsize: 842564
[startup+960.164 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 93795 71 0 0 25 0 11 0 548315627 862785536 28469 4294967295 134512640 134569956 3221224400 3221214680 1131216388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28469 13073 16 0 210625 0
vsize: 842564
[startup+970.164 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 94773 72 0 0 25 0 11 0 548315627 862785536 28537 4294967295 134512640 134569956 3221224400 3221214680 1131216335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28537 13073 16 0 210625 0
vsize: 842564
[startup+980.166 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) S 2289 23176 23175 0 -1 0 18073 0 1 0 95754 72 0 0 25 0 11 0 548315627 862785536 28623 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28623 13073 16 0 210625 0
vsize: 842564
[startup+990.166 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 96733 72 0 0 25 0 11 0 548315627 862785536 28764 4294967295 134512640 134569956 3221224400 3221214720 1131243829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28764 13073 16 0 210625 0
vsize: 842564
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 97715 73 0 0 25 0 11 0 548315627 862785536 28816 4294967295 134512640 134569956 3221224400 3221214824 1131371622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28816 13073 16 0 210625 0
vsize: 842564
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 98696 73 0 0 25 0 11 0 548315627 862785536 28875 4294967295 134512640 134569956 3221224400 3221214680 1131216510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28875 13073 16 0 210625 0
vsize: 842564
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 99675 73 0 0 24 0 11 0 548315627 862785536 28938 4294967295 134512640 134569956 3221224400 3221214680 1131215869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28938 13073 16 0 210625 0
vsize: 842564
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 100660 74 0 0 25 0 11 0 548315627 862785536 28990 4294967295 134512640 134569956 3221224400 3221214680 1131216419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 28990 13073 16 0 210625 0
vsize: 842564
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 101643 74 0 0 25 0 11 0 548315627 862785536 29055 4294967295 134512640 134569956 3221224400 3221214712 1131393221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29055 13073 16 0 210625 0
vsize: 842564
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 102623 74 0 0 25 0 11 0 548315627 862785536 29128 4294967295 134512640 134569956 3221224400 3221214776 1131352591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29128 13073 16 0 210625 0
vsize: 842564
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 103607 75 0 0 25 0 11 0 548315627 862785536 29169 4294967295 134512640 134569956 3221224400 3221214680 1131215884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29169 13073 16 0 210625 0
vsize: 842564
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 104588 75 0 0 25 0 11 0 548315627 862785536 29219 4294967295 134512640 134569956 3221224400 3221214680 1131216920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29219 13073 16 0 210625 0
vsize: 842564
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 105563 75 0 0 25 0 11 0 548315627 862785536 29266 4294967295 134512640 134569956 3221224400 3221214680 1131216463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29266 13073 16 0 210625 0
vsize: 842564
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 106542 75 0 0 25 0 11 0 548315627 862785536 29347 4294967295 134512640 134569956 3221224400 3221214680 1131217138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29347 13073 16 0 210625 0
vsize: 842564
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 107523 76 0 0 25 0 11 0 548315627 862785536 29446 4294967295 134512640 134569956 3221224400 3221214776 1131352526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29446 13073 16 0 210625 0
vsize: 842564
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 108504 76 0 0 25 0 11 0 548315627 862785536 29504 4294967295 134512640 134569956 3221224400 3221214776 1131352526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29504 13073 16 0 210625 0
vsize: 842564
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 109491 77 0 0 25 0 11 0 548315627 862785536 29533 4294967295 134512640 134569956 3221224400 3221214712 1131393193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29533 13073 16 0 210625 0
vsize: 842564
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 110480 77 0 0 25 0 11 0 548315627 862785536 29557 4294967295 134512640 134569956 3221224400 3221214824 1131371732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29557 13073 16 0 210625 0
vsize: 842564
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 111469 77 0 0 25 0 11 0 548315627 862785536 29595 4294967295 134512640 134569956 3221224400 3221214824 1131371908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29595 13073 16 0 210625 0
vsize: 842564
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 112455 77 0 0 25 0 11 0 548315627 862785536 29651 4294967295 134512640 134569956 3221224400 3221214824 1131371635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210641 29651 13073 16 0 210625 0
vsize: 842564
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 113444 77 0 0 25 0 11 0 548315627 862785536 29697 4294967295 134512640 134569956 3221224400 3221214720 1131502635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29697 13073 16 0 210625 0
vsize: 842564
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 114432 77 0 0 25 0 11 0 548315627 862785536 29720 4294967295 134512640 134569956 3221224400 3221214680 1131216756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29720 13073 16 0 210625 0
vsize: 842564
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 115416 78 0 0 18 0 11 0 548315627 862785536 29769 4294967295 134512640 134569956 3221224400 3221214776 1131352591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29769 13073 16 0 210625 0
vsize: 842564
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 116400 78 0 0 25 0 11 0 548315627 862785536 29826 4294967295 134512640 134569956 3221224400 3221214680 1131215865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29826 13073 16 0 210625 0
vsize: 842564
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 117384 79 0 0 25 0 11 0 548315627 862785536 29875 4294967295 134512640 134569956 3221224400 3221214820 1131243187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29875 13073 16 0 210625 0
vsize: 842564
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 118368 80 0 0 25 0 11 0 548315627 862785536 29943 4294967295 134512640 134569956 3221224400 3221214824 1131371408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 29943 13073 16 0 210625 0
vsize: 842564
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 119355 80 0 0 25 0 11 0 548315627 862785536 30008 4294967295 134512640 134569956 3221224400 3221214720 1131502635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 30008 13073 16 0 210625 0
vsize: 842564
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 2300
Raw data (stat): 2290 (java) R 2289 23176 23175 0 -1 0 18073 0 1 0 120340 80 0 0 25 0 11 0 548315627 862785536 30051 4294967295 134512640 134569956 3221224400 3221214496 1131433847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210641 30051 13073 16 0 210625 0
vsize: 842564
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.29 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 2302
Raw data (stat): 2290 (java) Z 2289 23176 23175 0 -1 1036 18073 13678 1 0 120345 80 2995 42 25 0 1 0 548315627 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.29
CPU time (s): 1234.65
CPU user time (s): 1233.42
CPU system time (s): 1.23481
CPU usage (%): 100.354
Max. virtual memory (Kb): 847700
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####