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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing1.opb
MD5SUM	7ae4c97a388259c0ddda3873687850bc
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	4547
Biggest coefficient in the objective function	23959961600
Number of bits for the biggest coefficient in the objective function	35
Sum of the numbers in the objective function	1807332483042
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	4006525009920
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	406053252625055
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.055991
Number of variables	6121
Total number of constraints	593
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	593
Minimum length of a constraint	8
Maximum length of a constraint	4759
Trace number 16234

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-21 06:35:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15570 boxname=wulflinc9 idbench=1198 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  7ae4c97a388259c0ddda3873687850bc  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-boeing1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-boeing1.opb
IDLAUNCH: 15570
/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:        456352 kB
Buffers:         35924 kB
Cached:         519220 kB
SwapCached:          8 kB
Active:         127620 kB
Inactive:       430272 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        456100 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14688 kB
Committed_AS:    63556 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 06:55:43 (client local time) WITH STATUS 143 IN 1232.19 SECONDS
stats: 15570 7 1232.19 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-boeing1.opb
c reading problem 
c [nbvar=6121]
c [nbconstr=593]
c time 21.989
c #vars     6121
c #clauses  571
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.74 0.91 0.89 2/54 3977
Raw data (stat): 3977 (runsolver) R 3976 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484738916 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99993 s]
Raw data (loadavg): 0.94 0.95 0.90 4/63 3986
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18006 0 1 0 857 36 0 0 25 0 10 0 484738916 863817728 21453 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210893 21453 13073 16 0 210877 0
vsize: 843572
[startup+20.0195 s]
Raw data (loadavg): 1.26 1.01 0.92 4/63 3986
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18127 0 1 0 1538 38 0 0 25 0 10 0 484738916 909971456 32509 4294967295 134512640 134569956 3221224400 3221214712 1130910894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 222161 32509 13073 16 0 222145 0
vsize: 888644
[startup+30.0325 s]
Raw data (loadavg): 1.60 1.09 0.95 3/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18218 0 1 0 2068 38 0 0 25 0 11 0 484738916 904912896 33661 4294967295 134512640 134569956 3221224400 3221214084 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220926 33661 13073 16 0 220910 0
vsize: 883704
[startup+40.0344 s]
Raw data (loadavg): 1.51 1.09 0.95 2/64 3987
Raw data (stat): 3977 (java) S 3976 30854 30853 0 -1 0 18220 0 1 0 2974 39 0 0 25 0 11 0 484738916 904323072 33771 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 33771 13073 16 0 220766 0
vsize: 883128
[startup+50.0356 s]
Raw data (loadavg): 1.43 1.09 0.95 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 3896 39 0 0 25 0 11 0 484738916 904323072 33774 4294967295 134512640 134569956 3221224400 3221214884 1131754380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 33774 13073 16 0 220766 0
vsize: 883128
[startup+60.0357 s]
Raw data (loadavg): 1.36 1.08 0.95 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 4822 39 0 0 25 0 11 0 484738916 904323072 33776 4294967295 134512640 134569956 3221224400 3221214608 1131522464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 33776 13073 16 0 220766 0
vsize: 883128
[startup+70.0359 s]
Raw data (loadavg): 1.38 1.10 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 5783 39 0 0 25 0 11 0 484738916 904323072 34437 4294967295 134512640 134569956 3221224400 3221214704 1131790416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 34437 13073 16 0 220766 0
vsize: 883128
[startup+80.0367 s]
Raw data (loadavg): 1.32 1.09 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 6763 39 0 0 25 0 11 0 484738916 904323072 34467 4294967295 134512640 134569956 3221224400 3221214704 1131790400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 34467 13073 16 0 220766 0
vsize: 883128
[startup+90.0361 s]
Raw data (loadavg): 1.27 1.09 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 7740 40 0 0 25 0 11 0 484738916 904323072 34507 4294967295 134512640 134569956 3221224400 3221214560 1131437401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 34507 13073 16 0 220766 0
vsize: 883128
[startup+100.037 s]
Raw data (loadavg): 1.23 1.08 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 8695 40 0 0 25 0 11 0 484738916 904323072 34564 4294967295 134512640 134569956 3221224400 3221214792 1131284324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 34564 13073 16 0 220766 0
vsize: 883128
[startup+110.038 s]
Raw data (loadavg): 1.19 1.08 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 9650 40 0 0 25 0 11 0 484738916 904323072 34680 4294967295 134512640 134569956 3221224400 3221214704 1131790400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 34680 13073 16 0 220766 0
vsize: 883128
[startup+120.037 s]
Raw data (loadavg): 1.16 1.08 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 10632 40 0 0 25 0 11 0 484738916 904323072 34706 4294967295 134512640 134569956 3221224400 3221214592 1131289004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 34706 13073 16 0 220766 0
vsize: 883128
[startup+130.038 s]
Raw data (loadavg): 1.14 1.08 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 11600 40 0 0 25 0 11 0 484738916 904323072 34964 4294967295 134512640 134569956 3221224400 3221214792 1131284322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 34964 13073 16 0 220766 0
vsize: 883128
[startup+140.038 s]
Raw data (loadavg): 1.12 1.07 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 12589 40 0 0 25 0 11 0 484738916 904323072 35110 4294967295 134512640 134569956 3221224400 3221214832 1131214361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35110 13073 16 0 220766 0
vsize: 883128
[startup+150.039 s]
Raw data (loadavg): 1.10 1.07 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 13585 40 0 0 25 0 11 0 484738916 904323072 35119 4294967295 134512640 134569956 3221224400 3221214592 1131289857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35119 13073 16 0 220766 0
vsize: 883128
[startup+160.038 s]
Raw data (loadavg): 1.08 1.07 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 14579 40 0 0 25 0 11 0 484738916 904323072 35127 4294967295 134512640 134569956 3221224400 3221214592 1131289330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35127 13073 16 0 220766 0
vsize: 883128
[startup+170.039 s]
Raw data (loadavg): 1.07 1.06 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 15574 40 0 0 25 0 11 0 484738916 904323072 35129 4294967295 134512640 134569956 3221224400 3221214704 1131790412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35129 13073 16 0 220766 0
vsize: 883128
[startup+180.039 s]
Raw data (loadavg): 1.06 1.06 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 16568 40 0 0 25 0 11 0 484738916 904323072 35136 4294967295 134512640 134569956 3221224400 3221214816 1131485221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35136 13073 16 0 220766 0
vsize: 883128
[startup+190.039 s]
Raw data (loadavg): 1.05 1.06 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 17557 41 0 0 25 0 11 0 484738916 904323072 35174 4294967295 134512640 134569956 3221224400 3221214600 1131289153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35174 13073 16 0 220766 0
vsize: 883128
[startup+200.04 s]
Raw data (loadavg): 1.04 1.06 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 18540 41 0 0 25 0 11 0 484738916 904323072 35187 4294967295 134512640 134569956 3221224400 3221214696 1131788295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35187 13073 16 0 220766 0
vsize: 883128
[startup+210.04 s]
Raw data (loadavg): 1.03 1.05 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 19523 41 0 0 25 0 11 0 484738916 904323072 35209 4294967295 134512640 134569956 3221224400 3221214696 1131788295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35209 13073 16 0 220766 0
vsize: 883128
[startup+220.04 s]
Raw data (loadavg): 1.03 1.05 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18221 0 1 0 20503 41 0 0 25 0 11 0 484738916 904323072 35231 4294967295 134512640 134569956 3221224400 3221214600 1131288942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35231 13073 16 0 220766 0
vsize: 883128
[startup+230.044 s]
Raw data (loadavg): 1.02 1.05 0.96 2/64 3987
Raw data (stat): 3977 (java) S 3976 30854 30853 0 -1 0 18221 0 1 0 21470 41 0 0 25 0 11 0 484738916 904323072 35269 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35269 13073 16 0 220766 0
vsize: 883128
[startup+240.044 s]
Raw data (loadavg): 1.02 1.05 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 22435 41 0 0 25 0 11 0 484738916 904323072 35373 4294967295 134512640 134569956 3221224400 3221214704 1131790416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35373 13073 16 0 220766 0
vsize: 883128
[startup+250.045 s]
Raw data (loadavg): 1.02 1.05 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 23402 41 0 0 25 0 11 0 484738916 904323072 35448 4294967295 134512640 134569956 3221224400 3221214680 1131216345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 35448 13073 16 0 220766 0
vsize: 883128
[startup+260.046 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 24375 41 0 0 25 0 11 0 484738916 904323072 35550 4294967295 134512640 134569956 3221224400 3221214592 1131289114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 35550 13073 16 0 220766 0
vsize: 883128
[startup+270.045 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 25342 42 0 0 24 0 11 0 484738916 904323072 35649 4294967295 134512640 134569956 3221224400 3221214600 1131289232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 35649 13073 16 0 220766 0
vsize: 883128
[startup+280.046 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 26316 42 0 0 25 0 11 0 484738916 904323072 35769 4294967295 134512640 134569956 3221224400 3221214600 1131289153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 35769 13073 16 0 220766 0
vsize: 883128
[startup+290.047 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 27292 42 0 0 25 0 11 0 484738916 904323072 35872 4294967295 134512640 134569956 3221224400 3221214704 1131790545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 35872 13073 16 0 220766 0
vsize: 883128
[startup+300.047 s]
Raw data (loadavg): 1.00 1.04 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 28271 43 0 0 25 0 11 0 484738916 904323072 35925 4294967295 134512640 134569956 3221224400 3221214600 1131289306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 35925 13073 16 0 220766 0
vsize: 883128
[startup+310.049 s]
Raw data (loadavg): 1.00 1.04 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 29241 43 0 0 25 0 11 0 484738916 904323072 35999 4294967295 134512640 134569956 3221224400 3221214704 1131790400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 35999 13073 16 0 220766 0
vsize: 883128
[startup+320.049 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 30213 43 0 0 25 0 11 0 484738916 904323072 36064 4294967295 134512640 134569956 3221224400 3221214704 1131790416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36064 13073 16 0 220766 0
vsize: 883128
[startup+330.049 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 31184 43 0 0 25 0 11 0 484738916 904323072 36152 4294967295 134512640 134569956 3221224400 3221214888 1131465604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36152 13073 16 0 220766 0
vsize: 883128
[startup+340.05 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 32127 44 0 0 25 0 11 0 484738916 904323072 36255 4294967295 134512640 134569956 3221224400 3221214792 1131284540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36255 13073 16 0 220766 0
vsize: 883128
[startup+350.051 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 33067 44 0 0 25 0 11 0 484738916 904323072 36472 4294967295 134512640 134569956 3221224400 3221214888 1131464744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36472 13073 16 0 220766 0
vsize: 883128
[startup+360.052 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 34030 45 0 0 25 0 11 0 484738916 904323072 36675 4294967295 134512640 134569956 3221224400 3221214792 1131284563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36675 13073 16 0 220766 0
vsize: 883128
[startup+370.051 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 35016 45 0 0 25 0 11 0 484738916 904323072 36821 4294967295 134512640 134569956 3221224400 3221214792 1131283933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36821 13073 16 0 220766 0
vsize: 883128
[startup+380.052 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 36004 46 0 0 25 0 11 0 484738916 904323072 36840 4294967295 134512640 134569956 3221224400 3221214832 1131613359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36840 13073 16 0 220766 0
vsize: 883128
[startup+390.053 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 36993 46 0 0 25 0 11 0 484738916 904323072 36881 4294967295 134512640 134569956 3221224400 3221214792 1131284351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36881 13073 16 0 220766 0
vsize: 883128
[startup+400.053 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 37980 47 0 0 25 0 11 0 484738916 904323072 36893 4294967295 134512640 134569956 3221224400 3221214792 1131285175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36893 13073 16 0 220766 0
vsize: 883128
[startup+410.157 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 38974 47 0 0 25 0 11 0 484738916 904323072 36912 4294967295 134512640 134569956 3221224400 3221214792 1131284320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36912 13073 16 0 220766 0
vsize: 883128
[startup+420.158 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 39957 47 0 0 25 0 11 0 484738916 904323072 36932 4294967295 134512640 134569956 3221224400 3221214888 1131465512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36932 13073 16 0 220766 0
vsize: 883128
[startup+430.158 s]
Raw data (loadavg): 1.00 1.02 0.96 3/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 40938 48 0 0 25 0 11 0 484738916 904323072 36977 4294967295 134512640 134569956 3221224400 3221214600 1131289153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 36977 13073 16 0 220766 0
vsize: 883128
[startup+440.158 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 41920 48 0 0 25 0 11 0 484738916 904323072 37026 4294967295 134512640 134569956 3221224400 3221214600 1131289114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37026 13073 16 0 220766 0
vsize: 883128
[startup+450.16 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 42900 48 0 0 25 0 11 0 484738916 904323072 37078 4294967295 134512640 134569956 3221224400 3221214704 1131790545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37078 13073 16 0 220766 0
vsize: 883128
[startup+460.16 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 43878 48 0 0 25 0 11 0 484738916 904323072 37115 4294967295 134512640 134569956 3221224400 3221214600 1131288957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37115 13073 16 0 220766 0
vsize: 883128
[startup+470.16 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 44850 49 0 0 25 0 11 0 484738916 904323072 37191 4294967295 134512640 134569956 3221224400 3221214704 1131790539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37191 13073 16 0 220766 0
vsize: 883128
[startup+480.161 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 45822 49 0 0 24 0 11 0 484738916 904323072 37261 4294967295 134512640 134569956 3221224400 3221214888 1131465590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37261 13073 16 0 220766 0
vsize: 883128
[startup+490.161 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 46798 50 0 0 25 0 11 0 484738916 904323072 37336 4294967295 134512640 134569956 3221224400 3221214592 1131289845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37336 13073 16 0 220766 0
vsize: 883128
[startup+500.162 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 47773 50 0 0 25 0 11 0 484738916 904323072 37427 4294967295 134512640 134569956 3221224400 3221214792 1131284034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37427 13073 16 0 220766 0
vsize: 883128
[startup+510.163 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 48746 50 0 0 25 0 11 0 484738916 904323072 37482 4294967295 134512640 134569956 3221224400 3221214792 1131284504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37482 13073 16 0 220766 0
vsize: 883128
[startup+520.163 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 49717 51 0 0 25 0 11 0 484738916 904323072 37540 4294967295 134512640 134569956 3221224400 3221214608 1131730411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37540 13073 16 0 220766 0
vsize: 883128
[startup+530.165 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 50693 51 0 0 25 0 11 0 484738916 904323072 37634 4294967295 134512640 134569956 3221224400 3221214608 1131731986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37634 13073 16 0 220766 0
vsize: 883128
[startup+540.166 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 51665 51 0 0 25 0 11 0 484738916 904323072 37733 4294967295 134512640 134569956 3221224400 3221214704 1131790412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37733 13073 16 0 220766 0
vsize: 883128
[startup+550.167 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 52643 52 0 0 25 0 11 0 484738916 904323072 37812 4294967295 134512640 134569956 3221224400 3221214608 1131732705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37812 13073 16 0 220766 0
vsize: 883128
[startup+560.167 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 53622 52 0 0 25 0 11 0 484738916 904323072 37877 4294967295 134512640 134569956 3221224400 3221214832 1131563519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37877 13073 16 0 220766 0
vsize: 883128
[startup+570.166 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 54602 52 0 0 25 0 11 0 484738916 904323072 37928 4294967295 134512640 134569956 3221224400 3221214792 1131284640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37928 13073 16 0 220766 0
vsize: 883128
[startup+580.167 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 55582 52 0 0 25 0 11 0 484738916 904323072 37985 4294967295 134512640 134569956 3221224400 3221214704 1131790423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 37985 13073 16 0 220766 0
vsize: 883128
[startup+590.168 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 56566 53 0 0 25 0 11 0 484738916 904323072 38059 4294967295 134512640 134569956 3221224400 3221214600 1131289314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38059 13073 16 0 220766 0
vsize: 883128
[startup+600.169 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 57551 53 0 0 24 0 11 0 484738916 904323072 38112 4294967295 134512640 134569956 3221224400 3221214792 1131285196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38112 13073 16 0 220766 0
vsize: 883128
[startup+610.169 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 58539 53 0 0 25 0 11 0 484738916 904323072 38141 4294967295 134512640 134569956 3221224400 3221214792 1131284464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38141 13073 16 0 220766 0
vsize: 883128
[startup+620.171 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 59526 53 0 0 25 0 11 0 484738916 904323072 38160 4294967295 134512640 134569956 3221224400 3221214884 1131285429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38160 13073 16 0 220766 0
vsize: 883128
[startup+630.172 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 60510 53 0 0 25 0 11 0 484738916 904323072 38197 4294967295 134512640 134569956 3221224400 3221214792 1131284427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38197 13073 16 0 220766 0
vsize: 883128
[startup+640.172 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 61491 54 0 0 25 0 11 0 484738916 904323072 38241 4294967295 134512640 134569956 3221224400 3221214608 1131730471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38241 13073 16 0 220766 0
vsize: 883128
[startup+650.173 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 62474 54 0 0 25 0 11 0 484738916 904323072 38320 4294967295 134512640 134569956 3221224400 3221214884 1131214316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38320 13073 16 0 220766 0
vsize: 883128
[startup+660.174 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 63459 55 0 0 25 0 11 0 484738916 904323072 38344 4294967295 134512640 134569956 3221224400 3221214832 1131214341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38344 13073 16 0 220766 0
vsize: 883128
[startup+670.174 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 64439 55 0 0 25 0 11 0 484738916 904323072 38368 4294967295 134512640 134569956 3221224400 3221214608 1131730688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38368 13073 16 0 220766 0
vsize: 883128
[startup+680.175 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 65414 55 0 0 25 0 11 0 484738916 904323072 38419 4294967295 134512640 134569956 3221224400 3221214608 1131284834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38419 13073 16 0 220766 0
vsize: 883128
[startup+690.177 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) S 3976 30854 30853 0 -1 0 18222 0 1 0 66386 56 0 0 25 0 11 0 484738916 904323072 38437 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38437 13073 16 0 220766 0
vsize: 883128
[startup+700.178 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 67356 56 0 0 25 0 11 0 484738916 904323072 38506 4294967295 134512640 134569956 3221224400 3221214792 1131284351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38506 13073 16 0 220766 0
vsize: 883128
[startup+710.178 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 68322 56 0 0 25 0 11 0 484738916 904323072 38609 4294967295 134512640 134569956 3221224400 3221214792 1131284558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38609 13073 16 0 220766 0
vsize: 883128
[startup+720.178 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 69289 57 0 0 25 0 11 0 484738916 904323072 38681 4294967295 134512640 134569956 3221224400 3221214832 1131214381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38681 13073 16 0 220766 0
vsize: 883128
[startup+730.179 s]
Raw data (loadavg): 1.00 1.00 0.96 3/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 70255 57 0 0 25 0 11 0 484738916 904323072 38776 4294967295 134512640 134569956 3221224400 3221214888 1131465005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 38776 13073 16 0 220766 0
vsize: 883128
[startup+740.179 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 71218 57 0 0 25 0 11 0 484738916 904323072 38855 4294967295 134512640 134569956 3221224400 3221214704 1131790416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38855 13073 16 0 220766 0
vsize: 883128
[startup+750.18 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 72181 58 0 0 25 0 11 0 484738916 904323072 38951 4294967295 134512640 134569956 3221224400 3221214792 1131284021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 38951 13073 16 0 220766 0
vsize: 883128
[startup+760.18 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 73143 58 0 0 25 0 11 0 484738916 904323072 39070 4294967295 134512640 134569956 3221224400 3221214832 1131214336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39070 13073 16 0 220766 0
vsize: 883128
[startup+770.181 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 74093 58 0 0 25 0 11 0 484738916 904323072 39214 4294967295 134512640 134569956 3221224400 3221214792 1131284243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39214 13073 16 0 220766 0
vsize: 883128
[startup+780.181 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 75044 59 0 0 25 0 11 0 484738916 904323072 39372 4294967295 134512640 134569956 3221224400 3221214832 1131214353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39372 13073 16 0 220766 0
vsize: 883128
[startup+790.182 s]
Raw data (loadavg): 1.06 1.02 0.96 3/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 76011 59 0 0 25 0 11 0 484738916 904323072 39523 4294967295 134512640 134569956 3221224400 3221214792 1131284365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39523 13073 16 0 220766 0
vsize: 883128
[startup+800.183 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 76994 59 0 0 25 0 11 0 484738916 904323072 39656 4294967295 134512640 134569956 3221224400 3221214832 1131214361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39656 13073 16 0 220766 0
vsize: 883128
[startup+810.183 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 77980 59 0 0 25 0 11 0 484738916 904323072 39699 4294967295 134512640 134569956 3221224400 3221214832 1131214572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39699 13073 16 0 220766 0
vsize: 883128
[startup+820.183 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 78964 60 0 0 25 0 11 0 484738916 904323072 39728 4294967295 134512640 134569956 3221224400 3221214884 1131214316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39728 13073 16 0 220766 0
vsize: 883128
[startup+830.184 s]
Raw data (loadavg): 1.10 1.03 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 79949 60 0 0 25 0 11 0 484738916 904323072 39746 4294967295 134512640 134569956 3221224400 3221214600 1131289275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39746 13073 16 0 220766 0
vsize: 883128
[startup+840.185 s]
Raw data (loadavg): 1.09 1.03 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 80933 60 0 0 25 0 11 0 484738916 904323072 39764 4294967295 134512640 134569956 3221224400 3221214792 1131284351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39764 13073 16 0 220766 0
vsize: 883128
[startup+850.186 s]
Raw data (loadavg): 1.07 1.03 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 81916 61 0 0 25 0 11 0 484738916 904323072 39832 4294967295 134512640 134569956 3221224400 3221214592 1131682206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39832 13073 16 0 220766 0
vsize: 883128
[startup+860.186 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 82897 61 0 0 25 0 11 0 484738916 904323072 39863 4294967295 134512640 134569956 3221224400 3221214832 1131214336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39863 13073 16 0 220766 0
vsize: 883128
[startup+870.187 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 83879 62 0 0 25 0 11 0 484738916 904323072 39896 4294967295 134512640 134569956 3221224400 3221214560 1131437409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39896 13073 16 0 220766 0
vsize: 883128
[startup+880.188 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 84856 62 0 0 25 0 11 0 484738916 904323072 39946 4294967295 134512640 134569956 3221224400 3221214792 1131284377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39946 13073 16 0 220766 0
vsize: 883128
[startup+890.188 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 85838 62 0 0 25 0 11 0 484738916 904323072 39973 4294967295 134512640 134569956 3221224400 3221214704 1131790430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 39973 13073 16 0 220766 0
vsize: 883128
[startup+900.19 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 86822 63 0 0 25 0 11 0 484738916 904323072 40023 4294967295 134512640 134569956 3221224400 3221214792 1131284351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40023 13073 16 0 220766 0
vsize: 883128
[startup+910.19 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 87809 63 0 0 25 0 11 0 484738916 904323072 40083 4294967295 134512640 134569956 3221224400 3221214264 1076460933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40083 13073 16 0 220766 0
vsize: 883128
[startup+920.19 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 88794 63 0 0 24 0 11 0 484738916 904323072 40127 4294967295 134512640 134569956 3221224400 3221214792 1131285172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40127 13073 16 0 220766 0
vsize: 883128
[startup+930.191 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 89783 64 0 0 25 0 11 0 484738916 904323072 40152 4294967295 134512640 134569956 3221224400 3221214704 1131790423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40152 13073 16 0 220766 0
vsize: 883128
[startup+940.191 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 90770 64 0 0 25 0 11 0 484738916 904323072 40226 4294967295 134512640 134569956 3221224400 3221214608 1131730396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40226 13073 16 0 220766 0
vsize: 883128
[startup+950.192 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 91760 64 0 0 25 0 11 0 484738916 904323072 40258 4294967295 134512640 134569956 3221224400 3221214832 1131214361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40258 13073 16 0 220766 0
vsize: 883128
[startup+960.193 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 92751 64 0 0 25 0 11 0 484738916 904323072 40270 4294967295 134512640 134569956 3221224400 3221214696 1131788295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40270 13073 16 0 220766 0
vsize: 883128
[startup+970.193 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 93740 65 0 0 25 0 11 0 484738916 904323072 40293 4294967295 134512640 134569956 3221224400 3221214792 1131284351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40293 13073 16 0 220766 0
vsize: 883128
[startup+980.194 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 94727 65 0 0 25 0 11 0 484738916 904323072 40309 4294967295 134512640 134569956 3221224400 3221214832 1131214353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40309 13073 16 0 220766 0
vsize: 883128
[startup+990.194 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 95713 65 0 0 25 0 11 0 484738916 904323072 40326 4294967295 134512640 134569956 3221224400 3221214792 1131284468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40326 13073 16 0 220766 0
vsize: 883128
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 96697 66 0 0 25 0 11 0 484738916 904323072 40357 4294967295 134512640 134569956 3221224400 3221214832 1131214361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40357 13073 16 0 220766 0
vsize: 883128
[startup+1010.2 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 97683 66 0 0 25 0 11 0 484738916 904323072 40373 4294967295 134512640 134569956 3221224400 3221214520 1131780173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40373 13073 16 0 220766 0
vsize: 883128
[startup+1020.2 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 98674 66 0 0 25 0 11 0 484738916 904323072 40397 4294967295 134512640 134569956 3221224400 3221214520 1131773725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40397 13073 16 0 220766 0
vsize: 883128
[startup+1030.2 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 99666 66 0 0 25 0 11 0 484738916 904323072 40404 4294967295 134512640 134569956 3221224400 3221214704 1131621675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40404 13073 16 0 220766 0
vsize: 883128
[startup+1040.2 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 100658 66 0 0 25 0 11 0 484738916 904323072 40429 4294967295 134512640 134569956 3221224400 3221214696 1131788295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40429 13073 16 0 220766 0
vsize: 883128
[startup+1050.2 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 101643 66 0 0 24 0 11 0 484738916 904323072 40474 4294967295 134512640 134569956 3221224400 3221214792 1131284296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40474 13073 16 0 220766 0
vsize: 883128
[startup+1060.2 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 102631 66 0 0 25 0 11 0 484738916 904323072 40522 4294967295 134512640 134569956 3221224400 3221214832 1131214353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40522 13073 16 0 220766 0
vsize: 883128
[startup+1070.2 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 103619 67 0 0 25 0 11 0 484738916 904323072 40535 4294967295 134512640 134569956 3221224400 3221214888 1131465552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40535 13073 16 0 220766 0
vsize: 883128
[startup+1080.2 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 104608 67 0 0 25 0 11 0 484738916 904323072 40567 4294967295 134512640 134569956 3221224400 3221214792 1131284351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40567 13073 16 0 220766 0
vsize: 883128
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 105594 67 0 0 24 0 11 0 484738916 904323072 40602 4294967295 134512640 134569956 3221224400 3221214792 1131283933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40602 13073 16 0 220766 0
vsize: 883128
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) S 3976 30854 30853 0 -1 0 18222 0 1 0 106579 67 0 0 25 0 11 0 484738916 904323072 40654 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40654 13073 16 0 220766 0
vsize: 883128
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 107574 67 0 0 25 0 11 0 484738916 904323072 40691 4294967295 134512640 134569956 3221224400 3221214600 1131289380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40691 13073 16 0 220766 0
vsize: 883128
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 108570 67 0 0 25 0 11 0 484738916 904323072 40744 4294967295 134512640 134569956 3221224400 3221214704 1131790416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40744 13073 16 0 220766 0
vsize: 883128
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 109566 67 0 0 25 0 11 0 484738916 904323072 40808 4294967295 134512640 134569956 3221224400 3221214296 1080217093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40808 13073 16 0 220766 0
vsize: 883128
[startup+1140.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 110554 67 0 0 25 0 11 0 484738916 904323072 40828 4294967295 134512640 134569956 3221224400 3221214792 1131284351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40828 13073 16 0 220766 0
vsize: 883128
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 111544 67 0 0 25 0 11 0 484738916 904323072 40865 4294967295 134512640 134569956 3221224400 3221214832 1131214422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40865 13073 16 0 220766 0
vsize: 883128
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 112532 67 0 0 25 0 11 0 484738916 904323072 40903 4294967295 134512640 134569956 3221224400 3221214792 1131284530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40903 13073 16 0 220766 0
vsize: 883128
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 113524 68 0 0 25 0 11 0 484738916 904323072 40948 4294967295 134512640 134569956 3221224400 3221214888 1131464533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40948 13073 16 0 220766 0
vsize: 883128
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 114518 68 0 0 25 0 11 0 484738916 904323072 40969 4294967295 134512640 134569956 3221224400 3221214704 1131790416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40969 13073 16 0 220766 0
vsize: 883128
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 115514 68 0 0 25 0 11 0 484738916 904323072 40971 4294967295 134512640 134569956 3221224400 3221214608 1131730476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40971 13073 16 0 220766 0
vsize: 883128
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 116510 68 0 0 25 0 11 0 484738916 904323072 40975 4294967295 134512640 134569956 3221224400 3221214608 1131730723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40975 13073 16 0 220766 0
vsize: 883128
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 117504 68 0 0 25 0 11 0 484738916 904323072 40979 4294967295 134512640 134569956 3221224400 3221214792 1131283941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40979 13073 16 0 220766 0
vsize: 883128
[startup+1220.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 118492 68 0 0 25 0 11 0 484738916 904323072 40982 4294967295 134512640 134569956 3221224400 3221214792 1131284351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220782 40982 13073 16 0 220766 0
vsize: 883128
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 119482 68 0 0 25 0 11 0 484738916 904323072 40995 4294967295 134512640 134569956 3221224400 3221214792 1131284239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 40995 13073 16 0 220766 0
vsize: 883128
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3987
Raw data (stat): 3977 (java) R 3976 30854 30853 0 -1 0 18222 0 1 0 120473 68 0 0 25 0 11 0 484738916 904323072 41017 4294967295 134512640 134569956 3221224400 3221214792 1131284351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220782 41017 13073 16 0 220766 0
vsize: 883128
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.31 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 3989
Raw data (stat): 3977 (java) Z 3976 30854 30853 0 -1 1036 18222 10434 1 0 120475 68 2639 34 25 0 1 0 484738916 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): 1240.31
CPU time (s): 1232.19
CPU user time (s): 1231.15
CPU system time (s): 1.03784
CPU usage (%): 99.345
Max. virtual memory (Kb): 888644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####