Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-cycle.opb
MD5SUMca1913a1a38482691af236563bbf8b4e
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 6160
Biggest coefficient in the objective function 52428800000
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 1697189940600
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 47742608998400
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 760939405040925
Number of bits of the biggest sum of numbers50
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1311.59
Number of variables56706
Total number of constraints1961
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 constraints1961
Minimum length of a constraint8
Maximum length of a constraint980

Trace number 20140

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-21 20:12:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15635 boxname=wulflinc23 idbench=1203 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ca1913a1a38482691af236563bbf8b4e  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-cycle.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-cycle.opb
IDLAUNCH: 15635
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        572532 kB
Buffers:         29980 kB
Cached:         405976 kB
SwapCached:        536 kB
Active:          70732 kB
Inactive:       367324 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        572280 kB
SwapTotal:     2097136 kB
SwapFree:      2095852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            18292 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 20:34:00 (client local time) WITH STATUS 143 IN 1312.84 SECONDS
stats: 15635 7 1312.84 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-cycle.opb
c reading problem 
c [nbvar=56706]
c [nbconstr=1961]
c time 967.354
c #vars     56706
c #clauses  3147
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.70 0.90 0.89 2/54 12095
Raw data (stat): 12095 (runsolver) R 12094 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547863073 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+9.99977 s]
Raw data (loadavg): 0.75 0.90 0.90 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17989 0 1 0 888 41 0 0 25 0 10 0 547863073 853622784 19132 4294967295 134512640 134569956 3221224400 3221214520 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208404 19132 13073 16 0 208388 0
vsize: 833616
[startup+20.0005 s]
Raw data (loadavg): 0.79 0.90 0.90 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17993 0 1 0 1724 41 0 0 25 0 10 0 547863073 855719936 20491 4294967295 134512640 134569956 3221224400 3221214848 1130883191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 20491 13073 16 0 208900 0
vsize: 835664
[startup+30.0011 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 2578 42 0 0 18 0 10 0 547863073 855719936 20940 4294967295 134512640 134569956 3221224400 3221214768 1131207551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 20940 13073 16 0 208900 0
vsize: 835664
[startup+40.0007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 3456 42 0 0 18 0 10 0 547863073 855719936 21365 4294967295 134512640 134569956 3221224400 3221214768 1131205902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 21365 13073 16 0 208900 0
vsize: 835664
[startup+50.0013 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 4351 42 0 0 19 0 10 0 547863073 855719936 21601 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 21601 13073 16 0 208900 0
vsize: 835664
[startup+60.001 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 5247 43 0 0 20 0 10 0 547863073 855719936 21815 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 21815 13073 16 0 208900 0
vsize: 835664
[startup+70.0016 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 6152 43 0 0 24 0 10 0 547863073 855719936 22051 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 22051 13073 16 0 208900 0
vsize: 835664
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 7061 44 0 0 25 0 10 0 547863073 855719936 22235 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 22235 13073 16 0 208900 0
vsize: 835664
[startup+90.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 7981 44 0 0 24 0 10 0 547863073 855719936 22389 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 22389 13073 16 0 208900 0
vsize: 835664
[startup+100.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 8907 45 0 0 25 0 10 0 547863073 855719936 22511 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 22511 13073 16 0 208900 0
vsize: 835664
[startup+110.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 9833 45 0 0 25 0 10 0 547863073 855719936 22632 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 22632 13073 16 0 208900 0
vsize: 835664
[startup+120.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 10761 45 0 0 24 0 10 0 547863073 855719936 22727 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 22727 13073 16 0 208900 0
vsize: 835664
[startup+130.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 11692 46 0 0 25 0 10 0 547863073 855719936 22813 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 22813 13073 16 0 208900 0
vsize: 835664
[startup+140.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 12615 46 0 0 25 0 10 0 547863073 855719936 22918 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 22918 13073 16 0 208900 0
vsize: 835664
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 13534 46 0 0 25 0 10 0 547863073 855719936 23003 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 23003 13073 16 0 208900 0
vsize: 835664
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 14443 46 0 0 24 0 10 0 547863073 855719936 23150 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 23150 13073 16 0 208900 0
vsize: 835664
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 15356 46 0 0 25 0 10 0 547863073 855719936 23269 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 23269 13073 16 0 208900 0
vsize: 835664
[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 16264 46 0 0 25 0 10 0 547863073 855719936 23400 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 23400 13073 16 0 208900 0
vsize: 835664
[startup+190.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 17163 47 0 0 25 0 10 0 547863073 855719936 23557 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 23557 13073 16 0 208900 0
vsize: 835664
[startup+200.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 18065 47 0 0 24 0 10 0 547863073 855719936 23825 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 23825 13073 16 0 208900 0
vsize: 835664
[startup+210.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 18989 47 0 0 25 0 10 0 547863073 855719936 23945 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 23945 13073 16 0 208900 0
vsize: 835664
[startup+220.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 19905 47 0 0 25 0 10 0 547863073 855719936 24016 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 24016 13073 16 0 208900 0
vsize: 835664
[startup+230.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 20802 48 0 0 24 0 10 0 547863073 855719936 24106 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 24106 13073 16 0 208900 0
vsize: 835664
[startup+240.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 21710 48 0 0 25 0 10 0 547863073 855719936 24304 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 24304 13073 16 0 208900 0
vsize: 835664
[startup+250.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 22615 48 0 0 25 0 10 0 547863073 855719936 24370 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 24370 13073 16 0 208900 0
vsize: 835664
[startup+260.04 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 23505 48 0 0 25 0 10 0 547863073 855719936 24482 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 24482 13073 16 0 208900 0
vsize: 835664
[startup+270.04 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17995 0 1 0 24405 48 0 0 25 0 10 0 547863073 855719936 24675 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 24675 13073 16 0 208900 0
vsize: 835664
[startup+280.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 25308 48 0 0 25 0 10 0 547863073 855719936 24813 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 24813 13073 16 0 208900 0
vsize: 835664
[startup+290.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 26209 48 0 0 25 0 10 0 547863073 855719936 24915 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 24915 13073 16 0 208900 0
vsize: 835664
[startup+300.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 27112 49 0 0 24 0 10 0 547863073 855719936 25070 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25070 13073 16 0 208900 0
vsize: 835664
[startup+310.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 28030 49 0 0 25 0 10 0 547863073 855719936 25167 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25167 13073 16 0 208900 0
vsize: 835664
[startup+320.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 28948 49 0 0 24 0 10 0 547863073 855719936 25240 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25240 13073 16 0 208900 0
vsize: 835664
[startup+330.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 29867 49 0 0 25 0 10 0 547863073 855719936 25292 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25292 13073 16 0 208900 0
vsize: 835664
[startup+340.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 30768 49 0 0 25 0 10 0 547863073 855719936 25373 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25373 13073 16 0 208900 0
vsize: 835664
[startup+350.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 31653 49 0 0 25 0 10 0 547863073 855719936 25446 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25446 13073 16 0 208900 0
vsize: 835664
[startup+360.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 32545 50 0 0 25 0 10 0 547863073 855719936 25659 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25659 13073 16 0 208900 0
vsize: 835664
[startup+370.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 33454 50 0 0 25 0 10 0 547863073 855719936 25780 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25780 13073 16 0 208900 0
vsize: 835664
[startup+380.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 34363 50 0 0 25 0 10 0 547863073 855719936 25875 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25875 13073 16 0 208900 0
vsize: 835664
[startup+390.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 35284 50 0 0 25 0 10 0 547863073 855719936 25946 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25946 13073 16 0 208900 0
vsize: 835664
[startup+400.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 36200 50 0 0 25 0 10 0 547863073 855719936 25998 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 25998 13073 16 0 208900 0
vsize: 835664
[startup+410.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 37115 50 0 0 24 0 10 0 547863073 855719936 26046 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 26046 13073 16 0 208900 0
vsize: 835664
[startup+420.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 38034 50 0 0 25 0 10 0 547863073 855719936 26097 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 26097 13073 16 0 208900 0
vsize: 835664
[startup+430.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 38947 50 0 0 25 0 10 0 547863073 855719936 26147 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 26147 13073 16 0 208900 0
vsize: 835664
[startup+440.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 39864 50 0 0 25 0 10 0 547863073 855719936 26196 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 26196 13073 16 0 208900 0
vsize: 835664
[startup+450.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 40761 51 0 0 25 0 10 0 547863073 855719936 26251 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 26251 13073 16 0 208900 0
vsize: 835664
[startup+460.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 41656 51 0 0 25 0 10 0 547863073 855719936 26324 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 26324 13073 16 0 208900 0
vsize: 835664
[startup+470.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 42564 51 0 0 24 0 10 0 547863073 855719936 26470 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 26470 13073 16 0 208900 0
vsize: 835664
[startup+480.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 43478 52 0 0 22 0 10 0 547863073 855719936 26504 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 26504 13073 16 0 208900 0
vsize: 835664
[startup+490.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) S 12094 3260 3259 0 -1 0 17996 0 1 0 44388 53 0 0 25 0 10 0 547863073 855719936 26548 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 26548 13073 16 0 208900 0
vsize: 835664
[startup+500.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 45301 53 0 0 25 0 10 0 547863073 855719936 26597 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 26597 13073 16 0 208900 0
vsize: 835664
[startup+510.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 46213 54 0 0 25 0 10 0 547863073 855719936 26643 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 26643 13073 16 0 208900 0
vsize: 835664
[startup+520.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 47120 54 0 0 24 0 10 0 547863073 855719936 26692 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 26692 13073 16 0 208900 0
vsize: 835664
[startup+530.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 48013 54 0 0 24 0 10 0 547863073 855719936 26745 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 26745 13073 16 0 208900 0
vsize: 835664
[startup+540.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 48905 54 0 0 25 0 10 0 547863073 855719936 26768 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 26768 13073 16 0 208900 0
vsize: 835664
[startup+550.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 49789 55 0 0 25 0 10 0 547863073 855719936 26962 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 26962 13073 16 0 208900 0
vsize: 835664
[startup+560.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 50672 55 0 0 25 0 10 0 547863073 855719936 27037 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 27037 13073 16 0 208900 0
vsize: 835664
[startup+570.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 51560 56 0 0 25 0 10 0 547863073 855719936 27188 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 27188 13073 16 0 208900 0
vsize: 835664
[startup+580.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 52461 56 0 0 19 0 10 0 547863073 855719936 27290 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 27290 13073 16 0 208900 0
vsize: 835664
[startup+590.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 53361 56 0 0 19 0 10 0 547863073 855719936 27351 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 27351 13073 16 0 208900 0
vsize: 835664
[startup+600.066 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 54255 57 0 0 18 0 10 0 547863073 855719936 27411 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 27411 13073 16 0 208900 0
vsize: 835664
[startup+610.066 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 55145 57 0 0 20 0 10 0 547863073 855719936 27579 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 27579 13073 16 0 208900 0
vsize: 835664
[startup+620.065 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 56023 58 0 0 18 0 10 0 547863073 855719936 27700 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 27700 13073 16 0 208900 0
vsize: 835664
[startup+630.066 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 56912 58 0 0 18 0 10 0 547863073 855719936 27873 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 27873 13073 16 0 208900 0
vsize: 835664
[startup+640.066 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 57808 59 0 0 18 0 10 0 547863073 855719936 27931 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 27931 13073 16 0 208900 0
vsize: 835664
[startup+650.067 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 58708 60 0 0 25 0 10 0 547863073 855719936 28007 4294967295 134512640 134569956 3221224400 3221214148 1076878028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 28007 13073 16 0 208900 0
vsize: 835664
[startup+660.067 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 59603 60 0 0 25 0 10 0 547863073 855719936 28925 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 28925 13073 16 0 208900 0
vsize: 835664
[startup+670.068 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 60509 61 0 0 25 0 10 0 547863073 855719936 28925 4294967295 134512640 134569956 3221224400 3221214264 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 28925 13073 16 0 208900 0
vsize: 835664
[startup+680.073 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 61412 61 0 0 25 0 10 0 547863073 855719936 28961 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 28961 13073 16 0 208900 0
vsize: 835664
[startup+690.073 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 62295 62 0 0 25 0 10 0 547863073 855719936 29473 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 29473 13073 16 0 208900 0
vsize: 835664
[startup+700.074 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 63203 62 0 0 24 0 10 0 547863073 855719936 29845 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 29845 13073 16 0 208900 0
vsize: 835664
[startup+710.076 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 64101 63 0 0 25 0 10 0 547863073 855719936 29868 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 29868 13073 16 0 208900 0
vsize: 835664
[startup+720.075 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 64986 64 0 0 25 0 10 0 547863073 855719936 30397 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30397 13073 16 0 208900 0
vsize: 835664
[startup+730.077 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 65893 64 0 0 25 0 10 0 547863073 855719936 30397 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30397 13073 16 0 208900 0
vsize: 835664
[startup+740.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 66787 65 0 0 25 0 10 0 547863073 855719936 30407 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30407 13073 16 0 208900 0
vsize: 835664
[startup+750.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 67683 65 0 0 25 0 10 0 547863073 855719936 30448 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30448 13073 16 0 208900 0
vsize: 835664
[startup+760.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 68566 66 0 0 21 0 10 0 547863073 855719936 30490 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30490 13073 16 0 208900 0
vsize: 835664
[startup+770.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 69448 67 0 0 17 0 10 0 547863073 855719936 30552 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30552 13073 16 0 208900 0
vsize: 835664
[startup+780.089 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 70343 67 0 0 22 0 10 0 547863073 855719936 30619 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30619 13073 16 0 208900 0
vsize: 835664
[startup+790.103 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 71234 68 0 0 20 0 10 0 547863073 855719936 30664 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30664 13073 16 0 208900 0
vsize: 835664
[startup+800.104 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 72122 68 0 0 17 0 10 0 547863073 855719936 30704 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30704 13073 16 0 208900 0
vsize: 835664
[startup+810.118 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) S 12094 3260 3259 0 -1 0 17996 0 1 0 73015 69 0 0 23 0 10 0 547863073 855719936 30742 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30742 13073 16 0 208900 0
vsize: 835664
[startup+820.117 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 73904 69 0 0 20 0 10 0 547863073 855719936 30796 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30796 13073 16 0 208900 0
vsize: 835664
[startup+830.118 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 74792 70 0 0 19 0 10 0 547863073 855719936 30845 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30845 13073 16 0 208900 0
vsize: 835664
[startup+840.117 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 75680 70 0 0 18 0 10 0 547863073 855719936 30887 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30887 13073 16 0 208900 0
vsize: 835664
[startup+850.127 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 76576 70 0 0 22 0 10 0 547863073 855719936 30924 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30924 13073 16 0 208900 0
vsize: 835664
[startup+860.131 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 77464 71 0 0 19 0 10 0 547863073 855719936 30967 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 30967 13073 16 0 208900 0
vsize: 835664
[startup+870.182 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 78356 71 0 0 18 0 10 0 547863073 855719936 31004 4294967295 134512640 134569956 3221224400 3221214264 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 31004 13073 16 0 208900 0
vsize: 835664
[startup+880.198 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 79246 71 0 0 17 0 10 0 547863073 855719936 31037 4294967295 134512640 134569956 3221224400 3221214812 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 31037 13073 16 0 208900 0
vsize: 835664
[startup+890.197 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 80138 72 0 0 21 0 10 0 547863073 855719936 31076 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208916 31076 13073 16 0 208900 0
vsize: 835664
[startup+900.199 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 81022 72 0 0 17 0 10 0 547863073 855719936 31119 4294967295 134512640 134569956 3221224400 3221214264 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 31119 13073 16 0 208900 0
vsize: 835664
[startup+910.199 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 81911 73 0 0 21 0 10 0 547863073 855719936 31163 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 31163 13073 16 0 208900 0
vsize: 835664
[startup+920.2 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 82795 73 0 0 18 0 10 0 547863073 855719936 31226 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 31226 13073 16 0 208900 0
vsize: 835664
[startup+930.2 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 83670 76 0 0 24 0 10 0 547863073 855719936 33194 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 33194 13073 16 0 208900 0
vsize: 835664
[startup+940.2 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 84578 76 0 0 25 0 10 0 547863073 855719936 33196 4294967295 134512640 134569956 3221224400 3221214872 1131166274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 33196 13073 16 0 208900 0
vsize: 835664
[startup+950.202 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 85470 77 0 0 25 0 10 0 547863073 855719936 33696 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 33696 13073 16 0 208900 0
vsize: 835664
[startup+960.202 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 12104
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 17996 0 1 0 86365 78 0 0 25 0 10 0 547863073 855719936 34355 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208916 34355 13073 16 0 208900 0
vsize: 835664
[startup+970.202 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18023 0 1 0 87254 80 0 0 17 0 11 0 547863073 856248320 35814 4294967295 134512640 134569956 3221224400 3221214932 1130885135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209045 35814 13073 16 0 209029 0
vsize: 836180
[startup+980.202 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18023 0 1 0 88174 80 0 0 24 0 11 0 547863073 856248320 37641 4294967295 134512640 134569956 3221224400 3221214680 1131278505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209045 37641 13073 16 0 209029 0
vsize: 836180
[startup+990.203 s]
Raw data (loadavg): 1.00 0.99 0.91 3/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18062 0 1 0 89074 81 0 0 25 0 11 0 547863073 858165248 37865 4294967295 134512640 134569956 3221224400 3221214576 1131411056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209513 37865 13073 16 0 209497 0
vsize: 838052
[startup+1000.2 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18063 0 1 0 90015 81 0 0 25 0 11 0 547863073 860442624 38766 4294967295 134512640 134569956 3221224400 3221214576 1131411052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210069 38766 13073 16 0 210053 0
vsize: 840276
[startup+1010.2 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 91014 81 0 0 25 0 11 0 547863073 859394048 38344 4294967295 134512640 134569956 3221224400 3221214712 1131417470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209813 38344 13073 16 0 209797 0
vsize: 839252
[startup+1020.2 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 92001 81 0 0 25 0 11 0 547863073 858345472 38257 4294967295 134512640 134569956 3221224400 3221214576 1131411056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38257 13073 16 0 209541 0
vsize: 838228
[startup+1030.2 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 92996 81 0 0 25 0 11 0 547863073 858345472 38260 4294967295 134512640 134569956 3221224400 3221214672 1131610263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38260 13073 16 0 209541 0
vsize: 838228
[startup+1040.2 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 93984 82 0 0 25 0 11 0 547863073 858345472 38260 4294967295 134512640 134569956 3221224400 3221214672 1131610263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38260 13073 16 0 209541 0
vsize: 838228
[startup+1050.2 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 94984 82 0 0 25 0 11 0 547863073 858345472 38260 4294967295 134512640 134569956 3221224400 3221214672 1131610395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38260 13073 16 0 209541 0
vsize: 838228
[startup+1060.2 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 95970 82 0 0 25 0 11 0 547863073 858345472 38261 4294967295 134512640 134569956 3221224400 3221214672 1131610263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38261 13073 16 0 209541 0
vsize: 838228
[startup+1070.2 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 96970 82 0 0 25 0 11 0 547863073 858345472 38261 4294967295 134512640 134569956 3221224400 3221214672 1131610263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38261 13073 16 0 209541 0
vsize: 838228
[startup+1080.2 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 97956 83 0 0 25 0 11 0 547863073 858345472 38261 4294967295 134512640 134569956 3221224400 3221214672 1131610240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38261 13073 16 0 209541 0
vsize: 838228
[startup+1090.2 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 98955 83 0 0 25 0 11 0 547863073 858345472 38264 4294967295 134512640 134569956 3221224400 3221214768 1131344512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38264 13073 16 0 209541 0
vsize: 838228
[startup+1100.21 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 99939 83 0 0 25 0 11 0 547863073 858345472 38264 4294967295 134512640 134569956 3221224400 3221214704 1131416826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38264 13073 16 0 209541 0
vsize: 838228
[startup+1110.21 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 100924 83 0 0 25 0 11 0 547863073 859394048 38520 4294967295 134512640 134569956 3221224400 3221214760 1131416797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209813 38520 13073 16 0 209797 0
vsize: 839252
[startup+1120.21 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 101924 83 0 0 25 0 11 0 547863073 859394048 38520 4294967295 134512640 134569956 3221224400 3221214720 1131610272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209813 38520 13073 16 0 209797 0
vsize: 839252
[startup+1130.21 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 102910 83 0 0 25 0 11 0 547863073 859394048 38520 4294967295 134512640 134569956 3221224400 3221214664 1131277569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209813 38520 13073 16 0 209797 0
vsize: 839252
[startup+1140.21 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 103910 83 0 0 25 0 11 0 547863073 858345472 38294 4294967295 134512640 134569956 3221224400 3221214720 1131610256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38294 13073 16 0 209541 0
vsize: 838228
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 104895 83 0 0 25 0 11 0 547863073 858345472 38294 4294967295 134512640 134569956 3221224400 3221214760 1131416801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38294 13073 16 0 209541 0
vsize: 838228
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 105894 84 0 0 25 0 11 0 547863073 858345472 38294 4294967295 134512640 134569956 3221224400 3221214720 1131610395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38294 13073 16 0 209541 0
vsize: 838228
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 106878 84 0 0 25 0 11 0 547863073 858345472 38294 4294967295 134512640 134569956 3221224400 3221214800 1131431200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38294 13073 16 0 209541 0
vsize: 838228
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 107862 84 0 0 25 0 11 0 547863073 858345472 38329 4294967295 134512640 134569956 3221224400 3221214720 1131610240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38329 13073 16 0 209541 0
vsize: 838228
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 108847 85 0 0 25 0 11 0 547863073 858345472 38363 4294967295 134512640 134569956 3221224400 3221214720 1131610256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38363 13073 16 0 209541 0
vsize: 838228
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 109833 85 0 0 25 0 11 0 547863073 858345472 38405 4294967295 134512640 134569956 3221224400 3221214720 1131610270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38405 13073 16 0 209541 0
vsize: 838228
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 110818 85 0 0 25 0 11 0 547863073 858345472 38433 4294967295 134512640 134569956 3221224400 3221214608 1131253789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38433 13073 16 0 209541 0
vsize: 838228
[startup+1220.21 s]
Raw data (loadavg): 1.00 1.00 0.92 3/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 111803 85 0 0 25 0 11 0 547863073 858345472 38464 4294967295 134512640 134569956 3221224400 3221214720 1131610263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38464 13073 16 0 209541 0
vsize: 838228
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 112788 86 0 0 25 0 11 0 547863073 858345472 38546 4294967295 134512640 134569956 3221224400 3221214720 1131610377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38546 13073 16 0 209541 0
vsize: 838228
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 113763 86 0 0 25 0 11 0 547863073 858345472 38569 4294967295 134512640 134569956 3221224400 3221214720 1131610377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38569 13073 16 0 209541 0
vsize: 838228
[startup+1250.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 114739 86 0 0 25 0 11 0 547863073 858345472 38616 4294967295 134512640 134569956 3221224400 3221214512 1131595457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38616 13073 16 0 209541 0
vsize: 838228
[startup+1260.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 115728 86 0 0 25 0 11 0 547863073 858345472 38616 4294967295 134512640 134569956 3221224400 3221214720 1131610240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38616 13073 16 0 209541 0
vsize: 838228
[startup+1270.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 116719 86 0 0 25 0 11 0 547863073 858345472 38616 4294967295 134512640 134569956 3221224400 3221214664 1131277121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38616 13073 16 0 209541 0
vsize: 838228
[startup+1280.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 117699 86 0 0 25 0 11 0 547863073 858345472 38616 4294967295 134512640 134569956 3221224400 3221214616 1131253842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38616 13073 16 0 209541 0
vsize: 838228
[startup+1290.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 118689 87 0 0 25 0 11 0 547863073 858345472 38616 4294967295 134512640 134569956 3221224400 3221214720 1131610240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38616 13073 16 0 209541 0
vsize: 838228
[startup+1300.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 119678 87 0 0 25 0 11 0 547863073 858345472 38616 4294967295 134512640 134569956 3221224400 3221214720 1131610260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209557 38616 13073 16 0 209541 0
vsize: 838228
[startup+1310.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 12105
Raw data (stat): 12095 (java) R 12094 3260 3259 0 -1 0 18064 0 1 0 120657 87 0 0 25 0 11 0 547863073 858345472 38616 4294967295 134512640 134569956 3221224400 3221214720 1131610266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209557 38616 13073 16 0 209541 0
vsize: 838228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.3 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 12107
Raw data (stat): 12095 (java) Z 12094 3260 3259 0 -1 1036 18064 19832 1 0 120658 87 10473 64 25 0 1 0 547863073 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): 1310.3
CPU time (s): 1312.84
CPU user time (s): 1311.32
CPU system time (s): 1.52077
CPU usage (%): 100.194
Max. virtual memory (Kb): 840276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####