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/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
MD5SUM	5f77f2edb47ee93c98f51bc518147b4a
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	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	13421772800
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	53690300878
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.562914
Number of variables	13898
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1500
Trace number 16780

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-21 08:33:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12515 boxname=wulflinc20 idbench=963 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  5f77f2edb47ee93c98f51bc518147b4a  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-danoint.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-danoint.opb
IDLAUNCH: 12515
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        561760 kB
Buffers:         22544 kB
Cached:         426012 kB
SwapCached:        516 kB
Active:         101736 kB
Inactive:       348844 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        561508 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            16712 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 08:53:48 (client local time) WITH STATUS 143 IN 1237.87 SECONDS
stats: 12515 7 1237.87 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-danoint.opb
c reading problem 
c [nbvar=13898]
c [nbconstr=728]
c time 63.842
c #vars     13898
c #clauses  816
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.85 0.95 0.92 2/54 2559
Raw data (stat): 2559 (runsolver) R 2558 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543668105 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.87 0.95 0.92 2/63 2568
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18007 0 1 0 813 40 0 0 25 0 10 0 543668105 856334336 20150 4294967295 134512640 134569956 3221224400 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209066 20150 13073 16 0 209050 0
vsize: 836264
[startup+20.0025 s]
Raw data (loadavg): 0.89 0.95 0.92 2/63 2568
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18007 0 1 0 1688 40 0 0 25 0 10 0 543668105 856334336 20937 4294967295 134512640 134569956 3221224400 3221214676 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209066 20937 13073 16 0 209050 0
vsize: 836264
[startup+30.0057 s]
Raw data (loadavg): 0.91 0.95 0.92 2/63 2568
Raw data (stat): 2559 (java) S 2558 27565 27564 0 -1 0 18007 0 1 0 2561 41 0 0 25 0 10 0 543668105 856334336 21230 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209066 21230 13073 16 0 209050 0
vsize: 836264
[startup+40.0071 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 2568
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18007 0 1 0 3444 41 0 0 25 0 10 0 543668105 857079808 21781 4294967295 134512640 134569956 3221224400 3221214760 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209248 21781 13073 16 0 209232 0
vsize: 836992
[startup+50.0268 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 2568
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18007 0 1 0 4307 41 0 0 25 0 10 0 543668105 856817664 22021 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 22021 13073 16 0 209168 0
vsize: 836736
[startup+60.0269 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 2568
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18007 0 1 0 5184 41 0 0 25 0 10 0 543668105 856817664 22284 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 22284 13073 16 0 209168 0
vsize: 836736
[startup+70.0474 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18037 0 1 0 6072 43 0 0 25 0 11 0 543668105 857313280 25120 4294967295 134512640 134569956 3221224400 3221214800 1131256781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 25120 13073 16 0 209289 0
vsize: 837220
[startup+80.0547 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18037 0 1 0 7032 43 0 0 25 0 11 0 543668105 857313280 25120 4294967295 134512640 134569956 3221224400 3221214896 1131327671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 25120 13073 16 0 209289 0
vsize: 837220
[startup+90.0551 s]
Raw data (loadavg): 1.00 0.97 0.93 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18037 0 1 0 7988 43 0 0 25 0 11 0 543668105 857313280 25120 4294967295 134512640 134569956 3221224400 3221214936 1131325273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 25120 13073 16 0 209289 0
vsize: 837220
[startup+100.055 s]
Raw data (loadavg): 1.16 1.00 0.94 3/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18076 0 1 0 8873 44 0 0 25 0 11 0 543668105 859549696 25906 4294967295 134512640 134569956 3221224400 3221214592 1131165543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209851 25906 13073 16 0 209835 0
vsize: 839404
[startup+110.055 s]
Raw data (loadavg): 1.21 1.02 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18078 0 1 0 9839 44 0 0 25 0 11 0 543668105 859418624 25911 4294967295 134512640 134569956 3221224400 3221214672 1131357364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209819 25911 13073 16 0 209803 0
vsize: 839276
[startup+120.056 s]
Raw data (loadavg): 1.18 1.02 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18078 0 1 0 10801 44 0 0 25 0 11 0 543668105 860467200 26382 4294967295 134512640 134569956 3221224400 3221214808 1131431247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26382 13073 16 0 210059 0
vsize: 840300
[startup+130.057 s]
Raw data (loadavg): 1.15 1.02 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 11772 44 0 0 25 0 11 0 543668105 860467200 26384 4294967295 134512640 134569956 3221224400 3221214656 1131234169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26384 13073 16 0 210059 0
vsize: 840300
[startup+140.057 s]
Raw data (loadavg): 1.13 1.02 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 12741 44 0 0 25 0 11 0 543668105 860467200 26402 4294967295 134512640 134569956 3221224400 3221214760 1131573844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26402 13073 16 0 210059 0
vsize: 840300
[startup+150.057 s]
Raw data (loadavg): 1.11 1.02 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 13706 44 0 0 25 0 11 0 543668105 860467200 26419 4294967295 134512640 134569956 3221224400 3221214760 1131573840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26419 13073 16 0 210059 0
vsize: 840300
[startup+160.058 s]
Raw data (loadavg): 1.09 1.02 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 14658 44 0 0 25 0 11 0 543668105 860467200 26555 4294967295 134512640 134569956 3221224400 3221214848 1131195008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26555 13073 16 0 210059 0
vsize: 840300
[startup+170.064 s]
Raw data (loadavg): 1.08 1.01 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 15612 45 0 0 25 0 11 0 543668105 860467200 26759 4294967295 134512640 134569956 3221224400 3221214800 1131257039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26759 13073 16 0 210059 0
vsize: 840300
[startup+180.064 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 16583 45 0 0 25 0 11 0 543668105 860467200 26946 4294967295 134512640 134569956 3221224400 3221214800 1131256987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26946 13073 16 0 210059 0
vsize: 840300
[startup+190.065 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 17568 45 0 0 25 0 11 0 543668105 860467200 26861 4294967295 134512640 134569956 3221224400 3221214848 1131195155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26861 13073 16 0 210059 0
vsize: 840300
[startup+200.065 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 18560 45 0 0 25 0 11 0 543668105 860467200 26881 4294967295 134512640 134569956 3221224400 3221214848 1131195244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26881 13073 16 0 210059 0
vsize: 840300
[startup+210.065 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 19548 45 0 0 25 0 11 0 543668105 860467200 26897 4294967295 134512640 134569956 3221224400 3221214796 1080203712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26897 13073 16 0 210059 0
vsize: 840300
[startup+220.066 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 20535 45 0 0 25 0 11 0 543668105 860467200 26911 4294967295 134512640 134569956 3221224400 3221214848 1131195050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26911 13073 16 0 210059 0
vsize: 840300
[startup+230.067 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 21521 45 0 0 25 0 11 0 543668105 860467200 26933 4294967295 134512640 134569956 3221224400 3221214800 1131256637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 26933 13073 16 0 210059 0
vsize: 840300
[startup+240.067 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 22510 45 0 0 25 0 11 0 543668105 860467200 27011 4294967295 134512640 134569956 3221224400 3221214896 1131327160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 27011 13073 16 0 210059 0
vsize: 840300
[startup+250.067 s]
Raw data (loadavg): 1.18 1.04 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 23500 45 0 0 25 0 11 0 543668105 863612928 27873 4294967295 134512640 134569956 3221224400 3221214848 1131195008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210843 27873 13073 16 0 210827 0
vsize: 843372
[startup+260.068 s]
Raw data (loadavg): 1.15 1.04 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 24490 45 0 0 25 0 11 0 543668105 862564352 27664 4294967295 134512640 134569956 3221224400 3221214800 1131256641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27664 13073 16 0 210571 0
vsize: 842348
[startup+270.068 s]
Raw data (loadavg): 1.13 1.04 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 25482 45 0 0 25 0 11 0 543668105 862564352 27686 4294967295 134512640 134569956 3221224400 3221214800 1131256806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27686 13073 16 0 210571 0
vsize: 842348
[startup+280.073 s]
Raw data (loadavg): 1.11 1.03 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 26474 45 0 0 25 0 11 0 543668105 862564352 27703 4294967295 134512640 134569956 3221224400 3221214840 1131372459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27703 13073 16 0 210571 0
vsize: 842348
[startup+290.078 s]
Raw data (loadavg): 1.09 1.03 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 27468 45 0 0 25 0 11 0 543668105 862564352 27716 4294967295 134512640 134569956 3221224400 3221214848 1131195029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27716 13073 16 0 210571 0
vsize: 842348
[startup+300.078 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 28459 45 0 0 25 0 11 0 543668105 862564352 27741 4294967295 134512640 134569956 3221224400 3221214800 1131256683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27741 13073 16 0 210571 0
vsize: 842348
[startup+310.079 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 29453 46 0 0 25 0 11 0 543668105 862564352 27747 4294967295 134512640 134569956 3221224400 3221214760 1131573840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27747 13073 16 0 210571 0
vsize: 842348
[startup+320.079 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 30445 46 0 0 25 0 11 0 543668105 862564352 27754 4294967295 134512640 134569956 3221224400 3221214800 1131257864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27754 13073 16 0 210571 0
vsize: 842348
[startup+330.08 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 31424 46 0 0 25 0 11 0 543668105 862564352 27774 4294967295 134512640 134569956 3221224400 3221214896 1131327128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27774 13073 16 0 210571 0
vsize: 842348
[startup+340.081 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 32405 46 0 0 25 0 11 0 543668105 862564352 27796 4294967295 134512640 134569956 3221224400 3221214800 1131257117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27796 13073 16 0 210571 0
vsize: 842348
[startup+350.081 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 33388 46 0 0 25 0 11 0 543668105 862564352 27916 4294967295 134512640 134569956 3221224400 3221214800 1131256942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27916 13073 16 0 210571 0
vsize: 842348
[startup+360.082 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 34379 46 0 0 25 0 11 0 543668105 862564352 27956 4294967295 134512640 134569956 3221224400 3221214760 1131573840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27956 13073 16 0 210571 0
vsize: 842348
[startup+370.083 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 35372 46 0 0 25 0 11 0 543668105 862564352 27969 4294967295 134512640 134569956 3221224400 3221214760 1131573852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27969 13073 16 0 210571 0
vsize: 842348
[startup+380.084 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 36362 46 0 0 25 0 11 0 543668105 862564352 27998 4294967295 134512640 134569956 3221224400 3221214800 1131256641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27998 13073 16 0 210571 0
vsize: 842348
[startup+390.084 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 37347 46 0 0 25 0 11 0 543668105 862564352 28041 4294967295 134512640 134569956 3221224400 3221214800 1131256656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28041 13073 16 0 210571 0
vsize: 842348
[startup+400.085 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 38332 46 0 0 25 0 11 0 543668105 862564352 28078 4294967295 134512640 134569956 3221224400 3221214800 1131256920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28078 13073 16 0 210571 0
vsize: 842348
[startup+410.085 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 39322 46 0 0 25 0 11 0 543668105 862564352 28126 4294967295 134512640 134569956 3221224400 3221214880 1131506524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28126 13073 16 0 210571 0
vsize: 842348
[startup+420.085 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 40310 46 0 0 24 0 11 0 543668105 862564352 28145 4294967295 134512640 134569956 3221224400 3221214800 1131256970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28145 13073 16 0 210571 0
vsize: 842348
[startup+430.087 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 41298 46 0 0 25 0 11 0 543668105 862564352 28164 4294967295 134512640 134569956 3221224400 3221214800 1131256841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28164 13073 16 0 210571 0
vsize: 842348
[startup+440.087 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 42287 46 0 0 25 0 11 0 543668105 862564352 28208 4294967295 134512640 134569956 3221224400 3221214800 1131256766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28208 13073 16 0 210571 0
vsize: 842348
[startup+450.087 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 43279 47 0 0 25 0 11 0 543668105 862564352 28226 4294967295 134512640 134569956 3221224400 3221214848 1131195118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28226 13073 16 0 210571 0
vsize: 842348
[startup+460.087 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 44268 47 0 0 25 0 11 0 543668105 862564352 28252 4294967295 134512640 134569956 3221224400 3221214848 1131195155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28252 13073 16 0 210571 0
vsize: 842348
[startup+470.088 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 45256 47 0 0 24 0 11 0 543668105 862564352 28262 4294967295 134512640 134569956 3221224400 3221214800 1131256738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28262 13073 16 0 210571 0
vsize: 842348
[startup+480.089 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 46242 47 0 0 25 0 11 0 543668105 862564352 28279 4294967295 134512640 134569956 3221224400 3221214896 1131327217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28279 13073 16 0 210571 0
vsize: 842348
[startup+490.089 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 47231 47 0 0 25 0 11 0 543668105 862564352 28315 4294967295 134512640 134569956 3221224400 3221214800 1131257347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28315 13073 16 0 210571 0
vsize: 842348
[startup+500.09 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 48220 47 0 0 25 0 11 0 543668105 862564352 28335 4294967295 134512640 134569956 3221224400 3221214800 1131256669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28335 13073 16 0 210571 0
vsize: 842348
[startup+510.09 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 49207 47 0 0 25 0 11 0 543668105 862564352 28357 4294967295 134512640 134569956 3221224400 3221214800 1131257918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28357 13073 16 0 210571 0
vsize: 842348
[startup+520.09 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 50200 47 0 0 25 0 11 0 543668105 862564352 28373 4294967295 134512640 134569956 3221224400 3221214760 1131573836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28373 13073 16 0 210571 0
vsize: 842348
[startup+530.091 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 51191 47 0 0 25 0 11 0 543668105 862564352 28403 4294967295 134512640 134569956 3221224400 3221214848 1131195029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28403 13073 16 0 210571 0
vsize: 842348
[startup+540.092 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 52182 47 0 0 25 0 11 0 543668105 862564352 28425 4294967295 134512640 134569956 3221224400 3221214760 1131572948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28425 13073 16 0 210571 0
vsize: 842348
[startup+550.091 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 53169 47 0 0 25 0 11 0 543668105 862564352 28439 4294967295 134512640 134569956 3221224400 3221214604 1131465267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28439 13073 16 0 210571 0
vsize: 842348
[startup+560.092 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 54156 47 0 0 25 0 11 0 543668105 862564352 28471 4294967295 134512640 134569956 3221224400 3221214800 1131257547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28471 13073 16 0 210571 0
vsize: 842348
[startup+570.092 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 55146 47 0 0 25 0 11 0 543668105 862564352 28516 4294967295 134512640 134569956 3221224400 3221214760 1131573971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28516 13073 16 0 210571 0
vsize: 842348
[startup+580.092 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 56140 47 0 0 25 0 11 0 543668105 862564352 28529 4294967295 134512640 134569956 3221224400 3221214760 1131573824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28529 13073 16 0 210571 0
vsize: 842348
[startup+590.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 57133 47 0 0 25 0 11 0 543668105 862564352 28537 4294967295 134512640 134569956 3221224400 3221214760 1131573836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28537 13073 16 0 210571 0
vsize: 842348
[startup+600.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 58119 47 0 0 25 0 11 0 543668105 862564352 28553 4294967295 134512640 134569956 3221224400 3221214760 1131573840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28553 13073 16 0 210571 0
vsize: 842348
[startup+610.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 59107 47 0 0 25 0 11 0 543668105 862564352 28557 4294967295 134512640 134569956 3221224400 3221214664 1131234480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28557 13073 16 0 210571 0
vsize: 842348
[startup+620.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 60086 47 0 0 25 0 11 0 543668105 862564352 28564 4294967295 134512640 134569956 3221224400 3221214760 1131573971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28564 13073 16 0 210571 0
vsize: 842348
[startup+630.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 61069 47 0 0 25 0 11 0 543668105 862564352 28579 4294967295 134512640 134569956 3221224400 3221214760 1131573824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28579 13073 16 0 210571 0
vsize: 842348
[startup+640.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 62042 47 0 0 25 0 11 0 543668105 862564352 28598 4294967295 134512640 134569956 3221224400 3221214760 1131573852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28598 13073 16 0 210571 0
vsize: 842348
[startup+650.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 63011 47 0 0 25 0 11 0 543668105 862564352 28612 4294967295 134512640 134569956 3221224400 3221214864 1131325273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28612 13073 16 0 210571 0
vsize: 842348
[startup+660.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 63986 47 0 0 25 0 11 0 543668105 862564352 28650 4294967295 134512640 134569956 3221224400 3221214760 1131573980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28650 13073 16 0 210571 0
vsize: 842348
[startup+670.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 64951 47 0 0 25 0 11 0 543668105 862564352 28750 4294967295 134512640 134569956 3221224400 3221214624 1131322317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28750 13073 16 0 210571 0
vsize: 842348
[startup+680.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 65902 47 0 0 25 0 11 0 543668105 862564352 28901 4294967295 134512640 134569956 3221224400 3221214848 1131195029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28901 13073 16 0 210571 0
vsize: 842348
[startup+690.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 66854 47 0 0 25 0 11 0 543668105 862564352 29077 4294967295 134512640 134569956 3221224400 3221214760 1131573840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29077 13073 16 0 210571 0
vsize: 842348
[startup+700.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 67821 47 0 0 25 0 11 0 543668105 862564352 29229 4294967295 134512640 134569956 3221224400 3221214760 1131572979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29229 13073 16 0 210571 0
vsize: 842348
[startup+710.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 68791 47 0 0 25 0 11 0 543668105 862564352 29450 4294967295 134512640 134569956 3221224400 3221214896 1131327170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29450 13073 16 0 210571 0
vsize: 842348
[startup+720.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 69770 47 0 0 25 0 11 0 543668105 862564352 29641 4294967295 134512640 134569956 3221224400 3221214800 1131257039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29641 13073 16 0 210571 0
vsize: 842348
[startup+730.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 70755 47 0 0 25 0 11 0 543668105 862564352 29695 4294967295 134512640 134569956 3221224400 3221214848 1131195029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29695 13073 16 0 210571 0
vsize: 842348
[startup+740.099 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 71743 47 0 0 25 0 11 0 543668105 862564352 29738 4294967295 134512640 134569956 3221224400 3221214848 1131195029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29738 13073 16 0 210571 0
vsize: 842348
[startup+750.099 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 72731 48 0 0 25 0 11 0 543668105 862564352 29671 4294967295 134512640 134569956 3221224400 3221214848 1131195008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29671 13073 16 0 210571 0
vsize: 842348
[startup+760.099 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 73723 48 0 0 25 0 11 0 543668105 862564352 29679 4294967295 134512640 134569956 3221224400 3221214664 1131234031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29679 13073 16 0 210571 0
vsize: 842348
[startup+770.099 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 74712 48 0 0 25 0 11 0 543668105 862564352 29696 4294967295 134512640 134569956 3221224400 3221214664 1131234169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29696 13073 16 0 210571 0
vsize: 842348
[startup+780.099 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 75698 48 0 0 25 0 11 0 543668105 862564352 29705 4294967295 134512640 134569956 3221224400 3221214760 1131573840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29705 13073 16 0 210571 0
vsize: 842348
[startup+790.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 76676 48 0 0 25 0 11 0 543668105 862564352 29713 4294967295 134512640 134569956 3221224400 3221214760 1131573852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29713 13073 16 0 210571 0
vsize: 842348
[startup+800.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 77655 48 0 0 25 0 11 0 543668105 862564352 29724 4294967295 134512640 134569956 3221224400 3221214624 1131322364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29724 13073 16 0 210571 0
vsize: 842348
[startup+810.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 78621 48 0 0 25 0 11 0 543668105 862564352 29737 4294967295 134512640 134569956 3221224400 3221214760 1131573844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29737 13073 16 0 210571 0
vsize: 842348
[startup+820.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 79592 48 0 0 25 0 11 0 543668105 862564352 29755 4294967295 134512640 134569956 3221224400 3221214636 1131325600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29755 13073 16 0 210571 0
vsize: 842348
[startup+830.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 80550 48 0 0 25 0 11 0 543668105 862564352 29913 4294967295 134512640 134569956 3221224400 3221214760 1131573980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210587 29913 13073 16 0 210571 0
vsize: 842348
[startup+840.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) S 2558 27565 27564 0 -1 0 18079 0 1 0 81515 48 0 0 25 0 11 0 543668105 862564352 30022 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30022 13073 16 0 210571 0
vsize: 842348
[startup+850.102 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 82478 48 0 0 25 0 11 0 543668105 862564352 30180 4294967295 134512640 134569956 3221224400 3221214664 1131234209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30180 13073 16 0 210571 0
vsize: 842348
[startup+860.101 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 83447 48 0 0 25 0 11 0 543668105 862564352 30292 4294967295 134512640 134569956 3221224400 3221214664 1131234169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30292 13073 16 0 210571 0
vsize: 842348
[startup+870.102 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 84378 48 0 0 25 0 11 0 543668105 862564352 30435 4294967295 134512640 134569956 3221224400 3221214896 1131326805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30435 13073 16 0 210571 0
vsize: 842348
[startup+880.103 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 85313 48 0 0 25 0 11 0 543668105 862564352 30560 4294967295 134512640 134569956 3221224400 3221214760 1131573824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30560 13073 16 0 210571 0
vsize: 842348
[startup+890.103 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 86278 48 0 0 25 0 11 0 543668105 862564352 30713 4294967295 134512640 134569956 3221224400 3221214760 1131573840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30713 13073 16 0 210571 0
vsize: 842348
[startup+900.103 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 87253 48 0 0 25 0 11 0 543668105 862564352 30822 4294967295 134512640 134569956 3221224400 3221214656 1131234629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30822 13073 16 0 210571 0
vsize: 842348
[startup+910.104 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 88221 48 0 0 25 0 11 0 543668105 862564352 30993 4294967295 134512640 134569956 3221224400 3221214752 1131570823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30993 13073 16 0 210571 0
vsize: 842348
[startup+920.105 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18079 0 1 0 89191 48 0 0 25 0 11 0 543668105 862564352 31150 4294967295 134512640 134569956 3221224400 3221214760 1131573852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 31150 13073 16 0 210571 0
vsize: 842348
[startup+930.105 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 90167 48 0 0 25 0 11 0 543668105 862564352 31274 4294967295 134512640 134569956 3221224400 3221214520 1131167234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 31274 13073 16 0 210571 0
vsize: 842348
[startup+940.105 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 91140 48 0 0 25 0 11 0 543668105 862564352 31327 4294967295 134512640 134569956 3221224400 3221214760 1131573850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 31327 13073 16 0 210571 0
vsize: 842348
[startup+950.106 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 92109 48 0 0 25 0 11 0 543668105 860467200 30827 4294967295 134512640 134569956 3221224400 3221214760 1131573971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 30827 13073 16 0 210059 0
vsize: 840300
[startup+960.105 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 93083 48 0 0 25 0 11 0 543668105 860467200 30831 4294967295 134512640 134569956 3221224400 3221214760 1131573980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 30831 13073 16 0 210059 0
vsize: 840300
[startup+970.105 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 94045 48 0 0 25 0 11 0 543668105 860467200 30906 4294967295 134512640 134569956 3221224400 3221214760 1131573847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 30906 13073 16 0 210059 0
vsize: 840300
[startup+980.106 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 95006 48 0 0 25 0 11 0 543668105 860467200 31018 4294967295 134512640 134569956 3221224400 3221214760 1131573836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31018 13073 16 0 210059 0
vsize: 840300
[startup+990.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) S 2558 27565 27564 0 -1 0 18080 0 1 0 95972 48 0 0 25 0 11 0 543668105 860467200 31108 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31108 13073 16 0 210059 0
vsize: 840300
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 96936 48 0 0 25 0 11 0 543668105 860467200 31208 4294967295 134512640 134569956 3221224400 3221214672 1131534741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31208 13073 16 0 210059 0
vsize: 840300
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 97895 48 0 0 25 0 11 0 543668105 860467200 31332 4294967295 134512640 134569956 3221224400 3221214752 1131570816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31332 13073 16 0 210059 0
vsize: 840300
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 98854 48 0 0 25 0 11 0 543668105 860467200 31478 4294967295 134512640 134569956 3221224400 3221214760 1131573847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31478 13073 16 0 210059 0
vsize: 840300
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 99824 48 0 0 25 0 11 0 543668105 860467200 31526 4294967295 134512640 134569956 3221224400 3221214760 1131573852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31526 13073 16 0 210059 0
vsize: 840300
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 100783 48 0 0 25 0 11 0 543668105 860467200 31622 4294967295 134512640 134569956 3221224400 3221214800 1131256645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31622 13073 16 0 210059 0
vsize: 840300
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 101742 48 0 0 24 0 11 0 543668105 860467200 31743 4294967295 134512640 134569956 3221224400 3221214760 1131573824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31743 13073 16 0 210059 0
vsize: 840300
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 102711 48 0 0 25 0 11 0 543668105 860467200 31866 4294967295 134512640 134569956 3221224400 3221214760 1131573971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31866 13073 16 0 210059 0
vsize: 840300
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 103671 48 0 0 25 0 11 0 543668105 860467200 31972 4294967295 134512640 134569956 3221224400 3221214476 1131638345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 31972 13073 16 0 210059 0
vsize: 840300
[startup+1080.11 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 104641 48 0 0 25 0 11 0 543668105 860467200 32076 4294967295 134512640 134569956 3221224400 3221214760 1131573840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 32076 13073 16 0 210059 0
vsize: 840300
[startup+1090.11 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 105601 48 0 0 25 0 11 0 543668105 860467200 32196 4294967295 134512640 134569956 3221224400 3221214664 1131234209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 32196 13073 16 0 210059 0
vsize: 840300
[startup+1100.11 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 106562 48 0 0 25 0 11 0 543668105 860467200 32333 4294967295 134512640 134569956 3221224400 3221214760 1131573844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 32333 13073 16 0 210059 0
vsize: 840300
[startup+1110.11 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 107532 48 0 0 25 0 11 0 543668105 860467200 32409 4294967295 134512640 134569956 3221224400 3221214760 1131573963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 32409 13073 16 0 210059 0
vsize: 840300
[startup+1120.11 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 108491 48 0 0 25 0 11 0 543668105 860467200 32523 4294967295 134512640 134569956 3221224400 3221214800 1131256656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 32523 13073 16 0 210059 0
vsize: 840300
[startup+1130.11 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 109434 48 0 0 25 0 11 0 543668105 860467200 32674 4294967295 134512640 134569956 3221224400 3221214848 1131195008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 32674 13073 16 0 210059 0
vsize: 840300
[startup+1140.11 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 110381 49 0 0 25 0 11 0 543668105 860467200 32892 4294967295 134512640 134569956 3221224400 3221214848 1131195008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 32892 13073 16 0 210059 0
vsize: 840300
[startup+1150.11 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 111353 49 0 0 25 0 11 0 543668105 860467200 33004 4294967295 134512640 134569956 3221224400 3221214760 1131573854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 33004 13073 16 0 210059 0
vsize: 840300
[startup+1160.11 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 112334 49 0 0 25 0 11 0 543668105 860467200 33089 4294967295 134512640 134569956 3221224400 3221214760 1131573840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 33089 13073 16 0 210059 0
vsize: 840300
[startup+1170.11 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 113308 49 0 0 25 0 11 0 543668105 860467200 33211 4294967295 134512640 134569956 3221224400 3221214664 1131234209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 33211 13073 16 0 210059 0
vsize: 840300
[startup+1180.11 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 114282 49 0 0 25 0 11 0 543668105 860467200 33353 4294967295 134512640 134569956 3221224400 3221214800 1131257039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 33353 13073 16 0 210059 0
vsize: 840300
[startup+1190.11 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 115258 49 0 0 25 0 11 0 543668105 860467200 33461 4294967295 134512640 134569956 3221224400 3221214848 1131195050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 33461 13073 16 0 210059 0
vsize: 840300
[startup+1200.11 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 116233 49 0 0 25 0 11 0 543668105 860467200 33462 4294967295 134512640 134569956 3221224400 3221214760 1131573971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 33462 13073 16 0 210059 0
vsize: 840300
[startup+1210.11 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 117212 49 0 0 25 0 11 0 543668105 860467200 33470 4294967295 134512640 134569956 3221224400 3221214664 1131234044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 33470 13073 16 0 210059 0
vsize: 840300
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 118182 49 0 0 25 0 11 0 543668105 860467200 33487 4294967295 134512640 134569956 3221224400 3221214664 1131234169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 33487 13073 16 0 210059 0
vsize: 840300
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 119148 49 0 0 25 0 11 0 543668105 860467200 33577 4294967295 134512640 134569956 3221224400 3221214648 1131364841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 33577 13073 16 0 210059 0
vsize: 840300
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2569
Raw data (stat): 2559 (java) R 2558 27565 27564 0 -1 0 18080 0 1 0 120124 49 0 0 25 0 11 0 543668105 860467200 33638 4294967295 134512640 134569956 3221224400 3221214760 1131573824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210075 33638 13073 16 0 210059 0
vsize: 840300
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.22 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 2571
Raw data (stat): 2559 (java) Z 2558 27565 27564 0 -1 1036 18080 13675 1 0 120128 49 3573 34 25 0 1 0 543668105 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.22
CPU time (s): 1237.87
CPU user time (s): 1237.02
CPU system time (s): 0.846871
CPU usage (%): 99.8106
Max. virtual memory (Kb): 843372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####