PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04l.opb
MD5SUM	2c68ccb202caa7ec35d2be2cf2e849d9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	63540
Biggest coefficient in the objective function	1977295568896000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	435915316225983825
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1977295568896000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	435915316225983825
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.556914
Number of variables	63540
Total number of constraints	352
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	352
Minimum length of a constraint	30
Maximum length of a constraint	2520
Trace number 17370

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-21 10:03:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11410 boxname=wulflinc9 idbench=878 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  2c68ccb202caa7ec35d2be2cf2e849d9  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship04l.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship04l.opb
IDLAUNCH: 11410
/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:        526228 kB
Buffers:         31356 kB
Cached:         453144 kB
SwapCached:          0 kB
Active:          37576 kB
Inactive:       449676 kB
HighTotal:      131008 kB
HighFree:        43148 kB
LowTotal:       903652 kB
LowFree:        483080 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            15308 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 10:25:42 (client local time) WITH STATUS 143 IN 1296.78 SECONDS
stats: 11410 7 1296.78 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship04l.opb
c reading problem 
c [nbvar=63540]
c [nbconstr=352]
c time 1199.325
c #vars     63540
c #clauses  607
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.70 0.92 0.91 2/54 6789
Raw data (stat): 6789 (runsolver) R 6788 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485992944 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.001 s]
Raw data (loadavg): 0.75 0.92 0.91 2/63 6798
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 849 43 0 0 24 0 10 0 485992944 855130112 19495 4294967295 134512640 134569956 3221224400 3221214816 1130898093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208772 19495 13073 16 0 208756 0
vsize: 835088
[startup+20.0021 s]
Raw data (loadavg): 0.78 0.92 0.91 2/63 6798
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 1746 43 0 0 24 0 10 0 485992944 854081536 19762 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 19762 13073 16 0 208500 0
vsize: 834064
[startup+30.002 s]
Raw data (loadavg): 0.82 0.93 0.91 2/63 6798
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 2646 43 0 0 25 0 10 0 485992944 854081536 20207 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 20207 13073 16 0 208500 0
vsize: 834064
[startup+40.0023 s]
Raw data (loadavg): 0.84 0.93 0.91 2/63 6798
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 3579 43 0 0 25 0 10 0 485992944 854081536 20437 4294967295 134512640 134569956 3221224400 3221214824 1131222405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 20437 13073 16 0 208500 0
vsize: 834064
[startup+50.0044 s]
Raw data (loadavg): 0.87 0.93 0.91 2/63 6798
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 4514 44 0 0 25 0 10 0 485992944 854081536 20559 4294967295 134512640 134569956 3221224400 3221214824 1131224458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 20559 13073 16 0 208500 0
vsize: 834064
[startup+60.0054 s]
Raw data (loadavg): 0.89 0.93 0.91 2/63 6798
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 5446 44 0 0 25 0 10 0 485992944 854081536 20660 4294967295 134512640 134569956 3221224400 3221214272 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 20660 13073 16 0 208500 0
vsize: 834064
[startup+70.0056 s]
Raw data (loadavg): 0.90 0.93 0.91 2/63 6798
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 6388 44 0 0 24 0 10 0 485992944 853733376 20797 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 20797 13073 16 0 208415 0
vsize: 833724
[startup+80.0071 s]
Raw data (loadavg): 0.92 0.94 0.91 2/63 6798
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 7339 44 0 0 25 0 10 0 485992944 853733376 20872 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 20872 13073 16 0 208415 0
vsize: 833724
[startup+90.0077 s]
Raw data (loadavg): 0.93 0.94 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 8288 44 0 0 25 0 10 0 485992944 853733376 20945 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 20945 13073 16 0 208415 0
vsize: 833724
[startup+100.009 s]
Raw data (loadavg): 0.94 0.94 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 9238 44 0 0 25 0 10 0 485992944 853733376 21013 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21013 13073 16 0 208415 0
vsize: 833724
[startup+110.01 s]
Raw data (loadavg): 0.95 0.94 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 10192 44 0 0 25 0 10 0 485992944 853733376 21073 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21073 13073 16 0 208415 0
vsize: 833724
[startup+120.011 s]
Raw data (loadavg): 0.96 0.94 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 11142 44 0 0 25 0 10 0 485992944 853733376 21133 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21133 13073 16 0 208415 0
vsize: 833724
[startup+130.01 s]
Raw data (loadavg): 0.96 0.94 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 12092 45 0 0 25 0 10 0 485992944 853733376 21191 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21191 13073 16 0 208415 0
vsize: 833724
[startup+140.012 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 13042 45 0 0 24 0 10 0 485992944 853733376 21245 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21245 13073 16 0 208415 0
vsize: 833724
[startup+150.012 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 13995 45 0 0 25 0 10 0 485992944 853733376 21294 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21294 13073 16 0 208415 0
vsize: 833724
[startup+160.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 14945 45 0 0 25 0 10 0 485992944 853733376 21345 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21345 13073 16 0 208415 0
vsize: 833724
[startup+170.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 15894 45 0 0 25 0 10 0 485992944 853733376 21394 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21394 13073 16 0 208415 0
vsize: 833724
[startup+180.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 16832 46 0 0 25 0 10 0 485992944 853733376 21438 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21438 13073 16 0 208415 0
vsize: 833724
[startup+190.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 17759 46 0 0 24 0 10 0 485992944 853733376 21483 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21483 13073 16 0 208415 0
vsize: 833724
[startup+200.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 18701 46 0 0 25 0 10 0 485992944 853733376 21781 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21781 13073 16 0 208415 0
vsize: 833724
[startup+210.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 19647 46 0 0 25 0 10 0 485992944 853733376 21824 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21824 13073 16 0 208415 0
vsize: 833724
[startup+220.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 20596 47 0 0 25 0 10 0 485992944 853733376 21864 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21864 13073 16 0 208415 0
vsize: 833724
[startup+230.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 21541 47 0 0 25 0 10 0 485992944 853733376 21904 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21904 13073 16 0 208415 0
vsize: 833724
[startup+240.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 22486 47 0 0 25 0 10 0 485992944 853733376 21944 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21944 13073 16 0 208415 0
vsize: 833724
[startup+250.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 23434 47 0 0 25 0 10 0 485992944 853733376 21981 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21981 13073 16 0 208415 0
vsize: 833724
[startup+260.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 24377 47 0 0 25 0 10 0 485992944 853733376 22019 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22019 13073 16 0 208415 0
vsize: 833724
[startup+270.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 25324 48 0 0 25 0 10 0 485992944 853733376 22054 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22054 13073 16 0 208415 0
vsize: 833724
[startup+280.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 26267 48 0 0 25 0 10 0 485992944 853733376 22090 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22090 13073 16 0 208415 0
vsize: 833724
[startup+290.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 27208 48 0 0 24 0 10 0 485992944 853733376 22126 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22126 13073 16 0 208415 0
vsize: 833724
[startup+300.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 28153 49 0 0 25 0 10 0 485992944 853733376 22159 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22159 13073 16 0 208415 0
vsize: 833724
[startup+310.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 29094 49 0 0 25 0 10 0 485992944 853733376 22193 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22193 13073 16 0 208415 0
vsize: 833724
[startup+320.068 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 30041 49 0 0 25 0 10 0 485992944 853733376 22225 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22225 13073 16 0 208415 0
vsize: 833724
[startup+330.067 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 30980 50 0 0 25 0 10 0 485992944 853733376 22259 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22259 13073 16 0 208415 0
vsize: 833724
[startup+340.067 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 31923 50 0 0 25 0 10 0 485992944 853733376 22289 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22289 13073 16 0 208415 0
vsize: 833724
[startup+350.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 32861 50 0 0 25 0 10 0 485992944 853733376 22322 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22322 13073 16 0 208415 0
vsize: 833724
[startup+360.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 33803 51 0 0 25 0 10 0 485992944 853733376 22353 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22353 13073 16 0 208415 0
vsize: 833724
[startup+370.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 34741 51 0 0 25 0 10 0 485992944 853733376 22384 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22384 13073 16 0 208415 0
vsize: 833724
[startup+380.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 35693 51 0 0 25 0 10 0 485992944 853733376 22413 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22413 13073 16 0 208415 0
vsize: 833724
[startup+390.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 36631 51 0 0 25 0 10 0 485992944 853733376 22443 4294967295 134512640 134569956 3221224400 3221214752 1131232926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22443 13073 16 0 208415 0
vsize: 833724
[startup+400.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 37570 51 0 0 25 0 10 0 485992944 853733376 22472 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22472 13073 16 0 208415 0
vsize: 833724
[startup+410.186 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 38506 52 0 0 25 0 10 0 485992944 853733376 22501 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22501 13073 16 0 208415 0
vsize: 833724
[startup+420.186 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 39446 52 0 0 25 0 10 0 485992944 853733376 22529 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22529 13073 16 0 208415 0
vsize: 833724
[startup+430.186 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 40380 53 0 0 25 0 10 0 485992944 853733376 22558 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22558 13073 16 0 208415 0
vsize: 833724
[startup+440.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 41318 53 0 0 25 0 10 0 485992944 853733376 22585 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22585 13073 16 0 208415 0
vsize: 833724
[startup+450.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) S 6788 30854 30853 0 -1 0 17977 0 1 0 42256 54 0 0 25 0 10 0 485992944 853733376 22611 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22611 13073 16 0 208415 0
vsize: 833724
[startup+460.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 43191 54 0 0 25 0 10 0 485992944 853733376 22639 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22639 13073 16 0 208415 0
vsize: 833724
[startup+470.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 44129 55 0 0 25 0 10 0 485992944 853733376 22665 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22665 13073 16 0 208415 0
vsize: 833724
[startup+480.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 45063 56 0 0 24 0 10 0 485992944 853733376 22692 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22692 13073 16 0 208415 0
vsize: 833724
[startup+490.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 46001 56 0 0 25 0 10 0 485992944 853733376 22718 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22718 13073 16 0 208415 0
vsize: 833724
[startup+500.201 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 46938 56 0 0 25 0 10 0 485992944 853733376 22743 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22743 13073 16 0 208415 0
vsize: 833724
[startup+510.203 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 47870 56 0 0 25 0 10 0 485992944 853733376 22769 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22769 13073 16 0 208415 0
vsize: 833724
[startup+520.204 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 48806 57 0 0 25 0 10 0 485992944 853733376 22794 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22794 13073 16 0 208415 0
vsize: 833724
[startup+530.204 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 49741 57 0 0 25 0 10 0 485992944 853733376 22818 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22818 13073 16 0 208415 0
vsize: 833724
[startup+540.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 50672 57 0 0 24 0 10 0 485992944 853733376 22844 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22844 13073 16 0 208415 0
vsize: 833724
[startup+550.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 51606 57 0 0 25 0 10 0 485992944 853733376 22869 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22869 13073 16 0 208415 0
vsize: 833724
[startup+560.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 52541 58 0 0 25 0 10 0 485992944 853733376 22892 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22892 13073 16 0 208415 0
vsize: 833724
[startup+570.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 53475 58 0 0 25 0 10 0 485992944 853733376 22916 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22916 13073 16 0 208415 0
vsize: 833724
[startup+580.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 54404 59 0 0 25 0 10 0 485992944 853733376 22940 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22940 13073 16 0 208415 0
vsize: 833724
[startup+590.207 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 55337 59 0 0 25 0 10 0 485992944 853733376 22963 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22963 13073 16 0 208415 0
vsize: 833724
[startup+600.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 56271 59 0 0 25 0 10 0 485992944 853733376 22986 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22986 13073 16 0 208415 0
vsize: 833724
[startup+610.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) S 6788 30854 30853 0 -1 0 17977 0 1 0 57204 60 0 0 25 0 10 0 485992944 853733376 23009 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23009 13073 16 0 208415 0
vsize: 833724
[startup+620.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 58132 60 0 0 24 0 10 0 485992944 853733376 23033 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23033 13073 16 0 208415 0
vsize: 833724
[startup+630.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 59064 60 0 0 25 0 10 0 485992944 853733376 23055 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23055 13073 16 0 208415 0
vsize: 833724
[startup+640.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 59996 61 0 0 25 0 10 0 485992944 853733376 23077 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23077 13073 16 0 208415 0
vsize: 833724
[startup+650.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 60928 61 0 0 25 0 10 0 485992944 853733376 23099 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23099 13073 16 0 208415 0
vsize: 833724
[startup+660.219 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) S 6788 30854 30853 0 -1 0 17977 0 1 0 61856 61 0 0 25 0 10 0 485992944 853733376 23121 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23121 13073 16 0 208415 0
vsize: 833724
[startup+670.225 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 62786 62 0 0 25 0 10 0 485992944 853733376 23144 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23144 13073 16 0 208415 0
vsize: 833724
[startup+680.225 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 63717 62 0 0 25 0 10 0 485992944 853733376 23165 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23165 13073 16 0 208415 0
vsize: 833724
[startup+690.226 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 64647 62 0 0 25 0 10 0 485992944 853733376 23186 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23186 13073 16 0 208415 0
vsize: 833724
[startup+700.227 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 65568 63 0 0 25 0 10 0 485992944 853733376 24200 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24200 13073 16 0 208415 0
vsize: 833724
[startup+710.228 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 66501 63 0 0 25 0 10 0 485992944 853733376 24200 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24200 13073 16 0 208415 0
vsize: 833724
[startup+720.229 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 67425 64 0 0 25 0 10 0 485992944 853733376 24200 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24200 13073 16 0 208415 0
vsize: 833724
[startup+730.229 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 68345 64 0 0 25 0 10 0 485992944 853733376 24225 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24225 13073 16 0 208415 0
vsize: 833724
[startup+740.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 69265 64 0 0 25 0 10 0 485992944 853733376 24247 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24247 13073 16 0 208415 0
vsize: 833724
[startup+750.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 70185 64 0 0 25 0 10 0 485992944 853733376 24274 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 24274 13073 16 0 208415 0
vsize: 833724
[startup+760.231 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 71105 64 0 0 25 0 10 0 485992944 853733376 24297 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 24297 13073 16 0 208415 0
vsize: 833724
[startup+770.238 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 72025 64 0 0 25 0 10 0 485992944 853733376 24322 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24322 13073 16 0 208415 0
vsize: 833724
[startup+780.246 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 72945 65 0 0 25 0 10 0 485992944 853733376 24344 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24344 13073 16 0 208415 0
vsize: 833724
[startup+790.246 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 73864 65 0 0 25 0 10 0 485992944 853733376 24364 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24364 13073 16 0 208415 0
vsize: 833724
[startup+800.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 74782 66 0 0 25 0 10 0 485992944 853733376 24395 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24395 13073 16 0 208415 0
vsize: 833724
[startup+810.248 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 75700 66 0 0 25 0 10 0 485992944 853733376 24417 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24417 13073 16 0 208415 0
vsize: 833724
[startup+820.249 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 76618 66 0 0 25 0 10 0 485992944 853733376 24439 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24439 13073 16 0 208415 0
vsize: 833724
[startup+830.249 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 77536 66 0 0 25 0 10 0 485992944 853733376 24459 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24459 13073 16 0 208415 0
vsize: 833724
[startup+840.249 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 78452 67 0 0 24 0 10 0 485992944 853733376 24488 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24488 13073 16 0 208415 0
vsize: 833724
[startup+850.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 79369 68 0 0 24 0 10 0 485992944 853733376 24511 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24511 13073 16 0 208415 0
vsize: 833724
[startup+860.251 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) S 6788 30854 30853 0 -1 0 17977 0 1 0 80289 68 0 0 25 0 10 0 485992944 853733376 24531 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24531 13073 16 0 208415 0
vsize: 833724
[startup+870.265 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 81207 68 0 0 25 0 10 0 485992944 853733376 24552 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24552 13073 16 0 208415 0
vsize: 833724
[startup+880.275 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 82124 69 0 0 25 0 10 0 485992944 853733376 24577 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24577 13073 16 0 208415 0
vsize: 833724
[startup+890.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 83040 69 0 0 25 0 10 0 485992944 853733376 24598 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24598 13073 16 0 208415 0
vsize: 833724
[startup+900.281 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 83955 69 0 0 25 0 10 0 485992944 853733376 24622 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24622 13073 16 0 208415 0
vsize: 833724
[startup+910.282 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 84870 70 0 0 25 0 10 0 485992944 853733376 24640 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24640 13073 16 0 208415 0
vsize: 833724
[startup+920.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 85783 70 0 0 24 0 10 0 485992944 853733376 24659 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24659 13073 16 0 208415 0
vsize: 833724
[startup+930.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) S 6788 30854 30853 0 -1 0 17977 0 1 0 86699 70 0 0 25 0 10 0 485992944 853733376 24687 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24687 13073 16 0 208415 0
vsize: 833724
[startup+940.287 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 87617 71 0 0 25 0 10 0 485992944 853733376 24707 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24707 13073 16 0 208415 0
vsize: 833724
[startup+950.295 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 88531 71 0 0 25 0 10 0 485992944 853733376 24731 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24731 13073 16 0 208415 0
vsize: 833724
[startup+960.302 s]
Raw data (loadavg): 1.07 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 89445 71 0 0 25 0 10 0 485992944 853733376 24752 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24752 13073 16 0 208415 0
vsize: 833724
[startup+970.302 s]
Raw data (loadavg): 1.06 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 90358 72 0 0 25 0 10 0 485992944 853733376 24774 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24774 13073 16 0 208415 0
vsize: 833724
[startup+980.303 s]
Raw data (loadavg): 1.05 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 91271 72 0 0 25 0 10 0 485992944 853733376 24796 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24796 13073 16 0 208415 0
vsize: 833724
[startup+990.304 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 92190 73 0 0 25 0 10 0 485992944 853733376 24812 4294967295 134512640 134569956 3221224400 3221214272 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24812 13073 16 0 208415 0
vsize: 833724
[startup+1000.3 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 93103 73 0 0 25 0 10 0 485992944 853733376 24830 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24830 13073 16 0 208415 0
vsize: 833724
[startup+1010.31 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 94014 73 0 0 25 0 10 0 485992944 853733376 24858 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24858 13073 16 0 208415 0
vsize: 833724
[startup+1020.31 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 94924 73 0 0 25 0 10 0 485992944 853733376 24880 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24880 13073 16 0 208415 0
vsize: 833724
[startup+1030.31 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 95836 74 0 0 24 0 10 0 485992944 853733376 24897 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24897 13073 16 0 208415 0
vsize: 833724
[startup+1040.31 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 96753 74 0 0 25 0 10 0 485992944 853733376 24919 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24919 13073 16 0 208415 0
vsize: 833724
[startup+1050.31 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 97663 75 0 0 25 0 10 0 485992944 853733376 24936 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24936 13073 16 0 208415 0
vsize: 833724
[startup+1060.31 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 98574 75 0 0 20 0 10 0 485992944 853733376 24963 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24963 13073 16 0 208415 0
vsize: 833724
[startup+1070.31 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 99485 75 0 0 24 0 10 0 485992944 853733376 24980 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24980 13073 16 0 208415 0
vsize: 833724
[startup+1080.31 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 100402 75 0 0 25 0 10 0 485992944 853733376 24996 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 24996 13073 16 0 208415 0
vsize: 833724
[startup+1090.31 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 101312 76 0 0 25 0 10 0 485992944 853733376 25021 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25021 13073 16 0 208415 0
vsize: 833724
[startup+1100.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 102222 76 0 0 25 0 10 0 485992944 853733376 25040 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25040 13073 16 0 208415 0
vsize: 833724
[startup+1110.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 103132 77 0 0 24 0 10 0 485992944 853733376 25063 4294967295 134512640 134569956 3221224400 3221214804 1080204149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25063 13073 16 0 208415 0
vsize: 833724
[startup+1120.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 104048 77 0 0 25 0 10 0 485992944 853733376 25081 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25081 13073 16 0 208415 0
vsize: 833724
[startup+1130.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 104956 78 0 0 25 0 10 0 485992944 853733376 25101 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25101 13073 16 0 208415 0
vsize: 833724
[startup+1140.31 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 105864 78 0 0 20 0 10 0 485992944 853733376 25122 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25122 13073 16 0 208415 0
vsize: 833724
[startup+1150.32 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) S 6788 30854 30853 0 -1 0 17977 0 1 0 106778 78 0 0 25 0 10 0 485992944 853733376 25137 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25137 13073 16 0 208415 0
vsize: 833724
[startup+1160.32 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 107688 79 0 0 23 0 10 0 485992944 853733376 25159 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25159 13073 16 0 208415 0
vsize: 833724
[startup+1170.32 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 108595 79 0 0 25 0 10 0 485992944 853733376 25179 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25179 13073 16 0 208415 0
vsize: 833724
[startup+1180.32 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17977 0 1 0 109504 79 0 0 24 0 10 0 485992944 853733376 25199 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25199 13073 16 0 208415 0
vsize: 833724
[startup+1190.32 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 17990 0 1 0 110340 80 0 0 25 0 10 0 485992944 859832320 26671 4294967295 134512640 134569956 3221224400 3221212700 1080071010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209920 26671 13073 16 0 209904 0
vsize: 839680
[startup+1200.32 s]
Raw data (loadavg): 1.07 1.00 0.92 3/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18012 0 1 0 111168 84 0 0 25 0 10 0 485992944 859340800 32917 4294967295 134512640 134569956 3221224400 3221214904 1131270101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209800 32917 13073 16 0 209784 0
vsize: 839200
[startup+1210.32 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18012 0 1 0 112066 84 0 0 25 0 10 0 485992944 859340800 34754 4294967295 134512640 134569956 3221224400 3221214736 1131318245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209800 34754 13073 16 0 209784 0
vsize: 839200
[startup+1220.32 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18012 0 1 0 112981 84 0 0 25 0 10 0 485992944 859340800 34755 4294967295 134512640 134569956 3221224400 3221214736 1131318877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209800 34755 13073 16 0 209784 0
vsize: 839200
[startup+1230.32 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 6800
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18012 0 1 0 113896 85 0 0 25 0 10 0 485992944 859340800 34755 4294967295 134512640 134569956 3221224400 3221214736 1131318877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209800 34755 13073 16 0 209784 0
vsize: 839200
[startup+1240.33 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 6801
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18018 0 1 0 114832 85 0 0 25 0 11 0 485992944 859869184 35497 4294967295 134512640 134569956 3221224400 3221214688 1131318877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 35497 13073 16 0 209913 0
vsize: 839716
[startup+1250.33 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 6801
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18018 0 1 0 115826 85 0 0 25 0 11 0 485992944 859869184 35497 4294967295 134512640 134569956 3221224400 3221214688 1131318273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 35497 13073 16 0 209913 0
vsize: 839716
[startup+1260.33 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 6801
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18018 0 1 0 116821 85 0 0 25 0 11 0 485992944 859869184 35497 4294967295 134512640 134569956 3221224400 3221214688 1131318800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 35497 13073 16 0 209913 0
vsize: 839716
[startup+1270.33 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 6801
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18018 0 1 0 117817 85 0 0 25 0 11 0 485992944 859869184 35497 4294967295 134512640 134569956 3221224400 3221214688 1131318273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 35497 13073 16 0 209913 0
vsize: 839716
[startup+1280.33 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 6801
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18058 0 1 0 118728 86 0 0 25 0 11 0 485992944 860917760 35821 4294967295 134512640 134569956 3221224400 3221214688 1131319006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210185 35821 13073 16 0 210169 0
vsize: 840740
[startup+1290.33 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 6801
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18058 0 1 0 119697 87 0 0 25 0 11 0 485992944 860917760 35828 4294967295 134512640 134569956 3221224400 3221214676 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 35828 13073 16 0 210169 0
vsize: 840740
[startup+1300.33 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 6801
Raw data (stat): 6789 (java) R 6788 30854 30853 0 -1 0 18059 0 1 0 120688 87 0 0 25 0 11 0 485992944 860917760 35830 4294967295 134512640 134569956 3221224400 3221214584 1131571700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210185 35830 13073 16 0 210169 0
vsize: 840740
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1300.41 s]
Raw data (loadavg): 1.01 1.00 0.92 1/54 6803
Raw data (stat): 6789 (java) Z 6788 30854 30853 0 -1 1036 18059 15828 1 0 120689 87 8842 58 25 0 1 0 485992944 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1300.41
CPU time (s): 1296.78
CPU user time (s): 1295.32
CPU system time (s): 1.45578
CPU usage (%): 99.721
Max. virtual memory (Kb): 840740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####