Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb
MD5SUM4468fb60f3f07c6d5f7ce05d137a7203
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3323904
Optimality of the best value was proved NO
Number of terms in the objective function 4880
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 1581429279
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10485760
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 1581429279
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1240.2
Number of variables9680
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint1
Maximum length of a constraint420

Trace number 15531

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-21 04:50:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17299 boxname=wulflinc9 idbench=1331 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4468fb60f3f07c6d5f7ce05d137a7203  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-set1cl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-set1cl.opb
IDLAUNCH: 17299
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        473328 kB
Buffers:         35684 kB
Cached:         502392 kB
SwapCached:          8 kB
Active:         119952 kB
Inactive:       420924 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        473076 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14672 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 05:11:12 (client local time) WITH STATUS 143 IN 1230.78 SECONDS
stats: 17299 7 1230.78 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-set1cl.opb
c reading problem 
c [nbvar=9680]
c [nbconstr=732]
c time 29.874
c #vars     9680
c #clauses  732
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=3323904
c Current CPU time (ms) : 34.539
c starts	: 1
c conflicts	: 0
c decisions	: 3618
c propagations	: 9680
c inspects	: 13582
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### 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.73 0.91 0.89 2/54 2209
Raw data (stat): 2209 (runsolver) R 2208 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484113718 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.77 0.91 0.90 4/63 2218
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 17985 0 1 0 859 37 0 0 25 0 10 0 484113718 858046464 20245 4294967295 134512640 134569956 3221224400 3221214740 1130883211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 20245 13073 16 0 209468 0
vsize: 837936
[startup+20.0012 s]
Raw data (loadavg): 0.81 0.91 0.90 2/63 2218
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 17987 0 1 0 1727 37 0 0 16 0 10 0 484113718 855908352 20526 4294967295 134512640 134569956 3221224400 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 20526 13073 16 0 208946 0
vsize: 835848
[startup+30.0025 s]
Raw data (loadavg): 0.84 0.92 0.90 2/63 2218
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 17987 0 1 0 2601 39 0 0 23 0 10 0 484113718 856956928 21256 4294967295 134512640 134569956 3221224400 3221214192 1131311891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209218 21256 13073 16 0 209202 0
vsize: 836872
[startup+40.003 s]
Raw data (loadavg): 0.86 0.92 0.90 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18018 3 1 0 3486 40 0 0 25 0 11 0 484113718 857485312 22083 4294967295 134512640 134569956 3221224400 3221214768 1131308427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209347 22083 13073 16 0 209331 0
vsize: 837388
[startup+50.0034 s]
Raw data (loadavg): 0.88 0.92 0.90 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18055 3 1 0 4373 40 0 0 24 0 11 0 484113718 857485312 22163 4294967295 134512640 134569956 3221224400 3221214768 1131283434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209347 22163 13073 16 0 209331 0
vsize: 837388
[startup+60.0036 s]
Raw data (loadavg): 0.90 0.92 0.90 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 5239 41 0 0 25 0 11 0 484113718 859582464 23391 4294967295 134512640 134569956 3221224400 3221214848 1131212269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 23391 13073 16 0 209843 0
vsize: 839436
[startup+70.0043 s]
Raw data (loadavg): 0.91 0.92 0.90 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 6204 41 0 0 25 0 11 0 484113718 859582464 23373 4294967295 134512640 134569956 3221224400 3221214864 1131242880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209859 23373 13073 16 0 209843 0
vsize: 839436
[startup+80.0048 s]
Raw data (loadavg): 0.93 0.93 0.90 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 7178 41 0 0 25 0 11 0 484113718 858533888 23270 4294967295 134512640 134569956 3221224400 3221214744 1131283298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23270 13073 16 0 209587 0
vsize: 838412
[startup+90.0063 s]
Raw data (loadavg): 0.94 0.93 0.90 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 8157 42 0 0 24 0 11 0 484113718 858533888 23298 4294967295 134512640 134569956 3221224400 3221214744 1131283169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23298 13073 16 0 209587 0
vsize: 838412
[startup+100.007 s]
Raw data (loadavg): 0.95 0.93 0.90 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 9144 42 0 0 25 0 11 0 484113718 858533888 23420 4294967295 134512640 134569956 3221224400 3221214744 1131283169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23420 13073 16 0 209587 0
vsize: 838412
[startup+110.007 s]
Raw data (loadavg): 0.95 0.93 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 10137 42 0 0 25 0 11 0 484113718 858533888 23444 4294967295 134512640 134569956 3221224400 3221214744 1131284974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23444 13073 16 0 209587 0
vsize: 838412
[startup+120.008 s]
Raw data (loadavg): 0.96 0.93 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 11129 43 0 0 25 0 11 0 484113718 858533888 23449 4294967295 134512640 134569956 3221224400 3221214840 1131242838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23449 13073 16 0 209587 0
vsize: 838412
[startup+130.009 s]
Raw data (loadavg): 0.97 0.93 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 12119 43 0 0 25 0 11 0 484113718 858533888 23456 4294967295 134512640 134569956 3221224400 3221214824 1131212357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23456 13073 16 0 209587 0
vsize: 838412
[startup+140.009 s]
Raw data (loadavg): 0.97 0.94 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 13110 43 0 0 25 0 11 0 484113718 858533888 23471 4294967295 134512640 134569956 3221224400 3221214840 1131242880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23471 13073 16 0 209587 0
vsize: 838412
[startup+150.011 s]
Raw data (loadavg): 0.98 0.94 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 14100 43 0 0 25 0 11 0 484113718 858533888 23489 4294967295 134512640 134569956 3221224400 3221214744 1131284806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23489 13073 16 0 209587 0
vsize: 838412
[startup+160.011 s]
Raw data (loadavg): 0.98 0.94 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18058 3 1 0 15089 43 0 0 25 0 11 0 484113718 858533888 23514 4294967295 134512640 134569956 3221224400 3221214840 1131242880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23514 13073 16 0 209587 0
vsize: 838412
[startup+170.012 s]
Raw data (loadavg): 0.98 0.94 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 16080 44 0 0 25 0 11 0 484113718 858533888 23529 4294967295 134512640 134569956 3221224400 3221214856 1131242804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23529 13073 16 0 209587 0
vsize: 838412
[startup+180.012 s]
Raw data (loadavg): 0.98 0.94 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 17072 44 0 0 25 0 11 0 484113718 858533888 23548 4294967295 134512640 134569956 3221224400 3221214808 1131258513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23548 13073 16 0 209587 0
vsize: 838412
[startup+190.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 18061 44 0 0 24 0 11 0 484113718 858533888 23557 4294967295 134512640 134569956 3221224400 3221214760 1131283169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23557 13073 16 0 209587 0
vsize: 838412
[startup+200.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 19051 44 0 0 25 0 11 0 484113718 858533888 23577 4294967295 134512640 134569956 3221224400 3221214672 1131420112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23577 13073 16 0 209587 0
vsize: 838412
[startup+210.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 20043 44 0 0 25 0 11 0 484113718 858533888 23592 4294967295 134512640 134569956 3221224400 3221214448 1131450749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209603 23592 13073 16 0 209587 0
vsize: 838412
[startup+220.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 21027 44 0 0 25 0 11 0 484113718 858533888 23616 4294967295 134512640 134569956 3221224400 3221214760 1131283251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23616 13073 16 0 209587 0
vsize: 838412
[startup+230.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 22010 44 0 0 25 0 11 0 484113718 858533888 23637 4294967295 134512640 134569956 3221224400 3221214648 1131399077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23637 13073 16 0 209587 0
vsize: 838412
[startup+240.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 22992 44 0 0 25 0 11 0 484113718 858533888 23645 4294967295 134512640 134569956 3221224400 3221214896 1131321840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209603 23645 13073 16 0 209587 0
vsize: 838412
[startup+250.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 23981 44 0 0 25 0 11 0 484113718 858533888 23717 4294967295 134512640 134569956 3221224400 3221214760 1131283078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23717 13073 16 0 209587 0
vsize: 838412
[startup+260.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 24974 45 0 0 25 0 11 0 484113718 858533888 23730 4294967295 134512640 134569956 3221224400 3221214760 1131308407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23730 13073 16 0 209587 0
vsize: 838412
[startup+270.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 25967 45 0 0 25 0 11 0 484113718 858533888 23735 4294967295 134512640 134569956 3221224400 3221214684 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23735 13073 16 0 209587 0
vsize: 838412
[startup+280.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 26953 45 0 0 25 0 11 0 484113718 858533888 23749 4294967295 134512640 134569956 3221224400 3221214760 1131283057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23749 13073 16 0 209587 0
vsize: 838412
[startup+290.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 27937 45 0 0 25 0 11 0 484113718 858533888 23759 4294967295 134512640 134569956 3221224400 3221214840 1131212241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23759 13073 16 0 209587 0
vsize: 838412
[startup+300.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 28918 45 0 0 25 0 11 0 484113718 858533888 23774 4294967295 134512640 134569956 3221224400 3221214848 1131241778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23774 13073 16 0 209587 0
vsize: 838412
[startup+310.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 29903 45 0 0 25 0 11 0 484113718 858533888 23865 4294967295 134512640 134569956 3221224400 3221214760 1131285051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23865 13073 16 0 209587 0
vsize: 838412
[startup+320.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 30896 45 0 0 25 0 11 0 484113718 858533888 23877 4294967295 134512640 134569956 3221224400 3221214840 1131212224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23877 13073 16 0 209587 0
vsize: 838412
[startup+330.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 31889 45 0 0 25 0 11 0 484113718 858533888 23889 4294967295 134512640 134569956 3221224400 3221214760 1131283169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23889 13073 16 0 209587 0
vsize: 838412
[startup+340.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 32882 45 0 0 25 0 11 0 484113718 858533888 23904 4294967295 134512640 134569956 3221224400 3221214856 1131242776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23904 13073 16 0 209587 0
vsize: 838412
[startup+350.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 33875 45 0 0 25 0 11 0 484113718 858533888 23917 4294967295 134512640 134569956 3221224400 3221214760 1131283129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23917 13073 16 0 209587 0
vsize: 838412
[startup+360.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 34868 46 0 0 25 0 11 0 484113718 858533888 23923 4294967295 134512640 134569956 3221224400 3221214848 1131241778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23923 13073 16 0 209587 0
vsize: 838412
[startup+370.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 35860 46 0 0 25 0 11 0 484113718 858533888 23937 4294967295 134512640 134569956 3221224400 3221214712 1131467794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23937 13073 16 0 209587 0
vsize: 838412
[startup+380.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 36848 46 0 0 25 0 11 0 484113718 858533888 23946 4294967295 134512640 134569956 3221224400 3221214760 1131308407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23946 13073 16 0 209587 0
vsize: 838412
[startup+390.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 37835 46 0 0 25 0 11 0 484113718 858533888 23962 4294967295 134512640 134569956 3221224400 3221214656 1131308407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23962 13073 16 0 209587 0
vsize: 838412
[startup+400.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 38811 46 0 0 25 0 11 0 484113718 858533888 23976 4294967295 134512640 134569956 3221224400 3221214848 1131241778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 23976 13073 16 0 209587 0
vsize: 838412
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 39787 46 0 0 25 0 11 0 484113718 858533888 24017 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24017 13073 16 0 209587 0
vsize: 838412
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 40767 46 0 0 25 0 11 0 484113718 858533888 24024 4294967295 134512640 134569956 3221224400 3221214760 1131283405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24024 13073 16 0 209587 0
vsize: 838412
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 41745 46 0 0 24 0 11 0 484113718 858533888 24171 4294967295 134512640 134569956 3221224400 3221214868 1131334816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24171 13073 16 0 209587 0
vsize: 838412
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 42728 47 0 0 25 0 11 0 484113718 858533888 24177 4294967295 134512640 134569956 3221224400 3221214760 1131285051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24177 13073 16 0 209587 0
vsize: 838412
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 43712 47 0 0 25 0 11 0 484113718 858533888 24181 4294967295 134512640 134569956 3221224400 3221214808 1131258880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24181 13073 16 0 209587 0
vsize: 838412
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 44696 47 0 0 25 0 11 0 484113718 858533888 24194 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24194 13073 16 0 209587 0
vsize: 838412
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 45690 47 0 0 25 0 11 0 484113718 858533888 24288 4294967295 134512640 134569956 3221224400 3221214872 1131318701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24288 13073 16 0 209587 0
vsize: 838412
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 46685 47 0 0 25 0 11 0 484113718 858533888 24293 4294967295 134512640 134569956 3221224400 3221214852 1131284074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24293 13073 16 0 209587 0
vsize: 838412
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 47680 47 0 0 25 0 11 0 484113718 858533888 24297 4294967295 134512640 134569956 3221224400 3221214760 1131283807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209603 24297 13073 16 0 209587 0
vsize: 838412
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 48676 48 0 0 25 0 11 0 484113718 858533888 24305 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24305 13073 16 0 209587 0
vsize: 838412
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 49671 48 0 0 25 0 11 0 484113718 858533888 24309 4294967295 134512640 134569956 3221224400 3221214840 1131212241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24309 13073 16 0 209587 0
vsize: 838412
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 50666 48 0 0 25 0 11 0 484113718 858533888 24313 4294967295 134512640 134569956 3221224400 3221214760 1131283051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24313 13073 16 0 209587 0
vsize: 838412
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 51663 48 0 0 25 0 11 0 484113718 858533888 24321 4294967295 134512640 134569956 3221224400 3221214760 1131308451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24321 13073 16 0 209587 0
vsize: 838412
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 52658 48 0 0 25 0 11 0 484113718 858533888 24329 4294967295 134512640 134569956 3221224400 3221214760 1131283347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24329 13073 16 0 209587 0
vsize: 838412
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 2220
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 53653 48 0 0 25 0 11 0 484113718 858533888 24333 4294967295 134512640 134569956 3221224400 3221214856 1131242276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209603 24333 13073 16 0 209587 0
vsize: 838412
[startup+560.075 s]
Raw data (loadavg): 1.07 0.99 0.91 2/67 2261
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 54637 61 0 0 25 0 11 0 484113718 858533888 24337 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209603 24337 13073 16 0 209587 0
vsize: 838412
[startup+570.076 s]
Raw data (loadavg): 1.14 1.00 0.92 2/64 2273
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 55615 63 0 0 24 0 11 0 484113718 858533888 24345 4294967295 134512640 134569956 3221224400 3221214896 1131321569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209603 24345 13073 16 0 209587 0
vsize: 838412
[startup+580.077 s]
Raw data (loadavg): 1.12 1.00 0.92 2/64 2273
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 56598 63 0 0 25 0 11 0 484113718 858533888 24353 4294967295 134512640 134569956 3221224400 3221214856 1131242311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209603 24353 13073 16 0 209587 0
vsize: 838412
[startup+590.077 s]
Raw data (loadavg): 1.10 1.00 0.92 2/64 2273
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 57580 64 0 0 25 0 11 0 484113718 858533888 24358 4294967295 134512640 134569956 3221224400 3221214760 1131283405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209603 24358 13073 16 0 209587 0
vsize: 838412
[startup+600.078 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 2273
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 58572 64 0 0 25 0 11 0 484113718 858533888 24454 4294967295 134512640 134569956 3221224400 3221214344 1131311821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209603 24454 13073 16 0 209587 0
vsize: 838412
[startup+610.078 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 2273
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 59568 64 0 0 25 0 11 0 484113718 861966336 25257 4294967295 134512640 134569956 3221224400 3221214656 1131308468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210441 25257 13073 16 0 210425 0
vsize: 841764
[startup+620.078 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 2273
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 60559 64 0 0 25 0 11 0 484113718 860045312 24840 4294967295 134512640 134569956 3221224400 3221214856 1131242856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24840 13073 16 0 209956 0
vsize: 839888
[startup+630.081 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 2273
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 61549 64 0 0 25 0 11 0 484113718 860045312 24843 4294967295 134512640 134569956 3221224400 3221214896 1131322362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24843 13073 16 0 209956 0
vsize: 839888
[startup+640.082 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 62540 64 0 0 25 0 11 0 484113718 860045312 24844 4294967295 134512640 134569956 3221224400 3221214840 1131212224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24844 13073 16 0 209956 0
vsize: 839888
[startup+650.083 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 63530 65 0 0 25 0 11 0 484113718 860045312 24872 4294967295 134512640 134569956 3221224400 3221214892 1131212465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24872 13073 16 0 209956 0
vsize: 839888
[startup+660.082 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 64525 65 0 0 25 0 11 0 484113718 860045312 24879 4294967295 134512640 134569956 3221224400 3221214760 1131308451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24879 13073 16 0 209956 0
vsize: 839888
[startup+670.083 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 65521 65 0 0 25 0 11 0 484113718 860045312 24881 4294967295 134512640 134569956 3221224400 3221214760 1131284002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24881 13073 16 0 209956 0
vsize: 839888
[startup+680.083 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 66516 65 0 0 25 0 11 0 484113718 860045312 24888 4294967295 134512640 134569956 3221224400 3221214840 1131212224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24888 13073 16 0 209956 0
vsize: 839888
[startup+690.084 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 67511 65 0 0 25 0 11 0 484113718 860045312 24905 4294967295 134512640 134569956 3221224400 3221214896 1131322468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24905 13073 16 0 209956 0
vsize: 839888
[startup+700.084 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 68505 65 0 0 25 0 11 0 484113718 860045312 24910 4294967295 134512640 134569956 3221224400 3221214808 1131258304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24910 13073 16 0 209956 0
vsize: 839888
[startup+710.084 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 69498 65 0 0 25 0 11 0 484113718 860045312 24928 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24928 13073 16 0 209956 0
vsize: 839888
[startup+720.085 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 70493 65 0 0 25 0 11 0 484113718 860045312 24936 4294967295 134512640 134569956 3221224400 3221214760 1131284953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24936 13073 16 0 209956 0
vsize: 839888
[startup+730.085 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 71488 65 0 0 25 0 11 0 484113718 860045312 24945 4294967295 134512640 134569956 3221224400 3221214856 1131242684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24945 13073 16 0 209956 0
vsize: 839888
[startup+740.086 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 72484 65 0 0 25 0 11 0 484113718 860045312 24952 4294967295 134512640 134569956 3221224400 3221214760 1131283405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24952 13073 16 0 209956 0
vsize: 839888
[startup+750.088 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 73480 65 0 0 25 0 11 0 484113718 860045312 24957 4294967295 134512640 134569956 3221224400 3221214160 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24957 13073 16 0 209956 0
vsize: 839888
[startup+760.088 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18059 3 1 0 74474 65 0 0 25 0 11 0 484113718 860045312 24959 4294967295 134512640 134569956 3221224400 3221214640 1131434952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24959 13073 16 0 209956 0
vsize: 839888
[startup+770.089 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 75460 65 0 0 25 0 11 0 484113718 860045312 24968 4294967295 134512640 134569956 3221224400 3221214640 1131435683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24968 13073 16 0 209956 0
vsize: 839888
[startup+780.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 76444 65 0 0 25 0 11 0 484113718 860045312 24970 4294967295 134512640 134569956 3221224400 3221214872 1131318681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24970 13073 16 0 209956 0
vsize: 839888
[startup+790.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 77426 65 0 0 25 0 11 0 484113718 860045312 24970 4294967295 134512640 134569956 3221224400 3221214760 1131283021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24970 13073 16 0 209956 0
vsize: 839888
[startup+800.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 78409 65 0 0 25 0 11 0 484113718 860045312 24970 4294967295 134512640 134569956 3221224400 3221214856 1131242276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 24970 13073 16 0 209956 0
vsize: 839888
[startup+810.091 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 79398 65 0 0 25 0 11 0 484113718 860045312 25099 4294967295 134512640 134569956 3221224400 3221214808 1131258325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25099 13073 16 0 209956 0
vsize: 839888
[startup+820.091 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 80394 65 0 0 25 0 11 0 484113718 860045312 25108 4294967295 134512640 134569956 3221224400 3221214840 1131212390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25108 13073 16 0 209956 0
vsize: 839888
[startup+830.091 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 81390 65 0 0 25 0 11 0 484113718 860045312 25112 4294967295 134512640 134569956 3221224400 3221214760 1131308397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25112 13073 16 0 209956 0
vsize: 839888
[startup+840.092 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 82384 66 0 0 25 0 11 0 484113718 860045312 25116 4294967295 134512640 134569956 3221224400 3221214792 1131386377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25116 13073 16 0 209956 0
vsize: 839888
[startup+850.093 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 83379 66 0 0 22 0 11 0 484113718 860045312 25118 4294967295 134512640 134569956 3221224400 3221214552 1131539480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25118 13073 16 0 209956 0
vsize: 839888
[startup+860.093 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 84375 66 0 0 25 0 11 0 484113718 860045312 25124 4294967295 134512640 134569956 3221224400 3221214448 1131249984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25124 13073 16 0 209956 0
vsize: 839888
[startup+870.094 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2275
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 85372 66 0 0 25 0 11 0 484113718 860045312 25130 4294967295 134512640 134569956 3221224400 3221214448 1131249999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25130 13073 16 0 209956 0
vsize: 839888
[startup+880.094 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 86369 66 0 0 25 0 11 0 484113718 860045312 25135 4294967295 134512640 134569956 3221224400 3221214696 1131399077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25135 13073 16 0 209956 0
vsize: 839888
[startup+890.095 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 87364 66 0 0 25 0 11 0 484113718 860045312 25145 4294967295 134512640 134569956 3221224400 3221214792 1131385952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25145 13073 16 0 209956 0
vsize: 839888
[startup+900.096 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 88351 66 0 0 25 0 11 0 484113718 860045312 25148 4294967295 134512640 134569956 3221224400 3221214640 1131629520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25148 13073 16 0 209956 0
vsize: 839888
[startup+910.096 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 89348 66 0 0 25 0 11 0 484113718 860045312 25150 4294967295 134512640 134569956 3221224400 3221214560 1131456748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25150 13073 16 0 209956 0
vsize: 839888
[startup+920.096 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 90341 66 0 0 25 0 11 0 484113718 860045312 25150 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25150 13073 16 0 209956 0
vsize: 839888
[startup+930.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 91316 66 0 0 25 0 11 0 484113718 860045312 25150 4294967295 134512640 134569956 3221224400 3221214760 1131283329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25150 13073 16 0 209956 0
vsize: 839888
[startup+940.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 92293 67 0 0 25 0 11 0 484113718 860045312 25151 4294967295 134512640 134569956 3221224400 3221214760 1131283169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25151 13073 16 0 209956 0
vsize: 839888
[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 93266 67 0 0 25 0 11 0 484113718 860045312 25151 4294967295 134512640 134569956 3221224400 3221214848 1131241759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25151 13073 16 0 209956 0
vsize: 839888
[startup+960.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 94248 67 0 0 25 0 11 0 484113718 860045312 25349 4294967295 134512640 134569956 3221224400 3221214760 1131283169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25349 13073 16 0 209956 0
vsize: 839888
[startup+970.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 95241 67 0 0 25 0 11 0 484113718 860045312 25362 4294967295 134512640 134569956 3221224400 3221214636 1130893400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25362 13073 16 0 209956 0
vsize: 839888
[startup+980.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 96235 67 0 0 25 0 11 0 484113718 860045312 25374 4294967295 134512640 134569956 3221224400 3221214856 1131242759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25374 13073 16 0 209956 0
vsize: 839888
[startup+990.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 97231 67 0 0 25 0 11 0 484113718 860045312 25387 4294967295 134512640 134569956 3221224400 3221214608 1131430485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25387 13073 16 0 209956 0
vsize: 839888
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 98225 67 0 0 25 0 11 0 484113718 860045312 25400 4294967295 134512640 134569956 3221224400 3221214760 1131284818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25400 13073 16 0 209956 0
vsize: 839888
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 99218 67 0 0 25 0 11 0 484113718 860045312 25410 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25410 13073 16 0 209956 0
vsize: 839888
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 100212 67 0 0 25 0 11 0 484113718 860045312 25423 4294967295 134512640 134569956 3221224400 3221214852 1131258272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25423 13073 16 0 209956 0
vsize: 839888
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 101204 68 0 0 25 0 11 0 484113718 860045312 25436 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25436 13073 16 0 209956 0
vsize: 839888
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 102198 68 0 0 25 0 11 0 484113718 860045312 25447 4294967295 134512640 134569956 3221224400 3221214848 1131241778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25447 13073 16 0 209956 0
vsize: 839888
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 103191 68 0 0 25 0 11 0 484113718 860045312 25459 4294967295 134512640 134569956 3221224400 3221214760 1131308468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25459 13073 16 0 209956 0
vsize: 839888
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18060 3 1 0 104179 68 0 0 25 0 11 0 484113718 860045312 25475 4294967295 134512640 134569956 3221224400 3221214392 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25475 13073 16 0 209956 0
vsize: 839888
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 105171 69 0 0 25 0 11 0 484113718 860045312 25489 4294967295 134512640 134569956 3221224400 3221214760 1131284076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25489 13073 16 0 209956 0
vsize: 839888
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 106163 69 0 0 25 0 11 0 484113718 860045312 25500 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25500 13073 16 0 209956 0
vsize: 839888
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 107156 69 0 0 25 0 11 0 484113718 860045312 25518 4294967295 134512640 134569956 3221224400 3221214760 1131283129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25518 13073 16 0 209956 0
vsize: 839888
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 108146 69 0 0 25 0 11 0 484113718 860045312 25531 4294967295 134512640 134569956 3221224400 3221214760 1131283032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25531 13073 16 0 209956 0
vsize: 839888
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 109135 69 0 0 25 0 11 0 484113718 860045312 25538 4294967295 134512640 134569956 3221224400 3221214640 1131629681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25538 13073 16 0 209956 0
vsize: 839888
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 110122 70 0 0 25 0 11 0 484113718 860045312 25552 4294967295 134512640 134569956 3221224400 3221214856 1131242276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209972 25552 13073 16 0 209956 0
vsize: 839888
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 111108 70 0 0 25 0 11 0 484113718 860045312 25572 4294967295 134512640 134569956 3221224400 3221214856 1131242276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25572 13073 16 0 209956 0
vsize: 839888
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 112093 70 0 0 25 0 11 0 484113718 860045312 25607 4294967295 134512640 134569956 3221224400 3221214808 1131258310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25607 13073 16 0 209956 0
vsize: 839888
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 113080 71 0 0 25 0 11 0 484113718 860045312 25642 4294967295 134512640 134569956 3221224400 3221214808 1131258343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25642 13073 16 0 209956 0
vsize: 839888
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 114065 71 0 0 24 0 11 0 484113718 860045312 25684 4294967295 134512640 134569956 3221224400 3221214840 1131212241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25684 13073 16 0 209956 0
vsize: 839888
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 115052 72 0 0 25 0 11 0 484113718 860045312 25715 4294967295 134512640 134569956 3221224400 3221214856 1131242276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25715 13073 16 0 209956 0
vsize: 839888
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 116038 72 0 0 25 0 11 0 484113718 860045312 25743 4294967295 134512640 134569956 3221224400 3221214852 1131309114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25743 13073 16 0 209956 0
vsize: 839888
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 117025 72 0 0 25 0 11 0 484113718 860045312 25776 4294967295 134512640 134569956 3221224400 3221214760 1131285044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25776 13073 16 0 209956 0
vsize: 839888
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 118011 73 0 0 25 0 11 0 484113718 860045312 25817 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25817 13073 16 0 209956 0
vsize: 839888
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 118997 73 0 0 25 0 11 0 484113718 860045312 25859 4294967295 134512640 134569956 3221224400 3221214640 1131629546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25859 13073 16 0 209956 0
vsize: 839888
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2277
Raw data (stat): 2209 (java) R 2208 30854 30853 0 -1 0 18061 3 1 0 119984 73 0 0 25 0 11 0 484113718 860045312 25902 4294967295 134512640 134569956 3221224400 3221214856 1131242880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209972 25902 13073 16 0 209956 0
vsize: 839888
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 2279
Raw data (stat): 2209 (java) Z 2208 30854 30853 0 -1 1036 18061 12869 1 0 119987 78 2969 42 25 0 1 0 484113718 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): 1220.19
CPU time (s): 1230.78
CPU user time (s): 1229.57
CPU system time (s): 1.21381
CPU usage (%): 100.868
Max. virtual memory (Kb): 841764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####