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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb
MD5SUM0b425344c538e99a27247a487d2e5952
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 43740
Biggest coefficient in the objective function 1977295568896000
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 276588440762806557
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 1977295568896000
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 276588440762806557
Number of bits of the biggest sum of numbers58
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.375942
Number of variables43740
Total number of constraints352
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints352
Minimum length of a constraint30
Maximum length of a constraint1980

Trace number 22605

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-22 03:25:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11423 boxname=wulflinc7 idbench=879 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0b425344c538e99a27247a487d2e5952  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ship04s.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ship04s.opb
IDLAUNCH: 11423
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        170864 kB
Buffers:         26348 kB
Cached:         814688 kB
SwapCached:        328 kB
Active:         125808 kB
Inactive:       717812 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        170612 kB
SwapTotal:     2097136 kB
SwapFree:      2096520 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6460 kB
Slab:            14512 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 03:46:34 (client local time) WITH STATUS 143 IN 1257.98 SECONDS
stats: 11423 7 1257.98 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ship04s.opb
c reading problem 
c [nbvar=43740]
c [nbconstr=352]
c time 530.02
c #vars     43740
c #clauses  607
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.81 0.83 0.86 2/54 27164
Raw data (stat): 27164 (runsolver) R 27163 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492249940 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.0007 s]
Raw data (loadavg): 0.84 0.84 0.86 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 887 40 0 0 25 0 10 0 492249940 853368832 19175 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208342 19175 13073 16 0 208326 0
vsize: 833368
[startup+20.0013 s]
Raw data (loadavg): 0.87 0.84 0.86 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 1781 41 0 0 21 0 10 0 492249940 853590016 19666 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 19666 13073 16 0 208380 0
vsize: 833584
[startup+30.0009 s]
Raw data (loadavg): 0.89 0.85 0.86 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 2681 41 0 0 25 0 10 0 492249940 853590016 20106 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20106 13073 16 0 208380 0
vsize: 833584
[startup+40.0016 s]
Raw data (loadavg): 0.90 0.85 0.86 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 3611 42 0 0 25 0 10 0 492249940 853590016 20337 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20337 13073 16 0 208380 0
vsize: 833584
[startup+50.0026 s]
Raw data (loadavg): 0.92 0.86 0.86 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 4540 43 0 0 25 0 10 0 492249940 853590016 20460 4294967295 134512640 134569956 3221224400 3221214824 1131220031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208396 20460 13073 16 0 208380 0
vsize: 833584
[startup+60.0028 s]
Raw data (loadavg): 0.93 0.86 0.86 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 5469 43 0 0 25 0 10 0 492249940 854638592 20790 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208652 20790 13073 16 0 208636 0
vsize: 834608
[startup+70.0024 s]
Raw data (loadavg): 0.94 0.87 0.87 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 6411 43 0 0 25 0 10 0 492249940 854605824 20942 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 20942 13073 16 0 208628 0
vsize: 834576
[startup+80.002 s]
Raw data (loadavg): 0.95 0.87 0.87 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 7357 44 0 0 25 0 10 0 492249940 854605824 21023 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21023 13073 16 0 208628 0
vsize: 834576
[startup+90.0021 s]
Raw data (loadavg): 0.96 0.87 0.87 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 8307 44 0 0 25 0 10 0 492249940 854605824 21094 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21094 13073 16 0 208628 0
vsize: 834576
[startup+100.002 s]
Raw data (loadavg): 0.96 0.88 0.87 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 9253 45 0 0 25 0 10 0 492249940 854605824 21163 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21163 13073 16 0 208628 0
vsize: 834576
[startup+110.003 s]
Raw data (loadavg): 0.97 0.88 0.87 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 10200 45 0 0 24 0 10 0 492249940 854605824 21229 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21229 13073 16 0 208628 0
vsize: 834576
[startup+120.004 s]
Raw data (loadavg): 0.97 0.89 0.87 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 11151 45 0 0 25 0 10 0 492249940 854605824 21287 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21287 13073 16 0 208628 0
vsize: 834576
[startup+130.003 s]
Raw data (loadavg): 0.98 0.89 0.87 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 12097 46 0 0 25 0 10 0 492249940 854605824 21345 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21345 13073 16 0 208628 0
vsize: 834576
[startup+140.003 s]
Raw data (loadavg): 0.98 0.89 0.87 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 13044 47 0 0 25 0 10 0 492249940 854605824 21401 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21401 13073 16 0 208628 0
vsize: 834576
[startup+150.004 s]
Raw data (loadavg): 0.98 0.89 0.87 2/63 27173
Raw data (stat): 27164 (java) S 27163 22932 22931 0 -1 0 17976 0 1 0 13992 48 0 0 25 0 10 0 492249940 854605824 21453 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21453 13073 16 0 208628 0
vsize: 834576
[startup+160.004 s]
Raw data (loadavg): 0.98 0.90 0.87 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 14939 48 0 0 25 0 10 0 492249940 854605824 21505 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21505 13073 16 0 208628 0
vsize: 834576
[startup+170.004 s]
Raw data (loadavg): 0.99 0.90 0.87 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 15869 49 0 0 24 0 10 0 492249940 854605824 21554 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21554 13073 16 0 208628 0
vsize: 834576
[startup+180.004 s]
Raw data (loadavg): 0.99 0.90 0.88 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 16796 49 0 0 25 0 10 0 492249940 854605824 21600 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21600 13073 16 0 208628 0
vsize: 834576
[startup+190.004 s]
Raw data (loadavg): 0.99 0.91 0.88 2/63 27173
Raw data (stat): 27164 (java) S 27163 22932 22931 0 -1 0 17976 0 1 0 17735 50 0 0 25 0 10 0 492249940 854605824 21900 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21900 13073 16 0 208628 0
vsize: 834576
[startup+200.004 s]
Raw data (loadavg): 0.99 0.91 0.88 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 18678 51 0 0 25 0 10 0 492249940 854605824 21946 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21946 13073 16 0 208628 0
vsize: 834576
[startup+210.005 s]
Raw data (loadavg): 0.99 0.91 0.88 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 19620 51 0 0 25 0 10 0 492249940 854605824 21990 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 21990 13073 16 0 208628 0
vsize: 834576
[startup+220.005 s]
Raw data (loadavg): 0.99 0.91 0.88 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 20565 52 0 0 25 0 10 0 492249940 854605824 22031 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22031 13073 16 0 208628 0
vsize: 834576
[startup+230.005 s]
Raw data (loadavg): 0.99 0.92 0.88 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 21506 52 0 0 25 0 10 0 492249940 854605824 22073 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22073 13073 16 0 208628 0
vsize: 834576
[startup+240.006 s]
Raw data (loadavg): 0.99 0.92 0.88 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 22447 53 0 0 24 0 10 0 492249940 854605824 22114 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22114 13073 16 0 208628 0
vsize: 834576
[startup+250.006 s]
Raw data (loadavg): 0.99 0.92 0.88 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 23390 53 0 0 25 0 10 0 492249940 854605824 22151 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22151 13073 16 0 208628 0
vsize: 834576
[startup+260.006 s]
Raw data (loadavg): 0.99 0.92 0.88 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 24330 54 0 0 25 0 10 0 492249940 854605824 22190 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22190 13073 16 0 208628 0
vsize: 834576
[startup+270.007 s]
Raw data (loadavg): 0.99 0.92 0.88 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 25272 54 0 0 25 0 10 0 492249940 854605824 22226 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22226 13073 16 0 208628 0
vsize: 834576
[startup+280.006 s]
Raw data (loadavg): 0.99 0.93 0.89 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 26211 54 0 0 24 0 10 0 492249940 854605824 22264 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22264 13073 16 0 208628 0
vsize: 834576
[startup+290.007 s]
Raw data (loadavg): 0.99 0.93 0.89 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 27153 55 0 0 25 0 10 0 492249940 854605824 22299 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22299 13073 16 0 208628 0
vsize: 834576
[startup+300.007 s]
Raw data (loadavg): 0.99 0.93 0.89 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 28091 55 0 0 25 0 10 0 492249940 854605824 22335 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22335 13073 16 0 208628 0
vsize: 834576
[startup+310.008 s]
Raw data (loadavg): 0.99 0.93 0.89 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 29032 56 0 0 25 0 10 0 492249940 854605824 22368 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22368 13073 16 0 208628 0
vsize: 834576
[startup+320.008 s]
Raw data (loadavg): 0.99 0.93 0.89 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 29969 56 0 0 24 0 10 0 492249940 854605824 22403 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22403 13073 16 0 208628 0
vsize: 834576
[startup+330.008 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 30909 56 0 0 25 0 10 0 492249940 854605824 22435 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22435 13073 16 0 208628 0
vsize: 834576
[startup+340.008 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 27173
Raw data (stat): 27164 (java) S 27163 22932 22931 0 -1 0 17976 0 1 0 31846 57 0 0 25 0 10 0 492249940 854605824 22469 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22469 13073 16 0 208628 0
vsize: 834576
[startup+350.009 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 32784 57 0 0 25 0 10 0 492249940 854605824 22502 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22502 13073 16 0 208628 0
vsize: 834576
[startup+360.01 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 33723 58 0 0 25 0 10 0 492249940 854605824 22532 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22532 13073 16 0 208628 0
vsize: 834576
[startup+370.01 s]
Raw data (loadavg): 0.99 0.94 0.89 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 34657 59 0 0 25 0 10 0 492249940 854605824 22565 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22565 13073 16 0 208628 0
vsize: 834576
[startup+380.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 35595 59 0 0 25 0 10 0 492249940 854605824 22595 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22595 13073 16 0 208628 0
vsize: 834576
[startup+390.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 36529 60 0 0 25 0 10 0 492249940 854605824 22626 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22626 13073 16 0 208628 0
vsize: 834576
[startup+400.011 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 37466 60 0 0 25 0 10 0 492249940 854605824 22655 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22655 13073 16 0 208628 0
vsize: 834576
[startup+410.012 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 38402 61 0 0 25 0 10 0 492249940 854605824 22684 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22684 13073 16 0 208628 0
vsize: 834576
[startup+420.013 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 39335 61 0 0 25 0 10 0 492249940 854605824 22714 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22714 13073 16 0 208628 0
vsize: 834576
[startup+430.012 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 40270 61 0 0 25 0 10 0 492249940 854605824 22742 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22742 13073 16 0 208628 0
vsize: 834576
[startup+440.013 s]
Raw data (loadavg): 0.99 0.95 0.90 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 41206 62 0 0 25 0 10 0 492249940 854605824 22770 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22770 13073 16 0 208628 0
vsize: 834576
[startup+450.013 s]
Raw data (loadavg): 1.07 0.97 0.91 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 42136 62 0 0 25 0 10 0 492249940 854605824 22799 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22799 13073 16 0 208628 0
vsize: 834576
[startup+460.014 s]
Raw data (loadavg): 1.06 0.97 0.91 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 43070 63 0 0 25 0 10 0 492249940 854605824 22826 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22826 13073 16 0 208628 0
vsize: 834576
[startup+470.014 s]
Raw data (loadavg): 1.05 0.97 0.91 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 44004 64 0 0 25 0 10 0 492249940 854605824 22853 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22853 13073 16 0 208628 0
vsize: 834576
[startup+480.015 s]
Raw data (loadavg): 1.04 0.97 0.91 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 44933 64 0 0 25 0 10 0 492249940 854605824 22881 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22881 13073 16 0 208628 0
vsize: 834576
[startup+490.015 s]
Raw data (loadavg): 1.03 0.97 0.91 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 45865 65 0 0 25 0 10 0 492249940 854605824 22908 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22908 13073 16 0 208628 0
vsize: 834576
[startup+500.015 s]
Raw data (loadavg): 1.10 0.99 0.91 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 46798 66 0 0 25 0 10 0 492249940 854605824 22933 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208644 22933 13073 16 0 208628 0
vsize: 834576
[startup+510.016 s]
Raw data (loadavg): 1.08 0.99 0.91 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17976 0 1 0 47725 66 0 0 24 0 10 0 492249940 854605824 22961 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208644 22961 13073 16 0 208628 0
vsize: 834576
[startup+520.026 s]
Raw data (loadavg): 1.07 0.99 0.91 3/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17978 0 1 0 48656 67 0 0 25 0 10 0 492249940 854605824 23010 4294967295 134512640 134569956 3221224400 3221214260 1130883299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208644 23010 13073 16 0 208628 0
vsize: 834576
[startup+530.026 s]
Raw data (loadavg): 1.29 1.04 0.93 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 17991 0 1 0 49446 70 0 0 25 0 10 0 492249940 869183488 28441 4294967295 134512640 134569956 3221224400 3221214736 1131173213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212203 28441 13073 16 0 212187 0
vsize: 848812
[startup+540.027 s]
Raw data (loadavg): 1.24 1.03 0.93 2/63 27173
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18012 0 1 0 50359 70 0 0 25 0 10 0 492249940 868483072 33801 4294967295 134512640 134569956 3221224400 3221214832 1131513160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212032 33801 13073 16 0 212016 0
vsize: 848128
[startup+550.027 s]
Raw data (loadavg): 1.20 1.03 0.93 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18057 0 1 0 51249 71 0 0 25 0 11 0 492249940 862228480 32279 4294967295 134512640 134569956 3221224400 3221214688 1131333097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32279 13073 16 0 210489 0
vsize: 842020
[startup+560.027 s]
Raw data (loadavg): 1.17 1.03 0.93 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18058 0 1 0 52240 71 0 0 25 0 11 0 492249940 862228480 32284 4294967295 134512640 134569956 3221224400 3221214600 1131636732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32284 13073 16 0 210489 0
vsize: 842020
[startup+570.027 s]
Raw data (loadavg): 1.15 1.03 0.93 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18058 0 1 0 53230 71 0 0 25 0 11 0 492249940 862228480 32288 4294967295 134512640 134569956 3221224400 3221214736 1131642886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32288 13073 16 0 210489 0
vsize: 842020
[startup+580.028 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 54212 71 0 0 25 0 11 0 492249940 862228480 32299 4294967295 134512640 134569956 3221224400 3221214600 1131636704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32299 13073 16 0 210489 0
vsize: 842020
[startup+590.028 s]
Raw data (loadavg): 1.34 1.08 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 55206 71 0 0 25 0 11 0 492249940 862228480 32437 4294967295 134512640 134569956 3221224400 3221214672 1131666854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32437 13073 16 0 210489 0
vsize: 842020
[startup+600.027 s]
Raw data (loadavg): 1.29 1.07 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 56202 72 0 0 25 0 11 0 492249940 862228480 32429 4294967295 134512640 134569956 3221224400 3221214584 1131636720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32429 13073 16 0 210489 0
vsize: 842020
[startup+610.028 s]
Raw data (loadavg): 1.24 1.07 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 57197 72 0 0 25 0 11 0 492249940 862228480 32329 4294967295 134512640 134569956 3221224400 3221214584 1131636720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32329 13073 16 0 210489 0
vsize: 842020
[startup+620.027 s]
Raw data (loadavg): 1.20 1.07 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 58195 72 0 0 25 0 11 0 492249940 862228480 32329 4294967295 134512640 134569956 3221224400 3221214596 1131683059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32329 13073 16 0 210489 0
vsize: 842020
[startup+630.027 s]
Raw data (loadavg): 1.17 1.06 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 59187 73 0 0 25 0 11 0 492249940 862228480 32330 4294967295 134512640 134569956 3221224400 3221214688 1131746704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32330 13073 16 0 210489 0
vsize: 842020
[startup+640.027 s]
Raw data (loadavg): 1.14 1.06 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 60184 73 0 0 25 0 11 0 492249940 862228480 32330 4294967295 134512640 134569956 3221224400 3221214688 1131746711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32330 13073 16 0 210489 0
vsize: 842020
[startup+650.029 s]
Raw data (loadavg): 1.12 1.06 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 61181 73 0 0 25 0 11 0 492249940 862228480 32331 4294967295 134512640 134569956 3221224400 3221214688 1131746704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32331 13073 16 0 210489 0
vsize: 842020
[startup+660.029 s]
Raw data (loadavg): 1.10 1.06 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 62175 73 0 0 25 0 11 0 492249940 862228480 32331 4294967295 134512640 134569956 3221224400 3221214504 1131726858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32331 13073 16 0 210489 0
vsize: 842020
[startup+670.029 s]
Raw data (loadavg): 1.09 1.05 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 63169 74 0 0 25 0 11 0 492249940 862228480 32331 4294967295 134512640 134569956 3221224400 3221214664 1131405420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32331 13073 16 0 210489 0
vsize: 842020
[startup+680.029 s]
Raw data (loadavg): 1.07 1.05 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 64161 74 0 0 25 0 11 0 492249940 862228480 32369 4294967295 134512640 134569956 3221224400 3221214432 1080217030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32369 13073 16 0 210489 0
vsize: 842020
[startup+690.03 s]
Raw data (loadavg): 1.06 1.05 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 65153 74 0 0 25 0 11 0 492249940 862228480 32372 4294967295 134512640 134569956 3221224400 3221214884 1131137523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32372 13073 16 0 210489 0
vsize: 842020
[startup+700.029 s]
Raw data (loadavg): 1.05 1.05 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 66148 74 0 0 25 0 11 0 492249940 862228480 32373 4294967295 134512640 134569956 3221224400 3221214608 1131619432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32373 13073 16 0 210489 0
vsize: 842020
[startup+710.03 s]
Raw data (loadavg): 1.04 1.05 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 67143 75 0 0 25 0 11 0 492249940 862228480 32375 4294967295 134512640 134569956 3221224400 3221214592 1131341054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32375 13073 16 0 210489 0
vsize: 842020
[startup+720.031 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 68137 75 0 0 25 0 11 0 492249940 862228480 32375 4294967295 134512640 134569956 3221224400 3221214460 1080217184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32375 13073 16 0 210489 0
vsize: 842020
[startup+730.03 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 69132 75 0 0 25 0 11 0 492249940 862228480 32375 4294967295 134512640 134569956 3221224400 3221214496 1080216949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32375 13073 16 0 210489 0
vsize: 842020
[startup+740.031 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 70126 75 0 0 25 0 11 0 492249940 862228480 32384 4294967295 134512640 134569956 3221224400 3221214688 1131746827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32384 13073 16 0 210489 0
vsize: 842020
[startup+750.031 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 71120 75 0 0 25 0 11 0 492249940 862228480 32389 4294967295 134512640 134569956 3221224400 3221214632 1131685657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32389 13073 16 0 210489 0
vsize: 842020
[startup+760.031 s]
Raw data (loadavg): 1.02 1.04 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 72114 76 0 0 25 0 11 0 492249940 862228480 32404 4294967295 134512640 134569956 3221224400 3221214732 1131580147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32404 13073 16 0 210489 0
vsize: 842020
[startup+770.032 s]
Raw data (loadavg): 1.01 1.04 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 73108 76 0 0 25 0 11 0 492249940 862228480 32418 4294967295 134512640 134569956 3221224400 3221214504 1131726956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32418 13073 16 0 210489 0
vsize: 842020
[startup+780.032 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 74103 76 0 0 25 0 11 0 492249940 862228480 32428 4294967295 134512640 134569956 3221224400 3221214524 1079721525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32428 13073 16 0 210489 0
vsize: 842020
[startup+790.032 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 75097 76 0 0 25 0 11 0 492249940 862228480 32481 4294967295 134512640 134569956 3221224400 3221214440 1131715334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32481 13073 16 0 210489 0
vsize: 842020
[startup+800.033 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 76092 76 0 0 25 0 11 0 492249940 862228480 32530 4294967295 134512640 134569956 3221224400 3221214560 1079721468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32530 13073 16 0 210489 0
vsize: 842020
[startup+810.034 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 77088 76 0 0 25 0 11 0 492249940 862228480 32555 4294967295 134512640 134569956 3221224400 3221214608 1131619409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32555 13073 16 0 210489 0
vsize: 842020
[startup+820.034 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 78086 77 0 0 25 0 11 0 492249940 862228480 32565 4294967295 134512640 134569956 3221224400 3221214584 1131685047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32565 13073 16 0 210489 0
vsize: 842020
[startup+830.034 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 79081 77 0 0 25 0 11 0 492249940 862228480 32586 4294967295 134512640 134569956 3221224400 3221214604 1131683059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32586 13073 16 0 210489 0
vsize: 842020
[startup+840.034 s]
Raw data (loadavg): 1.00 1.03 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 80077 77 0 0 25 0 11 0 492249940 862228480 32598 4294967295 134512640 134569956 3221224400 3221214680 1131667098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32598 13073 16 0 210489 0
vsize: 842020
[startup+850.035 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 81073 77 0 0 25 0 11 0 492249940 862228480 32610 4294967295 134512640 134569956 3221224400 3221214608 1131619175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32610 13073 16 0 210489 0
vsize: 842020
[startup+860.035 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 82066 78 0 0 25 0 11 0 492249940 862228480 32625 4294967295 134512640 134569956 3221224400 3221214728 1131643882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 32625 13073 16 0 210489 0
vsize: 842020
[startup+870.037 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 83061 78 0 0 25 0 11 0 492249940 862228480 32648 4294967295 134512640 134569956 3221224400 3221214608 1131619428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32648 13073 16 0 210489 0
vsize: 842020
[startup+880.036 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 84057 78 0 0 25 0 11 0 492249940 862228480 32655 4294967295 134512640 134569956 3221224400 3221214680 1131666841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32655 13073 16 0 210489 0
vsize: 842020
[startup+890.036 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 85052 78 0 0 25 0 11 0 492249940 862228480 32669 4294967295 134512640 134569956 3221224400 3221214608 1131618870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32669 13073 16 0 210489 0
vsize: 842020
[startup+900.036 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 86045 78 0 0 25 0 11 0 492249940 862228480 32685 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32685 13073 16 0 210489 0
vsize: 842020
[startup+910.037 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 87040 79 0 0 25 0 11 0 492249940 862228480 32697 4294967295 134512640 134569956 3221224400 3221214528 1131715043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32697 13073 16 0 210489 0
vsize: 842020
[startup+920.036 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 88035 79 0 0 25 0 11 0 492249940 862228480 32707 4294967295 134512640 134569956 3221224400 3221214552 1131693951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32707 13073 16 0 210489 0
vsize: 842020
[startup+930.036 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 89030 80 0 0 25 0 11 0 492249940 862228480 32714 4294967295 134512640 134569956 3221224400 3221214528 1131715185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32714 13073 16 0 210489 0
vsize: 842020
[startup+940.036 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 90025 80 0 0 25 0 11 0 492249940 862228480 32720 4294967295 134512640 134569956 3221224400 3221214552 1131693915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32720 13073 16 0 210489 0
vsize: 842020
[startup+950.037 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 91021 81 0 0 25 0 11 0 492249940 862228480 32727 4294967295 134512640 134569956 3221224400 3221214528 1131714655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32727 13073 16 0 210489 0
vsize: 842020
[startup+960.037 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 92018 81 0 0 25 0 11 0 492249940 862228480 32731 4294967295 134512640 134569956 3221224400 3221214576 1131689365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32731 13073 16 0 210489 0
vsize: 842020
[startup+970.037 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 93014 82 0 0 25 0 11 0 492249940 862228480 32753 4294967295 134512640 134569956 3221224400 3221214608 1131619226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32753 13073 16 0 210489 0
vsize: 842020
[startup+980.037 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 94008 82 0 0 25 0 11 0 492249940 862228480 32820 4294967295 134512640 134569956 3221224400 3221214504 1131726836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32820 13073 16 0 210489 0
vsize: 842020
[startup+990.037 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 95004 82 0 0 25 0 11 0 492249940 862228480 32839 4294967295 134512640 134569956 3221224400 3221214432 1080216989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32839 13073 16 0 210489 0
vsize: 842020
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 96000 82 0 0 25 0 11 0 492249940 862228480 32856 4294967295 134512640 134569956 3221224400 3221214608 1131619416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32856 13073 16 0 210489 0
vsize: 842020
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 96997 82 0 0 25 0 11 0 492249940 862228480 32874 4294967295 134512640 134569956 3221224400 3221214432 1080217061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32874 13073 16 0 210489 0
vsize: 842020
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 97994 83 0 0 25 0 11 0 492249940 862228480 32893 4294967295 134512640 134569956 3221224400 3221214680 1131333022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32893 13073 16 0 210489 0
vsize: 842020
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 98990 83 0 0 25 0 11 0 492249940 862228480 32900 4294967295 134512640 134569956 3221224400 3221214528 1131714565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32900 13073 16 0 210489 0
vsize: 842020
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 99986 83 0 0 25 0 11 0 492249940 862228480 32913 4294967295 134512640 134569956 3221224400 3221214528 1131714573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32913 13073 16 0 210489 0
vsize: 842020
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 100981 84 0 0 25 0 11 0 492249940 862228480 32937 4294967295 134512640 134569956 3221224400 3221214848 1131541301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32937 13073 16 0 210489 0
vsize: 842020
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 101978 84 0 0 25 0 11 0 492249940 862228480 32950 4294967295 134512640 134569956 3221224400 3221214604 1131699596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32950 13073 16 0 210489 0
vsize: 842020
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 102975 84 0 0 25 0 11 0 492249940 862228480 32967 4294967295 134512640 134569956 3221224400 3221214560 1131738138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32967 13073 16 0 210489 0
vsize: 842020
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 103972 84 0 0 25 0 11 0 492249940 862228480 32979 4294967295 134512640 134569956 3221224400 3221214608 1131618764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32979 13073 16 0 210489 0
vsize: 842020
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 104969 85 0 0 25 0 11 0 492249940 862228480 32991 4294967295 134512640 134569956 3221224400 3221214608 1131619253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 32991 13073 16 0 210489 0
vsize: 842020
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 105965 85 0 0 25 0 11 0 492249940 862228480 33000 4294967295 134512640 134569956 3221224400 3221214504 1131727078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33000 13073 16 0 210489 0
vsize: 842020
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 106963 85 0 0 25 0 11 0 492249940 862228480 33003 4294967295 134512640 134569956 3221224400 3221214552 1131693929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33003 13073 16 0 210489 0
vsize: 842020
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 107960 85 0 0 25 0 11 0 492249940 862228480 33012 4294967295 134512640 134569956 3221224400 3221214576 1131689351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33012 13073 16 0 210489 0
vsize: 842020
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 108957 85 0 0 25 0 11 0 492249940 862228480 33021 4294967295 134512640 134569956 3221224400 3221214608 1131619557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33021 13073 16 0 210489 0
vsize: 842020
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 109954 85 0 0 25 0 11 0 492249940 862228480 33029 4294967295 134512640 134569956 3221224400 3221214608 1131619389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33029 13073 16 0 210489 0
vsize: 842020
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 110951 85 0 0 25 0 11 0 492249940 862228480 33041 4294967295 134512640 134569956 3221224400 3221214876 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33041 13073 16 0 210489 0
vsize: 842020
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 111949 85 0 0 25 0 11 0 492249940 862228480 33051 4294967295 134512640 134569956 3221224400 3221214452 1080217332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33051 13073 16 0 210489 0
vsize: 842020
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 112946 86 0 0 25 0 11 0 492249940 862228480 33056 4294967295 134512640 134569956 3221224400 3221214528 1131714686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33056 13073 16 0 210489 0
vsize: 842020
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 113941 86 0 0 25 0 11 0 492249940 862228480 33071 4294967295 134512640 134569956 3221224400 3221214608 1131619150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33071 13073 16 0 210489 0
vsize: 842020
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 114937 87 0 0 25 0 11 0 492249940 862228480 33077 4294967295 134512640 134569956 3221224400 3221214528 1131714882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 33077 13073 16 0 210489 0
vsize: 842020
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 115934 87 0 0 25 0 11 0 492249940 862228480 33095 4294967295 134512640 134569956 3221224400 3221214368 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33095 13073 16 0 210489 0
vsize: 842020
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 116931 87 0 0 25 0 11 0 492249940 862228480 33100 4294967295 134512640 134569956 3221224400 3221214692 1080204314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33100 13073 16 0 210489 0
vsize: 842020
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 117928 87 0 0 25 0 11 0 492249940 862228480 33106 4294967295 134512640 134569956 3221224400 3221214680 1131666849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210505 33106 13073 16 0 210489 0
vsize: 842020
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 118925 88 0 0 25 0 11 0 492249940 862228480 33114 4294967295 134512640 134569956 3221224400 3221214400 1080217246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 33114 13073 16 0 210489 0
vsize: 842020
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27174
Raw data (stat): 27164 (java) R 27163 22932 22931 0 -1 0 18059 0 1 0 119921 88 0 0 25 0 11 0 492249940 862228480 33119 4294967295 134512640 134569956 3221224400 3221214728 1131642008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210505 33119 13073 16 0 210489 0
vsize: 842020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.31 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 27176
Raw data (stat): 27164 (java) Z 27163 22932 22931 0 -1 1036 18059 24323 1 0 119927 88 5717 64 24 0 1 0 492249940 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.31
CPU time (s): 1257.98
CPU user time (s): 1256.45
CPU system time (s): 1.52577
CPU usage (%): 101.425
Max. virtual memory (Kb): 848812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####